LEADER 04619nam 2200661 a 450 001 9910452572603321 005 20220110114633.0 010 $a1-280-99866-0 010 $a9786613770271 010 $a0-262-30558-5 035 $a(CKB)2550000000105114 035 $a(EBL)3339461 035 $a(SSID)ssj0000692488 035 $a(PQKBManifestationID)12315757 035 $a(PQKBTitleCode)TC0000692488 035 $a(PQKBWorkID)10636636 035 $a(PQKB)10543020 035 $a(MiAaPQ)EBC3339461 035 $a(OCoLC)801836118$z(OCoLC)806520954$z(OCoLC)961496258$z(OCoLC)962628749$z(OCoLC)970362955$z(OCoLC)975816928$z(OCoLC)987645132$z(OCoLC)990527334$z(OCoLC)1001678303$z(OCoLC)1003357743$z(OCoLC)1018074883$z(OCoLC)1042322129$z(OCoLC)1045219549$z(OCoLC)1049693663$z(OCoLC)1067200011$z(OCoLC)1078379042 035 $a(OCoLC-P)801836118 035 $a(MaCbMITP)9108 035 $a(Au-PeEL)EBL3339461 035 $a(CaPaEBR)ebr10579825 035 $a(CaONFJC)MIL377027 035 $a(OCoLC)801836118 035 $a(EXLCZ)992550000000105114 100 $a20111208d2012 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aPrinciples of brain dynamics$b[electronic resource] $eglobal state interactions /$fedited by Mikhail I. Rabinovich, Karl J. Friston, and Pablo Varona 210 $aCambridge, Mass. $cMIT Press$dc2012 215 $a1 online resource (355 p.) 225 1 $aComputational neuroscience 300 $aDescription based upon print version of record. 311 $a0-262-01764-4 320 $aIncludes bibliographical references and index. 327 $aThe dynamical and structural basis of brain activity / Gustavo Deco, Viktor Jirsa, and Karl J. Friston -- Functional connectivity, neurocognitive networks, and brain dynamics / Vinod Menon -- Decoding mental states from patterns of brain activity / John-Dylan Haynes -- Transient brain dynamics / Mikhail Rabinovich and Pablo Varona -- A dynamic field account to language-related brain potentials / Peter Beim Graben and Roland Potthast -- Recognition of sequences of sequences using nonlinear dynamical systems / Stefan J. Kiebel and Karl J. Friston -- The stability of information flows in the brain / Mikhail Rabinovich, Christian Bick, and Pablo Varona -- Multiae scale EEG dynamics and brain functions / Maxim Bazhenov and Scott Makeig -- Mapping the multi-scale information content of complex brain signals / Vasily A. Vakorin and Randy McIntosh -- Connectivity and dynamics of neural information processing / Viktor Jirsa ... [et al.] -- Transient motor behavior and synchronization in the cortex / Andreas Daffertshofer and Bernadette C.M. van Wijk -- Free-energy and global dynamics / Karl J. Friston -- Perception, action, and utility : the tangled skein / Samuel Gershman and Nathaniel Daw -- Short guide to modern nonlinear dynamics / Valentin Afraimovich, Mikhail Rabinovich, and Pablo Varona. 330 $aExperimental and theoretical approaches to global brain dynamics that draw on the latest research in the field. The consideration of time or dynamics is fundamental for all aspects of mental activity--perception, cognition, and emotion--because the main feature of brain activity is the continuous change of the underlying brain states even in a constant environment. The application of nonlinear dynamics to the study of brain activity began to flourish in the 1990's when combined with empirical observations from modern morphological and physiological observations. This book offers perspectives on brain dynamics that draw on the latest advances in research in the field. It includes contributions from both theoreticians and experimentalists, offering an eclectic treatment of fundamental issues. Topics addressed range from experimental and computational approaches to transient brain dynamics to the free-energy principle as a global brain theory. The book concludes with a short but rigorous guide to modern nonlinear dynamics and their application to neural dynamics. 410 0$aComputational neuroscience. 606 $aBrain$xPhysiology 606 $aDynamics 608 $aElectronic books. 615 0$aBrain$xPhysiology. 615 0$aDynamics. 676 $a612.8/2 701 $aRabinovich$b M. I$042489 701 $aFriston$b K. J$g(Karl J.)$0982584 701 $aVarona$b Pablo$01072639 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910452572603321 996 $aPrinciples of brain dynamics$92568900 997 $aUNINA LEADER 05160nam 22007695 450 001 9910143630303321 005 20251116234015.0 010 $a3-540-45046-7 024 7 $a10.1007/3-540-45046-7 035 $a(CKB)1000000000211252 035 $a(SSID)ssj0000326191 035 $a(PQKBManifestationID)11246875 035 $a(PQKBTitleCode)TC0000326191 035 $a(PQKBWorkID)10296458 035 $a(PQKB)10041609 035 $a(DE-He213)978-3-540-45046-7 035 $a(MiAaPQ)EBC3072739 035 $a(PPN)155211676 035 $a(BIP)13627372 035 $a(BIP)6527008 035 $a(EXLCZ)991000000000211252 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aReflection and Software Engineering /$fedited by Walter Cazzola, Robert J. Stroud, Francesco Tisato 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (X, 234 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1826 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-67761-5 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aReflection and Software Engineering Foundations -- Shifting Up Reflection from the Implementation to the Analysis Level -- Towards a True Reflective Modeling Scheme -- Reflective Software Adaptability and Evolution -- Declarable Modifiers: A Proposal to Increase the Efficacy of Metaclasses -- Managing Evolution Using Cooperative Designs and a Reflective Architecture -- Reflective Middleware -- The Role of Reflective Middleware in Supporting the Engineering of Dynamic Applications -- Active Network Service Management Based on Meta-level Architectures -- Engineering Java-Based Reflective Languages -- OpenJava: A Class-Based Macro System for Java -- OpenJIT Frontend System: An Implementation of the Reflective JIT Compiler Frontend -- Kava - A Reflective Java Based on Bytecode Rewriting -- Dynamic Reconguration through Reflection -- Using Reflection to Support Dynamic Adaptation of System Software: A Case Study Driven Evaluation -- On the Integration of Configuration and Meta-level Programming Approaches -- Carp@ ? A Reflection Based Tool for Observing Jini Services. 330 $aThis book presents the state of the art of research and development of computational reflection in the context of software engineering. Reflection has attracted considerable attention recently in software engineering, particularly from object-oriented researchers and professionals. The properties of transparency, separation of concerns, and extensibility supported by reflection have largely been accepted as useful in software development and design; reflective features have been included in successful software development technologies such as the Java language. The book offers revised versions of papers presented first at a workshop held during OOPSLA'99 together with especially solicited contributions. The papers are organized in topical sections on reflective and software engineering foundations, reflective software adaptability and evolution, reflective middleware, engineering Java-based reflective languages, and dynamic reconfiguration through reflection. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1826 606 $aSoftware engineering 606 $aComputer programming 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers) 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.1 702 $aCazzola$b Walter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStroud$b Robert J$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTisato$b Francesco$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143630303321 996 $aReflection and software engineering$9879379 997 $aUNINA LEADER 03600nam 22005655 450 001 9910484330603321 005 20251204104252.0 010 $a3-030-60769-0 024 7 $a10.1007/978-3-030-60769-2 035 $a(CKB)4100000011728415 035 $a(DE-He213)978-3-030-60769-2 035 $a(MiAaPQ)EBC6462424 035 $a(PPN)253255937 035 $a(EXLCZ)994100000011728415 100 $a20210122d2021 u| 0 101 0 $aeng 135 $aurnn#---mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAuthentication of Embedded Devices $eTechnologies, Protocols and Emerging Applications /$fedited by Basel Halak 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (XV, 188 p. 74 illus., 36 illus. in color.) 311 1 $a3-030-60768-2 327 $aIntroduction -- Integrated Circuit Fingerprinting -- Novel PUF designs for device Identification -- Authentication Protocols: Standards, limitation and research opportunities -- Hardware-based Authentication Protocols for better physical security -- Energy Efficient Authentication Protocols -- Case study 1: Securing Hardware Supply Chain -- Case study 2: GPS spoofing attack detection and survival. 330 $aThis book provides comprehensive coverage of state-of-the-art integrated circuit authentication techniques, including technologies, protocols and emerging applications. The authors first discuss emerging solutions for embedding unforgeable identifies into electronics devices, using techniques such as IC fingerprinting, physically unclonable functions and voltage-over-scaling. Coverage then turns to authentications protocols, with a special focus on resource-constrained devices, first giving an overview of the limitation of existing solutions and then presenting a number of new protocols, which provide better physical security and lower energy dissipation. The third part of the book focuses on emerging security applications for authentication schemes, including securing hardware supply chains, hardware-based device attestation and GPS spoofing attack detection and survival. Provides deep insight into the security threats undermining existing integrated circuit authentication techniques; Includes an in-depth discussion of the emerging technologies used to embed unforgeable identifies into electronics systems; Offers a comprehensive summary of existing authentication protocols and their limitations; Describes state-of-the-art authentication protocols that provide better physical security and more efficient energy consumption; Includes detailed case studies on the emerging applications of IC authentication schemes. 606 $aElectronic circuits 606 $aCooperating objects (Computer systems) 606 $aMicroprocessors 606 $aComputer architecture 606 $aElectronic Circuits and Systems 606 $aCyber-Physical Systems 606 $aProcessor Architectures 615 0$aElectronic circuits. 615 0$aCooperating objects (Computer systems). 615 0$aMicroprocessors. 615 0$aComputer architecture. 615 14$aElectronic Circuits and Systems. 615 24$aCyber-Physical Systems. 615 24$aProcessor Architectures. 676 $a621.3815 702 $aHalak$b Basel 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484330603321 996 $aAuthentication of embedded devices$92844828 997 $aUNINA