Search Results - "Logic"

Wittgensteins «Bemerkungen ueber die Farben» by Gierlinger, Frederik

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

Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology by David A. Rosenblueth

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

The Art of Abduction by Douven, Igor

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

Wittgensteins «Bemerkungen ueber die Farben» by Gierlinger, Frederik

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

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

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

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

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

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

Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

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

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata

Terrorismus und moderne Kriegsführung Politische Gewaltstrategien in Zeiten des "War on Terror" by Heinke, Eva-Maria

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

Terrorismus und moderne Kriegsführung Politische Gewaltstrategien in Zeiten des "War on Terror" by Heinke, Eva-Maria

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

Dependable Embedded Systems by Henkel, Jörg

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

Modes of Truth The Unified Approach to Truth, Modality, and Paradox

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

Dependable Embedded Systems by Henkel, Jörg

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

Modes of Truth The Unified Approach to Truth, Modality, and Paradox

Subjects: “…logic…”
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: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication

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

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

Rudolf Carnap, Tagebücher. Band 2. 1920-1935: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl by Carnap, Rudolf

Subjects: “…Analytical philosophy & Logical Positivism bicssc…”
DOAB: download the publication
DOAB: description of the publication

Rudolf Carnap, Tagebücher. Band 2. 1920-1935: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl by Carnap, Rudolf

Subjects: “…Analytical philosophy & Logical Positivism bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Low Power Memory/Memristor Devices and Systems

Subjects: “…Logic-in-Memory (LiM)…”
DOAB: download the publication
DOAB: description of the publication

Two-Dimensional Electronics - Prospects and Challenges

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