Search Results - GaWC~

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata

Molecules in Superfluid Helium Nanodroplets Spectroscopy, Structure, and Dynamics /

Table of Contents: “…Coulomb Explosion Imaging of Small Clusters of Helium (Maxim Kunitski) -- Mass Spectroscopy of Pure and Doped Droplets (Paul Scheier) -- Infra-red Spectroscopy (Gary Douberly) -- Electronic Spectroscopy (Alkwin Slenczka) -- Spectroscopy of Biomolecules (Gert von Helden and Eike Mucha) -- X-Ray Imaging of Droplets (Thomas Möller) -- Structure of Biomolecules in Droplets (Wei Kong) -- Alignment of Molecules in Helium Droplets (Henrik Stapelfeldt) -- . …”
Link to Metadata

Community-Oriented Policing and Technological Innovations

Table of Contents: “…Introduction -- Synergy of Predictive Policing and Community Policing Paradigms -- Advances in Criminological Research Using Smart Phone Applications to Gather Data -- 1996 Initiatives to Integrate Technology into Community Policing: 20 Years Later -- Serious Games: An Attractive Approach to Improve Crime Awareness -- Statistical Analysis of Suspended Terrorism-Related Content on Social Media -- Next Generation of Community Policing: The Unity IT Toolkit -- Community Outreach and Officer Performance Assessment Using Visual Analytics -- Can Technology Build Trust? …”
Link to Metadata

Introductory Chemistry by Ball, David W.

Table of Contents: “…-- Chapter 2: Measurements -- Chapter 3: Atoms, Molecules, and Ions -- Chapter 4: Chemical Reactions and Equations -- Chapter 5: Stoichiometry and the Mole -- Chapter 6: Gases -- Chapter 7: Energy and Chemistry -- Chapter 8: Electronic Structure -- Chapter 9: Chemical Bonds -- Chapter 10: Solids and Liquids -- Chapter 11: Solutions -- Chapter 12: Acids and Bases -- Chapter 13: Chemical Equilibrium -- Chapter 14: Oxidation and Reduction -- Chapter 15: Nuclear Chemistry -- Chapter 16: Organic Chemistry -- Chapter 17: Appendix: Periodic Table of the Elements --…”
Access online version

Agent-Based Evolutionary Game Dynamics by Izquierdo, Luis R., Izquierdo, Segismundo S., Sandholm, William H.

Table of Contents: “…Introduction to evolutionary game theory -- 0.2. Introduction to agent-based modeling -- 0.3. …”
Access online version

Introductory Chemistry by Ball, David W., Key, Jessie A.

Table of Contents: “…Stoichiometry and the Mole -- Chapter 6. Gases -- Chapter 7. Energy and Chemistry -- Chapter 8. …”
Access online version

Learning in the Digital Age by Bayeck, Rebecca, Brown, Wilmon, Francis, Raymond W., Kolski, Tammi, Essmiller, Kathy, Green, Cathy L., Lewis, Sarah L., McCabe, Corrine, Shikongo, Josephine, Wise, Tammy, Fulgencio, Jose

Table of Contents: “…Introduction -- Board Games and Learning: Why Care in the Digital Age? …”
Access online version

Annals of the History and Philosophy of Biology 21/2016 by Deutsche Gesellschaft für Geschichte und Theo

“…6054749d-0bb3-4cc9-bac7-64bbc802899c…”
DOAB: download the publication
DOAB: description of the publication

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

Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata

Multimodal Texts in Disciplinary Education A Comprehensive Framework / by Danielsson, Kristina, Selander, Staffan

Table of Contents: “…Websites as Learning Resources for Young Learners -- Chapter 13. Educational Games and Online Resources -- Chapter 14. Summary of PART II.…”
Link to Metadata

Sustainable Development Disciplines for Humanity Breaking Down the 5Ps-People, Planet, Prosperity, Peace, and Partnerships /

Table of Contents: “…Poverty and Ideologies: How the Welfare State Gained Political Support in Britain -- Global Health Diplomacy to Combat Communicable Diseases and to Promote Universal Health Coverage in Achieving the Sustainable Development Goal 3 -- The Historical Development of SDG4: Evolution of the Global Governance of EducationThe Historical Development of SDG4: Evolution of the Global Governance of Education -- Education in SDGs: What is Inclusive and Equitable Quality Education? …”
Link to Metadata

Sustaining the Commons by Anderies, John M., Janssen, Marco A.

Table of Contents: “…-- 2 Defining Institutions -- 3 Action Arenas and Action Situations -- 4 Social Dilemmas -- II CASE STUDIES -- 5 Water Governance -- 6 Harvesting From the Commons -- 7 Design Principles to Sustain the Commons -- III HUMAN BEHAVIOR -- 8 Social Dilemmas in the Laboratory -- 9 Self-governance in the Laboratory -- IV RULES OF THE GAMES -- 10 Classifying Rules -- 11 Rules, Norms and Shared Strategies -- V A SYSTEMS PERSPECTIVE -- 12 Feedbacks and Stability -- 13 Coupled Infrastructure Systems -- 14 Think Globally, Act Locally? …”
Access online version

