Related papers: Plant sesquiterpene lactones
We present a new approach for the design of a synthetic biological circuit whose behaviour is specified in terms of signal temporal logic (STL) formulae. We first show how to characterise with STL formulae the input/output behaviour of…
Background: A subset of histo-blood group antigens including ABO and Lewis are oligosaccharide structures which may be conjugated to lipids or proteins. They are known to be important recognition motifs not only in the context of blood…
Modern cyber-physical systems are complex, and requirements are often written in Signal Temporal Logic (STL). Writing the right STL is difficult in practice; engineers benefit from concrete executions that illustrate what a specification…
Semantic role labeling (SRL) is a central natural language processing task for understanding predicate-argument structures within texts and enabling downstream applications. Despite extensive research, comprehensive surveys that critically…
The phase diagram of binary mixtures of particles interacting via a pair potential of parallel dipoles is computed at zero temperature as a function of composition and the ratio of their magnetic susceptibilities. Using lattice sums, a rich…
Food webs, networks of feeding relationships among organisms, provide fundamental insights into mechanisms that determine ecosystem stability and persistence. Despite long-standing interest in the compartmental structure of food webs, past…
The cells and tissues that make up our body juggle contradictory mechanical demands. It is crucial for their survival to be able to withstand large mechanical loads, but it is equally crucial for them to produce forces and actively change…
The Stochastic Calculus of Looping Sequences is suitable to describe the evolution of microbiological systems, taking into account the speed of the described activities. We propose a type system for this calculus that models how the…
In this thesis, we have studied the large scale structure and system level dynamics of certain biological networks using tools from graph theory, computational biology and dynamical systems. We study the structure and dynamics of large…
We define and study semilattices and lattices for $E$-closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with least generating sets are…
How might systematic left-right (L/R) asymmetry of the body plan originate in multicellular animals (and plants)? Somehow, the microscopic handedness of biological molecules must be brought up to macroscopic scales. Basic symmetry…
Complex chemical structures, like drugs, are usually defined by SMILES strings as a sequence of molecules and bonds. These SMILES strings are used in different complex machine learning-based drug-related research and representation works.…
The structural design of functional molecules, also called molecular optimization, is an essential chemical science and engineering task with important applications, such as drug discovery. Deep generative models and combinatorial…
Ordinary Coincidence Site Lattices (CSLs) are defined as the intersection of a lattice $\Gamma$ with a rotated copy $R\Gamma$ of itself. They are useful for classifying grain boundaries and have been studied extensively since the mid…
We report on the synthesis, STM imaging and theoretical studies of the structure, electronic structure and transport properties of linear chains of styrene and methyl-styrene molecules and their heterojunctions on hydrogen-terminated…
Traffic-like collective movements are observed at almost all levels of biological systems. Molecular motor proteins like, for example, kinesin and dynein, which are the vehicles of almost all intra-cellular transport in eukayotic cells,…
The exploration of the structural topology and the organizing principles of genome-based large-scale metabolic networks is essential for studying possible relations between structure and functionality of metabolic networks. Topological…
A new approach to the modular, complex systems analysis of nonlinear dynamics in cell cycling network transformations involved in carcinogenesis is proposed. Carcinogenesis is a complex process that involves dynamically inter-connected…
To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm deciding the satisfiability of STL formulae on finite discrete…
Some posets of binary leaf-labeled trees are shown to be supersolvable lattices and explicit EL-labelings are given. Their characteristic polynomials are computed, recovering their known factorization in a different way.