Related papers: A Spatial Calculus of Wrapped Compartments
Modern society is dependent on distributed software systems and to verify them different modelling languages such as mobile ambients were developed. To analyse the quality of mobile ambients as a good foundational model for distributed…
Open Quantum Walks (OQW) are a type of quantum walk governed by the system's interaction with its environment. We explore the time evolution and the limit behavior of the OQW framework for Quantum Computation and show how we can represent…
Space-filling curves (SFCs) are used in high performance computing to distribute a computational domain or its mesh, respectively, amongst different compute units, i.e.~cores or nodes or accelerators. The part of the domain allocated to…
Simplicial complexes describe collaboration networks, protein interaction networks and brain networks and in general network structures in which the interactions can include more than two nodes. In real applications, often simplicial…
We present a novel computational method to simulate accurately a wide range of interfacial patterns whose growth is limited by a large scale diffusion field. To illustrate the computational power of this method, we demonstrate that it can…
Machine learning deployments in real-world wireless communication tasks face significant generalization challenges due to location and environment-specific signal structure, high diversity in data across different deployments, and limited…
The emergence of multicellularity and developmental programs are among the major problems of evolutionary biology. Traditionally, research in this area has been based on the combination of data analysis and experimental work on one hand and…
Articulated objects like doors, drawers, valves, and tools are pervasive in our everyday unstructured dynamic environments. Articulation models describe the joint nature between the different parts of an articulated object. As most of these…
This paper is placed at the intersection-point between the study of theoretical computational models aimed at capturing the essence of genetic regulatory networks and the field of Artificial Embryology (or Computational Development). A…
Wetting is fundamental to many technological applications that involve the motion of the fluid-fluid interface on a solid. While static wetting is well understood in the context of thermodynamic equilibrium, dynamic wetting is more…
Many coupled problems in engineering and science can be described by elliptic partial differential equations on adjacent domains, where the coupling can be considered either as a thin equidimensional overlap between the model domains, or as…
Concurrent computations resemble conversations. In a conversation, participants direct utterances at others and, as the conversation evolves, exploit the known common context to advance the conversation. Similarly, collaborating software…
Language is a social phenomenon and variation is inherent to its social nature. Recently, there has been a surge of interest within the computational linguistics (CL) community in the social dimension of language. In this article we present…
How far is neuroepithelial cell proliferation in the developing central nervous system a deterministic process? Or, to put it in a more precise way, how accurately can it be described by a deterministic mathematical model? To provide tracks…
We present a simple yet general and efficient approach to representation of computational meshes. Meshes are represented as sets of mesh entities of different topological dimensions and their incidence relations. We discuss a…
Modular structure is pervasive in many complex networks of interactions observed in natural, social and technological sciences. Its study sheds light on the relation between the structure and function of complex systems. Generally speaking,…
With the development of community based question answering (Q&A) services, a large scale of Q&A archives have been accumulated and are an important information and knowledge resource on the web. Question and answer matching has been…
A variety of computational models have been developed to describe active matter at different length and time scales. The diversity of the methods and the challenges in modeling active matter---ranging from molecular motors and cytoskeletal…
Probabilistic models based on continuous latent spaces, such as variational autoencoders, can be understood as uncountable mixture models where components depend continuously on the latent code. They have proven to be expressive tools for…
In many virus families, tens to thousands of proteins assemble spontaneously into a capsid (protein shell) while packaging the genomic nucleic acid. This review summarizes recent advances in computational modeling of these dynamical…