LEADER 03437nam 22006255 450 001 996466002803316 005 20230330064758.0 010 $a3-319-40370-2 024 7 $a10.1007/978-3-319-40370-0 035 $a(CKB)3710000000734806 035 $a(DE-He213)978-3-319-40370-0 035 $a(MiAaPQ)EBC6301664 035 $a(MiAaPQ)EBC5586318 035 $a(Au-PeEL)EBL5586318 035 $a(OCoLC)951668183 035 $a(PPN)19451482X 035 $a(EXLCZ)993710000000734806 100 $a20160603d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCoalgebraic Methods in Computer Science$b[electronic resource] $e13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /$fedited by Ichiro Hasuo 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (IX, 235 p. 5 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9608 311 $a3-319-40369-9 327 $aFixed Points of Functors - A Survey -- Compositional Coinduction with Sized Types -- Lawvere Theories as Composed PROPs -- Transitivity and Difunctionality of Bisimulations -- Affine Monads and Side-Effect-Freeness -- Duality of Equations and Coequations via Contravariant Adjunctions -- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness -- Product Rules and Distributive Laws -- On the Logic of Generalised Metric Spaces -- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors -- Coalgebraic Completeness-via-Canonicity: Principles and Applications -- Relational Lattices via Duality -- On Local Characterization of Global Timed Bisimulation for Abstract. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016. The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9608 606 $aMachine theory 606 $aComputer science 606 $aArtificial intelligence 606 $aFormal Languages and Automata Theory 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aArtificial Intelligence 615 0$aMachine theory. 615 0$aComputer science. 615 0$aArtificial intelligence. 615 14$aFormal Languages and Automata Theory. 615 24$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aArtificial Intelligence. 676 $a004 702 $aHasuo$b Ichiro$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466002803316 996 $aCoalgebraic Methods in Computer Science$92902835 997 $aUNISA LEADER 03517nam 22006015 450 001 9910629293903321 005 20251009102939.0 010 $a9789811966682$b(electronic bk.) 010 $z9789811966675 024 7 $a10.1007/978-981-19-6668-2 035 $a(MiAaPQ)EBC7132889 035 $a(Au-PeEL)EBL7132889 035 $a(CKB)25289752800041 035 $a(PPN)266348947 035 $a(DE-He213)978-981-19-6668-2 035 $a(OCoLC)1350842398 035 $a(EXLCZ)9925289752800041 100 $a20221105d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCollapse of Metastability $eDynamics of First-Order Phase Transition /$fby Seiji Miyashita 205 $a1st ed. 2022. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2022. 215 $a1 online resource (260 pages) 225 1 $aFundamental Theories of Physics,$x2365-6425 ;$v211 311 08$aPrint version: Miyashita, Seiji Collapse of Metastability Singapore : Springer,c2022 9789811966675 320 $aIncludes bibliographical references and index. 327 $aIntroduction -- What is the Metastability -- Metastability-Collapse by Thermal Fluctuation -- Metastability-Collapse with Quantum Fluctuation -- First-Order Phase Transition in Non-equilibrium Steady Systems -- Eigenvalue Picture of the First-Order Phase Transition -- Coercivity and Permanent Magnet -- Summary. 330 $aTo understand phenomena in nature, it is important to focus not only on properties of stationary states, but also their changes in time, that is, the dynamics between bistable states. This book reviews the mechanics of first-order phase transitions and discusses relaxation and collapses of metastable states from various viewpoints, including Kramers' method for the lifetime of metastability, Langer?s analysis on the singularity, effects of thermal fluctuation studied by Néel and Brown, and eigenvalue structures of the transfer-matrix for the phase transitions. The book also goes into the mechanics of metastability in quantum systems from the viewpoints of the eigenvalue problem of the Hamiltonian and the Liouvillian for a dynamical process and discusses relations between quantum tunneling processes and metastability therein. Lastly, the coercivity of magnets consisting of an ensemble of grains is reviewed. The book is beneficial for those new in the field as a primer on first-order phase transition from modern perspectives. The comprehensive content offers overviews of related topics and allows readers to quickly catch up with developments in the field. 410 0$aFundamental Theories of Physics,$x2365-6425 ;$v211 606 $aCondensed matter 606 $aStatistical physics 606 $aCondensed Matter Physics 606 $aStatistical Physics 606 $aPhase Transition and Critical Phenomena 606 $aPhase Transitions and Multiphase Systems 615 0$aCondensed matter. 615 0$aStatistical physics. 615 14$aCondensed Matter Physics. 615 24$aStatistical Physics. 615 24$aPhase Transition and Critical Phenomena. 615 24$aPhase Transitions and Multiphase Systems. 676 $a016.61483 700 $aMiyashita$b Seiji$01265773 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910629293903321 996 $aCollapse of Metastability$92968228 997 $aUNINA