Search Results - Termination Bliss~

Advanced Mobile Robotics: Volume 2 by Kim, DaeEun

Subjects: “…glass façade cleaning robot…”
DOAB: download the publication
DOAB: description of the publication

Advanced Mobile Robotics: Volume 3 by Kim, DaeEun

Subjects: “…glass façade cleaning robot…”
DOAB: download the publication
DOAB: description of the publication

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Slurry Transport Fundamentals, A Historical Overview & The Delft Head Loss & Limit Deposit Velocity Framework by Miedema, Sape A.

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Dimensionless Numbers & Other Parameters -- Chapter 3: Pressure Losses with Homogeneous Liquid Flow -- Chapter 4: The Terminal Settling Velocity of Particles -- Chapter 5: Initiation of Motion and Sediment Transport -- Chapter 6: Slurry Transport, a Historical Overview -- Chapter 7: The Delft Head Loss & Limit Deposit Velocity Framework -- Chapter 8: Usage of the DHLLDV Framework -- Chapter 9: Comparison of the DHLLDV Framework with Other Models -- Chapter 10: Application of the Theory on a Cutter Suction Dredge -- Chapter 11: Publications -- Chapter 12: Bibliography -- Chapter 13: List of Figures -- Chapter 14: List of Tables -- Chapter 15: Appendices…”
Access online version

Business Law and the Legal Environment by Mayer, Don, Warner, Daniel M., Siedel, George J.

Table of Contents: “…Chapter 1: Introduction to Law and Legal Systems -- Chapter 2: Corporate Social Responsibility and Business Ethics -- Chapter 3: Courts and the Legal Process -- Chapter 4: Constitutional Law and US Commerce -- Chapter 6: Criminal Law -- Chapter 7: Introduction to Tort Law -- Chapter 8: Introduction to Contract Law -- Chapter 9: The Agreement -- Chapter 10: Real Assent -- Chapter 11: Consideration -- Chapter 12: Legality -- Chapter 13: Form and Meaning -- Chapter 14: Third-Party Rights -- Chapter 15: Discharge of Obligations -- Chapter 16: Remedies -- Chapter 17: Introduction to Sales and Leases -- Chapter 18: Title and Risk of Loss -- Chapter 19: Performance and Remedies -- Chapter 20: Products Liability -- Chapter 21: Bailments and the Storage, Shipment, and Leasing of Goods -- Chapter 22: Nature and Form of Commercial Paper -- Chapter 23: Negotiation of Commercial Paper -- Chapter 24: Holder in Due Course and Defenses -- Chapter 25: Liability and Discharge -- Chapter 26: Legal Aspects of Banking -- Chapter 27: Consumer Credit Transactions -- Chapter 28: Secured Transactions and Suretyship -- Chapter 29: Mortgages and Nonconsensual Liens -- Chapter 30: Bankruptcy -- Chapter 31: Introduction to Property: Personal Property and Fixtures -- Chapter 32: Intellectual Property -- Chapter 33: The Nature and Regulation of Real Estate and the Environment -- Chapter 34: The Transfer of Real Estate by Sale -- Chapter 35: Landlord and Tenant Law -- Chapter 36: Estate Planning: Wills, Estates, and Trusts -- Chapter 37: Insurance -- Chapter 38: Relationships between Principal and Agent -- Chapter 39: Liability of Principal and Agent; Termination of Agency -- Chapter 40: Partnerships: General Characteristics and Formation -- Chapter 41: Partnership Operation and Termination -- Chapter 42: Hybrid Business Forms -- Chapter 43: Corporation: General Characteristics and Formation -- Chapter 44: Legal Aspects of Corporate Finance -- Chapter 45: Corporate Powers and Management -- Chapter 46: Securities Regulation -- Chapter 47: Corporate Expansion, State and Federal Regulation of Foreign Corporations, and Corporate Dissolution -- Chapter 48: Antitrust Law -- Chapter 49: Unfair Trade Practices and the Federal Trade Commission -- Chapter 50: Employment Law -- Chapter 51: Labor-Management Relations -- Chapter 52: International Law -- Chapter 53: Contracts…”
Access online version

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

