LEADER 00893nam0-2200301 --450 001 9910628494303321 005 20221130102910.0 020 $aIT$b91-164 100 $a20221130d1988----kmuy0itay5050 ba 101 2 $aita$alat 102 $aIT 105 $a 001yy 200 1 $aVita del beatissimo Epifanio vescovo della Chiesa pavese$fEnnodio$g[a cura di] Maria Cesa 210 $aComo$cNew press$d1988 215 $a219 p.$d24 cm 225 1 $aBiblioteca di Athenaeum$v6 676 $a270.20924 676 $a871 676 $a873 700 1$aEnnodius,$bMagnus Felix$0220646 702 1$aCesa,$bMaria$f<1957- > 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910628494303321 952 $aP2B 650 ENNODIUS 410 1988$b2021/2843$fFLFBC 959 $aFLFBC 996 $aVita del beatissimo Epifanio vescovo della Chiesa pavese$92968887 997 $aUNINA LEADER 01584nam 2200421 a 450 001 9910700172603321 005 20110223092611.0 035 $a(CKB)5470000002407238 035 $a(OCoLC)703418328 035 $a(EXLCZ)995470000002407238 100 $a20110223d2010 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRecovery Act$b[electronic resource] $estates' and localities' use of funds and actions needed to address implementation challenges and bolster accountability (appendixes) : report to the Congress 210 1$a[Washington, D.C.] :$cU.S. Govt. Accountability Office,$d[2010] 215 $a1 online resource (573 pages)$cillustrations, maps 300 $aTitle from PDF title screen (GAO, viewed Feb. 10, 2011). 300 $a"May 2010." 300 $a"GAO-10-605SP." 320 $aIncludes bibliographical references. 517 $aRecovery Act 606 $aEconomic stabilization$xLaw and legislation$zUnited States$xStates 606 $aFederal aid$zUnited States 606 $aGrants-in-aid$zUnited States$xStates$xAuditing 606 $aEconomic stabilization$zUnited States$xStates$xAuditing 615 0$aEconomic stabilization$xLaw and legislation$xStates. 615 0$aFederal aid 615 0$aGrants-in-aid$xStates$xAuditing. 615 0$aEconomic stabilization$xStates$xAuditing. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910700172603321 996 $aRecovery Act$93434897 997 $aUNINA LEADER 03896nam 22006255 450 001 9910298963603321 005 20250820220209.0 010 $a3-319-25507-X 024 7 $a10.1007/978-3-319-25507-1 035 $a(CKB)3710000000602250 035 $a(EBL)4415548 035 $a(SSID)ssj0001653668 035 $a(PQKBManifestationID)16433147 035 $a(PQKBTitleCode)TC0001653668 035 $a(PQKBWorkID)14982468 035 $a(PQKB)11570943 035 $a(DE-He213)978-3-319-25507-1 035 $a(MiAaPQ)EBC4415548 035 $a(PPN)192220004 035 $a(EXLCZ)993710000000602250 100 $a20160219d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aMobility Modeling for Vehicular Communication Networks /$fby Khadige Abboud, Weihua Zhuang 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (82 p.) 225 1 $aSpringerBriefs in Electrical and Computer Engineering,$x2191-8120 300 $aDescription based upon print version of record. 311 08$a3-319-25505-3 320 $aIncludes bibliographical references at the end of each chapters. 327 $aIntroduction.-System model -- Microscopic vehicle mobility model -- Spatio-temporal network topology analysis -- Conclusions and future work. 330 $aThis brief presents a stochastic microscopic mobility model that describes the temporal changes of intervehicle distances. The model is consistent with simulated and empirical vehicle traffic patterns. Using stochastic lumpability methods, the proposed mobility model is mapped into an aggregated mobility model that describes the mobility of a group of vehicles. In addition, the proposed mobility model is used to analyze the spatiotemporal VANET topology. Two metrics are proposed to characterize the impact of vehicle mobility on VANET topology: the time period between successive changes in communication link state (connection and disconnection) and the time period between successive changes in node?s one-hop neighborhood. Using the proposed lumped group mobility model, the two VANET topology metrics are probabilistically characterized for different vehicular traffic flow conditions. Furthermore, the limiting behavior of a system of two-hop vehicles and the overlap-state of their coverage ranges is modeled, and the steady-state number of common vehicle neighbors between the two vehicles is approximately derived. The proposed mobility model will facilitate mathematical analysis in VANETs.  The spatiotemporal VANET topology analysis provides a useful tool for the development of mobility-aware vehicular network protocols. Mobility Modeling for Vehicular Communication Networks is designed for researchers, developers, and professionals involved with vehicularcommunications. It is also suitable for advanced-level students interested in communications, transport infrastructure, and infotainment applications. 410 0$aSpringerBriefs in Electrical and Computer Engineering,$x2191-8120 606 $aComputer networks 606 $aTelecommunication 606 $aComputer Communication Networks 606 $aCommunications Engineering, Networks 615 0$aComputer networks. 615 0$aTelecommunication. 615 14$aComputer Communication Networks. 615 24$aCommunications Engineering, Networks. 676 $a388.3124 700 $aAbboud$b Khadige$4aut$4http://id.loc.gov/vocabulary/relators/aut$01059569 702 $aZhuang$b Weihua$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910298963603321 996 $aMobility Modeling for Vehicular Communication Networks$92507056 997 $aUNINA