Результаты поиска - "documentation"
Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
- History 267
- Archaeology 179
- Biography & True Stories 149
- European history 128
- Education 127
- linguistics 111
- Literature: history & criticism 92
- History of the Americas 89
- Humanities 79
- Literature & literary studies 79
- Sociology 70
- Politics & government 69
- Society & social sciences 66
- Social & cultural anthropology, ethnography 64
- Social & cultural history 57
- Law 55
- Ancient history: to c 500 CE 50
- Medicine 50
- Asian history 48
- History: earliest times to present day 47
- Media studies 47
- International relations 44
- Anthropology 43
- Mathematics & science 42
- Research & information: general 42
- Historical & comparative linguistics 41
- Society & culture: general 41
- Technology: general issues 40
- Political science & theory 39
- 20th century history: c 1900 to c 2000 38
-
17561
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...
Опубликовано 2023Оглавление: “...-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration....”
Link to Metadata
Электронный ресурс eКнига -
17562
-
17563
-
17564
-
17565
-
17566
-
17567
-
17568
Work modification as a treatment for low-back pain
Опубликовано 2015Connect to this object online.
-
17569
-
17570
-
17571
-
17572
-
17573
-
17574
-
17575
-
17576
-
17577
-
17578
-
17579
-
17580