Search Results - GaWC~

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Chemistry of Cooking by Rodriguez-Velazquez, Sorangel

Table 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

Essentials of Exercise and Sport Psychology An Open Access Textbook

Table of Contents: “…Taking the Field: An Introduction to the Field of Sport Psychology -- Chapter 20. Get Your Head in the Game: Examining the Use of Psychological Skills in Sport -- Chapter 21. …”
Access online version

Debating Transformations of National Citizenship

Table of Contents: “…Gibney -- Disowning Citizens: Reuven (Ruvi) Ziegler -- Our Epoch's Little Banishments: Saskia Sassen -- Deprivation of Citizenship: Is There an Issue of EU Law?: Jo Shaw -- On Producing the Alien Within: A Reply: Audrey Macklin -- Part IV: Cloud Communities: Cloud Communities: The Dawn of Global Citizenship?…”
Link to Metadata

Remittances as Social Practices and Agents of Change The Future of Transnational Society /

Table of Contents: “…Social Science Research, Remittances and "Guest Worker" Migration in Austria -- Part II: Migrants as Game Changers: The Collectivity and Agency of Remittances -- Chapter 8. …”
Link to Metadata

Communicative Figurations Transforming Communications in Times of Deep Mediatization /

Table of Contents: “…Communicative Figurations of expertisation: DIY_MAKER and Multi-Player Online Gaming (MOG) as cultures of amateur learning; Karsten Wolf & Urszula Wudarski.- 7.The communicative construction of space-related identities. …”
Link to Metadata

Lives in Peace Research The Oslo Stories /

Table of Contents: “…The Democratic Civil Peace and Beyond: Scott Gates Interviewed by Nils Petter Gleditsch -- 18. …”
Link to Metadata

Theoretical and Practical Advances in Computer-based Educational Measurement

Table of Contents: “…Feasibility and Value of Using a GoPro Camera and iPad to Study Teacher-Student Assessment Feedback Interactions; Fabienne van der Kleij, Joy Cumming, Lenore Adie -- 19. Game-based Spoken Interaction Assessment in Special Need Children; Jos Keuning, Sanneke Schouwstra, Femke Scheltinga, Marleen Van der Lubbe -- 20. …”
Link to Metadata

Nanoscale Photonic Imaging

