Search Results - "explosive"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 39
- Technology: general issues 34
- Research & information: general 17
- Literature & literary studies 11
- Gender studies, gender groups 10
- Society & culture: general 10
- Physics 9
- History of art: Byzantine & Medieval art c 500 CE to c 1400 8
- Medicine 8
- Biography & True Stories 7
- Biology, life sciences 7
- History 7
- Computer science 6
- European history 6
- History of the Americas 6
- Poetry by individual poets 6
- Urban communities 6
- Science: general issues 5
- Australasian & Pacific history 4
- Economics 4
- History of religion 4
- Literary studies: general 4
- Literature: history & criticism 4
- Mathematics & science 4
- Military history 4
- Philosophy 4
- Psychology 4
- Architectural structure & design 3
- Architecture 3
- Ethnic studies 3
-
1101
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata
Electronic eBook -
1102
-
1103
-
1104
-
1105
-
1106
Astronomy 2e
Published 2022Table of Contents: “…The Sun: A Nuclear Powerhouse -- 16.1 Sources of Sunshine: Thermal and Gravitational Energy -- 16.2 Mass, Energy, and the Theory of Relativity -- 16.3 The Solar Interior: Theory -- 16.4 The Solar Interior: Observations -- Chapter 17 Analyzing Starlight -- 17.1 The Brightness of Stars -- 17.2 Colors of Stars -- 17.3 The Spectra of Stars (and Brown Dwarfs) -- 17.4 Using Spectra to Measure Stellar Radius, Composition, and Motion -- Chapter 18 The Stars: A Celestial Census -- 18.1 A Stellar Census -- 18.2 Measuring Stellar Masses -- 18.3 Diameters of Stars -- 18.4 The H–R Diagram -- Chapter 19 Celestial Distances -- 19.1 Fundamental Units of Distance -- 19.2 Surveying the Stars -- 19.3 Variable Stars: One Key to Cosmic Distances -- 19.4 The H–R Diagram and Cosmic Distances -- Chapter 20 Between the Stars: Gas and Dust in Space -- 20.1 The Interstellar Medium -- 20.2 Interstellar Gas -- 20.3 Cosmic Dust -- 20.4 Cosmic Rays -- 20.5 The Life Cycle of Cosmic Material -- 20.6 Interstellar Matter around the Sun -- Chapter 21 The Birth of Stars and the Discovery of Planets outside the Solar System -- 21.1 Star Formation -- 21.2 The H–R Diagram and the Study of Stellar Evolution -- 21.3 Evidence That Planets Form around Other Stars -- 21.4 Planets beyond the Solar System: Search and Discovery -- 21.5 Exoplanets Everywhere: What We Are Learning -- 21.6 New Perspectives on Planet Formation -- Chapter 22 Stars from Adolescence to Old Age -- 22.1 Evolution from the Main Sequence to Red Giants -- 22.2 Star Clusters -- 22.3 Checking Out the Theory -- 22.4 Further Evolution of Stars -- 22.5 The Evolution of More Massive Stars -- Chapter 23 The Death of Stars -- 23.1 The Death of Low-Mass Stars -- 23.2 Evolution of Massive Stars: An Explosive Finish -- 23.3 Supernova Observations -- 23.4 Pulsars and the Discovery of Neutron Stars -- 23.5 The Evolution of Binary Star Systems -- 23.6 The Mystery of the Gamma-Ray Bursts -- Chapter 24 Black Holes and Curved Spacetime -- 24.1 Introducing General Relativity -- 24.2 Spacetime and Gravity -- 24.3 Tests of General Relativity -- 24.4 Time in General Relativity -- 24.5 Black Holes -- 24.6 Evidence for Black Holes -- 24.7 Gravitational Wave Astronomy -- Chapter 25 The Milky Way Galaxy -- 25.1 The Architecture of the Galaxy -- 25.2 Spiral Structure -- 25.3 The Mass of the Galaxy -- 25.4 The Center of the Galaxy -- 25.5 Stellar Populations in the Galaxy -- 25.6 The Formation of the Galaxy -- Chapter 26 Galaxies -- 26.1 The Discovery of Galaxies -- 26.2 Types of Galaxies -- 26.3 Properties of Galaxies -- 26.4 The Extragalactic Distance Scale -- 26.5 The Expanding Universe -- Chapter 27 Active Galaxies, Quasars, and Supermassive Black Holes -- 27.1 Quasars -- 27.2 Supermassive Black Holes: What Quasars Really Are -- 27.3 Quasars as Probes of Evolution in the Universe -- Chapter 28 The Evolution and Distribution of Galaxies -- 28.1 Observations of Distant Galaxies -- 28.2 Galaxy Mergers and Active Galactic Nuclei -- 28.3 The Distribution of Galaxies in Space -- 28.4 The Challenge of Dark Matter -- 28.5 The Formation and Evolution of Galaxies and Structure in the Universe -- Chapter 29 The Big Bang -- 29.1 The Age of the Universe -- 29.2 A Model of the Universe -- 29.3 The Beginning of the Universe -- 29.4 The Cosmic Microwave Background -- 29.5 What Is the Universe Really Made Of? …”
Access online version
Electronic eBook -
1107
-
1108
-
1109
-
1110
-
1111
-
1112
-
1113
-
1114
-
1115
-
1116
-
1117
-
1118
-
1119
-
1120