Search Results - "inference"
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 29
- History of engineering & technology 27
- Computer science 22
- Technology: general issues 19
- Probability & statistics 18
- Mathematics 15
- Machine learning 14
- Artificial intelligence 13
- Mathematics & science 13
- Bayesian inference 12
- Statistics 12
- Biology, life sciences 11
- Neurosciences 11
- Psychology 11
- Applied mathematics 10
- Information technology industries 10
- Philosophy 10
- Philosophy: logic 9
- Genetics (non-medical) 8
- Social research & statistics 8
- linguistics 8
- Archaeology 7
- Humanities 7
- Medicine 7
- Science: general issues 7
- Software Engineering 7
- Software engineering 7
- Statistics 7
- Data mining 6
- Pharmacology 6
-
1501
-
1502
-
1503
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table of Contents: “…-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
Electronic eBook -
1504
Pre-cueing Effects on Perception, Attention, and Cognitive Penetrability
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1505
Advances in Forensic Genetics
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1506
-
1507
-
1508
-
1509
-
1510
-
1511
-
1512
-
1513
-
1514
-
1515
-
1516
-
1517
-
1518
-
1519
-
1520