Table of Contents: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach - A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
Link to Metadata

Dredging Engineering Special Topics by Miedema, Sape A.

Table of Contents: “…Chapter 1: The Terminal Settling Velocity of Particles -- Chapter 2: Steady Uniform Flow in Open Channels -- Chapter 3: Constructing the Shields Curve, Part A -- Chapter 4: Constructing the Shields Curve, Part B -- Chapter 5: Constructing the Shields Curve, Part C -- Chapter 6: Hydraulic Transport of Sand/Shell Mixtures in Relation with the LDV -- Chapter 7: Cutter Head Spillage -- Chapter 8: The Pump/Pipeline System -- Chapter 9: Modeling of the Swing Winches of a Cutter Dredge -- Chapter 10: The Trailing Suction Hopper Dredge -- Chapter 11: Production Estimation of Water Jets and Cutting Blades in Drag Heads -- Chapter 12: The Closing Process of Clamshell Dredges in Water-Satured Sand -- Chapter 13: Notes -- Chapter 14: References -- Chapter 15: List of Figures -- Chapter 16: List of Tables…”
Access online version

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Table of Contents: “…Static EL Tboxes -- Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance -- A Unifying Splitting Framework -- Integer Induction in Saturation -- Superposition with First-Class Booleans and Inprocessing Clausification -- Superposition for Full Higher-Order Logic -- Implementation and Application -- Making Higher-Order Superposition Work -- Dual Proof Generation for Quantified Boolean Formulas with a BDD-Based Solver -- Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant -- An Automated Approach to the Collatz Conjecture -- Verified Interactive Computation of Definite Integrals -- ATP and AI -- Confidences for Commonsense Reasoning -- Neural Precedence Recommender -- Improving ENIGMA-Style Clause Selection While Learning From History -- System Descriptions -- A Normative Supervisor for Reinforcement Learning Agents (System Description) -- Automatically Building Diagrams for Olympiad Geometry Problems (System Description) -- The Fusemate Logic Programming System (System Description) -- Twee: An Equational Theorem Prover (System Description) -- The Isabelle/Naproche Natural Language Proof Assistant (System Description) -- The Lean 4 Theorem Prover and Programming Language (System Description) -- Harpoon: Mechanizing Metatheory Interactively (System Description).…”
Link to Metadata

Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading LEAP-UCD-2017 /

Table of Contents: “…-Chapter26: Numerical Simulations of LEAP Dynamic Centrifuge Model Tests for Response of Liquefiable Sloping Ground -- Chapter27: LEAP-UCD-2017 Simulation Team Fugro -- Chapter28: LEAP-UCD-2017 Type-B Predictions through FLIP at Kyoto University -- Chapter29: LEAP-UCD-2017 Simulations at Tsinghua University -- Chapter30: Application of a SANISAND model for numerical simulations of the LEAP 2017 experiments -- Chapter31: Numerical Simulation Trial by Cocktail Glass Model in FLIP ROSE for LEAP-UCD -- Chapter32: Preliminary Seismic Deformation and Soil-Structure Interaction evaluationS of A caisson-supported Marine Terminal wharf retaining and founded on liquefiable soils -- Chapter33: Significance of calibration procedure consistency -- Chapter34: Paths forward for Evaluating Seismic Performance of Geotechnical structures -- Chapter35: Selected issues in the seismic evaluation of embankment dams for possible investigation by LEAP -- Chapter36: Soil permeability in centrifuge modeling -- Chapter37: Variation of permeability of viscous fluid during liuefaction model testing -- Chapter38: Post-liquefaction cyclic shear strain: phenomenon and mechanism.…”
Link to Metadata

"I did not plan to have a baby. This is the outcome of our work": a qualitative study exploring unintended pregnancy among female sex workers by Diana Faini, Patricia Munseri, Muhammad Bakari, Eric Sandström, Elisabeth Faxelid, Claudia Hanson

Connect to this object online.

Les idées politiques à Toulouse à la veille de la Réforme Recherches autour de l'œuvre de Guillaume Benoît (1455-1516) by Arabeyre, Patrick

DOAB: download the publication
DOAB: description of the publication