Résultats de la recherche - "stochastic"

Evaluating the impact and cost-effectiveness of chlamydia management strategies in Hong Kong: A modeling study par Sandra Montes-Olivas, Yaz Ozten, Martin Homer, Katy Turner, Katy Turner, Christopher K. Fairley, Christopher K. Fairley, Jane S. Hocking, Desiree Tse, Nicolas Verschueren van Rees, Nicolas Verschueren van Rees, William C. W. Wong, Jason J. Ong, Jason J. Ong, Jason J. Ong

Connect to this object online.

Cost-effectiveness analysis on COVID-19 surveillance strategy of large-scale sports competition par Xuechun Wang, Yiru Cai, Bo Zhang, Xiangyu Zhang, Lianhao Wang, Xiangyu Yan, Mingchen Zhao, Yuan Zhang, Zhongwei Jia

Connect to this object online.

Stochastische Simulation von Energieflüssen im NutzfahrzeugEin einsatzorientiertes Bewertungs- und Optimierungsverfahren par Oberfell, Ralf

DOAB: download the publication
DOAB: description of the publication

Discrete Time Analysis of Multi-Server Queueing Systems in Material Handling and Service par Matzka, Judith M.

DOAB: download the publication
DOAB: description of the publication

Learning Dynamic Systems for Intention Recognition in Human-Robot-Cooperation par Krauthausen, Peter

DOAB: download the publication
DOAB: description of the publication

Elektromobile Flotten im lokalen Energiesystem mit Photovoltaikeinspeisung unter Berücksichtigung von Unsicherheiten par Seddig, Katrin

DOAB: download the publication
DOAB: description of the publication

Recent Advances in Vibrations Analysis

DOAB: download the publication
DOAB: description of the publication

Chapter 23: Network mechanisms and network models par Stadfeld, Christoph

DOAB: download the publication
DOAB: description of the publication

Regulation of T cell activation in Sjögren's syndrome par Naozumi Ishimaru, Yoshio Hayashi

Connect to this object online.

Hospital Inefficiency: What is the Impact of Membership in Different Types of Systems? par Michael D. Rosko, Jose Proenca, Jacqueline S. Zinn, Gloria J. Bazzoli

Connect to this object online.

Hospital Cost Efficiency and System Membership par Kathleen Carey

Connect to this object online.

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table des matières: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Improving public hospital efficiency and fiscal space implications: the case of Mauritius par Ajoy Nundoochan

Connect to this object online.

Advances in Memristor Neural Networks Modeling and Applications

DOAB: download the publication
DOAB: description of the publication

Optimal Sequence-Based Control of Networked Linear Systems par Fischer, Jörg

DOAB: download the publication
DOAB: description of the publication

Uncertainties in energy markets and their consideration in energy storage evaluation par Keles, Dogan

DOAB: download the publication
DOAB: description of the publication

Particle Swarm Optimization

DOAB: download the publication
DOAB: description of the publication

The Dynamics of Living Systems Inaugural lecture given on Thursday 27 April 2017 par Lecuit, Thomas

DOAB: download the publication
DOAB: description of the publication

Antenna Systems

DOAB: download the publication
DOAB: description of the publication

Utilizing Big Data and Twitter to Discover Emergent Online Communities of Cannabis Users par Peter Baumgartner, Nicholas Peiper

Connect to this object online.