Invasive Species in Forests and Rangelands of the United States A Comprehensive Science Synthesis for the United States Forest Sector /

Table of Contents: “…Gordon, Qinfeng Guo, Nathan Havill, Bradley Kinder, Richard MacKenzie, David R. Lance, Dean Pearson, Sharlene E. …”
Link to Metadata

Diseases of the Abdomen and Pelvis 2018-2021 Diagnostic Imaging - IDKD Book /

Table of Contents: “…CT Colonography) -- Benign Diseases of the Uterus -- Focal Liver Disease -- Malignant Diseases of the Uterus -- Diseases of the Gall Bladder and Biliary Tree -- Benign Diseases of the Colon and Rectum (incl. …”
Link to Metadata

U.S. Federal Income Taxation of Individuals 2023 by Geier, Deborah A

Table of Contents: “…Expense” (or Current Depreciation) -- Unit II: Two Types of Gross Income: Compensation and Residual Gross Income -- Chapter 5: § 61(a)(1) Compensation -- Chapter 6: § 61 Residual Gross Income -- Unit III: The Possibilities for Income Shifting -- Chapter 7: Gifts and Bequests -- Chapter 8: Income Shifting in the Happy and Fractured Family -- Unit IV: Everything You Ever Wanted To Know About Debt but Were Afraid To Ask -- Chapter 9: Borrowing and Lending -- Chapter 10: The Bad-Debt Deduction (for Lenders) and Debt-Discharge Income (for Borrowers) -- Chapter 11: Debt and Property -- Unit V: The Ownership and Disposition of Property -- Chapter 12: Properly Accounting for, and the Nonrecognition of, §110011 Realized Gain or Loss -- Chapter 13: Depreciation in a Realization-Based Income Tax and the Business Interest Deduction -- Chapter 14: Capital Gains and Losses -- Chapter 15: Tax Shelters -- Unit VI: Distinguishing Between Income-Producing Activities and Personal Consumption and the Personal Consumption Tax Expenditures -- Chapter 16: On Human Capital -- Chapter 17: Homes, Health, Charity, and More -- Chapter 18: Gambling and Hobby Losses -- Chapter 19: Allocating Costs Between Income Production and Personal Consumption -- Unit VII: The Taxable Year and Methods of Accounting -- Chapter 20: The Taxable Year -- Chapter 21: Methods of Accounting…”
Access online version

Mathematics for Elementary Teachers by Manes, Michelle

Table of Contents: “…Patterns and Algebraic Thinking -- Introduction -- Borders on a Square -- Careful Use of Language in Mathematics: = -- Growing Patterns -- Matching Game -- Structural and Procedural Algebra -- Problem Bank -- VI. …”
Access online version

Deltas in the Anthropocene

Table of Contents: “…Delta challenges and trade-offs from the Holocene to the Anthropocene -- 2. Ganges-Brahmaputra-Meghna Delta, Bangladesh and India: A transnational mega-delta -- 3. …”
Link to Metadata

Measuring the Business Value of Cloud Computing

Table of Contents: “…-Chapter 3 - The SaaS Payoff: Measuring the Business Value of Provisioning Software-as-a-Service Technologies Chapter 4 - Cloud service brokerage: Exploring characteristics and benefits of B2B cloud application marketplaces -- Chapter 5 - Economic Models for Federated Clouds: An Extension of Cost Models for Cloud Deployments -- Chapter 6 - Value creation and power asymmetries in digital ecosystems: A study of a cloud gaming provider -- Chapter 7 - Measuring the Business Value of Cloud Computing: Emerging Paradigms and Future Directions for Research.…”
Link to Metadata

Shaping an Inclusive Energy Transition

Table of Contents: “…Introduction -- The Fabric of a Changing Society - Infrastructure as the Key to Social Inclusion -- Perspectives on Justice in the Future Energy System -- The Hidden Dimension of the Climate Crisis: Religion, Sustainability and Inclusiveness - a Plea for the (secular) Sacred -- Hydrogen: The Bridge between Africa and Europe -- Decentralised Control and Peer-to-peer Cooperation in Smart Energy Systems -- EU Energy Policies and Projects: a Perspective on an Inclusive Energy Transition -- Moving Towards Nexus Solutions to 'Energy' Problems: an Inclusive Approach -- Good Governance and the Regulation of the District Heating Market -- Enabling Public Participation in Shaping the Inclusive Energy Transition Through Serious Gaming -- A Comprehensive Engineering Approach to Shaping the Future Energy System.…”
Link to Metadata

The Adventure of Physics - Vol. VI The Strand Model - A Speculation on Unification by Schiller, Christoph

Table of Contents: “…-- 6 The Shape Of Points – Extension In Nature -- 7 The Basis Of The Strand Model -- 8 Quantum Theory Of Matter Deduced From Strands -- 9 Gauge Interactions Deduced From Strands -- 10 General Relativity Deduced From Strands -- 11 The Particle Spectrum Deduced From Strands -- 12 Particle Properties Deduced From Strands -- 13 Experimental Predictions Of The Strand Model -- 14 The Top Of Motion Mountain…”
Access online version