Search Results - Todelar~
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 49
- Technology: general issues 49
- Computer science 13
- Education 12
- Medicine 12
- Research & information: general 11
- Algebra 10
- Artificial intelligence 10
- Mathematics 9
- Psychology 9
- Artificial Intelligence 8
- Computer networks 7
- Neurosciences 7
- Software Engineering 7
- Software engineering 7
- Architectural structure & design 6
- Art techniques & principles 6
- Computer Engineering and Networks 6
- Computer engineering 6
- Engineering graphics & technical drawing 6
- Mechanical engineering & materials 6
- Production engineering 6
- Computers 5
- Mathematical physics 5
- Theory of Computation 5
- Biology, life sciences 4
- Computer Science Logic and Foundations of Programming 4
- Computing & information technology 4
- Energy industries & utilities 4
- Humanities 4
-
2281
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata
Electronic eBook -
2282
-
2283
-
2284
-
2285
-
2286
-
2287
-
2288
-
2289
-
2290
-
2291
-
2292
-
2293
An Introduction to Nutrition
Published 2012Table of Contents: “…Chapter 1: Nutrition and You -- Chapter 2: Achieving a Healthy Diet -- Chapter 3: Nutrition and the Human Body -- Chapter 4: Carbohydrates -- Chapter 5: Lipids -- Chapter 6: Proteins -- Chapter 7: Nutrients Important to Fluid and Electrolyte Balance -- Chapter 8: Nutrients Important As Antioxidants -- Chapter 9: Nutrients Important for Bone Health -- Chapter 10: Nutrients Important for Metabolism and Blood Function -- Chapter 11: Energy Balance and Body Weight -- Chapter 12: Nutrition through the Life Cycle: From Pregnancy to the Toddler Years -- Chapter 13: Nutrition through the Life Cycle: From Childhood to the Elderly Years -- Chapter 14: Nutrition and Society: Food Politics and Perspectives -- Chapter 15: Achieving Optimal Health: Wellness and Nutrition -- Chapter 16: Appendix A…”
Access online version
Electronic eBook -
2294
Intermediate College Writing Building and Practicing Mindful Writing Skills
Published 2022Access online version
Electronic eBook -
2295
Masonry for Sustainable Construction
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2296
-
2297
-
2298
Advances in Complex Analysis and Applications
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2299
-
2300