Search Results - "bandits"
Suggested Topics within your search.
Suggested Topics within your search.
- Asian history 2
- Communications engineering / telecommunications 2
- Computer science 2
- Education 2
- European history 2
- Gender studies, gender groups 2
- Literature: history & criticism 2
- Maths for computer scientists 2
- Maths for engineers 2
- Probability & statistics 2
- Sociology & anthropology 2
- Artificial Intelligence 1
- Artificial intelligence 1
- Biography & True Stories 1
- Brigands and robbers -- Fiction 1
- Communications Engineering, Networks 1
- Compilers (Computer programs) 1
- Compilers and Interpreters 1
- Computer Engineering and Networks 1
- Computer Modelling 1
- Computer engineering 1
- Computer networks 1
- Computer simulation 1
- Data processing 1
- Engineering 1
- Engineering mathematics 1
- General studies 1
- History of engineering & technology 1
- Horsemanship -- Juvenile fiction 1
- Literary studies: general 1
-
21
Tales of Times Now Past Sixty-Two Stories from a Medieval Japanese Collection
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
22
Probability in Electrical Engineering and Computer Science An Application-Driven Course
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
23
-
24
Dr. Francisco Valdés Lazo: an exceptional physician
Published 2021Connect to this object online.
Book -
25
-
26
Probability in Electrical Engineering and Computer Science An Application-Driven Course /
Published 2021Link to Metadata
Electronic eBook -
27
Tales of Times Now Past Sixty-Two Stories from a Medieval Japanese Collection
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
28
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published 2019Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata
Electronic eBook -
29
-
30
-
31
-
32
-
33
-
34
-
35
-
36
Tra il "facchino" e il "filosofo": il "Terzo istruito"
Published 2016Connect to this object online.
Book -
37
Parametrial Invasion in Early-Stage Cervical Cancer
Published 2020Connect to this object online.
Book -
38
-
39
-
40
L'Éveil du héros plébéien (1760-1794)
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter