392023 Formal methods in Algorithmic Cheminformatics and Systems Biology (V) (WiSe 2024/2025)
Contents, comment
-
The course provides an overview of mathematical and computational modelling and analysis methods commonly employed in the studies of complex systems, with special focus on biological and chemical applications.
By the end of the course, the students should be able to independently judge which modelling and analysis techniques are suitable for a given problem definition.The following topics are covered in the course:
Different model types and their advantages (deterministic vs non-deterministic models, discrete vs continuous models, qualitative vs quantitative models, generative vs agent-based models), Petri nets, Boolean networks, Markov chains and stochastic Petri nets, Kappa (site graph transformation), stochastic simulation, model checking, Petri net unfolding (causal analysis/concurrency), abstract interpretation;
Requirements for participation, required level
-
No strict requirements, but at least foundational knowledge of formal methods in software verification, or of graph theory and algorithms, mathematical logic, formal languages, grammars and automata is encouraged.
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period |
|---|
Examinations
| Date | Time | Format / Room | Comment about examination |
|---|
Show passed examination dates >>
Subject assignments
| Module | Course | Requirements | |
|---|---|---|---|
| 39-Inf-AB Algorithmen der Bioinformatik | Ausgewählte Vorlesung zu Algorithmen der Bioinformatik | Ungraded examination
Graded examination |
Student information |
| 39-Inf-SAB_a Spezielle Algorithmen der Bioinformatik | Ausgewählte Vorlesung zu Spezielle Algorithmen der Bioinformatik | Ungraded examination
Graded examination |
Student information |
| 39-Inf-WP-AP Algorithmen & Programmierung (Basis) | Einführende Vorlesung | Student information | |
| - | Graded examination | Student information | |
| 39-Inf-WP-CLS Computational Life Sciences (Basis) | Einführende Vorlesung | Student information | |
| - | Graded examination | Student information |
The binding module descriptions contain further information, including specifications on the "types of assignments" students need to complete. In cases where a module description mentions more than one kind of assignment, the respective member of the teaching staff will decide which task(s) they assign the students.
- Registered number: 4
- This is the number of students having stored the course in their timetable. In brackets, you see the number of users registered via guest accounts.
- Address:
- WS2024_392023@ekvv.uni-bielefeld.de
- This address can be used by teaching staff, their secretary's offices as well as the individuals in charge of course data maintenance to send emails to the course participants. IMPORTANT: All sent emails must be activated. Wait for the activation email and follow the instructions given there.
- If the reference number is used for several courses in the course of the semester, use the following alternative address to reach the participants of exactly this: VST_494442808@ekvv.uni-bielefeld.de
- Coverage:
- 4 Students to be reached directly via email
- Notes:
- Additional notes on the electronic mailing lists
- Email archive
- Number of entries 1
- Open email archive
- Last update basic details/teaching staff:
- Tuesday, October 1, 2024
- Last update times:
- Wednesday, February 19, 2025
- Last update rooms:
- Wednesday, February 19, 2025
- Type(s) / SWS (hours per week per semester)
- lecture (V) / 2
- Language
- This lecture is taught in english
- Department
- Faculty of Technology
- Questions or corrections?
- Questions or correction requests for this course?
- Planning support
- Clashing dates for this course
- Links to this course
- If you want to set links to this course page, please use one of the following links. Do not use the link shown in your browser!
- The following link includes the course ID and is always unique:
- https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=494442808
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 494442808