Search Results - "Logic"
Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 94
- Philosophy 93
- Computer science 87
- Software Engineering 81
- Humanities 64
- History of engineering & technology 59
- Society & social sciences 55
- Philosophy: logic 51
- Technology: general issues 48
- Mathematical theory of computation 47
- Computer programming / software development 46
- Computer networking & communications 38
- Mathematics 38
- Research & information: general 38
- Computer architecture & logic design 36
- Algorithms & data structures 34
- Social & cultural anthropology, ethnography 34
- Media studies 32
- Neurosciences 30
- Sociology 29
- Politics & government 28
- Systems analysis & design 27
- Education 26
- Philosophy: epistemology & theory of knowledge 26
- Software engineering 26
- Anthropology 25
- History 25
- Logic 24
- Philosophy of science 24
- Artificial Intelligence 23
-
1261
Ancient Greek I A 21st Century Approach
Published 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1262
Chapter Introduction
Published 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1263
-
1264
-
1265
-
1266
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...
Published 2022Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata
Electronic eBook -
1267
-
1268
-
1269
Math in Society Mathematics for liberal arts majors
Published 2018Table of Contents: “…1 Logic and Sets -- 2 Financial Math -- 3 Statistics -- 4 Probability -- 5 Democracy…”
Access online version
Electronic eBook -
1270
-
1271
-
1272
-
1273
-
1274
-
1275
-
1276
-
1277
-
1278
RESTART Sustainable Business Model Innovation
Published 2018Table of Contents: “…-- Chapter 4: Roadmap to a RESTART -- Chapter 5: Redesign rather than standstill -- Chapter 6: Experimentation rather than turnaround -- Chapter 7: Service-logic rather than product-logic -- Chapter 8: The circular rather than the linear economy -- Chapter 9: Alliances rather than solo-runs -- Chapter 10: Results rather than indulgences -- Chapter 11: Three-dimensionality rather than one-dimensionality -- Chapter 12: RESTART before it is too late -- Chapter 13: A recap of the RESTART framework -- Chapter 14: A process model for sustainable business model innovation -- Chapter 15: Avenues for future research -- Chapter 16: Case study: A RESTART for Scanship -- Chapter 17: Case study: A circular business model for Orkla and BIR?.…”
Link to Metadata
Electronic eBook -
1279
Analyzing meaning An introduction to semantics and pragmatics
Published 2018Table of Contents: “…Foundational concepts -- Chapter 1: The meaning of meaning -- Chapter 2: Referring, denoting, and expressing -- Chapter 3: Truth and inference -- Chapter 4: The logic of truth -- II. Word meanings -- Chapter 5: Word senses -- Chapter 6: Lexical sense relations -- Chapter 7: Components of lexical meaning -- III. …”
Access online version
Electronic eBook -
1280