Abstract: Coupling of metamodeling architectures and ontologies for domain descriptions is widely discussed in information system engineering research groups. Here we present the f...
Arnaud da Costa, Eric Leclercq, Arnaud Gaudin, Jea...
To investigate molecular-biological causes and effects of diseases and their therapies it becomes increasingly important to combine data from clinical trials with high volumes of e...
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
Jasmin Fisher, David Harel, E. Jane Albert Hubbard...
Analogy is a fundamental process of creativity. Biologically inspired design by definition entails crossdomain analogies, and in practice has led to many innovative designs. Thus,...