01523nam2-2200409li-450 99000020748020331620180312154821.03-540-66677-X0020748USA010020748(ALEPH)000020748USA01002074820001109d1999----km-y0itay0103----baengGWFunctional and logic programming4th Fuji International symposium, FLOPS'99Tsukuba, Japan, November11-13, 1999proceedingsAart Middeldorp ... [et al.] (eds.)BerlinSpringer-Verlagcopyr. 1999X, 368 p.ill.24 cmLecture notes in computer science172200100202642001Lecture notes in computer scienceelaboratori elettroniciprogrammazionecongressi1999logica matematicacongressi19990051Programmazione. Tecnica di sviluppo dei programmiMiddeldorp,AartFuji International symposium FLOPS'994.Tsukuba1999753702Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207480203316001 LNCS (1722)002436900100104306BKSCI1999011920001110USA011714ALANDI9020010209USA01180120020403USA011628PATRY9020040406USA011615Functional and logic programming1516246UNISA06974nam 22006495 450 99656586870331620231115201245.0981-9980-67-410.1007/978-981-99-8067-3(MiAaPQ)EBC30949302(Au-PeEL)EBL30949302(DE-He213)978-981-99-8067-3(EXLCZ)992886148950004120231115d2024 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierNeural Information Processing[electronic resource] 30th International Conference, ICONIP 2023, Changsha, China, November 20–23, 2023, Proceedings, Part III /edited by Biao Luo, Long Cheng, Zheng-Guang Wu, Hongyi Li, Chaojie Li1st ed. 2024.Singapore :Springer Nature Singapore :Imprint: Springer,2024.1 online resource (632 pages)Lecture Notes in Computer Science,1611-3349 ;14449Print version: Luo, Biao Neural Information Processing Singapore : Springer Singapore Pte. Limited,c2023 9789819980666 Theory and Algorithms -- Efficient Lightweight Network with Transformer-based Distillation for Micro-crack Detection of Solar Cells -- {MTLAN: Multi-Task Learning and Auxiliary Network for Enhanced Sentence Embedding -- Correlated Online k-Nearest Neighbors Regressor Chain for Online Multi-Output Regression -- Evolutionary Computation for Berth Allocation Problems: A Survey -- Cognitive Neurosciences -- Privacy-Preserving Travel Time Prediction for Internet of Vehicles: A Crowdsensing and Federated Learning Approach -- A Fine-Grained Domain Adaptation Method for Cross-Session Vigilance Estimation in SSVEP-Based BCI -- RMPE:Reducing Residual Membrane Potential Error for Enabling High-accuracy and Ultra-low-latency Spiking Neural Networks -- An improved target searching and imaging method for CSAR -- Block-Matching Multi-Pedestrian Tracking -- RPF3D: Range-Pillar Feature Deep Fusion 3D Detector for Autonomous Driving -- Traffic Signal Control Optimization Based on Deep Reinforcement Learning With Attention Mechanisms -- CMCI: A Robust Multimodal Fusion Method For Spiking Neural Networks -- A Weakly Supervised Deep Learning Model for Alzheimer's Disease Prognosis Using MRI and Incomplete Labels -- Two-Stream Spectral-Temporal Denoising Network for End-to-end Robust EEG-based Emotion Recognition -- Brain-inspired Binaural Sound Source Localization Method Based On Liquid State Machine -- A Causality-Based Interpretable Cognitive Diagnosis Model -- RoBrain: Towards Robust Brain-to-Image Reconstruction via Cross-Domain Contrastive Learning -- High-dimensional multi-objective PSO based on radial projection -- Link Prediction Based on the Sub-graphs Learning with Fused Features -- Naturalistic Emotion Recognition Using EEG and Eye Movements -- Task Scheduling With Improved Particle Swarm Optimization In Cloud Data Center -- Traffic Signal Optimization at T-shaped intersections Based on Deep Q Networks -- A Multi-task Framework for Solving Multimodal Multiobjective Optimization Problems -- Domain Generalized Object Detection with Triple Graph Reasoning Network -- RPUC: Semi-supervised 3D Biomedical Image Segmentation through Rectified Pyramid Unsupervised Consistency -- Cancellable iris recognition scheme based on inversion fusion and local ranking -- EWMIGCN: Emotional Weighting based Multimodal Interaction Graph Convolutional Networks for Personalized Prediction -- Neighborhood Learning for Artificial Bee Colony Algorithm: A Mini-survey -- Human Centred Computing -- Channel Attention Separable Convolution Network for Skin Lesion Segmentation -- A DNN-based Learning Framework for Continuous Movements Segmentation -- Neural-Symbolic Recommendation with Graph-Enhanced Information -- Contrastive Hierarchical Gating Networks for Rating Prediction -- Interactive Selection Recommendation Based on the Multi-Head Attention Graph Neural Network -- CM-TCN: Channel-aware Multi-scale Temporal Convolutional Networks For Speech Emotion Recognition -- FLDNet: A Foreground-Aware Network for Polyp Segmentation Leveraging Long-Distance Dependencies -- Domain-Invariant Task Optimization for Cross-domain Recommendation -- Ensemble of randomized neural network and boosted trees for eye tracking-based driver situation awareness recognition and interpretation -- Temporal Modeling Approach for Video Action Recognition Based on Vision-Language Models -- A Deep Learning Framework with Pruning RoI Proposal for Dental Caries Detection in Panoramic X-ray Images -- User stance aware network for rumor detection using semantic relation inference and temporal graph convolution -- IEEG-CT: A CNN and Transformer Based Method for Intracranial EEG Signal Classification -- Multi-Task Learning Network for Automatic Pancreatic Tumor Segmentation and Classification with Inter-Network Channel Feature Fusion -- Fast and Efficient Brain Extraction with Recursive MLP based 3D UNet -- A Hip-Knee Joint Coordination Evaluation System in Hemiplegic Individuals Based on Cyclogram Analysis -- Evaluation of football players' performance based on Multi-Criteria Decision Analysis approach and sensitivity analysis. .The six-volume set LNCS 14447 until 14452 constitutes the refereed proceedings of the 30th International Conference on Neural Information Processing, ICONIP 2023, held in Changsha, China, in November 2023. The 652 papers presented in the proceedings set were carefully reviewed and selected from 1274 submissions. They focus on theory and algorithms, cognitive neurosciences; human centred computing; applications in neuroscience, neural networks, deep learning, and related fields. .Lecture Notes in Computer Science,1611-3349 ;14449Pattern recognition systemsData miningMachine learningSocial sciencesData processingAutomated Pattern RecognitionData Mining and Knowledge DiscoveryMachine LearningComputer Application in Social and Behavioral SciencesPattern recognition systems.Data mining.Machine learning.Social sciencesData processing.Automated Pattern Recognition.Data Mining and Knowledge Discovery.Machine Learning.Computer Application in Social and Behavioral Sciences.006.4Luo Biao1439045Cheng Long1076499Wu Zheng-Guang1058221Li Hongyi1058618Li Chaojie1439046MiAaPQMiAaPQMiAaPQBOOK996565868703316Neural Information Processing3601277UNISA03471oam 22006735 450 991078035510332120221215210158.01-280-08411-197866100841110-585-45849-910.1596/0-8213-5139-7(CKB)111087027994916(OCoLC)52717289(CaPaEBR)ebrary10070358(SSID)ssj0000085168(PQKBManifestationID)11124221(PQKBTitleCode)TC0000085168(PQKBWorkID)10008623(PQKB)10778048(MiAaPQ)EBC3050754(Au-PeEL)EBL3050754(CaPaEBR)ebr10070358(CaONFJC)MIL8411(OCoLC)922951647(The World Bank)94(US-djbf)94(EXLCZ)9911108702799491620020129d2002 uf 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrier2001 Annual Review of Development Effectiveness : Making Choices /Battaile, WilliamWashington, D.C. :The World Bank,20021 online resource (108 pages)Independent Evaluation Group StudiesBibliographic Level Mode of Issuance: Monograph0-8213-5139-7 This is the fifth Annual Review of Development Effectiveness (ARDE). This year's Review highlights the choice of lending and non-lending instruments and activities to achieve development objectives. It complements the Annual Report on Portfolio Performance, the Quality Assurance Group's assessment of the active lending portfolio and of recent analytical and advisory services. As in prior years, the Review concentrates on long-term development effectiveness trends. It finds that selecting the right combination and sequence of activities for a particular set of objectives can make the difference between success and failure. The findings of the 2001 ARDE demonstrate sustained progress in portfolio performance and suggest several directions for future Bank operations. First, the ongoing updating of the policy framework for investment and adjustment lending offer a good opportunity to offer operational guidance and improve instrument choice. Second in poor performing low-income countries simple operations, pilot projects, and non-financial activities have particular potential to deliver results. Third, for adjustment operations--a growing share of Bank lending-success is more likely when the domestic consensus for reform is strong and other Bank instruments are brought to bear both upstream and downstream of the adjustment process.Independent Evaluation Group StudiesWorld Bank e-Library.Economic development projectsFinanceEvaluationLoans, ForeignEconomic development projectsFinanceEvaluation.Loans, Foreign.332.1/532Battaile William1508754Battaile William1508754Chakrapani Deepa1524465Islamshah Zamir1524466Perkins Gillian1524467Reyes Carlos1524468DJBFDJBFBOOK99107803551033212001 Annual Review of Development Effectiveness3765319UNINA