LEADER 01475oam 2200433Ka 450 001 9910702855703321 005 20110803113405.0 035 $a(CKB)4330000001864221 035 $a(OCoLC)317713136 035 $a(OCoLC)727358607 035 $a(EXLCZ)994330000001864221 100 $a20090403d2009 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aHydrogen macro system model user guide$b[electronic resource] /$fMark Ruth ... [and others] 205 $aVersion 1.2.1. 210 1$aGolden, Colo. :$cNational Renewable Energy Laboratory,$d[2009] 215 $av, 32 pages $cdigital, PDF file 225 1 $aTechnical report ;$vNREL/TP-6A1-44799 300 $aTitle from title screen (viewed on April 3, 2009). 300 $a"March 2009." 300 $a"Prepared under task no. HS07.1003." 300 $a"Contract no. DE-AC36-08-GO28308." 320 $aIncludes bibliographical references. 606 $aHydrogen as fuel$xComputer simulation$vHandbooks, manuals, etc 608 $aHandbooks and manuals.$2lcgft 615 0$aHydrogen as fuel$xComputer simulation 701 $aRuth$b Mark F$01386680 712 02$aNational Renewable Energy Laboratory (U.S.) 801 0$bSOE 801 1$bSOE 801 2$bGPO 906 $aBOOK 912 $a9910702855703321 996 $aHydrogen macro system model user guide$93489284 997 $aUNINA LEADER 03306nam 22006015 450 001 9910983380403321 005 20251229075325.0 010 $a9783031731808 010 $a3031731808 024 7 $a10.1007/978-3-031-73180-8 035 $a(MiAaPQ)EBC31724997 035 $a(Au-PeEL)EBL31724997 035 $a(CKB)36340922500041 035 $a(DE-He213)978-3-031-73180-8 035 $a(EXLCZ)9936340922500041 100 $a20241012d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAgents and Robots for reliable Engineered Autonomy $e4th Workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, Proceedings /$fedited by Angelo Ferrando, Rafael C. Cardoso 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (175 pages) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v2230 311 08$a9783031731792 311 08$a3031731794 327 $aRisk-Aware On-the-Fly Solving of Physical Vehicle Routing Problems -- Agents as a design paradigm for robotic systems leveraging ROS and Gazebo -- Verification-Oriented Specification of Multi-Agent Interaction Patterns -- Evaluation of Human Interaction with Fleets of Automated Vehicles in Dynamic Underground Mining Environments -- Signal sparsity considerations for using VAE with non-visual data: case study of proximity sensors on a mobile robot -- Planning with Non-Deterministic Actions in Jason -- Bid Intercession to Unlock Human Control in Decentralized Consensus-based Multi-Robot Task Allocation Algorithms -- Reason logically, move continuously -- Attentive A* for Visual Cue based Path Planning in Complex Environments -- Centralized Stochastic Multi-Agent Pathfinding under Partial Observability. 330 $aThis book constitutes the proceedings of the 4th Workshops on Agents and Robots for Reliable Engineered Autonomy, AREA 2024, which took place in Santiago de Compostela, Spain, on October 19, 2024, in conjunction with ECAI 2024. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 14 submissions. They deal with agent-oriented software engineering, robotic applications, formal verification, and artificial intelligence. . 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v2230 606 $aArtificial intelligence 606 $aMultiagent systems 606 $aApplication software 606 $aArtificial Intelligence 606 $aMultiagent Systems 606 $aComputer and Information Systems Applications 615 0$aArtificial intelligence. 615 0$aMultiagent systems. 615 0$aApplication software. 615 14$aArtificial Intelligence. 615 24$aMultiagent Systems. 615 24$aComputer and Information Systems Applications. 676 $a006.3 700 $aFerrando$b Angelo$01784326 701 $aCardoso$b Rafael C$01314815 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983380403321 996 $aAgents and Robots for Reliable Engineered Autonomy$94315993 997 $aUNINA