English
Related papers

Related papers: Hybrid Semantics of Stochastic Programs with Dynam…

200 papers

Stochastic processes find applications in modelling systems in a variety of disciplines. A large number of stochastic models considered are Markovian in nature. It is often observed that higher order Markov processes can model the data…

Probability · Mathematics 2021-04-13 Suryadeepto Nag

Many real-world decision-theoretic planning problems can be naturally modeled with discrete and continuous state Markov decision processes (DC-MDPs). While previous work has addressed automated decision-theoretic planning for DCMDPs,…

Artificial Intelligence · Computer Science 2012-02-20 Scott Sanner , Karina Valdivia Delgado , Leliane Nunes de Barros

Population dynamics and in particular microbial population dynamics, though they are complex but also intrinsically discrete and random, are conventionally represented as deterministic differential equations systems. We propose to revisit…

Populations and Evolution · Quantitative Biology 2014-06-02 Coralie Fritsch , Jérôme Harmand , Fabien Campillo

Stochastic optimization problems often involve data distributions that change in reaction to the decision variables. This is the case for example when members of the population respond to a deployed classifier by manipulating their features…

Optimization and Control · Mathematics 2020-12-15 Dmitriy Drusvyatskiy , Lin Xiao

Mathematical models are vital interpretive and predictive tools used to assist in the understanding of cell migration. There are typically two approaches to modelling cell migration: either micro-scale, discrete or macro-scale, continuum.…

Cell Behavior · Quantitative Biology 2018-08-16 Enrico Gavagnin , Christian A. Yates

We develop an approach to learn an interpretable semi-parametric model of a latent continuous-time stochastic dynamical system, assuming noisy high-dimensional outputs sampled at uneven times. The dynamics are described by a nonlinear…

Machine Learning · Statistics 2019-02-13 Lea Duncker , Gergo Bohner , Julien Boussard , Maneesh Sahani

In [ABM07], Abdulla et al. introduced the concept of decisiveness, an interesting tool for lifting good properties of finite Markov chains to denumerable ones. Later, this concept was extended to more general stochastic transition systems…

Logic in Computer Science · Computer Science 2020-09-24 Patricia Bouyer , Thomas Brihaye , Mickael Randour , Cédric Rivière , Pierre Vandenhove

This paper deals with the question of how to most effectively conduct experiments in Partially Observed Markov Decision Processes so as to provide data that is most informative about a parameter of interest. Methods from Markov decision…

Other Statistics · Statistics 2018-01-31 Leifur Thorbergsson , Giles Hooker

Applications in quantitative finance such as optimal trade execution, risk management of options, and optimal asset allocation involve the solution of high dimensional and nonlinear Partial Differential Equations (PDEs). The connection…

Machine Learning · Statistics 2019-10-28 Batuhan Güler , Alexis Laignelet , Panos Parpas

In [ABM07], Abdulla et al. introduced the concept of decisiveness, an interesting tool for lifting good properties of finite Markov chains to denumerable ones. Later, this concept was extended to more general stochastic transition systems…

Logic in Computer Science · Computer Science 2022-01-11 Patricia Bouyer , Thomas Brihaye , Mickael Randour , Cédric Rivière , Pierre Vandenhove

This paper proposes a methodology to estimate characteristic functions of stochastic differential equations that are defined over polynomials and driven by L\'evy noise. For such systems, the time evolution of the characteristic function is…

Optimization and Control · Mathematics 2017-11-20 Khem Raj Ghusinga , Andrew Lamperski , Abhyudai Singh

Stochasticity plays a fundamental role in various biochemical processes, such as cell regulatory networks and enzyme cascades. Isothermal, well-mixed systems can be modelled as Markov processes, typically simulated using the Gillespie…

Molecular Networks · Quantitative Biology 2016-10-12 Andrew Duncan , Radek Erban , Konstantinos Zygalakis

Genetic Programming yields interpretable programs, but small syntactic mutations can induce large, unpredictable behavioral shifts, degrading locality and sample efficiency. We frame this as an operator-design problem: learn a continuous…

Machine Learning · Computer Science 2026-02-10 Matthew Siper , Muhammad Umair Nasir , Ahmed Khalifa , Lisa Soros , Jay Azhang , Julian Togelius

We introduce a machine learning approach for extracting fine-grained representations of protein evolution from molecular dynamics datasets. Metastable switching linear dynamical systems extend standard switching models with a…

Machine Learning · Statistics 2016-10-07 Bharath Ramsundar , Vijay S. Pande

Stochastic dynamics of several systems can be modeled via piecewise deterministic time evolution of the state, interspersed by random discrete events. Within this general class of systems, we consider time-triggered stochastic hybrid…

Systems and Control · Computer Science 2018-04-27 Mohammad Soltani , Abhyudai Singh

A new tool for modeling electrochemical kinetics is presented. An extension of the Stochastic Simulation Algorithm framework to electrochemical systems is proposed. The physical justifications and constraints for the derivation of a…

Chemical Physics · Physics 2016-09-20 O. Beruski

Stochastic (Markovian) process algebra extend classical process algebra with probabilistic exponentially distributed time durations denoted by rates (the parameter of the exponential distribution). Defining a semantics for such an algebra,…

Logic in Computer Science · Computer Science 2015-12-23 Mario Bravetti

Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed. Mathematical modeling of biological systems with delays is usually based on Delay Differential Equations (DDEs), a kind…

Quantitative Methods · Quantitative Biology 2009-10-08 Roberto Barbuti , Giulio Caravagna , Paolo Milazzo , Andrea Maggiolo-Schettini

The process of translation is ambiguous, in that there are typically many valid trans- lations for a given sentence. This gives rise to significant variation in parallel cor- pora, however, most current models of machine translation do not…

Machine Learning · Statistics 2018-05-29 Philip Schulz , Wilker Aziz , Trevor Cohn

The choice of how to retain information about past gradients dramatically affects the convergence properties of state-of-the-art stochastic optimization methods, such as Heavy-ball, Nesterov's momentum, RMSprop and Adam. Building on this…

Machine Learning · Computer Science 2020-03-13 Antonio Orvieto , Jonas Kohler , Aurelien Lucchi