Search Results - "stochastic processes"

Stability Problems for Stochastic Models: Theory and Applications II

DOAB: download the publication
DOAB: description of the publication

Modeling and analysis of the Haldane genetic model under Brownian motion using stochastic differential equation by Farshad Fattahi

Connect to this object online.

Stability Problems for Stochastic Models: Theory and Applications

DOAB: download the publication
DOAB: description of the publication

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

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Aplicación del teorema del umbral estocástico de Whittle a un brote de varicela Application of Whittle's stochastic threshold theorem to a chickenpox outbreak by Doracelly Hincapié Palacio, Juan Fernando Ospina Giraldo

Connect to this object online.

Correlations between gold spot prices and futures prices by Opat Chanpongpisud

Get full text

International Symposium on Mathematics, Quantum Theory, and Cryptography Proceedings of MQC 2019 /

Table of Contents: “…-- Emerging Ultrastrong Coupling between Light and Matter Observed in Circuit Quantum Electrodynamics -- Quantum Random Numbers Generated by a Cloud Superconducting Quantum Computer -- Quantum Factoring Algorithm: Resource Estimation and Survey of Experiments -- A Review of Secret Key Distribution Based on Bounded Observability -- Towards Constructing Fully Homomorphic Encryption without Ciphertext Noise from Group Theory -- Number Theoretic Study in Quantum Interactions -- From the Bloch Sphere to Phase Space Representations with the Gottesman-Kitaev-Preskill Encoding -- A Data Concealing Technique with Random Noise Disturbance and A Restoring Technique for the Concealed Data by Stochastic Process Estimation.…”
Link to Metadata

Optimal versus Realized Trajectories of Physiological Dysregulation in Aging and their Relation to Sex-Specific Mortality Risk by Konstantin G. Arbeev, Alan A Cohen, Liubov S. Arbeeva, Emmanuel eMilot, Eric eStallard, Alexander M Kulminski, Igor eAkushevich, Svetlana eUkraintseva, Kaare eChristensen, Kaare eChristensen, Anatoliy I Yashin

Connect to this object online.

Zur Ermittlung eines stochastischen Reibwerts und dessen Einfluss auf reibungserregte Schwingungen by Gaus, Nicole

DOAB: download the publication
DOAB: description of the publication

Crosswind stability of vehicles under nonstationary wind excitation by Zhang, Xiaoyu

DOAB: download the publication
DOAB: description of the publication

A Latent Markov Model with Covariates to Study Unobserved Heterogeneity among Fertility Patterns of Couples Employing Natural Family Planning Methods by Fulvia Pennoni, Michele Barbato, Serena Del Zoppo

Connect to this object online.

Equilibration of athletes' body state in the course of increasing the training intensity by Wei Wang, Elena Kozlova

Connect to this object online.

COMPARATIVE ANALYSIS OF THE ESSENCE AND STRUCTURE OF TRADITIONAL AND NONLINEAR EDUCATIONAL PROCESS IN THE HIGHER SCHOOL by L. I. Vasilyev

Connect to this object online.

Probabilistic and Fuzzy Approaches for Estimating the Life Cycle Costs of Buildings

DOAB: download the publication
DOAB: description of the publication

Phenotypic and Molecular Characterization of Carbapenem-Heteroresistant <i>Bacteroides fragilis</i> Strains by Zain Baaity, Friederike D. von Loewenich, Elisabeth Nagy, László Orosz, Katalin Burián, Ferenc Somogyvári, József Sóki

Connect to this object online.

Latent HIV dynamics and implications for sustained viral suppression in the absence of antiretroviral therapy by John M. Murray

Connect to this object online.

ApiAP2 Factors as Candidate Regulators of Stochastic Commitment to Merozoite Production in Theileria annulata. by Marta Pieszko, William Weir, Ian Goodhead, Jane Kinnaird, Brian Shiels

Connect to this object online.

Healthcare services for people with acquired disability in South-East Queensland, Australia: Assessing potential proximity and its association with service obstacles by David N. Borg, Joshua J. Bon, Michele M. Foster, Ali Lakhani, Melissa Kendall, Timothy Geraghty

Connect to this object online.

Aberrant PRDM2 methylation as an early event in serrated lesions destined to evolve into microsatellite‐instable colorectal cancers by David EFWM vanToledo, Arne GC Bleijenberg, Andrea Venema, Mireille J deWit, Susanne vanEeden, Gerrit A Meijer, Beatrice Carvalho, Evelien Dekker, Peter Henneman, Joep EG IJspeert, Carel JM vanNoesel

Connect to this object online.

Internet and Computers for Agriculture

DOAB: download the publication
DOAB: description of the publication