Search Results - "Gen¹³"
Suggested Topics within your search.
Suggested Topics within your search.
- Biography & True Stories 26
- Humanities 11
- History 8
- linguistics 8
- European history 7
- Literature & literary studies 5
- Research & information: general 5
- Asian history 4
- Biology, life sciences 4
- Legal history 4
- Literature: history & criticism 4
- Modern history to 20th century: c 1700 to c 1900 4
- Anthropology 3
- Computer science 3
- Globalization 3
- International relations 3
- Microbiology (non-medical) 3
- Philosophy 3
- Popular culture 3
- Religion & beliefs 3
- Technology: general issues 3
- 20th century history: c 1900 to c 2000 2
- Ancient history: to c 500 CE 2
- Animals & society 2
- Asia 2
- Autobiography: business & industry 2
- Canada 2
- Crime & criminology 2
- Cultural studies 2
- Early history: c 500 to c 1450/1500 2
-
1701
-
1702
-
1703
-
1704
-
1705
-
1706
-
1707
-
1708
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata
Electronic eBook -
1709
Beyond Becquerel and Biology to Precision Radiomolecular Oncology: Festschrift in Honor of Richard P. Baum
Published 2024Table of Contents: “…The Gretchenfrage of Radionuclide Therapy -- 7. The LuGenIum Triptych Ode to a Theranostic Transcriptome -- 8. …”
Link to Metadata
Electronic eBook -
1710
-
1711
-
1712
-
1713
-
1714
-
1715
-
1716
-
1717
-
1718
-
1719
-
1720