David Ibanez, Laura Dubreuil and Alejandro Rier
Neurofeedback (NF) is a type of biofeedback that uses real time display of electroencephalography to illustrate brain activity. EEG features are extracted and displayed allowing the user to, with practice, modulate their temporal evolution. Neurofeedback training has many therapeutic applications such as attention deficit hyperactivity disorder (ADHD), migraine, depression or conduct disorders. This document presents NeuroSurfer, a novel general-purpose tool for neurofeedback training with a use case of attention deficit hyperactivity disorder (ADHD) treatment.
Jaap Heringa, Ph.D.
Director & Professor of Bioinformatics, IBIVU VU University Amsterdam, The Netherlands
Modeling strategy based on Petri-nets
In my talk I will introduce a formal modeling strategy based on Petri-nets, which are a convenient means of modeling biological processes. I will illustrate the capabilities of Petri-nets as reasoning vehicles using two examples: Haematopoietic stem cell differentiation in mice, and vulval development in C. elegance. The first system was modeled using a Boolean implementation, and the second using a coarse-grained multi-cellular Petri-net model. Concepts such as the model state space, attractor states, and reasoning to adapt the model to the biological reality will be discussed.