Search Results - "The Terminator"

Clinical and genetic characteristics of concomitant Mucopolysaccharidosis type IVA and neurogenic bladder in children: two case reports and literature review by Zhuhui Ge, Jianhua Mao, Huijun Shen, Yu Xu, Haidong Fu, Weiwei Zhang, Dongyan Li

Connect to this object online.

Electromagnetic Wave Scattering by Aerial and Ground Radar Objects

OAPEN Library: download the publication
OAPEN Library: description of the publication

Genotype frequencies of polymorphic MDR1 variants in the Kazakhstani population by Samat Kozhakhmetov, Adil Supiyev, Almagul Kushugulova, Indira Tynybayeva, Alibek Kossumov, Leila Utepova, Saule Saduakhasova, Gulnara Shakhabayeva, Talgat Nurgozhin, Zhaxybay Zhumadilov

Connect to this object online.

Assessing the Impact of Aldose Reductase (ALR2) Regulatory Gene Polymorphism on Diabetic Retinopathy in Patient Attending Makkah Specialist Eye Hospital, Kano, Nigeria by Hadiza Rabe Musa, Amina Rabe Musa, Yahuza Gimba Muhammed, Usman Salisu Batagarawa, Aminu Ibrahim

Connect to this object online.

Ray Tracing Gems High-Quality and Real-Time Rendering with DXR and Other APIs /

Table of Contents: “…A Microfacet-Based Shadowing Function to Solve the Bump Terminator Problem -- Chapter 13. Ray Traced Shadows: Maintaining Real-Time Frame Rates -- Chapter 14. …”
Link to Metadata

Ports and Waterways Navigating the changing world by van Koningsveld, Mark, Verheij, Henk, Taneja, Poonam, de Vriend, Huib

Table of Contents: “…I General introduction -- II Ports and terminals -- III Waterways -- IV System performance…”
Access online version

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

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

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

Legal Aspects of Corporate Management and Finance by Mayer, Don, Warner, Daniel, Siedel, George J., Lieberman, Jethro K.

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 5: Administrative Law -- Chapter 6: Criminal Law -- Chapter 7: Introduction to Tort Law -- Chapter 8: Contracts -- Chapter 9: Relationships between Principal and Agent -- Chapter 10: Liability of Principal and Agent; Termination of Agency -- Chapter 11: Partnerships: General Characteristics and Formation -- Chapter 12: Partnership Operation and Termination -- Chapter 13: Hybrid Business Forms -- Chapter 14: Corporation: General Characteristics and Formation -- Chapter 15: Legal Aspects of Corporate Finance -- Chapter 16: Corporate Powers and Management -- Chapter 17: Securities Regulation -- Chapter 18: Corporate Expansion, State and Federal Regulation of Foreign Corporations, and Corporate Dissolution -- Chapter 19: Nature and Form of Commercial Paper -- Chapter 20: Negotiation of Commercial Paper -- Chapter 21: Holder in Due Course and Defenses -- Chapter 22: Liability and Discharge -- Chapter 23: Legal Aspects of Banking -- Chapter 24: Consumer Credit Transactions -- Chapter 25: Secured Transactions and Suretyship -- Chapter 26: Mortgages and Nonconsensual Liens -- Chapter 27: Bankruptcy…”
Access online version

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Foundations of Business Law and Legal Environment by Mayer, Don

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 5: Administrative Law -- 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: Products Liability -- Chapter 18: Relationships between Principal and Agent -- Chapter 19: Liability of Principal and Agent; Termination of Agency -- Chapter 20: Partnerships: General Characteristics and Formation -- Chapter 21: Partnership Operation and Termination -- Chapter 22: Hybrid Business Forms -- Chapter 23: Corporation: General Characteristics and Formation -- Chapter 24: Legal Aspects of Corporate Finance -- Chapter 25: Corporate Powers and Management -- Chapter 26: Securities Regulation -- Chapter 27: Corporate Expansion, State and Federal Regulation of Foreign Corporations, and Corporate Dissolution -- Chapter 28: Antitrust Law -- Chapter 29: Unfair Trade Practices and the Federal Trade Commission -- Chapter 30: Employment Law -- Chapter 31: Labor-Management Relations -- Chapter 32: International Law…”
Access online version

Law for Entrepreneurs by Mayer, Don, Warner, Daniel, Siedel, George J., Lieberman, Jethro K.

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 5: Administrative Law -- 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: Products Liability -- Chapter 18: Intellectual Property -- Chapter 19: Insurance -- Chapter 20: Relationships between Principal and Agent -- Chapter 21: Liability of Principal and Agent; Termination of Agency -- Chapter 22: Partnerships: General Characteristics and Formation -- Chapter 23: Partnership Operation and Termination -- Chapter 24: Hybrid Business Forms -- Chapter 25: Corporation: General Characteristics and Formation -- Chapter 26: Legal Aspects of Corporate Finance -- Chapter 27: Corporate Powers and Management -- Chapter 28: Securities Regulation -- Chapter 29: Corporate Expansion, State and Federal Regulation of Foreign Corporations, and Corporate Dissolution -- Chapter 30: Employment Law -- Chapter 31: Labor-Management Relations -- Chapter 32: Consumer Credit Transactions -- Chapter 33: Secured Transactions and Suretyship -- Chapter 34: Mortgages and Nonconsensual Liens -- Chapter 35: Bankruptcy -- Chapter 36: Introduction to Property: Personal Property and Fixtures…”
Access online version

The Law of Trusts by Lewis, Browne C.

Table of Contents: “…Support Trust -- Chapter 5 - Spendthrift Trusts and Creditors -- 5.1 Expressed Spendthrift Trust -- 5.2 Implied Spendthrift Trust -- 5.3 Creditors -- Chapter 6 - Modification and Termination of Trusts -- 6.1 Termination -- 6.2 Claflin and Material Purpose -- 6.3 Deviation and Changed Circumstances -- 6.4 Removal of the Trustee -- Chapter 7 - Creation and Modification of Charitable Trusts -- 7.1 Creation of the Charitable Trust -- 7.2 Modification/Cy Pres -- Chapter 8 - Supervision/Enforcement of Charitable Trusts -- 8.1 Donor Standing -- 8.2 Beneficiary Standing -- Chapter 9 - Treatment of Trust Property -- 9.1 The Duty to Collect and Protect Trust Property -- 9.2 The Duty to Earmark Trust Property and to Not Comingle Trust Funds -- 9.3 The Duty Not to Delegate -- 9.4 Duty of Prudence -- Chapter 10 - Duty of Loyalty -- Chapter 11 - Duty of Impartiality -- Chapter 12 - Duty to Account and Inform -- 12.1 To Account -- 12.2 To Inform -- 12.3 The Trustee's Liability…”
Access online version

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

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

Construction Contracting Business and Legal Principles, Second Edition by Bartholomew, Stewart

Table of Contents: “…Delays, Suspensions, and Terminations -- 17. Liquidated Damages, Force Majeure, and Time Extensions -- 18. …”
Access online version

The Simple Math of Writing Well Writing for the 21st Century by Harrop, Jennie A.

Table of Contents: “…Main Subjects -- 3. Terminal Punctuation Marks -- 4. Mid-Sentence Punctuation Marks -- 5. …”
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 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata

Aviation Weather Handbook FAA-H-8083-28 by Administration, Federal Aviation

Table of Contents: “…Density Altiitude Calculation -- Appendix D. Special Terminal Operation Procedures (STOP) for Operations in Noncontiguous State -- Appendix E. …”
Access online version