Search Results - "acceleration"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 74
- Technology: general issues 64
- Research & information: general 57
- Physics 38
- Particle & high-energy physics 33
- Biology, life sciences 28
- Sociology 27
- Economics 26
- Nuclear physics 25
- Sustainability 25
- Media studies 23
- Politics & government 23
- Education 22
- Humanities 22
- Development economics & emerging economies 21
- Environmental economics 21
- Atomic & molecular physics 20
- Accelerator Physics 19
- International relations 19
- Medicine 19
- Particle accelerators 19
- Mensuration & systems of measurement 18
- Finance 17
- Applied ecology 14
- Artificial intelligence 14
- History 14
- Ecological science, the Biosphere 13
- Neurosciences 13
- Terrorism, armed struggle 13
- Astronomy, space & time 12
-
2701
-
2702
-
2703
-
2704
-
2705
-
2706
-
2707
-
2708
-
2709
-
2710
-
2711
-
2712
-
2713
-
2714
-
2715
The New Common How the COVID-19 Pandemic is Transforming Society /
Published 2021Link to Metadata
Electronic eBook -
2716
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata
Electronic eBook -
2717
The Essence of Mathematics Through Elementary Problems
Published 2019Table of Contents: “…Word Problems -- 3.1 Twenty problems which embody "3 - 1 = 2" -- 3.2 Some classical examples -- 3.3 Speed and acceleration -- 3.4 Hidden connections -- 3.5 Chapter 3: Comments and solutions -- IV. …”
Access online version
Electronic eBook -
2718
Les fédérations européennes de partis organisation et influence
Published 2001DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2719
-
2720