Heike Siebert, Christian Haase
Robert Schwieger (FU)
01.01.2019 – 31.12.2021
The project aims at establishing a new application field for algebraic methods in systems biology. We plan to develop methods utilizing Gröbner bases and related concepts for the characterization of attractor sets representing different cell fates in Boolean models of molecular networks and integrate them with existing formal verification approaches. Both theoretical and computational aspects will be investigated.
Please insert any kind of pictures (photos, diagramms, simulations, graphics) related to the project in the above right field (Image with Text), by choosing the green plus image on top of the text editor. (You will be directed to the media library where you can add new files.)
(We need pictures for a lot of purposes in different contexts, like posters, scientific reports, flyers, website,…
Please upload pictures that might be just nice to look at, illustrate, explain or summarize your work.)
As Title in the above form please add a copyright.
And please give a short description of the picture and the context in the above textbox.
Don’t forget to press the “Save changes” button at the bottom of the box.
If you want to add more pictures, please use the “clone”-button at the right top of the above grey box.