Résultats de la recherche - algebraic logic

Performance and Safety Enhancement Strategies in Vehicle Dynamics and Ground Contact

DOAB: download the publication
DOAB: description of the publication

Advanced Mobile Robotics: Volume 1 par Kim, DaeEun

Sujets: “…expansion logic strategy…”
DOAB: download the publication
DOAB: description of the publication

Advanced Mobile Robotics: Volume 2 par Kim, DaeEun

Sujets: “…expansion logic strategy…”
DOAB: download the publication
DOAB: description of the publication

Advanced Mobile Robotics: Volume 3 par Kim, DaeEun

Sujets: “…expansion logic strategy…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table des matières: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Table des matières: “…Language Design -- Consistent Subtyping for All -- HOBiT: Programming Lenses without using Lens Combinators -- Dualizing Generalized Algebraic Data Types by Matrix Transposition -- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach -- Probabilistic Programming -- An Assertion-Based Program Logic for Probabilistic Programs -- Fine-grained Semantics for Probabilistic Programs -- How long, O Bayesian network, will I sample thee? …”
Link to Metadata

Math in Society par Lippman, David

Access online version

ABOUT ONE APPROACH OF TESTING GEOMETRICAL KNOWLEDGE SYSTEM BUILDING. par M. Lvov

Connect to this object online.

KEMAMPUAN MENERJEMAHKAN EKSPRESI ALJABAR DITINJAU DARI KECERDASAN MAJEMUK SISWA par Hartono Hartono, Nadya Febriani, Iwit Prihatin

Connect to this object online.

Applied Discrete Structures par Doerr, Alan, Levasseur, Kenneth

Table des matières: “…1 Set Theory -- 2 Combinatorics -- 3 Logic -- 4 More on Sets -- 5 Introduction to Matrix Algebra -- 6 Relations and Graphs -- 7 Functions -- 8 Recursion and Recurrence Relations -- 9 Graph Theory -- 10 Trees -- 11 Algebraic Systems -- 12 More Matrix Algebra -- 13 Boolean Algebra -- 14 Monoids and Automata -- 15 Group Theory and Applications -- 16 An Introduction to Rings and Fields…”
Access online version

SUBJECT «NUMBER SYSTEMS» IN TWO-LEVELED FORMAT PREPARATION TEACHERS OF MATHEMATICS par V. I. Igoshin

Connect to this object online.

Contemporary Mathematics par Kirk, Donna

Table des matières: “…Chapter 1. Sets -- Chapter 2. Logic -- Chapter 3. Real Number Systems and Number Theory -- Chapter 4. …”
Access online version

LOCAL INSTRUCTION THEORY DALAM PMR UNTUK MENUMBUHKAN KEMAMPUAN BERPIKIR LOGIS, BERPIKIR ALJABAR DAN DISPOSISI MATEMATIS SISWA SMP par Supriatna, Tatang

Link Metadata

TIPE BERPIKIR ANAK BERBAKAT MATEMATIKA TINGKAT SMA DI KOTA BANDUNG: Analisis Kualitatif Moderat terhadap 6 anak olimpiade matematika, dan 4 anak diduga berbakat matematika par Yuliyanto, Lucy Dewan

Link Metadata

O Processo de Elaboração do Conceito de Potenciação de Números Fracionários: uma abordagem histórico-cultural par Ademir Damazio

Connect to this object online.

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...

Table des matières: “…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

Natura dei modelli mentali e implicazioni categoriali: un'introduzione par Alberto Binazzi

Connect to this object online.

Compendium for Early Career Researchers in Mathematics Education

Table des matières: “…Esther Chan, Carmel Mesiti, and David Clarke 7650 -- Section II: Important mathematics educational themes -- 10 Approaching proof in the classroom through the logic of inquiry. Ferdinando Arzarello and Carlotta Soldano 10200 -- 11 A friendly introduction to "Knowledge in Pieces": Modeling types of knowledge and their roles in learning. …”
Link to Metadata

Describe mathematical creative thinking skills and problem-solving strategies by prospective teacher students on non-routine problems par Heru Kurniawan, Prastyo Budi Darmono, M Mursalin, Yilun Shang, Robert Weinhandl, Rajinder Sharm

Connect to this object online.

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table 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