Zoekresultaten - minimal model program
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
- Computer science 7
- Software Engineering 7
- History of engineering & technology 6
- Software engineering 5
- Artificial Intelligence 4
- Artificial intelligence 4
- Computer Science Logic and Foundations of Programming 4
- Formal Languages and Automata Theory 4
- Machine theory 4
- Business mathematics & systems 2
- Discrete Mathematics in Computer Science 2
- Discrete mathematics 2
- Information technology industries 2
- Mathematics 2
- Research & information: general 2
- Society & social sciences 2
- Technology: general issues 2
- Algorithms 1
- Biology, life sciences 1
- Coins, banknotes, medals, seals (numismatics) 1
- Compilers (Computer programs) 1
- Compilers and Interpreters 1
- Computer Modelling 1
- Computer System Implementation 1
- Computer programming 1
- Computer simulation 1
- Computer systems 1
- Computers 1
- Computing & information technology 1
- Control Structures and Microprogramming 1
-
41
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Gepubliceerd in 2021Inhoudsopgave: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata
Elektronisch E-boek -
42
-
43
-
44
-
45
-
46
-
47
-
48
-
49
Bahan Ajar Ilmu Alamiah Dasar pada Program Studi Ilmu Sosial
Gepubliceerd in 2018Connect to this object online.
Boek -
50
-
51
A Cost Analysis of an Outreach School-Based Dental Program: Teeth on Wheels
Gepubliceerd in 2021Connect to this object online.
Boek -
52
-
53
RANCANG BANGUN APLIKASI PENDAFTARAN KEGIATAN PROGRAM MBKM MENGGUNAKAN FRAMEWORK LARAVEL
Gepubliceerd in 2021Link Metadata
Boek -
54
Application of multistate modeling to clinical data analysis
Gepubliceerd in 2024Connect to this object online.
Boek -
55
A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach
Gepubliceerd in 2016DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
56
EVALUASI PROGRAM PEMBELAJARAN ILMU PENGETAHUAN SOSIAL SMP/MTS DI KOTA BIMA
Gepubliceerd in 2013Connect to this object online.
Boek -
57
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...
Gepubliceerd in 2019Inhoudsopgave: “…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
Elektronisch E-boek -
58
-
59
-
60