English
Related papers

Related papers: A Formal Methods Approach to Pattern Synthesis in …

200 papers

Diffusion models have emerged as powerful generative frameworks by progressively adding noise to data through a forward process and then reversing this process to generate realistic samples. While these models have achieved strong…

Machine Learning · Computer Science 2025-03-04 Xingzhuo Guo , Yu Zhang , Baixu Chen , Haoran Xu , Jianmin Wang , Mingsheng Long

Pattern formation, arising from systems of autonomous reaction-diffusion equations, on networks has become a common topic of study in the scientific literature. In this work we focus primarily on directed networks. Although some work prior…

Pattern Formation and Solitons · Physics 2022-10-19 Joshua Ritchie

Spontaneous pattern formation in homogeneous systems is ubiquitous in nature. Although Turing demonstrated that spatial patterns can emerge in reaction-diffusion (RD) systems when the homogeneous state becomes linearly unstable, it remains…

Biological Physics · Physics 2024-08-20 Shuonan Wu , Bing Yu , Yuhai Tu , Lei Zhang

We study diffusion-driven pattern-formation in networks of networks, a class of multilayer systems, where different layers have the same topology, but different internal dynamics. Agents are assumed to disperse within a layer by undergoing…

Physics and Society · Physics 2018-03-28 Andreas Brechtel , Philipp Gramlich , Daniel Ritterskamp , Barbara Drossel , Thilo Gross

Structural causal models describe how the components of a robotic system interact. They provide both structural and functional information about the relationships that are present in the system. The structural information outlines the…

Robotics · Computer Science 2025-08-12 Alejandro Murillo-Gonzalez , Junhong Xu , Lantao Liu

Local climate information is crucial for impact assessment and decision-making, yet coarse global climate simulations cannot capture small-scale phenomena. Current statistical downscaling methods infer these phenomena as temporally…

Machine Learning · Computer Science 2025-09-24 Jonathan Schmidt , Luca Schmidt , Felix Strnad , Nicole Ludwig , Philipp Hennig

Generative models are now widely used by graphic designers and artists. Prior works have shown that these models remember and often replicate content from their training data during generation. Hence as their proliferation increases, it has…

Computer Vision and Pattern Recognition · Computer Science 2024-04-02 Gowthami Somepalli , Anubhav Gupta , Kamal Gupta , Shramay Palta , Micah Goldblum , Jonas Geiping , Abhinav Shrivastava , Tom Goldstein

Originating from the pioneering study of Alan Turing, the bifurcation analysis predicting spatial pattern formation from a spatially uniform state for diffusing morphogens or chemical species that interact through nonlinear reactions is a…

Pattern Formation and Solitons · Physics 2023-01-18 Merlin Pelz , Michael J. Ward

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

Spatial pattern formation is a key feature of many natural systems in physics, chemistry and biology. The essential theoretical issue in understanding pattern formation is to explain how a spatially homogeneous initial state can undergo…

Pattern Formation and Solitons · Physics 2015-06-04 Timothy Killingback , Gregory Loftus , Bala Sundaram

Dynamical systems theory provides powerful methods to extract effective macroscopic dynamics from complex systems with slow modes and fast modes. Here we derive and theoretically support a macroscopic, spatially discrete, model for a class…

Analysis of PDEs · Mathematics 2010-03-12 Wei Wang , A. J. Roberts

Q-conditional symmetries (nonclassical symmetries) for a general class of two-component reaction-diffusion systems with constant diffusivities are studied. Using the recently introduced notion of Q-conditional symmetries of the first type…

Mathematical Physics · Physics 2019-09-17 Roman Cherniha , Vasyl' Davydovych

Generative diffusion models synthesize new samples by reversing a diffusive process that converts a given data set to generic noise. This is accomplished by training a neural network to match the gradient of the log of the probability…

Machine Learning · Computer Science 2023-10-11 Akhil Premkumar

Cataloging the complex behaviors of dynamical systems can be challenging, even when they are well-described by a simple mechanistic model. If such a system is of limited analytical tractability, brute force simulation is often the only…

Machine Learning · Computer Science 2023-01-04 Hunter Elliott

Dynamical behaviors of complex interacting systems, including brain activities, financial price movements, and physical collective phenomena, are associated with underlying interactions between the system's components. The issue of…

Machine Learning · Computer Science 2025-12-03 Shuhan Zheng , Ziqiang Li , Kantaro Fujiwara , Gouhei Tanaka

Rich semantic relations are important in a variety of visual recognition problems. As a concrete example, group activity recognition involves the interactions and relative spatial relations of a set of people in a scene. State of the art…

Computer Vision and Pattern Recognition · Computer Science 2016-04-13 Zhiwei Deng , Arash Vahdat , Hexiang Hu , Greg Mori

Parametric prediction error methods constitute a classical approach to the identification of linear dynamic systems with excellent large-sample properties. A more recent regularized approach, inspired by machine learning and Bayesian…

Systems and Control · Computer Science 2017-10-12 Johan Wågberg , Dave Zachariah , Thomas B. Schön

This paper addresses the problem of generating dynamically admissible trajectories for control tasks using diffusion models, particularly in scenarios where the environment is complex and system dynamics are crucial for practical…

Robotics · Computer Science 2025-10-15 Darshan Gadginmath , Fabio Pasqualetti

Even as deep neural networks have become very effective for tasks in vision and perception, it remains difficult to explain and debug their behavior. In this paper, we present a programmatic and semantic approach to explaining,…

Computer Vision and Pattern Recognition · Computer Science 2020-06-18 Edward Kim , Divya Gopinath , Corina Pasareanu , Sanjit Seshia

Reaction--diffusion mechanism are a robust paradigm that can be used to represent many biological and physical phenomena over multiple spatial scales. Applications include intracellular dynamics, the migration of cells and the patterns…

Quantitative Methods · Quantitative Biology 2021-01-01 Cameron A. Smith , Christian A. Yates