Search Results - shōnen~
Suggested Topics within your search.
Suggested Topics within your search.
- Mobile phone technology 105
- Research & information: general 81
- Technology: general issues 73
- Phonetics, phonology 71
- Slovenian 71
- linguistics 59
- History of engineering & technology 55
- Archaeology 47
- Biology, life sciences 46
- History 39
- Medicine 35
- Humanities 32
- Education 31
- Dictionaries 27
- Sociology 27
- Social & cultural history 26
- Society & social sciences 26
- Historical & comparative linguistics 25
- Language 21
- Media studies 21
- European history 20
- Slovenia 20
- Politics & government 19
- Society & culture: general 18
- Asian history 17
- Literature: history & criticism 17
- General & world history 16
- Grammar, syntax & morphology 16
- Physics 16
- Psychology 16
-
12441
-
12442
-
12443
-
12444
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 -
12445
Chemistry of Cooking
Published 2016Table of Contents: “…IntroductionEssential Ideas -- Essential Ideas Introduction -- Phases and Classification of Matter -- Physical and Chemical Properties -- Measurements -- Measurement Uncertainty, Accuracy, and Precision -- Mathematical Treatment of Measurement Results -- Energy Basics -- Calorimetry -- Atoms, Molecules, and Ions -- The Periodic Table -- Atoms, Molecules, and Ions -- Atomic Structure and Symbolism -- Chemical Formulas -- Molecular and Ionic Compounds -- Cooking Techniques: Thickening and Concentrating Flavors -- Viscosity -- Thickening Agents -- Types of Thickening Agents -- Coagulation -- Gelatinization -- Crystallization -- Non-traditional thickeners -- Sauces -- Low-temperature and sous-vide -- Understanding Ingredients: Flour -- Introduction -- Understanding Ingredients -- The History of Wheat Flour -- Milling of Wheat -- Flour Streams and Types of Wheat Flour -- Flour Terms and Treatments -- Flour Additives -- Whole Grain and Artisan Milling -- Flour in Baking -- Rye Flour -- Other Grains and Flours -- Understanding Ingredients: Fat -- Understanding Fats and Oils -- Sources of Bakery Fats and Oils -- Major Fats and Oils Used in Bakeries -- Functions of Fat in Baking -- Understanding Ingredients: Sugar -- Sugar Chemistry (ADD US) -- Sugar Refining -- The Application of Sugar -- Agave -- Glucose/Dextrose -- Honey -- Malt -- Maple Syrup (ADD US) -- Sugar Substitutes (ADD US) -- Understanding Ingredients: Leavening Agents -- Catalysis -- Introduction to Leavening Agents -- Yeast -- The Functions of Yeast -- Using Yeast in Baking -- Introduction to Acid- bases -- Brønsted-Lowry Acids and Bases -- pH and pOH -- Baking Powder -- Sodium Bicarbonate -- Ammonium Bicarbonate -- Water Hardness and pH -- Understanding Ingredients: Dairy Products -- Introduction to Dairy Products -- Milk -- Milk Products ADD US -- Milk in bread baking -- Yogurt -- Lactose -- Cheese -- Understanding Ingredients: Eggs -- Eggs Grade (ADD US) -- Composition and Nutrition -- Egg Products -- The Function of Eggs -- Storing Eggs -- Chocolate -- From the Cocoa Bean to the Finished Chocolate -- Chocolate Produced for the Baking Industry -- Couverture -- Definitions and Regulations (ADD US) -- Understanding Ingredients: Spices -- Elements of Taste -- Introduction to Salt -- Types of Salt -- Functions of Salt in Baking -- Using Salt in Fermented Doughs -- Storing Salt -- Introduction to Spices and Other Flavorings -- Seasoning and Flavoring -- Herbs -- Spices -- Flavorings in Baking -- Appendix…”
Access online version
Electronic eBook -
12446
-
12447
-
12448
-
12449
-
12450
-
12451
-
12452
-
12453
-
12454
-
12455
-
12456
-
12457
-
12458
-
12459
-
12460