03178nam 22005775 450 99646645530331620230221215751.03-030-11245-410.1007/978-3-030-11245-5(CKB)4100000007463733(DE-He213)978-3-030-11245-5(MiAaPQ)EBC5919885(PPN)233799648(EXLCZ)99410000000746373320190110d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierVerification, Model Checking, and Abstract Interpretation[electronic resource] 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings /edited by Constantin Enea, Ruzica Piskac1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XVII, 602 p. 1329 illus., 69 illus. in color.) Theoretical Computer Science and General Issues,2512-2029 ;113883-030-11244-6 Program verification -- Model checking -- Abstract interpretation -- Program synthesis -- Static analysis -- Type systems -- Deductive methods -- Program certification -- Decision procedures -- Theorem proving -- Program certification -- Debugging techniques -- Program transformation -- Optimization -- Hybrid and cyber-physical systems.This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019. The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.Theoretical Computer Science and General Issues,2512-2029 ;11388Computer scienceSoftware engineeringComputer networksComputer Science Logic and Foundations of ProgrammingSoftware EngineeringComputer Communication NetworksComputer science.Software engineering.Computer networks.Computer Science Logic and Foundations of Programming.Software Engineering.Computer Communication Networks.005.14Enea Constantinedthttp://id.loc.gov/vocabulary/relators/edtPiskac Ruzicaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466455303316Verification, Model Checking, and Abstract Interpretation2593983UNISA05440nam 2200721 a 450 991097311120332120250709221000.09781283836890128383689097801239482740123948274(CKB)2670000000274582(EBL)1076641(OCoLC)821177477(SSID)ssj0000783377(PQKBManifestationID)12366877(PQKBTitleCode)TC0000783377(PQKBWorkID)10759906(PQKB)10981851(Au-PeEL)EBL1076641(CaPaEBR)ebr10629428(CaONFJC)MIL414939(PPN)172334608(FR-PaCSA)88873346(MiAaPQ)EBC1076641(FRCYB88873346)88873346(EXLCZ)99267000000027458220121105d2013 uy 0engur|n|---|||||txtccrGraphene fundamentals and emergent applications /Jamie H. Warner ... [et al.]1st ed.Amsterdam ;New York Elsevier20131 online resource (461 p.)Description based upon print version of record.9780123945938 0123945933 Includes bibliographical references and index.Front Cover; Graphene: Fundamentals and Emergent Applications; Copyright; Contents; Chapter 1 - Introduction; 1.1. ABOUT THE BOOK; REFERENCES; Chapter 2 - The Atomic Structure of Graphene and Its Few-layer Counterparts; 2.1. GRAPHENE; 2.2. BILAYER, TRILAYER AND FEW-LAYER GRAPHENE; 2.3. RELATIONSHIP OF GRAPHENE TO CARBON NANOTUBES; 2.4. OTHER LAYERED 2D CRYSTALS; 2.5. NANOSTRUCTURED GRAPHENE; REFERENCES; Chapter 3 - Properties of Graphene; 3.1 - Electronic Properties; 3.1.1. INTRODUCTION; 3.1.2. THE BAND STRUCTURE OF GRAPHENE; 3.1.3. TRANSPORT EXPERIMENTS IN GRAPHENE; REFERENCES3.2 - Chemical Properties of Graphene3.2.1. INTRODUCTION; 3.2.2. COVALENT FUNCTIONALISATION OF GRAPHENE; 3.2.3. NONCOVALENT FUNCTIONALISATION OF GRAPHENE; 3.2.4. SUMMARY; REFERENCES; 3.3 - Electron Spin Properties of Graphene; 3.3.1. INTRODUCTION; 3.3.2. SPIN AND MAGNETISM IN GRAPHITE; 3.3.3. MAGNETISM AND SPIN IN GRAPHENE; 3.3.4. SUMMARY; REFERENCES; 3.4 - The Mechanical Properties of Graphene; 3.4.1. ELASTIC PROPERTIES AND INTRINSIC STRENGTH; 3.4.2. ADHESION, TEARING AND CRACKING OF GRAPHENE; 3.4.3. THE ROLE OF DEFECTS AND STRUCTURAL MODIFICATION ON THE MECHANICAL PROPERTIES3.4.4. GRAPHENE DERIVATIVES3.4.5. GRAPHENE-BASED COMPOSITES; REFERENCES; 3.5 - The Thermal Properties of Graphene; 3.5.1. THERMAL CONDUCTIVITY; REFERENCES; Chapter 4 - Methods for Obtaining Graphene; 4.1 - Mechanical Exfoliation; 4.1.1. INTRODUCTION TO MECHANICAL EXFOLIATION; 4.1.2. MICROMECHANICAL EXFOLIATION; 4.1.3. MECHANICAL CLEAVAGE OF GRAPHITE; 4.1.4. MECHANICAL MILLING OF GRAPHITE; 4.1.5. SUMMARY; REFERENCES; 4.2 - Chemical Exfoliation; 4.2.1. INTRODUCTION TO CHEMICAL EXFOLIATION; 4.2.2. REVIEW OF CHEMICAL EXFOLIATION; 4.2.3. DIFFERENT TYPES OF GRAPHITE4.2.4. DIFFERENT TYPES OF SOLVENTS4.2.5. DIFFERENT TYPES OF SONICATION; 4.2.6. HOW TO CHARACTERISE CHEMICALLY EXFOLIATED GRAPHENE; 4.2.7. OTHER 2D CRYSTALS; 4.2.8. SUMMARY; REFERENCES; 4.3 - Reduced Graphene Oxide; 4.3.1. GRAPHENE OXIDE; 4.3.2. CHEMICAL REDUCTION OF GRAPHENE OXIDE; 4.3.3. HEAT TREATMENT OF GRAPHENE OXIDE; 4.3.4. ELECTROCHEMICAL REDUCTION OF GRAPHENE OXIDE; 4.3.5. SUMMARY; REFERENCES; 4.4 - Bottom-up Synthesis of Graphene From Molecular Precursors; 4.4.1. INTRODUCTION; 4.4.2. SOLUTION-BASED APPROACHES; 4.4.3. SOLUBILISATION STRATEGIES4.4.4. SOLVOTHERMAL SYNTHESIS AND SONICATION4.4.5. CHEMO-THERMAL BASED APPROACHES; 4.4.6. SELF-ASSEMBLY OF GRAPHENE OXIDE NANOSHEETS; REFERENCES; 4.5 - Chemical Vapour Deposition Using Catalytic Metals; 4.5.1. INTRODUCTION; 4.5.2. CHEMICAL VAPOUR DEPOSITION (CVD) BASICS; 4.5.3. SUBSTRATE SELECTION; 4.5.4. SUBSTRATE PRE-TREATMENT; 4.5.5. GRAPHENE OVER NI AND CU; 4.5.6. EARLY GROWTH; 4.5.7. THE ROLE OF HYDROGEN IN THE CVD REACTION; 4.5.8. GRAPHENE-OTHER METALS AND ALLOYS; 4.5.9. SEGREGATION ROUTES; REFERENCES; 4.6 - CVD Synthesis of Graphene Over Nonmetals; 4.6.1. INTRODUCTION4.6.2. ASPECTS TO CONSIDER WITH NONMETAL CATALYSTS Providing fundamental knowledge necessary to understand graphene's atomic structure, band-structure, unique properties and an overview of groundbreaking current and emergent applications, this new handbook is essential reading for materials scientists, chemists and physicists. Since the 2010 physics Nobel Prize awarded to Geim and Novosolev for their groundbreaking work isolating graphene from bulk graphite, there has been a huge surge in interest in the area. This has led to a large number of news books on graphene. However, for such a vast inflow of new entrants, the current literGrapheneGrapheneIndustrial applicationsGraphene.GrapheneIndustrial applications.546/.681546.681Warner Jamie H1798519Warner Jamie H1798519MiAaPQMiAaPQMiAaPQBOOK9910973111203321Graphene4341342UNINA