Search Results - "Logic"

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

The Everyday Life of an Algorithm by Neyland, Daniel

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

Kvantifikacijski vidiki logične oblike v minimalistični teoriji jezika by Živanović, Sašo

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

The Everyday Life of an Algorithm by Neyland, Daniel

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

Fading Foundations Probability and the Regress Problem by Atkinson, David

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

Analyse von Kundenaktivitäten und der Bereitstellungsqualität von Büchern aus Kundensicht Mit einer Untersuchung von Kundenkommentaren zu Mietangeboten für E-Books by Wittrock, Janina

Subjects: “…Value in Use, activity theory, consumer activities, Customer dominant logic, CDL, customer focus, reading books, books, reader, rental service, purchase, public library, book retail, bookshop, quality of provision, content analysis, customization, personalization, consumer comments, master thesis, Germany…”
DOAB: download the publication
DOAB: description of the publication

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things by Marwedel, Peter

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

Analyse von Kundenaktivitäten und der Bereitstellungsqualität von Büchern aus Kundensicht Mit einer Untersuchung von Kundenkommentaren zu Mietangeboten für E-Books by Wittrock, Janina

Subjects: “…Value in Use, activity theory, consumer activities, Customer dominant logic, CDL, customer focus, reading books, books, reader, rental service, purchase, public library, book retail, bookshop, quality of provision, content analysis, customization, personalization, consumer comments, master thesis, Germany…”
OAPEN Library: download the publication
OAPEN Library: download the publication
OAPEN Library: description of the publication

Fading Foundations Probability and the Regress Problem by Atkinson, David

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

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things by Marwedel, Peter

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

Einstein vs. Bergson An Enduring Quarrel on Time

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

Einstein vs. Bergson An Enduring Quarrel on Time

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

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

Doing the Right Thing A Value Based Economy by Klamer, Arjo

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

Dynamic Modeling and Simulation for Control Systems

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

Doing the Right Thing A Value Based Economy by Klamer, Arjo

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

Understanding Values Work Institutional Perspectives in Organizations and Leadership

Subjects: “…Institutional Logics…”
DOAB: download the publication
DOAB: description of the publication

Understanding Values Work Institutional Perspectives in Organizations and Leadership

Subjects: “…Institutional Logics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Limits of Art On Borderline Cases of Artworks and their Aesthetic Properties by Benovsky, Jiri

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

The Limits of Art On Borderline Cases of Artworks and their Aesthetic Properties by Benovsky, Jiri

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