Search Results - "logic"

How dislocation and professional anxiety influence readiness for change during the implementation of hospital-based home care for children newly diagnosed with diabetes - an ethnographic analysis of the logic of workplace change by Gabriella Nilsson, Kristofer Hansson, Irén Tiberg, Inger Hallström

Connect to this object online.

課程改革的原點與路向選擇：從概念重建與文化轉型評《課程的邏輯》Book Review: 《Curriculum Logic》 by 岳剛德Gang-De Yue

Connect to this object online.

The determination of factors that influence the noise pollution in Malaysia using fuzzy logic / Mohd Fazril Izhar Mohd Idris, Nur Afifah Zainol Abidin and Khairu Azlan Abd Aziz by Mohd Idris, Mohd Fazril Izhar, Zainol Abidin, Nur Afifah, Abd Aziz, Khairu Azlan

Link Metadata

STUDI KOMPARASI PENGGUNAAN MEDIA PERANGKAT LUNAK LOGISIM DENGAN LOGICLY DALAM MENINGKATKAN HASIL BELAJAR SISWA PADA MATERI GERBANG LOGIKA DASAR DAN RELASI LOGIK by Samudra, Disman

Link Metadata

Nuel Belnap on Indeterminism and Free Action

Table of Contents: “…Introduction: The many branches of Belnap's knowledge; Müller, Thomas -- Decisions in branching time; Bartha; Paul -- Internalizing case-relative truth in CIFOL+; Belnap, Nuel -- A stit Logic Analysis of Morally Lucky and Legally Lucky Action Outcomes; Broersen, Jan -- Worlds Enough, and Time: Musings on Foundations; Brown, Mark -- Open Futures in the Foundations of Propositional Logic; Garson, James W -- On Saying What Will Be; Green, Mitchell -- The Intelligibility Question For Free Will: Agency, Choice And Branching Time; Kane, Robert -- What William of Ockham and Luis de Molina would have said to Nuel Belnap: A Discussion of some Arguments Against "The Thin Red Line"; Øhrstrøm, Peter -- Branching for general relativists; Placek, Tomasz -- Some examples formulated in a `seeing to it that' logic: Illustrations, observations, problems; Sergot, Marek -- In Retrospect: Can BST models be reinterpreted for what decisions, speciation events and ontogeny might have in common?…”
Link to Metadata

Course notes on finite games and rational choice by Bruni, Riccardo

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

Course notes on finite games and rational choice by Bruni, Riccardo

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

Variant Construction from Theoretical Foundation to Applications

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

Variant Construction from Theoretical Foundation to Applications

Subjects: “…Logic design…”
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 So...

Subjects: “…formal logic…”
DOAB: download the publication
DOAB: 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 So...

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

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

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

Modalities, Identity, Belief, and Moral Dilemmas: Themes from Barcan Marcus

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

Chapter Ruth Barcan Marcus on Believing Without a Language by Proust, Joëlle

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

Modalities, Identity, Belief, and Moral Dilemmas: Themes from Barcan Marcus

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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

The Mythology in Our Language Remarks on Frazer's Golden Bough by Wittgenstein, Ludwig

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

The Mythology in Our Language Remarks on Frazer's Golden Bough by Wittgenstein, Ludwig

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

Exploring the decision-making process of female genital cosmetic procedures in Iranian women and constructing and validating a results-based logic model for a healthy public policy: a study protocol by Elham Azmoude, Samira Ebrahimzadeh Zagami, Elahe Hooshmand, Elham Taheri, Nahid Jahani Shoorab

Connect to this object online.

Sémantique formelle: Volume 1 Introduction à la grammaire de Montague by Roussarie, Laurent

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