LEADER 04537nam 22007575 450 001 996466143703316 005 20200705012000.0 010 $a3-540-37106-0 024 7 $a10.1007/11812289 035 $a(CKB)1000000000283920 035 $a(SSID)ssj0000318813 035 $a(PQKBManifestationID)11254479 035 $a(PQKBTitleCode)TC0000318813 035 $a(PQKBWorkID)10336060 035 $a(PQKB)10919277 035 $a(DE-He213)978-3-540-37106-9 035 $a(MiAaPQ)EBC3068104 035 $a(PPN)123137179 035 $a(EXLCZ)991000000000283920 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMathematical Knowledge Management$b[electronic resource] $e5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings /$fedited by Jonathan Borwein, William M. Farmer 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (VIII, 295 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v4108 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-37104-4 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- The Omega Number: Irreducible Complexity in Pure Math -- Roles of Math Search in Mathematics -- Contributed Papers -- Structured Induction Proofs in Isabelle/Isar -- Interpretation of Locales in Isabelle: Theories and Proof Contexts -- A Dynamic Poincaré Principle -- A Proof-Theoretic Approach to Tactics -- A Formal Correspondence Between OMDoc with Alternative Proofs and the -Calculus -- Proof Transformation by CERES -- Synthesizing Proof Planning Methods and ?-Ants Agents from Mathematical Knowledge -- Verifying and Invalidating Textbook Proofs Using Scunak -- Capturing Abstract Matrices from Paper -- Towards a Parser for Mathematical Formula Recognition -- Stochastic Modelling of Scientific Terms Distribution in Publications -- Capturing the Content of Physics: Systems, Observables, and Experiments -- Communities of Practice in MKM: An Extensional Model -- From Notation to Semantics: There and Back Again -- Managing Informal Mathematical Knowledge: Techniques from Informal Logic -- From Untyped to Polymorphically Typed Objects in Mathematical Web Services -- Managing Automatically Formed Mathematical Theories -- Authoring LeActiveMath Calculus Content -- Information Retrieval and Rendering with MML Query -- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. 410 0$aLecture Notes in Artificial Intelligence ;$v4108 606 $aArtificial intelligence 606 $aInformation storage and retrieval 606 $aApplication software 606 $aDatabase management 606 $aComputer communication systems 606 $aMathematics 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aMathematics, general$3https://scigraph.springernature.com/ontologies/product-market-codes/M00009 615 0$aArtificial intelligence. 615 0$aInformation storage and retrieval. 615 0$aApplication software. 615 0$aDatabase management. 615 0$aComputer communication systems. 615 0$aMathematics. 615 14$aArtificial Intelligence. 615 24$aInformation Storage and Retrieval. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aDatabase Management. 615 24$aComputer Communication Networks. 615 24$aMathematics, general. 676 $a511.3/6028563 702 $aBorwein$b Jonathan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFarmer$b William M$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466143703316 996 $aMathematical Knowledge Management$9771964 997 $aUNISA LEADER 03982nam 2201069z- 450 001 9910557379703321 005 20220111 035 $a(CKB)5400000000042102 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/76876 035 $a(oapen)doab76876 035 $a(oapen)76876 035 $a(EXLCZ)995400000000042102 100 $a20202201d2021 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDC & Hybrid Micro-Grids 210 $aBasel, Switzerland$cMDPI - Multidisciplinary Digital Publishing Institute$d2021 215 $a1 online resource (154 p.) 311 08$a3-0365-1975-0 311 08$a3-0365-1974-2 330 $aThis book is a printed version of the papers published in the Special Issue "DC & Hybrid Microgrids" of Applied Sciences. This Special Issue, co-organized by the University of Pisa, Italy and Østfold University College in Norway, has collected nine papers and the editorial, from 28 submitted, with authors from Asia, North America and Europe. The published articles provide an overview of the most recent research advances in direct current (DC) and hybrid microgrids, exploiting the opportunities offered by the use of renewable energy sources, battery energy storage systems, power converters, innovative control and energy management strategies. 606 $aTechnology: general issues$2bicssc 610 $aAC/DC distribution network 610 $aactive islanding detection method 610 $abattery energy storage 610 $abattery-only operation 610 $abidirectional converters 610 $aBidirectional converters 610 $abiomass energy 610 $acircuit breaker (CB) 610 $aconstant power load 610 $aconstant power loads 610 $aCPL 610 $aDC grid 610 $aDC insulation monitoring 610 $adirect current (DC) grid 610 $adirect current (DC) microgrid 610 $adistributed generator 610 $adistributed generator (DG) 610 $adroop control 610 $aenergy management strategy (EMS) 610 $afloating DC bus 610 $aforest microgrid 610 $afull-electric vehicles (EV) 610 $agenetic-ant colony hybrid algorithm 610 $aground capacitance 610 $ahybrid energy storage 610 $ahybrid micro-grid 610 $ahybrid microgrid 610 $ahybrid vehicles (HEV) 610 $ainertia improvement 610 $ainjected signal cancellation 610 $aislanded DC microgrid 610 $aislanding detection 610 $alarge transmission line inductive 610 $amicro-grid 610 $amicrogrid 610 $amulti-distributed generations 610 $aoperation mode-based sectional coordinated control 610 $apatrol base 610 $aperturbation signal 610 $aphotovoltaic (PV) 610 $aphotovoltaic system 610 $aplanning 610 $apower management 610 $apredictive control 610 $arenewable energy sources (RES) 610 $asimplified circuit model 610 $asmart grid 610 $asolar 610 $astability 610 $astability criterion 610 $astandard test condition (STC) 610 $astate of charge (SoC) 610 $athree-point climbing algorithm 610 $atiming characteristics 610 $aunbalanced electric bridge 610 $avirtual negative inductance 615 7$aTechnology: general issues 700 $aMihet-Popa$b Lucian$4edt$01328355 702 $aSaponara$b Sergio$4edt 702 $aSaletti$b Roberto$4edt 702 $aMihet-Popa$b Lucian$4oth 702 $aSaponara$b Sergio$4oth 702 $aSaletti$b Roberto$4oth 906 $aBOOK 912 $a9910557379703321 996 $aDC & Hybrid Micro-Grids$93038512 997 $aUNINA