Résultats de la recherche - algebraic logic
Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
- Artificial intelligence 11
- Software Engineering 9
- Computer science 8
- Mathematics 8
- Mathematics & science 8
- Research & information: general 8
- Artificial Intelligence 7
- Computer networks 6
- History of engineering & technology 6
- Computer Engineering and Networks 5
- Computer engineering 5
- Software engineering 5
- Computer programming / software development 4
- Formal Languages and Automata Theory 4
- Machine theory 4
- Mathematical theory of computation 4
- Theory of Computation 4
- Compilers (Computer programs) 3
- Compilers and Interpreters 3
- Control Structures and Microprogramming 3
- Microprogramming 3
- Algorithms & data structures 2
- Applied mathematics 2
- Computer Modelling 2
- Computer Science Logic and Foundations of Programming 2
- Computer simulation 2
- Mathematics Education 2
- Philosophy of mind 2
- Philosophy: epistemology & theory of knowledge 2
- Physics 2
-
61
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Publié 2022Table des matières: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata
Électronique eBook -
62
-
63
-
64
-
65
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /
Publié 2021Table des matières: “…Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs.…”
Link to Metadata
Électronique eBook -
66
-
67
-
68
-
69
Chapter 6 Equivalence in Imagination
Publié 2021DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
70
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...
Publié 2023Table des matières: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
Link to Metadata
Électronique eBook -
71
-
72
Chapter 6 Equivalence in Imagination
Publié 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre -
73
-
74
-
75
-
76
-
77
Invited Lectures from the 13th International Congress on Mathematical Education
Publié 2018Table des matières: “…Forword, Gabriele Kaiser -- Practice-based Initial Teacher Education: Developing Inquiring Professionals, Glenda Anthony -- Mathematical experiments - an ideal first step into mathematics, Albrecht Beutelspacher -- Intersections of Culture, Language, And Mathematics Education: Looking Back And Looking Ahead, Marta Civil -- The Double Continuity in Algebra, Al Cuoco, William McCallum -- A Friendly Introduction to "Knowledge In Pieces": Modeling Types of Knowledge and their roles in Learning, Andrea diSessa -- History of Mathematics, Mathematics Education, and the Liberal Arts, Michael N. …”
Link to Metadata
Électronique eBook -
78
-
79
-
80