Search Results - "chemical reaction"
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 17
- Chemistry 14
- History of engineering & technology 13
- Technology: general issues 12
- Science 8
- Biology, life sciences 5
- Chemical engineering 4
- Science: general issues 4
- Environmental science, engineering & technology 3
- Materials science 3
- Physical chemistry 3
- Spectrum analysis, spectrochemistry, mass spectrometry 3
- Agricultural science 2
- Biology 2
- Biotechnology 2
- Computational linguistics 2
- Computer networks 2
- Computer science 2
- Fluid mechanics 2
- Industrial chemistry 2
- Mathematics & science 2
- Physics 2
- Software Engineering 2
- Software engineering 2
- Sustainability 2
- The arts 2
- The environment 2
- Writing systems, alphabets 2
- Analytical chemistry 1
- Artificial Intelligence 1
-
121
-
122
-
123
Heat Transfer, Combustion and Flow Dynamics in Propulsion Systems
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
124
Future Advances in Basin Modeling Suggestions from Current Observations, Analyses, and Simulations
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
125
-
126
Chemistry
Published 2019Table of Contents: “…Stoichiometry of Chemical Reactions -- 5. Thermochemistry -- 6. Electronic Structure and Periodic Properties of Elements -- 7. …”
Access online version
Electronic eBook -
127
-
128
-
129
-
130
-
131
-
132
Chemistry Atoms First
Published 2019Table of Contents: “…Chapter 1: Essential Ideas -- Chapter 2: Atoms, Molecules, and Ions -- Chapter 3: Electronic Structure and Periodic Properties of Elements -- Chapter 4: Chemical Bonding and Molecular Geometry -- Chapter 5: Advanced Theories of Bonding -- Chapter 6: Composition of Substances and Solutions -- Chapter 7: Stoichiometry of Chemical Reactions -- Chapter 8: Gases -- Chapter 9: Thermochemistry -- Chapter 10: Liquids and Solids -- Chapter 11: Solutions and Colloids -- Chapter 12: Thermodynamics -- Chapter 13: Fundamental Equilibrium Concepts -- Chapter 14: Acid-Base Equilibria -- Chapter 15: Equilibria of Other Reaction Classes -- Chapter 16: Electrochemistry -- Chapter 17: Kinetics -- Chapter 18: Representative Metals, Metalloids, and Nonmetals -- Chapter 19: Transition Metals and Coordination Chemistry -- Chapter 20: Nuclear Chemistry -- Chapter 21: Organic Chemistry -- The Periodic Table -- Essential Mathematics -- Units and Conversion Factors -- Fundamental Physical Constants -- Water Properties -- Composition of Commercial Acids and Bases -- Standard Thermodynamic Properties for Selected Substances -- Ionization Constants of Weak Acids -- Ionization Constants of Weak Bases -- Solubility Products -- Formation Constants for Complex Ions -- Standard Electrode (Half-Cell) Potentials -- Half-Lives for Several Radioactive Isotopes -- Chapter 22: Answer Key…”
Access online version
Electronic eBook -
133
-
134
-
135
-
136
-
137
-
138
-
139
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published 2019Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata
Electronic eBook -
140