English
Related papers

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

200 papers

Recent years have witnessed the significant progress of action recognition task with deep networks. However, most of current video networks require large memory and computational resources, which hinders their applications in practice.…

Computer Vision and Pattern Recognition · Computer Science 2020-09-16 Haisheng Su , Jing Su , Dongliang Wang , Weihao Gan , Wei Wu , Mengmeng Wang , Junjie Yan , Yu Qiao

Pattern formation in reaction-diffusion systems is of great importance in surface micro-patterning [Grzybowski et al. Soft Matter. 1, 114 (2005)], self-organization of cellular micro-organisms [Schulz et al. Annu. Rev. Microbiol. 55, 105…

Soft Condensed Matter · Physics 2015-05-19 S. G. Ayodele , F. Varnik , D. Raabe

An intriguing interpretation of the time-evolution of dynamical systems is to view it as a computation that transforms an initial state to a final one. This paradigm has been explored in discrete systems such as cellular automata models,…

Pattern Formation and Solitons · Physics 2014-05-13 Shakti N. Menon , Sitabhra Sinha

Retrosynthesis is one of the fundamental problems in organic chemistry. The task is to identify reactants that can be used to synthesize a specified product molecule. Recently, computer-aided retrosynthesis is finding renewed interest from…

Machine Learning · Computer Science 2020-01-07 Hanjun Dai , Chengtao Li , Connor W. Coley , Bo Dai , Le Song

Diffusion models, which leverage stochastic processes to capture complex data distributions effectively, have shown their performance as generative models, achieving notable success in image-related tasks through iterative denoising…

Machine Learning · Computer Science 2024-08-21 Toshihide Ubukata , Jialong Li , Kenji Tei

Accurate estimation of counterfactual outcomes in high-dimensional data is crucial for decision-making and understanding causal relationships and intervention outcomes in various domains, including healthcare, economics, and social…

Machine Learning · Computer Science 2024-07-31 Jiageng Zhu , Hanchen Xie , Jiazhi Li , Wael Abd-Almageed

We consider here the morphogenesis (pattern formation) problem for some genetic network models. First, we show that any given spatio-temporal pattern can be generated by a genetic network involving a sufficiently large number of genes.…

Dynamical Systems · Mathematics 2007-05-23 S. Genieys , S. Vakulenko

Deep generative models are able to suggest new organic molecules by generating strings, trees, and graphs representing their structure. While such models allow one to generate molecules with desirable properties, they give no guarantees…

Machine Learning · Computer Science 2019-12-05 John Bradshaw , Brooks Paige , Matt J. Kusner , Marwin H. S. Segler , José Miguel Hernández-Lobato

We study the problem of training diffusion models to sample from a distribution with a given unnormalized density or energy function. We benchmark several diffusion-structured inference methods, including simulation-based variational…

Complex systems are often driven by higher-order interactions among multiple units, naturally represented as hypergraphs. Understanding dependency structures within these hypergraphs is crucial for understanding and predicting the behavior…

Social and Information Networks · Computer Science 2025-05-29 John Hood , Caterina De Bacco , Aaron Schein

Extracting relations from text corpora is an important task in text mining. It becomes particularly challenging when focusing on weakly-supervised relation extraction, that is, utilizing a few relation instances (i.e., a pair of entities…

Computation and Language · Computer Science 2017-12-27 Meng Qu , Xiang Ren , Yu Zhang , Jiawei Han

Stochastic processes offer a flexible mathematical formalism to model and reason about systems. Most analysis tools, however, start from the premises that models are fully specified, so that any parameters controlling the system's dynamics…

Systems and Control · Computer Science 2017-01-11 Luca Bortolussi , Guido Sanguinetti

We present a mathematical study for the development of Multiple Sclerosis in which a spatio-temporal kinetic { theory} model describes, at the mesoscopic level, the dynamics of a high number of interacting agents. We consider both…

Analysis of PDEs · Mathematics 2026-01-07 Romina Travaglini , João Miguel Oliveira

We propose a probabilistic formulation that enables sequential detection of multiple change points in a network setting. We present a class of sequential detection rules for certain functionals of change points (minimum among a subset), and…

Statistics Theory · Mathematics 2012-07-09 Arash Ali Amini , XuanLong Nguyen

An efficient structural identifiability analysis algorithm is developed in this study for a broad range of network structures. The proposed method adopts the Wright's path coefficient method to generate identifiability equations in forms of…

Molecular Networks · Quantitative Biology 2017-08-25 Yulin Wang , Na Lu , Hongyu Miao

Capturing the structure of a data-generating process by means of appropriate inductive biases can help in learning models that generalize well and are robust to changes in the input distribution. While methods that harness spatial and…

The use of machine learning algorithms is an attractive way to produce very fast detector simulations for scattering reactions that can otherwise be computationally expensive. Here we develop a factorised approach where we deal with each…

Data Analysis, Statistics and Probability · Physics 2022-07-26 D. Darulis , R. Tyson , D. G. Ireland , D. I. Glazier , B. McKinnon , P. Pauli

The premise of this paper is the following value proposition: Models are good when they describe a system of phenomena, and they are better when they can predict the effect of interventions upon the system. We introduce a formalism by which…

Quantitative Methods · Quantitative Biology 2020-05-13 Vincent Wang

While deep feature learning has revolutionized techniques for static-image understanding, the same does not quite hold for video processing. Architectures and optimization techniques used for video are largely based off those for static…

Computer Vision and Pattern Recognition · Computer Science 2017-12-13 Achal Dave , Olga Russakovsky , Deva Ramanan

Diffusion models have emerged as powerful generative models in the text-to-image domain. This paper studies their application as observation-to-action models for imitating human behaviour in sequential environments. Human behaviour is…