Search Results - "logic"

Knowledge Graphs and Big Data Processing

Subjects: “…Logic programming.…”
Link to Metadata

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…Mathematical Logic and Formal Languages…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…Mathematical Logic and Formal Languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…Mathematical logic.…”
Link to Metadata

Logischer Empirismus, Lebensreform und die deutsche Jugendbewegung Logical Empiricism, Life Reform, and the German Youth Movement /

Table of Contents: “…Einleitung: Logischer Empirismus, Lebensreform und die deutsche Jugendbewegung -- 2. The Winding Road to Logical Empiricism: Philosophers of Science and the Youth Movement -- 3. …”
Link to Metadata

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

The Material Theory of Induction by Norton, John D.

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

The Material Theory of Induction by Norton, John D.

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

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…Logic in AI…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…Logic in AI…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /

Subjects: “…Logic design.…”
Link to Metadata

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by Mostowski, Wojciech

Subjects: “…First-order logic…”
DOAB: download the publication
DOAB: description of the publication

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by Mostowski, Wojciech

Subjects: “…First-order logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

STRATEGI PENERAPAN BERPIKIR KRITIS, LOGIS DAN REFLEKTIF DALAM PEMBELAJARAN PENGANTAR AKUNTANSI DI ERA DARING: SUATU TINJAUAN EPISTEMOLOGIS [STRATEGY IN THE IMPLEMENTATION OF CRITICAL, LOGICAL, AND REFLECTIVE THINKING DURING ONLINE LEARNING IN INTRODUCTION TO ACCOUNTING 1: AN EPISTEMOLOGICAL REVIEW] by Yanuard Putro Dwikristanto, Suyitno Muslim

Connect to this object online.

Accidental PUVA burns, vitiligo and atopic diathesis resulting in prurigo nodularis: a logical but undocumented rarity Prurigo nodular induzido por queimaduras acidentais por PUVA, vitiligo e diátese atópica: uma raridade lógica, mas não documentada by Shyam Bhanushankar Verma, Uwe Wollina

Connect to this object online.

ANALISIS PERBANDINGAN PENGGUNAAN MEDIA PEMBELAJARAN SISTEM WIRING DAN SISTEM PLUG UNPLUG TERHADAP HASIL BELAJAR SISWA PADA MATA PELAJARAN TEKNIK KONTROL POKOK BAHASAN PROGRAMMABLE LOGIC CONTROLLER (PLC) DI SMK NEGERI 2 CIMAHI by Intan, Ruana Putri

Link Metadata

Zeit in Gesetzen erfasst - G. W. F. Hegels Theorie der Kodifikation. by Müller, Michael W.

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

Chapter Il significato incarnato dell'architettura by Johnson, Mark L.

Subjects: “…ecological logic…”
DOAB: download the publication
DOAB: description of the publication

Mental Causation A Counterfactual Theory by Kroedel, Thomas

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

The Datacenter as a Computer Designing Warehouse-Scale Machines, Third Edition by Barroso, Luiz André

Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication