Search Results - Papus~

Kamerabasierte In-situ-Überwachung gepulster Laserschweißprozesse by Dudeck, Sven Gerhard

“…Forschungsberichte aus der Industriellen Informationstechnik / Institut für Industrielle Informationstechnik (IIIT), Karlsruher Institut für Technologie…”
DOAB: download the publication
DOAB: description of the publication

Konzepte zur Trennung von Sprachsignalen in unterbestimmten Szenarien by Sandmair, Andreas

“…Forschungsberichte aus der Industriellen Informationstechnik / Institut für Industrielle Informationstechnik (IIIT), Karlsruher Institut für Technologie…”
DOAB: download the publication
DOAB: description of the publication

Materialklassifikation in optischen Inspektionssystemen mithilfe hyperspektraler Daten by Michelsburg, Matthias

“…Forschungsberichte aus der Industriellen Informationstechnik / Institut für Industrielle Informationstechnik (IIIT), Karlsruher Institut für Technologie…”
DOAB: download the publication
DOAB: description of the publication

Mehrobjekt-Zustandsschätzung mit verteilten Sensorträgern am Beispiel der Umfeldwahrnehmung im Straßenverkehr by Kruse, Marco

“…Forschungsberichte aus der Industriellen Informationstechnik / Institut für Industrielle Informationstechnik (IIIT), Karlsruher Institut für Technologie…”
DOAB: download the publication
DOAB: description of the publication

Objektsensitive Verfolgung und Klassifikation von Fußgängern mit verteilten Multi-Sensor-Trägern by Pallauf, Johannes

“…Forschungsberichte aus der Industriellen Informationstechnik / Institut für Industrielle Informationstechnik (IIIT), Karlsruher Institut für Technologie…”
DOAB: download the publication
DOAB: description of the publication

Powerline-Kommunikation für Batteriemanagement-Systeme in Elektro- und Hybridfahrzeugen by Opalko, Oliver

“…Forschungsberichte aus der Industriellen Informationstechnik / Institut für Industrielle Informationstechnik (IIIT), Karlsruher Institut für Technologie…”
DOAB: download the publication
DOAB: description of the publication

Robuste Schmalband-Powerline-Kommunikation für Niederspannungsverteilernetze by Sigle, Martin

“…Forschungsberichte aus der Industriellen Informationstechnik / Institut für Industrielle Informationstechnik (IIIT), Karlsruher Institut für Technologie…”
DOAB: download the publication
DOAB: description of the publication

Variable illumination and invariant features for detecting and classifying varnish defects by Pérez Grassi, Ana

“…Forschungsberichte aus der Industriellen Informationstechnik / Institut für Industrielle Informationstechnik (IIIT), Karlsruher Institut für Technologie…”
DOAB: download the publication
DOAB: description of the publication

Vergleich von Mehrträger-Übertragungsverfahren und Entwurfskriterien für neuartige Powerline-Kommunikationsysteme zur Realisierung von Smart Grids by Bauer, Michael

“…Forschungsberichte aus der Industriellen Informationstechnik / Institut für Industrielle Informationstechnik (IIIT), Karlsruher Institut für Technologie…”
DOAB: download the publication
DOAB: description of the publication

Wireless Data Transmission for the Battery Management System of Electric and Hybrid Vehicles by Alonso, Damián Ezequiel

“…Forschungsberichte aus der Industriellen Informationstechnik / Institut für Industrielle Informationstechnik (IIIT), Karlsruher Institut für Technologie…”
DOAB: download the publication
DOAB: description of the publication

Happiness is the Wrong Metric A Liberal Communitarian Response to Populism / by Etzioni, Amitai

Table of Contents: “…Nationalist populism is not an enemy -- Part IV: Moral issues raised by individual rights -- Chapter 8. …”
Link to Metadata

Law of Commercial Transactions 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: 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…”
Access online version

The South Texas Health Status Review A Health Disparities Roadmap /

Table of Contents: “…-Chapter 2 South Texas Population Characteristics.-Chapter3 Access to Health Care in South Texas.…”
Link to Metadata

Environmental Biology

Table of Contents: “…Chapter 1: Environmental Science -- Chapter 2: Matter, Energy, & Life -- Chapter 3: Ecosystems and the Biosphere -- Chapter 4: Community & Population Ecology -- Chapter 5: Conservation & Biodiversity -- Chapter 6: Environmental Hazards & Human Health -- Chapter 7: Water Availability and Use -- Chapter 8: Food & Hunger -- Chapter 9: Conventional & Sustainable Agriculture -- Chapter 10: Air Pollution, Climate Change, & Ozone Depletion -- Chapter 11: Conventional & Sustainable Energy…”
Access online version

Crop Improvement

Table of Contents: “…About the PBEA Series -- Basic Principles of Plant Breeding -- Pedigree Naming Systems and Symbols -- Genetic Variation and Germplasm Usage -- Refresher on Population and Quantitative Genetics -- Steps in Cultivar Development -- Breeding Methods -- Participatory Plant Breeding and Participatory Variety Selection -- Common Bean Breeding -- Cowpea Breeding -- Millet Breeding -- Rice Breeding -- Sorghum Breeding -- Sweetpotato Breeding -- Groundnut Breeding -- Cassava Breeding -- Seed Systems and Certification -- Contributors -- Applied Learning Activities…”
Access online version

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

Advanced Business Law and the Legal Environment by Mayer, Don, Warner, Daniel, Siedel, George J., Lieberman, Jethro K., Martina, Alyssa Rose

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 Sales and Leases -- Chapter 9: Title and Risk of Loss -- Chapter 10: Performance and Remedies -- Chapter 11: Products Liability -- Chapter 12: Bailments and the Storage, Shipment, and Leasing of Goods -- Chapter 13: Nature and Form of Commercial Paper -- Chapter 14: Negotiation of Commercial Paper -- Chapter 15: Holder in Due Course and Defenses -- Chapter 16: Liability and Discharge -- Chapter 17: Legal Aspects of Banking -- Chapter 18: Consumer Credit Transactions -- Chapter 19: Secured Transactions and Suretyship -- Chapter 20: Mortgages and Nonconsensual Liens -- Chapter 21: Bankruptcy -- Chapter 22: Introduction to Property: Personal Property and Fixtures -- Chapter 23: Intellectual Property -- Chapter 24: The Nature and Regulation of Real Estate and the Environment -- Chapter 25: The Transfer of Real Estate by Sale -- Chapter 26: Landlord and Tenant Law -- Chapter 27: Estate Planning: Wills, Estates, and Trusts -- Chapter 28: Insurance…”
Access online version

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

Design of Heuristic Algorithms for Hard Optimization With Python Codes for the Travelling Salesman Problem / by Taillard, Éric D.

Table of Contents: “…Local Search Learning -- 10. Population Management -- 11. Heuristics Design -- 12. …”
Link to Metadata

Clinical Text Mining Secondary Use of Electronic Patient Records / by Dalianis, Hercules

Table of Contents: “…Introduction -- The history of the patient record and the paper record -- User needs: clinicians, clinical researchers and hospital management -- Characteristics of patient records and clinical corpora -- Medical classifications and terminologies -- Evaluation metrics and evaluation -- Basic building blocks for clinical text processing -- Computational methods for text analysis and text classification -- Ethics and privacy of patient records for clinical text mining research -- Applications of clinical text mining -- Networks and shared tasks in clinical text mining -- Conclusions and outlook -- References -- Index.…”
Link to Metadata