Table of Contents: “…Ropers) -- Nonlinear Light Generation in Localized Fields Using Gases and Tailored Solids (M. Sivis and C. Ropers) -- Wavefront and Coherence Characteristics of Extreme UV and Soft X-ray Sources (B. …”
Link to Metadata

The Life of Breath in Literature, Culture and Medicine Classical to Contemporary /

Table of Contents: “…A Panting Consciousness: Beckett, Breath, and Biocognitive Feedback, Marco Bernini -- 22. Syllabic Gasps: M. NourbeSe Philip and Charles Olson's Poetic Conspiration, Stefanie Heine -- 23. …”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table 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

Geographies of the University

Table of Contents: “…A Cartography of Connectivity (Anthony Welch) -- Part V: Universities and the City -- Chapter 18: The Civic University and the City (John Goddard) -- Chapter 19: City and University - Notes of an Architect On an Intriguing Spatial Relationship (Helmut Bott) -- Chapter 20: Campus-city Relations: Past, Present and Future (Alexandra Den Heijer) -- Chapter 21: Coevolution of Town and Gown: The Heidelberg International Building Exhibition in Search of a Knowledge-based Urbanism for the Twenty-first Century (Carl Zillich) -- The Klaus Tschira Foundation -- Index.…”
Link to Metadata

Slavery to Liberation The African American Experience by Farrington, Joshua, Powell, Norman W., Graham, Gwendolyn, Anyanwu, Ogechi E.

Table of Contents: “…Ch. 1: Introduction to the African American Experience, by Aaron Thompson -- Ch. 2: Concepts of Beauty: Black and White Connotations, by Norman Powell -- Ch. 3: Gumboot Dancing, Origins, Influences and Uses, by Nicola Mason -- Ch. 4: “The Strong Cords of Affection” Enslaved African American Families and Escape to the U.S. …”
Access online version

The Palgrave Handbook of Global Slavery throughout History

Table of Contents: “…Montana -- 27: Slavery in Islamic West Africa; Jennifer Lofkrantz -- 28: Urban East African Slavery; Michelle Liebst -- 29: Slavery in South Asia; Emma Kalb -- 30: Slavery in Southeastern Europe; Viorel Achim -- 31: Injection: The Global Spread of Abolitionism; William Mulligan -- Part 5: Contemporary Societies (1900-Present) -- 32: American Slaveries since Emancipation; Catherine Armstrong -- 33: Slavery in French West Africa; Benedetta Rossi -- 34: Slave Labor in Nazi Germany; Marc Buggeln -- 35: State-introduced Slavery in Soviet Forced Labor Camps; Felicitas Fischer von Weikersthal -- 36: North Korean Slavery and Forced Labor in Present-Day Europe; Remco Breuker -- 37: Modern Slavery in the Global Economy; Bruno Lamas -- 38: Injection: Modern Slavery and Political Strategy; Joel Quirk -- 39: Conclusion: Situating Slavery Studies in the Field of Global History; Juliane Schiel.…”
Link to Metadata

Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings /

Table of Contents: “…Initial Conceptual Framework and Empirical Insights -- Software startups -- Benefits, Challenges and Implications of Open-Source Software for Health-Tech Startups: An Empirical Study -- Corporate Startups: A Systematic Literature Review on Governance and Autonomy -- Exploring the Finnish Impact Investing Ecosystem: Perspectives on Challenges from Technology Startups -- Practitioner Views on Defining Analytics for Software Startups: A Preliminary Guide Based on Gray Literature -- Software Product Management -- An Evaluation of the Product Security Maturity Model through Case Studies at 15 Software Producing Organizations -- Strategic Digital Software Product Management in the Age of AI -- Experimentation in Early-Stage Video Game Startups: Practices and Challenges -- Software and Business Co-Development -- DevOps challenges and Risk mitigation strategies by DevOps professionals teams -- Good agile practices increase positive customer experience -- Information-Centric Adoption and Use of Standard-Compliant DevSecOps for Operational Technology: From Experience to Design Principles -- Exploring Sentiments and Emotions in Online Meetings: Unpacking Agile Retrospective Teams -- Emerging Digital World -- Feeling the Elephant: Insiders' Perspectives on the Metaverse -- What does Scopes 1, 2 and 3 mean for software companies -- Understanding Cost Dynamics of Serverless Computing: An Empirical Study -- Quantum Software Ecosystem: Stakeholders, Interactions and Challenges -- Dynamic Capabilities for Sustainable Digital Transformation Amid Crisis: Insights from Law Firms in Emerging Economy -- Research Streams of Barriers to Digital Transformation: Mapping Current State and Future Directions.…”
Link to Metadata

Advancing Energy Policy Lessons on the integration of Social Sciences and Humanities /

Table of Contents: “…Energy as a Social Issue -- Chapter 2. Plugging the Gap Between Energy Policy and the Lived Experience of Energy Poverty: Five Principles for a Multidisciplinary Approach; Lucie Middlemiss, Ross Gillard, Victoria Pellicer, Koen Straver -- Chapter 3. …”
Link to Metadata

Evaluation of integrated Child Development Services program in Gujarat, India for the years 2012 to 2015 by Rajesh K Chudasama, Umed V Patel, Amiruddin M Kadri, Arohi Mitra, Dhara Thakkar, Jasmin Oza

Connect to this object online.

Integration Processes and Policies in Europe: Contexts, Levels and Actors

Subjects: “…Law bicssc…”
DOAB: download the publication
DOAB: description of the publication

Integration Processes and Policies in Europe: Contexts, Levels and Actors

Subjects: “…Law bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

An Assessment of Performance of Anganwadi Workers of Jaipur Zone, Rajasthan: A Cross-Sectional Study by Dayanand Singh, Kusum Lata Gaur, Dilip Raj, Amita Kashyap, Rashmi Gupta, Anuradha Yadav

Connect to this object online.