Related papers: SMT Solving for Vesicle Traffic Systems in Cells
We explore a novel method to generate and characterize complex networks by means of their embedding on hyperbolic surfaces. Evolution through local elementary moves allows the exploration of the ensemble of networks which share common…
Vehicular Ad Hoc Networks (VANETs) are a peculiar subclass of mobile ad hoc networks that raise a number of technical challenges, notably from the point of view of their mobility models. In this paper, we provide a thorough analysis of the…
The processes that determine the establishment of the complex morphology of neurons during development are still poorly understood. We present experiments that use live imaging to examine the role of vesicle transport and propose a…
Transport of molecules across membrane channels is investigated theoretically using exactly solvable discrete stochastic site-binding models. It is shown that the interaction potential between molecules and the channel has a strong effect…
We address item relocation problems in graphs in this paper. We assume items placed in vertices of an undirected graph with at most one item per vertex. Items can be moved across edges while various constraints depending on the type of…
The development of multi-core processor systems is a demanded branch of science and technology. The appearance of processors with dozens and hundreds of cores poses to the developers the question of choosing the optimal topology capable to…
Endocytosis underlies many cellular functions including signaling and nutrient uptake. The endocytosed cargo gets redistributed across a dynamic network of endosomes undergoing fusion and fission. Here, a theoretical approach is reviewed…
Many real life queueing networks have finite buffers with overflows. To understand the behavior of such networks, we consider traffic equations that generalize the traffic equations of classic open queueing networks where some nodes are…
Intracellular transport is essential for maintaining proper cellular function in most eukaryotic cells, with perturbations in active transport resulting in several types of disease. Efficient delivery of critical cargos to specific…
Routing is one of the most mysterious issues from the birth of networks up till now. Designing routing protocols for Mobile Ad hoc Networks (MANETs) is a complicated task because unpredictable mobility patterns of mobile nodes greatly…
Cellular traffic prediction is of great importance for operators to manage network resources and make decisions. Traffic is highly dynamic and influenced by many exogenous factors, which would lead to the degradation of traffic prediction…
Network representations are useful for describing the structure of a large variety of complex systems. Although most studies of real-world networks suppose that nodes are connected by only a single type of edge, most natural and engineered…
Machine learning (ML) is a promising approach for predicting small molecule properties in drug discovery. Here, we provide a comprehensive overview of various ML methods introduced for this purpose in recent years. We review a wide range of…
This work studies the parameterized complexity of finding secluded solutions to classical combinatorial optimization problems on graphs such as finding minimum s-t separators, feedback vertex sets, dominating sets, maximum independent sets,…
One of the aims of systems biology is to build multiple layered and multiple scale models of living systems which can efficiently describe phenomena occurring at various level of resolution. Such models should consist of layers of various…
Sorting networks are oblivious sorting algorithms with many practical applications and rich theoretical properties. Propositional encodings of sorting networks are a key tool for proving concrete bounds on the minimum number of comparators…
We present the epithelial-to-mesenchymal transition (EMT) from two perspectives: experimental/technological and theoretical. We review the state of the current understanding of the regulatory networks that underlie EMT in three…
We propose a method for characterizing large complex networks by introducing a new matrix structure, unique for a given network, which encodes structural information; provides useful visualization, even for very large networks; and allows…
We develop primal and mixed variational formulations of transport phenomena on cell complexes with simple polytope connectivity. This framework addresses materials with internal structures comprising components of different topological…
We consider a suboptimal solution path algorithm for the Support Vector Machine. The solution path algorithm is an effective tool for solving a sequence of a parametrized optimization problems in machine learning. The path of the solutions…