Arama Sonuçları - "inductive reasoning"
Önerilen Konular
Önerilen Konular
- Humanities 2
- Philosophy 2
- Artificial Intelligence 1
- Artificial intelligence 1
- Computer Modelling 1
- Computer Science Logic and Foundations of Programming 1
- Computer science 1
- Computer simulation 1
- Formal Languages and Automata Theory 1
- Machine theory 1
- Mathematics & science 1
- Research & information: general 1
- Software Engineering 1
- Software engineering 1
-
61
How to bridge the nurse innovation-diffusion gap? An in-depth case study of Create4Care
Baskı/Yayın Bilgisi 2023Connect to this object online.
Kitap -
62
Global hepatitis B and D community advisory board: expectations, challenges, and lessons learned
Baskı/Yayın Bilgisi 2024Connect to this object online.
Kitap -
63
-
64
-
65
-
66
-
67
-
68
-
69
-
70
-
71
-
72
-
73
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Baskı/Yayın Bilgisi 2021İçindekiler: “…-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
Elektronik Ekitap -
74
-
75
PENINGKATAN KEMAMPUAN PENALARAN INDUKTIF MATEMATIS SISWA SEKOLAH MENENGAH PERTAMA DENGAN MODEL DISCOVERY LEARNING
Baskı/Yayın Bilgisi 2016Link Metadata
Kitap -
76
-
77
-
78
-
79