Related papers: Autocatalyses
Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testing and simulation alone are insufficient to ensure the…
Artificial Chemistries (ACs) are symbolic chemical metaphors for the exploration of Artificial Life, with specific focus on the problem of biogenesis or the origin of life. This paper presents authors thoughts towards defining a unified…
Catalytically active macromolecules are envisioned as key building blocks in development of artificial nanomotors. However, theory and experiments report conflicting findings regarding their dynamics. The lack of consensus is mostly caused…
We analyzed the stochastic behavior of systems controlled by autocatalytic reaction A+X -> X+X, X+X -> A+X, X -> B provided that the distribution of reacting particles in the system volume is uniform, i.e. the point model of reaction…
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the dynamics of such a system, the updates of that system…
Self-testing is a method to infer the underlying physics of a quantum experiment in a black box scenario. As such it represents the strongest form of certification for quantum systems. In recent years a considerable self-testing literature…
We introduce a simple model of heterogeneous catalysis on a disordered surface which consists of two types of randomly distributed sites with different adsorption rates. Disorder can create a reactive steady state in situations where the…
A heterogeneous and dilute suspension of catalytically active colloids is studied as a non-equilibrium analogue of ionic systems, which has the remarkable feature of action-reaction symmetry breaking. Symmetrically coated colloids are found…
The analytic solution for the kinetic description of binary reactions can be seen as the continuum version of a basic discrete iterate mapping. This fact allows a clear definition of the reaction characteristic time which takes the backward…
Phase transitions, such as the freezing of water and the magnetisation of a ferromagnet upon lowering the ambient temperature, are familiar physical phenomena. Interestingly, such a collective change of behaviour at a phase transition is…
We propose a general stochastic formalism for describing the evolution of chemical reactions involving a finite number of molecules. This approach is consistent with the statistical analysis based on the Chemical Master Equation, and…
We motivate and analyze a simple model for the formation of banded vegetation patterns. The model incorporates a minimal number of ingredients for vegetation growth in semi-arid landscapes. It allows for comprehensive analysis and sheds new…
In formal synthesis of reactive systems an implementation of a system is automatically constructed from its formal specification. The great advantage of synthesis is that the resulting implementation is correct by construction; therefore…
The difficulties of automatic extraction of definitions and methods from scientific documents lie in two aspects: (1) the complexity and diversity of natural language texts, which requests an analysis method to support the discovery of…
We study the reaction kinetics of chemical processes occurring in the ultracold regime and systematically investigate their dynamics. Quantum entanglement is found to play a key role in driving an ultracold reaction towards a dynamical…
Phase separation drives the formation of biomolecular condensates in cells, which comprise many components and sometimes possess multiple phases. The equilibrium physics of phase separation is well understood, but many components in…
Complex dynamical networks consisting of many components that interact and produce each other are difficult to understand, especially, when new components may appear. In this paper we outline a theory to deal with such systems. The theory…
Automatic colorization is the process of adding color to greyscale images. We condition this process on language, allowing end users to manipulate a colorized image by feeding in different captions. We present two different architectures…
Cognition is the process of knowing. As carried out by a dynamical system, it is the process by which the system absorbs information into its state. A complex network of agents cognizes knowledge about its environment, internal dynamics and…
Autonomy at Levels is the idea that autonomy should be embedded within and throughout a spacecraft. Using Systems Engineering methods a spacecraft is typically decomposed into systems, subsystems, assemblies, components, and so on. All…