English
Related papers

Related papers: Modelling and testing timed data-flow reactive sys…

200 papers

A filtered density function (FDF) model based on deep neural network (DNN), termed DNN-FDF, is introduced for large eddy simulation (LES) of turbulent flows involving conserved scalar transport. The primary objectives of this study are to…

Fluid Dynamics · Physics 2023-10-02 Shubhangi Bansude , Reza Sheikhi

The flow matching has rapidly become a dominant paradigm in classical generative modeling, offering an efficient way to interpolate between two complex distributions. We extend this idea to the quantum realm and introduce the Quantum Flow…

Quantum Physics · Physics 2026-02-03 Zidong Cui , Pan Zhang , Ying Tang

The quest for effective quantum feature maps for data encoding presents significant challenges, particularly due to the flat training landscapes and lengthy training processes associated with parameterised quantum circuits. To address these…

Quantum Physics · Physics 2025-08-12 Yaswitha Gujju , Romain Harang , Chao Li , Tetsuo Shibuya , Qibin Zhao

Data-driven discovery of emergent dynamics is gaining popularity, particularly in the context of reaction-diffusion systems. These systems are widely studied across various fields, including neuroscience, ecology, epidemiology, and several…

In this paper, we develop and open-source, for the first time, a square-root filter (SRF)-based visual-inertial navigation system (VINS), termed sqrtVINS, which is ultra-fast, numerically stable, and capable of dynamic initialization even…

Robotics · Computer Science 2025-10-14 Yuxiang Peng , Chuchu Chen , Kejian Wu , Guoquan Huang

Complex behaviour in many systems arises from the stochastic interactions of spatially distributed particles or agents. Stochastic reaction-diffusion processes are widely used to model such behaviour in disciplines ranging from biology to…

Statistical Mechanics · Physics 2016-08-23 David Schnoerr , Ramon Grima , Guido Sanguinetti

Here we propose a new approach to modeling gene expression based on the theory of random dynamical systems (RDS) that provides a general coupling prescription between the nodes of any given regulatory network given the dynamics of each node…

Molecular Networks · Quantitative Biology 2016-07-11 Fernando Antoneli , Renata C. Ferreira , Marcelo R. S. Briones

Benchmarking the performance of information retrieval (IR) is mostly conducted with a fixed set of documents (static corpora). However, in realistic scenarios, this is rarely the case and the documents to be retrieved are constantly updated…

Information Retrieval · Computer Science 2024-10-08 Chaeeun Kim , Soyoung Yoon , Hyunji Lee , Joel Jang , Sohee Yang , Minjoon Seo

Distributed systems adopt weak consistency to ensure high availability and low latency, but state convergence is hard to guarantee due to conflicts. Experts carefully design replicated data types (RDTs) that resemble sequential data types…

Programming Languages · Computer Science 2024-12-09 Kevin De Porre , Carla Ferreira , Elisa Gonzalez Boix

Exact inference in complex probabilistic models often incurs prohibitive computational costs. This challenge is particularly acute for autonomous agents in dynamic environments that require frequent, real-time belief updates. Existing…

Artificial Intelligence · Computer Science 2026-02-10 Simon Kohaut , Benedict Flade , Julian Eggert , Kristian Kersting , Devendra Singh Dhami

We investigate the data exchange from relational databases to RDF graphs inspired by R2RML with the addition of target shape schemas. We study the problems of consistency i.e., checking that every source instance admits a solution, and…

Databases · Computer Science 2020-04-01 Iovka Boneva , Jose Lozano , Sławek Staworko

Statistical surrogate modeling of fluid flows is hard because dynamics are multiscale and highly sensitive to initial conditions. Conditional diffusion surrogates can be accurate, but usually need hundreds of stochastic sampling steps. We…

Machine Learning · Computer Science 2026-02-10 Victor Armegioiu , Yannick Ramic , Siddhartha Mishra

Diffusion and flow-driven instability, or transport-driven instability, is one of the central mechanisms to generate inhomogeneous gradient of concentrations in spatially distributed chemical systems. However, verifying the transport-driven…

Systems and Control · Electrical Eng. & Systems 2020-03-05 Yutaka Hori , Hiroki Miyazako

Morphogenesis is central to biology but remains largely unexplored in chemistry. Reaction-diffusion (RD) mechanisms are, however, essential to understand how shape emerges in the living world. While numerical methods confirm the incredible…

Pattern Formation and Solitons · Physics 2014-07-17 Anton S. Zadorin , Yannick Rondelez , Jean-Christophe Galas , André Estevez-Torres

Recently, there has been increasing interest in transparency and interpretability in Deep Reinforcement Learning (DRL) systems. Verbal explanations, as the most natural way of communication in our daily life, deserve more attention, since…

Artificial Intelligence · Computer Science 2020-12-25 Xinzhi Wang , Huao Li , Hui Zhang , Michael Lewis , Katia Sycara

We demonstrate characterizing quantum evolutions via matrix factorization algorithm, a particular type of the recommender system (RS). A system undergoing a quantum evolution can be characterized in several ways. Here we choose (i) quantum…

Quantum Physics · Physics 2021-12-08 Priya Batra , Anukriti Singh , T. S. Mahesh

In multi-agent safety-critical scenarios, traditional autonomous driving frameworks face significant challenges in balancing safety constraints and task performance. These frameworks struggle to quantify dynamic interaction risks in…

Robotics · Computer Science 2025-04-10 Kaifeng Wang , Yinsong Chen , Qi Liu , Xueyuan Li , Xin Gao

A simple and interpretable way to learn a dynamical system from data is to interpolate its vector-field with a kernel. In particular, this strategy is highly efficient (both in terms of accuracy and complexity) when the kernel is…

Machine Learning · Statistics 2024-10-07 Jonghyeon Lee , Edward De Brouwer , Boumediene Hamzi , Houman Owhadi

The increasing sophistication of wind turbine design and control generates a need for high-quality data. Therefore, the relatively limited set of measured wind data may be extended with computer-generated surrogate data, e.g. to make…

Signal Processing · Electrical Eng. & Systems 2021-03-02 D. D'Ambrosio , J. Schoukens , T. De Troyer , M. Zivanovic , M. C. Runacres

Using a high Update-To-Data (UTD) ratio, model-based methods have recently achieved much higher sample efficiency than previous model-free methods for continuous-action DRL benchmarks. In this paper, we introduce a simple model-free…

Machine Learning · Computer Science 2021-03-19 Xinyue Chen , Che Wang , Zijian Zhou , Keith Ross