Research Projects

A Logic of Aggregation and Emerging Functionality

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

01.01.2013 - 31.12.2015

Drittmittel

siehe Webseite

siehe Webseite

keine

http://

Nein

Nein

Nein

cfaed

A Logic of Aggregation and Emerging Functionality

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

01.01.2013 - 31.12.2015

Drittmittel

siehe Webseite

siehe Webseite

keine

http://

Nein

Nein

Nein

cfaed

A Logic of Aggregation and Emerging Functionality

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

01.01.2013 - 31.12.2015

Drittmittel

siehe Webseite

siehe Webseite

keine

http://

Nein

Nein

Nein

cfaed

A Logic of Aggregation and Emerging Functionality

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

01.01.2013 - 31.12.2015

Drittmittel

siehe Webseite

siehe Webseite

keine

http://

Nein

Nein

Nein

cfaed

A Logic of Aggregation and Emerging Functionality

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

01.01.2013 - 31.12.2015

Drittmittel

siehe Webseite

siehe Webseite

keine

http://

Nein

Nein

Nein

cfaed

A Logic of Aggregation and Emerging Functionality

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

01.01.2013 - 31.12.2015

Drittmittel

siehe Webseite

siehe Webseite

keine

http://

Nein

Nein

Nein

cfaed