English
Related papers

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

200 papers

Motivated by the response pattern for property specifications and applications within flexible workflow management systems, we report upon an initial study of modal and mixed transition systems in which the must transitions are interpreted…

Logic in Computer Science · Computer Science 2012-07-19 Marco Carbone , Thomas Hildebrandt , Gian Perrone , Andrzej Wąsowski

Interactive search can provide a better experience by incorporating interaction feedback from the users. This can significantly improve search accuracy as it helps avoid irrelevant information and captures the users' search intents.…

Machine Learning · Computer Science 2023-10-06 Jianghong Zhou , Joyce C. Ho , Chen Lin , Eugene Agichtein

In this study, we propose a method Distributionally Robust Safe Screening (DRSS), for identifying unnecessary samples and features within a DR covariate shift setting. This method effectively combines DR learning, a paradigm aimed at…

Diffusion-based unsupervised image registration has been explored for cardiac cine MR, but expensive multi-step inference limits practical use. We propose FlowReg, a flow-matching framework in displacement field space that achieves strong…

Computer Vision and Pattern Recognition · Computer Science 2026-03-04 Yunguan Fu , Wenjia Bai , Wen Yan , Matthew J Clarkson , Rhodri Huw Davies , Yipeng Hu

Flow matching models have emerged as a powerful method for generative modeling on domains like images or videos, and even on irregular or unstructured data like 3D point clouds or even protein structures. These models are commonly trained…

Machine Learning · Computer Science 2025-05-30 Yuyang Wang , Anurag Ranjan , Josh Susskind , Miguel Angel Bautista

This paper investigates the model aggregation process in an over-the-air federated learning (AirFL) system, where an intelligent reflecting surface (IRS) is deployed to assist the transmission from users to the base station (BS). With the…

Information Theory · Computer Science 2021-03-23 Jingheng Zheng , Wanli Ni , Hui Tian

Computational Fluid Dynamics (CFD) simulations are a very important tool for many industrial applications, such as aerodynamic optimization of engineering designs like cars shapes, airplanes parts etc. The output of such simulations, in…

Computer Vision and Pattern Recognition · Computer Science 2021-03-12 Theodoros Georgiou , Sebastian Schmitt , Thomas Bäck , Nan Pu , Wei Chen , Michael Lew

This paper presents a methodology to learn surrogate models of steady state fluid dynamics simulations on meshed domains, based on Implicit Neural Representations (INRs). The proposed models can be applied directly to unstructured domains…

Computational Engineering, Finance, and Science · Computer Science 2024-10-29 Giovanni Catalani , Siddhant Agarwal , Xavier Bertrand , Frederic Tost , Michael Bauerheim , Joseph Morlier

Intrusion Response is a relatively new field of research. Recent approaches for the creation of Intrusion Response Systems (IRSs) use Reinforcement Learning (RL) as a primary technique for the optimal or near-optimal selection of the proper…

Cryptography and Security · Computer Science 2022-02-17 Valeria Cardellini , Emiliano Casalicchio , Stefano Iannucci , Matteo Lucantonio , Sudip Mittal , Damodar Panigrahi , Andrea Silvi

Data-driven turbulence modeling is a newly emerged research area in thermal hydraulics simulation of nuclear power plant (NPP). The most common CFD method used in NPP thermal hydraulics simulation is Reynolds-averaged Navier-Stokes (RANS)…

Fluid Dynamics · Physics 2020-05-04 Yangmo Zhu , Nam Dinh

Keyword Spotting (KWS) systems with small footprint models deployed on edge devices face significant accuracy and robustness challenges due to domain shifts caused by varying noise and recording conditions. To address this, we propose a…

Sound · Computer Science 2026-01-23 Prakash Dhungana , Sayed Ahmad Salehi

In the last decade, data-driven approaches have become popular choices for quadrotor control, thanks to their ability to facilitate the adaptation to unknown or uncertain flight conditions. Among the different data-driven paradigms, Deep…

Robotics · Computer Science 2024-12-30 Alberto Dionigi , Gabriele Costante , Giuseppe Loianno

Discrete Flow-based Models (DFMs) are powerful generative models for high-quality discrete data but typically suffer from slow sampling speeds due to their reliance on iterative decoding processes. This reliance on a multi-step process…

Machine Learning · Computer Science 2025-10-21 Jaehoon Yoo , Wonjung Kim , Seunghoon Hong

Complex, temporally evolving phenomena, from climate to brain activity, are governed by dynamical systems (DS). DS reconstruction (DSR) seeks to infer generative surrogate models of these from observed data, reproducing their long-term…

Machine Learning · Computer Science 2026-02-03 Christoph Jürgen Hemmer , Daniel Durstewitz

This study addresses the challenge of optimal power allocation in stochastic wireless networks by employing a Deep Reinforcement Learning (DRL) framework. Specifically, we design a Deep Q-Network (DQN) agent capable of learning adaptive…

Networking and Internet Architecture · Computer Science 2026-01-09 Marie Diane Iradukunda , Chabi F. Elégbédé , Yaé Ulrich Gaba

Quality-of-Service (QoS) data plays a crucial role in cloud service selection. Since users cannot access all services, QoS can be represented by a high-dimensional and incomplete (HDI) matrix. Latent factor analysis (LFA) models have been…

Machine Learning · Computer Science 2025-05-08 Hao Wu , Jialiang Wang

Training deep reinforcement learning (DRL) locomotion policies often require massive amounts of data to converge to the desired behaviour. In this regard, simulators provide a cheap and abundant source. For successful sim-to-real transfer,…

Robotics · Computer Science 2023-03-08 Luigi Campanaro , Siddhant Gangapurwala , Wolfgang Merkt , Ioannis Havoutis

Reinforcement learning has recently gained unprecedented popularity, yet it still grapples with sample inefficiency. Addressing this challenge, federated reinforcement learning (FedRL) has emerged, wherein agents collaboratively learn a…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-15 Ali Beikmohammadi , Sarit Khirirat , Sindri Magnússon

Flow models are a cornerstone of modern machine learning. They are generative models that progressively transform probability distributions according to learned dynamics. Specifically, they learn a continuous-time Markov process that…

Quantum Physics · Physics 2025-10-10 David Layden , Ryan Sweke , Vojtěch Havlíček , Anirban Chowdhury , Kirill Neklyudov

Taming the generation outcome of state of the art Diffusion and Flow-Matching (FM) models without having to re-train a task-specific model unlocks a powerful tool for solving inverse problems, conditional generation, and controlled…

Machine Learning · Computer Science 2024-07-23 Heli Ben-Hamu , Omri Puny , Itai Gat , Brian Karrer , Uriel Singer , Yaron Lipman