English
Related papers

Related papers: Stream Differential Equations: Specification Forma…

200 papers

We introduce the concept of compactly representing a large number of state sequences, e.g., sequences of activities, as a flow diagram. We argue that the flow diagram representation gives an intuitive summary that allows the user to detect…

Data Structures and Algorithms · Computer Science 2018-05-08 Kevin Buchin , Maike Buchin , Joachim Gudmundsson , Michael Horton , Stef Sijben

Similarity search is the task of retrieving data items that are similar to a given query. In this paper, we introduce the time-sensitive notion of similarity search over endless data-streams (SSDS), which takes into account data quality and…

Information Retrieval · Computer Science 2017-08-08 Naama Kraus , David Carmel , Idit Keidar

Pre-trained diffusion models are commonly used to generate clean data (e.g., images) from random noises, effectively forming pairs of noises and corresponding clean images. Distillation on these pre-trained models can be viewed as the…

Computer Vision and Pattern Recognition · Computer Science 2025-10-03 Zhangkai Wu , Xuhui Fan , Hongyu Wu , Longbing Cao

The problem of data non-stationarity is commonly addressed in data stream processing. In a dynamic environment, methods should continuously be ready to analyze time-varying data -- hence, they should enable incremental training and respond…

Machine Learning · Computer Science 2026-05-29 Joanna Komorniczak

In recent years, there has been an increasing interest in extending traditional stream processing engines with logical, rule-based, reasoning capabilities. This poses significant theoretical and practical challenges since rules can derive…

Artificial Intelligence · Computer Science 2018-11-16 Alessandro Ronca , Mark Kaminski , Bernardo Cuenca Grau , Boris Motik , Ian Horrocks

Dynamical Systems theory generally deals with fixed point iterations of continuous functions. Computation by Turing machine although is a fixed point iteration but is not continuous. This specific category of fixed point iterations can only…

Other Computer Science · Computer Science 2014-10-31 Nabarun Mondal , Partha P. Ghosh

A computational flow is a pair consisting of a sequence of computational problems of a certain sort and a sequence of computational reductions among them. In this paper we will develop a theory for these computational flows and we will use…

Logic · Mathematics 2017-11-07 Amirhossein Akbar Tabatabai

Spiral waves are striking self-organized coherent structures that organize spatio-temporal dynamics in dissipative, spatially extended systems. In this paper, we provide a conceptual approach to various properties of spiral waves. Rather…

Pattern Formation and Solitons · Physics 2021-02-09 Björn Sandstede , Arnd Scheel

Motivated from time-inconsistent stochastic control problems, we introduce a new type of coupled forward-backward stochastic systems, namely, flows of forward-backward stochastic differential equations. They are systems consisting of a…

Probability · Mathematics 2020-04-28 Yushi Hamaguchi

We introduce a new computational model for data streams: asymptotically exact streaming algorithms. These algorithms have an approximation ratio that tends to one as the length of the stream goes to infinity while the memory used by the…

Data Structures and Algorithms · Computer Science 2014-08-11 Marc Heinrich , Alexander Munteanu , Christian Sohler

Floating point arithmetic allows us to use a finite machine, the digital computer, to reach conclusions about models based on continuous mathematics. In this article we work in the other direction, that is, we present examples in which…

Numerical Analysis · Mathematics 2017-10-05 Walter F. Mascarenhas

Conventional mathematical models for simulating incompressible fluid flow problems are based on the Navier-Stokes equations expressed in terms of pressure and velocity. In this context, pressure-velocity coupling is a key issue, and…

Mathematical Physics · Physics 2025-06-06 Ricardo Costa , Stéphane Clain , Gaspar J. Machado , João M. Nóbrega

Fluid flows are omnipresent in nature and engineering disciplines. The reliable computation of fluids has been a long-lasting challenge due to nonlinear interactions over multiple spatio-temporal scales. The compressible Navier-Stokes…

Fluid Dynamics · Physics 2021-12-10 Deniz A. Bezgin , Aaron B. Buhendwa , Nikolaus A. Adams

Semantic segmentation and semantic image synthesis are two representative tasks in visual perception and generation. While existing methods consider them as two distinct tasks, we propose a unified framework (SemFlow) and model them as a…

Computer Vision and Pattern Recognition · Computer Science 2024-11-26 Chaoyang Wang , Xiangtai Li , Lu Qi , Henghui Ding , Yunhai Tong , Ming-Hsuan Yang

Viscous streaming refers to the rectified, steady flows that emerge when a liquid oscillates around an immersed microfeature, typically a solid body or a bubble. The ability of such features to locally concentrate stresses produces strong…

When studying fluid mechanics in terms of instability, bifurcation and invariant solutions one quickly finds out how little can be done by pen and paper. For flows on sufficiently simple domains and under sufficiently simple boundary…

Fluid Dynamics · Physics 2020-04-03 Lennaert van Veen

Ordinary differential equations (ODEs) are the primary means to modelling dynamical systems in many natural and engineering sciences. The number of equations required to describe a system with high heterogeneity limits our capability of…

Mathematical Software · Computer Science 2017-07-17 Andrea Vandin

Various methods for numerically solving Stokes Flow, where a small Reynolds number is assumed to be zero, are investigated. If pressure, horizontal velocity, and vertical velocity can be decoupled into three different equations, the…

Computational Engineering, Finance, and Science · Computer Science 2017-12-21 Ryan Hermle

A lot of information concerning solutions of linear differential equations can be computed directly from the equation. It is therefore natural to consider these equations as a data-structure, from which mathematical properties can be…

Symbolic Computation · Computer Science 2018-11-22 Bruno Salvy

Flow matching (FM) is a general framework for defining probability paths via Ordinary Differential Equations (ODEs) to transform between noise and data samples. Recent approaches attempt to straighten these flow trajectories to generate…

Computer Vision and Pattern Recognition · Computer Science 2024-07-03 Ling Yang , Zixiang Zhang , Zhilong Zhang , Xingchao Liu , Minkai Xu , Wentao Zhang , Chenlin Meng , Stefano Ermon , Bin Cui
‹ Prev 1 4 5 6 7 8 10 Next ›