00972nam0-22003131i-450-99000697410040332120011012000697410FED01000697410(Aleph)000697410FED0100069741020011012d1967----km-y0itay50------baengUSGBy-------001yyNATO and the Range of American ChoiceWilliam T.R. Fox, Annette B. FoxNew YorkLondonColumbia University Press1967352 p.24 cmInstitute of war and Peace Studies of the School of International Affairs of Columbia University34120itaFox,William T.R.256649Fox,Annette B.256650ITUNINARICAUNIMARCBK990006974100403321X Q 11983249FGBCFGBCNATO and the Range of American Choice700391UNINA01178nam0 22002651i 450 UON0009454220231205102526.50520020107f1983 |0itac50 baitaIT|||| 1||||Miasma: Pollution and Purification in Early Greek - Robert ParkerOxfordClarendon press1983XVIII, 413 p. cmDATI INESATTIIT-UONSI F084001UON003635492001 Pollution and purification in early Greek religionGBOxfordUONL000029PARKERRobertUONV060007163277Clarendon PressUONV246509650ITSOL20240220RICAUON00094542SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI F 084 SI MC 7439 5 DATI INESATTISIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI P 5 0507 SI MC 7168 5 Miasma: Pollution and Purification in Early Greek - Robert Parker1302673UNIOR03163nam 22005775 450 991103495540332120251011130422.03-032-08049-510.1007/978-3-032-08049-3(MiAaPQ)EBC32342987(Au-PeEL)EBL32342987(CKB)41621550800041(DE-He213)978-3-032-08049-3(EXLCZ)994162155080004120251011d2025 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAgents and Robots for reliable Engineered Autonomy 5th Workshop, AREA 2025, Bologna, Italy, October 25, 2025, Proceedings /edited by Angelo Ferrando, Rafael C. Cardoso1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (210 pages)Communications in Computer and Information Science,1865-0937 ;27003-032-08048-7 -- Conversational Text-to-SQL: A Comprehensive Survey of Paradigms, Challenges, and Future Directions. -- Selecting the Most Specific Plan in AgentSpeak Programs. -- A wearable stereo vision-based obstacle detection system for visually impaired individuals. -- Towards Safe Action Policies in Multi-robot Systems with Causal Reinforcement Learning. -- A Formal Factorization Approach of Non-Deterministic Plans: Application to an Anti-Poaching Robotic Mission Scenario. -- Sim-to-Real 6-DoF Pose Estimation for UAVs using Synthetic RGB-D Data. -- Corroborative V&V for Autonomous Systems: Integrating Evidence and Discrepancy Analysis for Safety Assurance. -- BC-MPPI: A Probabilistic Constraint Layer for Safe Model-Predictive Path-Integral Control.This book constitutes the proceedings of the 5th International Workshop on Agents and Robots for Reliable Engineered Autonomy, AREA 2025, which took place in Bologna, Italy, on October 25, 2025, in conjunction with ECAI 2025. The 8 full papers included in this book were carefully reviewed and selected from 13 submissions. They deal with agent-oriented software engineering, robotic applications, formal verification, and artificial intelligence. .Communications in Computer and Information Science,1865-0937 ;2700Artificial intelligenceMultiagent systemsApplication softwareArtificial IntelligenceMultiagent SystemsComputer and Information Systems ApplicationsArtificial intelligence.Multiagent systems.Application software.Artificial Intelligence.Multiagent Systems.Computer and Information Systems Applications.006.3Ferrando Angelo1784326Cardoso Rafael C1314815MiAaPQMiAaPQMiAaPQBOOK9911034955403321Agents and Robots for Reliable Engineered Autonomy4315993UNINA