Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:From Tarski to Tropical Geometry: Towards Symbolic Analysis of Biological Networks
Speaker:Andreas Weber
coming from:University of Bonn
Speakers Bio:
Event Type:Talk
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:Public Audience
Date, Time and Location
Date:Tuesday, 21 August 2018
Duration:60 Minutes
Building:E1 4
Symbolic Methods bear the promise to cope with the high parameter
uncertainty commonly found in biological networks. Using logical and
algebraic tools for satisfiability checking in the first-order theory of
the reals qualitative questions such as the ones asking for
multi-stationarity or existence of oscillations can be answered by
providing logical formulae describing the corresponding fulfilling
parameter regions. We provide a case study involving models of the MAPK
cascade, an important signalling pathway.
On the one hand the promise comes at the cost of high worst case
complexity of the symbolic methods (used in the case study). On the
other hand approximation techniques using ideas from Tropical Geometry
can be applied, which have a sound theoretic foundation and also deal
with parameter uncertainty. Identification of "slow" parameters, an
essential prerequisite for many model reduction techniques, and even
candidates for metastable regimes can be obtained by analyzing the
solution polytopes of certain Tropical Equilibration problems. Whereas
the Tropical Equilibration problem is NP-hard in its generic form,
computation results obtained on the BIOMOD database indicate that its
restriction to instances arising from biochemical networks might be
Name(s):Jennifer Müller
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Attachments, File(s):
Jennifer Müller/MPI-INF, 08/14/2018 09:55 AM
Last modified:
Uwe Brahm/MPII/DE, 08/21/2018 07:01 AM
  • Jennifer Müller, 08/14/2018 10:16 AM -- Created document.