LEADER 02906oam 2200541 450 001 996418296103316 005 20210612155719.0 010 $a3-030-66534-8 024 7 $a10.1007/978-3-030-66534-0 035 $a(CKB)4100000011704521 035 $a(DE-He213)978-3-030-66534-0 035 $a(MiAaPQ)EBC6452037 035 $a(PPN)253252954 035 $a(EXLCZ)994100000011704521 100 $a20210612d2020 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aEngineering multi-agent systems $e5th international workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017 : revised selected papers /$fCristina Baroglio, Jomi F. Hubner and Michael Winikoff (editors) 205 $a1st ed. 2020. 210 1$aCham, Switzerland :$cSpringer,$d[2020] 210 4$d©2020 215 $a1 online resource (XI, 153 p. 47 illus., 33 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence ;$v12589 300 $aIncludes index. 311 $a3-030-66533-X 327 $aDelivering Multi-Agent MicroServices using CArtAgO -- Aplib: Tactical Agents for Testing Computer Games -- Exploiting Simulation for MAS Development and Execution?The JaCaMo-sim Approach -- Fragility and Robustness in Multiagent Systems -- Fault Tolerance in Multiagent Systems -- Multi-Agent Control of Industrial Robot Vacuum Cleaners -- Orthos: A Trustworthy AI Framework For Data Acquisition -- Simulating Vehicular IoT Applications by Combining a Multi-agent System and Big Data -- Accept a Challenge: The Multi-Agent Programming Contest -- The Intention Progression Competition. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Engineering Multi-Agent Systems, EMAS 2020, held in Auckland, New Zealand, in May 2020. Due to COVID-19 pandemic the conference was held virtually. The 10 revised full papers presented in this book were carefully selected and reviewed from 16 submissions. The papers cover a broad range of topics in the domains of agent-oriented software engineering, programming multi-agent systems, declarative agent languages and technologies, artificial intelligence, and machine learning. 410 0$aLecture Notes in Artificial Intelligence ;$v12589 606 $aArtificial intelligence 606 $aMultiagent systems 606 $aEngineering systems 615 0$aArtificial intelligence. 615 0$aMultiagent systems. 615 0$aEngineering systems. 676 $a006.30285436 702 $aHubner$b Jomi F. 702 $aWinikoff$b Michael 702 $aBaroglio$b Cristina 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996418296103316 996 $aEngineering Multi-Agent Systems$92803788 997 $aUNISA LEADER 04695nam 22014415 450 001 9910154748703321 005 20190708092533.0 010 $a1-4008-8219-2 024 7 $a10.1515/9781400882199 035 $a(CKB)3710000000627297 035 $a(MiAaPQ)EBC4738683 035 $a(DE-B1597)468013 035 $a(OCoLC)979760050 035 $a(DE-B1597)9781400882199 035 $a(EXLCZ)993710000000627297 100 $a20190708d2016 fg 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aConvergence and Uniformity in Topology. (AM-2), Volume 2 /$fJohn W. Tukey 210 1$aPrinceton, NJ : $cPrinceton University Press, $d[2016] 210 4$d©1941 215 $a1 online resource (108 pages) 225 0 $aAnnals of Mathematics Studies ;$v281 300 $a"Lithoprinted." 300 $a"In large part this material is drawn from my doctor's thesis (Princeton University, 1939)"-Introduction. 311 $a0-691-09568-X 320 $aIncludes bibliographical references and index. 327 $tFrontmatter -- $tIntroduction -- $tContents -- $tGeneral Usage of The Alphabets -- $tSpecial Usage of The Alphabets -- $tUsage of General Symbols -- $tChapter I. Ordering -- $tChapter II. Direction -- $tChapter III. Convergence -- $tChapter IV. Compactness -- $tChapter V. Normality -- $tChapter VI. Structs -- $tChapter VII. Function - Spaces -- $tChapter VIII. Examples -- $tChapter IX. Discussion -- $tBibliography -- $tIndex 330 $aThe description for this book, Convergence and Uniformity in Topology. (AM-2), Volume 2, will be forthcoming. 410 0$aAnnals of mathematics studies ;$vno. 2. 606 $aTopology 610 $aAbsolute value. 610 $aAbstract algebra. 610 $aAlgebraic topology. 610 $aAxiom of choice. 610 $aBinary relation. 610 $aCardinal number. 610 $aCharacteristic function (probability theory). 610 $aClosed set. 610 $aClosure operator. 610 $aCombinatorial topology. 610 $aCompact space. 610 $aComplete lattice. 610 $aComplete metric space. 610 $aContinuous function (set theory). 610 $aContinuous function. 610 $aCountable set. 610 $aCounterexample. 610 $aDimension theory (algebra). 610 $aDimension theory. 610 $aDiscrete space. 610 $aDomain of a function. 610 $aEmpty set. 610 $aEnumeration. 610 $aEquivalence class. 610 $aEquivalence relation. 610 $aExistential quantification. 610 $aFamily of sets. 610 $aFinite set. 610 $aGeneral topology. 610 $aGeometry. 610 $aHahn?Banach theorem. 610 $aHausdorff space. 610 $aHomeomorphism. 610 $aInfimum and supremum. 610 $aInteger. 610 $aInterval (mathematics). 610 $aLebesgue constant (interpolation). 610 $aLimit point. 610 $aLinear space (geometry). 610 $aMathematician. 610 $aMathematics. 610 $aMaximal element. 610 $aMetric space. 610 $aMonotonic function. 610 $aMutual exclusivity. 610 $aNatural number. 610 $aNegation. 610 $aNormal space. 610 $aOpen set. 610 $aOrdinal number. 610 $aReal number. 610 $aRegular space. 610 $aRequirement. 610 $aScientific notation. 610 $aSeparation axiom. 610 $aSet (mathematics). 610 $aSet theory. 610 $aSpecial case. 610 $aSubsequence. 610 $aSubset. 610 $aSuggestion. 610 $aSummation. 610 $aSuperspace. 610 $aTheorem. 610 $aTheory. 610 $aTopological algebra. 610 $aTopology. 610 $aTotal order. 610 $aTransfinite induction. 610 $aTransfinite number. 610 $aTransfinite. 610 $aTransitive relation. 610 $aTychonoff space. 610 $aUltrafilter. 610 $aUncountable set. 610 $aUniform continuity. 610 $aUnion (set theory). 610 $aUpper and lower bounds. 610 $aZorn's lemma. 615 0$aTopology. 676 $a510.82 676 $a513.83 700 $aTukey$b John W., $0439550 801 0$bDE-B1597 801 1$bDE-B1597 906 $aBOOK 912 $a9910154748703321 996 $aConvergence and Uniformity in Topology. (AM-2), Volume 2$92785667 997 $aUNINA LEADER 01768nam 2200397 a 450 001 9910697881903321 005 20241122174104.0 035 $a(CKB)5470000002392161 035 $a(OCoLC)276917335 035 $a(EXLCZ)995470000002392161 100 $a20081203d2008 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFinancial management $epersistent financial management systems issues remain for many CFO Act agencies : report to congressional committees 210 1$a[Washington, D.C.] :$cU.S. Govt. Accountability Office,$d[2008] 215 $aIII, 48 pages $cdigital, PDF file 300 $aTitle from title screen (viewed on Nov. 26, 2008). 300 $a"September 2008." 300 $aPaper version available from: U.S. Govt. Accountability Office, 441 G St., NW, Rm. LM, Washington, D.C. 20548. 300 $a"GAO-08-1018." 320 $aIncludes bibliographical references. 330 $aThis report, primarily based on GAO and inspectors general reports and agencies' performance and accountability reports, discusses (1) the reported status of agencies' systems compliance with FFMIA and overall federal financial management improvement efforts and (2) the remaining challenges to achieving the goals of FFMIA. 517 $aFinancial management 606 $aFinance$xManagement$xGovernment policy$zUnited States 606 $aAdministrative agencies$zUnited States$xManagement 615 0$aFinance$xManagement$xGovernment policy 615 0$aAdministrative agencies$xManagement. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910697881903321 996 $aFinancial Management$9424135 997 $aUNINA