LEADER 04074nam 2200565 450 001 996464381203316 005 20220131172054.0 010 $a3-030-77569-0 024 7 $a10.1007/978-3-030-77569-8 035 $a(CKB)4100000011950968 035 $a(DE-He213)978-3-030-77569-8 035 $a(MiAaPQ)EBC6635747 035 $a(Au-PeEL)EBL6635747 035 $a(OCoLC)1255228925 035 $a(PPN)258304421 035 $a(EXLCZ)994100000011950968 100 $a20220131d2021 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aQuality, reliability, security and robustness in heterogeneous systems $e16th EAI international conference, QShine 2020, virtual event, November 29-30, 2020, proceedings /$fXi Wu, Kaishun Wu and Cong Wang (editors) 205 $a1st ed. 2021. 210 1$aCham, Switzerland :$cSpringer,$d[2021] 210 4$d©2021 215 $a1 online resource (IX, 271 p. 123 illus., 104 illus. in color.) 225 1 $aLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering,$x1867-8211 ;$v381 311 $a3-030-77568-2 320 $aIncludes bibliographical references and index. 327 $aResearch and Application of Visual SLAM based on Embedded GPU -- Hardware Trojan Detection Method Based on Multifeatured GEP -- Sleep Apnea Monitoring System Based on Channel State Information -- Energy-efficient DAC Scheme Based on Unit Capacitor Switching for SAR ADCs -- The SDN-governed Ad Hoc Swarm for Mobile Surveillance of Meteorological Facilities -- Research on Optimizing the Location and Capacity of Electric Vehicle Charging Stations Research on Semantic Vision SLAM towards Dynamic Environment -- IAA Spectral Estimation in the Selective range -- Robust frequency estimation under additive mixture noise -- Data Augmentation for Cardiac Magnetic Resonance Image using Evolutionary GAN -- Analysis of Spectrum Detection and Decision using Machine Learning Algorithms in Cognitive Mobile Radio Networks -- AutoMTS: fully autonomous processing of multivariate time series data from heterogeneous sensor networks -- Image Extrapolation Based on Perceptual Loss and Style Loss -- Comparison of Two Fourier Transform Methods in Modulation Measurement Profilometry -- Research on Image Enhancement Model Based on Variable Order Fractional Differential CLAHE -- Optimum Parameter Estimation under Additive Cauchy-Gaussian Mixture Noise -- Face reconstruction with specific weight mask -- Stability analysis of quaternion-valued neural network with non-differentiable time-varying delays and constant delays -- Learn to rectify label through kernel extreme learning machine. . 330 $aThis book constitutes the refereed post-conference proceedings of the 15th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2020, held in November 2020. Due to COVID-19 pandemic the conference was held virtually. The 19 revised full papers were carefully reviewed and selected from 49 submissions. The papers are organized thematically in tracks on Network Reliability and Security an Emerging Applications. 410 0$aLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering,$x1867-8211 ;$v381 606 $aComputer networks$xQuality control$vCongresses 606 $aComputer networks$xSecurity measures$vCongresses 606 $aComputer networks$xReliability$vCongresses 615 0$aComputer networks$xQuality control 615 0$aComputer networks$xSecurity measures 615 0$aComputer networks$xReliability 676 $a004.6 702 $aWu$b Kaishun 702 $aWang$b Cong 702 $aWu$b Xi 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996464381203316 996 $aQuality, Reliability, Security and Robustness in Heterogeneous Systems$91902309 997 $aUNISA LEADER 01099nam0 22002891i 450 001 UON00166890 005 20231205103034.774 010 $a43-09-47100-5 100 $a20030210d1986 |0itac50 ba 101 $ajpn 102 $aJP 105 $a||||p ||||| 200 1 $aEnbon kiko. Tokaido gojusan tsugii$fHayashi Yoshikazu 210 $aTokyo$cKawade shobo$d1986 215 $a400 p.$cill.$d17 cm 410 1$1001UON00164970$12001 $aKawade bunko$v760/a 606 $aGIAPPONE$xSTAMPA$xPERIODO EDO$xGENERE EROTICO$3UONC030823$2FI 620 $aJP$dTo?kyo?$3UONL000031 686 $aGIA SERIE$cGIAPPONE - SERIE$2A 700 0$aHAYASHI Yoshikazu$3UONV069496$0506370 712 $aKawade Shobo Shinsha$3UONV247322$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00166890 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI GIA SERIE 050 007 $eSI SA 107282 7 007 996 $aEnbon kiko. Tokaido gojusan tsugii$91282842 997 $aUNIOR LEADER 06289nam 22007695 450 001 9910483822903321 005 20251226203133.0 010 $a1-280-38588-X 010 $a9786613563804 010 $a3-642-12032-6 024 7 $a10.1007/978-3-642-12032-9 035 $a(CKB)2670000000010120 035 $a(SSID)ssj0000399480 035 $a(PQKBManifestationID)11245775 035 $a(PQKBTitleCode)TC0000399480 035 $a(PQKBWorkID)10376185 035 $a(PQKB)10535011 035 $a(DE-He213)978-3-642-12032-9 035 $a(MiAaPQ)EBC3065137 035 $a(PPN)149059809 035 $a(BIP)29190102 035 $a(EXLCZ)992670000000010120 100 $a20100308d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Software Science and Computational Structures $e13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings /$fedited by Luke Ong 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XV, 389 p. 47 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6014 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-12031-8 320 $aIncludes bibliographical references and index. 327 $aFoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming Languages -- A Semantic Foundation for Hidden State -- Linearly-Used Continuations in the Enriched Effect Calculus -- Block Structure vs. Scope Extrusion: Between Innocence and Omniscience -- Completeness for Algebraic Theories of Local State -- Probabilistic and Randomised Computation -- Fair Adversaries and Randomization in Two-Player Games -- Retaining the Probabilities in Probabilistic Testing Theory -- Concurrency and Process Theory -- Forward Analysis of Depth-Bounded Processes -- Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization -- Parameterised Multiparty Session Types -- On the Relationship between Spatial Logics and Behavioral Simulations -- Modal and Temporal Logics -- An Easy Completeness Proof for the Modal ?-Calculus on Finite Trees -- When Model-Checking Freeze LTL over Counter Machines Becomes Decidable -- Model Checking Is Static Analysis of Modal Logic -- Counting CTL -- Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems -- Verification -- Toward a Compositional Theory of Leftist Grammars and Transformations -- Degrees of Lookahead in Regular Infinite Games -- Reachability Analysis of Communicating Pushdown Systems -- The Complexity of Synchronous Notions of Information Flow Security -- Categorical and Coalgebraic Methods -- Monads Need Not Be Endofunctors -- CIA Structures and the Semantics of Recursion -- Coalgebraic Correspondence Theory -- Lambda Calculus and Types -- Untyped Recursion Schemes and Infinite Intersection Types -- Solvability in Resource Lambda-Calculus -- A Hierarchy for Delimited Continuations in Call-by-Name. 330 $aETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual'vesisterconferences(CC,ESOP,FASE,FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA, MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven invited l- tures (excluding those that were speci'c to the satellite events). The ?ve main conferences this year received 497 submissions (including 31 tool demonstration papers), 130 of which were accepted (10 tool demos), giving an overall acc- tance rate of 26%, with most of the conferences at around 24%. Congratulations thereforetoalltheauthorswhomadeittothe'nalprogramme!Ihopethatmost of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci'cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di'erent blends of theory and practice are represented,withaninclinationtowardtheorywithapracticalmotivationonthe one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6014 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aComputer science 606 $aFormal Languages and Automata Theory 606 $aCompilers and Interpreters 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 615 0$aMachine theory. 615 0$aCompilers (Computer programs). 615 0$aSoftware engineering. 615 0$aComputer science. 615 14$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 615 24$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.131 701 $aOng$b Luke$01752473 712 12$aETAPS 2010$f(2010 :$ePaphos, Cyprus) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483822903321 996 $aFoundations of software science and computational structures$94187858 997 $aUNINA