English
Related papers

Related papers: SMT Solving for Vesicle Traffic Systems in Cells

200 papers

Wavelet trees are widely used in the representation of sequences, permutations, text collections, binary relations, discrete points, and other succinct data structures. We show, however, that this still falls short of exploiting all of the…

Data Structures and Algorithms · Computer Science 2010-11-23 Travis Gagie , Gonzalo Navarro , Simon J. Puglisi

Graph Theoretic Process Network Synthesis is described as an introduction to biological networks. Genetic, protein and metabolic systems are considered. The theoretical work of Kauffman is discussed and amplified by critical property…

Biological Physics · Physics 2007-05-23 L. Papp , S. Bumble , F. Friedler , L. T. Fan

Human cancers present a significant public health challenge and require the discovery of novel drugs through translational research. Transcriptomics profiling data that describes molecular activities in tumors and cancer cell lines are…

We propose a new framework for the study of continuous time dynamical systems on networks. We view such dynamical systems as collections of interacting control systems. We show that a class of maps between graphs called graph fibrations…

Dynamical Systems · Mathematics 2018-08-30 Lee DeVille , Eugene Lerman

Motivated by classical communications engineering, early works in molecular communication (MC) largely adopted established modeling and signal processing concepts from wireless electromagnetic communication systems. In the context of the…

Information Theory · Computer Science 2026-04-03 Timo Jakumeit , Lukas Brand , Josep M. Jornet , Robert Schober , Maximilian Schäfer , Sebastian Lotter

Classifying network traffic is the basis for important network applications. Prior research in this area has faced challenges on the availability of representative datasets, and many of the results cannot be readily reproduced. Such a…

Cryptography and Security · Computer Science 2020-04-29 Onur Barut , Yan Luo , Tong Zhang , Weigang Li , Peilong Li

Self-generated gradients have atttracted a lot of attention in the recent biological literature. It is considered as a robust strategy for a group of cells to find its way during a long journey. This note is intended to discuss various…

Analysis of PDEs · Mathematics 2021-09-15 Mete Demircigil , Vincent Calvez , Roxana Sublet

The ubiquity of modules in biological networks may result from an evolutionary benefit of a modular organization. For instance, modularity may increase the rate of adaptive evolution, because modules can be easily combined into new…

Molecular Networks · Quantitative Biology 2011-08-26 Areejit Samal , Andreas Wagner , Olivier C. Martin

Structure and dynamics of complex networks usually deal with degree distributions, clustering, shortest path lengths and other graph properties. Although these concepts have been analysed for graphs on abstract spaces, many networks happen…

Statistical Mechanics · Physics 2009-11-13 M. O. Hase , J. F. F. Mendes

System-centric modeling and analysis are of key significance in planning and optimizing cellular networks. In this paper, we provide a mathematical analysis of performance modeling for LTE networks. The system model characterizes the…

Information Theory · Computer Science 2012-01-20 Iana Siomina , Di Yuan

We develop an agent-based model of the motion and pattern formation of vesicles. These intracellular particles can be found in four different modes of (undirected and directed) motion and can fuse with other vesicles. While the size of…

Subcellular Processes · Quantitative Biology 2011-09-19 Mirko Birbaumer , Frank Schweitzer

With the completion of human genome mapping, the focus of scientists seeking to explain the biological complexity of living systems is shifting from analyzing the individual components (such as a particular gene or biochemical reaction) to…

Molecular Networks · Quantitative Biology 2010-01-28 Sitabhra Sinha , T Jesan , Nivedita Chatterjee

Network enrichment analysis methods allow to identify active modules without being biased towards a priori defined pathways. One of mathematical formulations of such analysis is a reduction to a maximum-weight connected subgraph problem. In…

Data Structures and Algorithms · Computer Science 2016-05-10 Alexander A. Loboda , Maxim N. Artyomov , Alexey A. Sergushichev

Graph property detection aims to determine whether a graph exhibits certain structural properties, such as being Hamiltonian. Recently, learning-based approaches have shown great promise by leveraging data-driven models to detect graph…

Artificial Intelligence · Computer Science 2026-02-17 Jiahao Xie , Guangmo Tong

A relatively new set of transport-based transforms (CDT, R-CDT, LOT) have shown their strength and great potential in various image and data processing tasks such as parametric signal estimation, classification, cancer detection among many…

Machine Learning · Computer Science 2021-02-25 Akram Aldroubi , Shiying Li , Gustavo K. Rohde

Motivated by the fact that intelligent traffic control systems have become inevitable demand to cope with the risk of traffic congestion in urban areas, this paper develops a distributed control strategy for urban traffic networks. Since…

Systems and Control · Electrical Eng. & Systems 2020-05-06 Viet Hoang Pham , Kazunori Sakurama , Shaoshuai Mou , Hyo-Sung Ahn

Classification is a common AI problem, and vector search is a typical solution. This transforms a given body of text into a numerical representation, known as an embedding, and modern improvements to vector search focus on optimising speed…

Information Retrieval · Computer Science 2025-06-04 Lee Harris

Eukaryotic cells and intracellular pathogens such as bacteria or viruses utilize the actin polymerization machinery to propel themselves forward. Thereby, the onset of motion and choice of direction may be the result of a spontaneous…

Soft Condensed Matter · Physics 2009-09-04 Karin John , Denis Caillerie , Philippe Peyla , Mourad Ismail , Annie Raoult , Jacques Prost

Many neural nets appear to represent data as linear combinations of "feature vectors." Algorithms for discovering these vectors have seen impressive recent success. However, we argue that this success is incomplete without an understanding…

Artificial Intelligence · Computer Science 2024-07-23 Martin Wattenberg , Fernanda B. Viégas

Distribution networks -- from vasculature to urban transportation systems -- are prevalent in both the natural and consumer worlds. These systems are intrinsically physical in composition and are embedded into real space, properties that…

Quantitative Methods · Quantitative Biology 2016-12-26 Lia Papadopoulos , Pablo Blinder , Henrik Ronellenfitsch , Florian Klimm , Eleni Katifori , David Kleinfeld , Danielle S. Bassett