Skip to main content
Side panel
RISC
You are currently using guest access (
Log in
)
AlgBio09
General
Topic 2
Topic 3
Topic 4
Topic 5
Topic 6
Topic 7
Home
Calendar
Algebraic and Discrete Methods in Biology (SS 2009)
Home
Courses
Previous Years
SS 2009
AlgBio09
Topic 6
Regev et al: "Representation and simulation of biochemical processes using the pi-calculus process algebra"
Regev et al: "Representation and simulation of biochemical processes using the pi-calculus process algebra"
Click
regev_psb.pdf
link to view the file.
◄ Stochastic Pi-Machine (SPiM)
Jump to...
Jump to...
News forum
Unterlagen zu Gröbner Basen
Lecture 1
Lecture 2
Heuristische Lösung des htSNPs Problems [BMC Bioinformatics]
Originalliteratur zu ROC Kurven. Ein guter Einstieg sind die Papers von 1982 und 1983.
Erweiterung von ROC Kurven auf drei Klassen-Probleme [Medical Decision Making]
Slides. Part 1. Rewriting Logic and Maude
Slides. Part 2. Pathway Logic
Computational Systems Biology
BioSPi project
Stochastic Pi-Machine (SPiM)
Probabilistic Symbolic Model Checker (PRISM)
Heat et al: "Probabilistic model checking of complex biological pathways"
M. Kwiatkowska et al: "Probabilistic Model Checking for Systems Biology"
Probabilistic Symbolic Model Checker (PRISM) ►