LEADER 05087nam 22007455 450 001 996465977603316 005 20230406044128.0 010 $a3-540-45459-4 024 7 $a10.1007/11874683 035 $a(CKB)1000000000283780 035 $a(SSID)ssj0000316900 035 $a(PQKBManifestationID)11258553 035 $a(PQKBTitleCode)TC0000316900 035 $a(PQKBWorkID)10286687 035 $a(PQKB)10404554 035 $a(DE-He213)978-3-540-45459-5 035 $a(MiAaPQ)EBC3068167 035 $a(PPN)123138604 035 $a(EXLCZ)991000000000283780 100 $a20100323d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Science Logic$b[electronic resource] $e20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /$fedited by Zoltán Ésik 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XII, 627 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4207 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-45458-6 320 $aIncludes bibliographical references and index. 327 $aInvited Presentations -- Functorial Boxes in String Diagrams -- Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) -- Automata and Logics for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation -- A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity -- Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic -- MSO Queries on Tree Decomposable Structures Are Computable with Linear Delay -- Abstracting Allocation -- Collapsibility in Infinite-Domain Quantified Constraint Satisfaction -- Towards an Implicit Characterization of NC k -- On Rational Trees -- Reasoning About States of Probabilistic Sequential Programs -- Concurrent Games with Tail Objectives -- Nash Equilibrium for Upward-Closed Objectives -- Algorithms for Omega-Regular Games with Imperfect Information -- Relating Two Standard Notions of Secrecy -- Jump from Parallel to Sequential Proofs: Multiplicatives -- First-Order Queries over One Unary Function -- Infinite State Model-Checking of Propositional Dynamic Logics -- Weak Bisimulation Approximants -- Complete Problems for Higher Order Logics -- Solving Games Without Determinization -- Game Quantification on Automatic Structures and Hierarchical Model Checking Games -- An Algebraic Point of View on the Crane Beach Property -- A Sequent Calculus for Type Theory -- Universality Results for Models in Locally Boolean Domains -- Universal Structures and the Logic of Forbidden Patterns -- On the Expressive Power of Graph Logic -- Hoare Logic in the Abstract -- Normalization of IZF with Replacement -- Acyclicity and Coherence in Multiplicative Exponential Linear Logic -- Church Synthesis Problem with Parameters -- Decidable Theories of the Ordering of Natural Numbers with Unary Predicates -- Separation Logic for Higher-Order Store -- Satisfiability and Finite Model Property for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4207 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aMachine theory 606 $aArtificial intelligence 606 $aMathematical logic 606 $aCompilers and Interpreters 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aMathematical Logic and Foundations 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aCompilers and Interpreters. 615 24$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aMathematical Logic and Foundations. 676 $a005.1/015113 702 $aÉsik$b Zoltán$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aEuropean Association for Computer Science Logic.$bConference$d(15th :$eSzeged, Hungary) 712 12$aWorkshop on Computer Science Logic 906 $aBOOK 912 $a996465977603316 996 $aComputer Science Logic$9771972 997 $aUNISA LEADER 04012nam 22007335 450 001 9910686779103321 005 20251225203746.0 010 $a9783031284755$b(electronic bk.) 010 $z9783031284748 024 7 $a10.1007/978-3-031-28475-5 035 $a(MiAaPQ)EBC7222584 035 $a(Au-PeEL)EBL7222584 035 $a(OCoLC)1374947923 035 $a(DE-He213)978-3-031-28475-5 035 $a(PPN)269094148 035 $a(CKB)26388214300041 035 $a(EXLCZ)9926388214300041 100 $a20230329d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aInternet of Things $eThird International Conference, ICIoT 2022, Chennai, India, April 5?7, 2022, Revised Selected Papers /$fedited by Revathi Venkataraman, Annie Uthra, Vijayan Sugumaran, R. I. Minu, Pethuru Raj Chelliah 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (127 pages) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v1727 311 08$aPrint version: Venkataraman, Revathi Internet of Things Cham : Springer,c2023 9783031284748 320 $aIncludes bibliographical references and index. 327 $aEnhanced RPL to Control Congestion in IoT: A review -- Real Time Dynamic Home Surveillance Using Raspberry Node -- NEORS - Novel Efficient and Optimal Resource Scheduling Technique for Cloud Infrastructure Services -- Identification of traffic signs for the prevention of road accidents using Convolution Neural Network -- Assessing Depression Health Information Using Machine Learning -- An Optimal and Authentic Communication System Based on Authorization Card Repudiation to Perform a Secure Data Communication in MANET -- Developing a Conceptual Framework for Smart Education Environment integrating IoT in Architectural Education adapting Global Competence -- Energy Bill Minimisation of Dynamic Tariff Bound Residential Consumers by Intentional Load Shifting -- Detection of Authorized Nodes to Provide an Optimal Secure Communication in Amalgamated Internet MANET -- Enhanced hybrid optimization technique to find optimal solutions for task scheduling in cloud-fog computing environments. 330 $aThis book constitutes the refereed and selected papers presented during the Third International Conference on Internet of Things, ICIoT 2022, held in Chennai, India, in April 2022. The 10 papers were thoroughly reviewed and selected from the 100 qualified submissions. They focus on application of IoT in the field of Computer Science and Information Technology as well as on Industrial IoT. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v1727 606 $aComputer engineering 606 $aComputer networks 606 $aCoding theory 606 $aInformation theory 606 $aComputers, Special purpose 606 $aComputer systems 606 $aComputer Engineering and Networks 606 $aCoding and Information Theory 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer Communication Networks 606 $aComputer System Implementation 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aCoding theory. 615 0$aInformation theory. 615 0$aComputers, Special purpose. 615 0$aComputer systems. 615 14$aComputer Engineering and Networks. 615 24$aCoding and Information Theory. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer Communication Networks. 615 24$aComputer System Implementation. 676 $a354.81150006 676 $a004.678 702 $aVenkataraman$b Revathi 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910686779103321 996 $aInternet of things$9226025 997 $aUNINA