Hardware for computing for non-ICT specialists
This lecture provides a history of data management, recent developments data management, and a brief description of scientific data management.
Computer arithmetic is necessarily performed using approximations to the real numbers they are intended to represent, and consequently it is possible for the discrepancies between the actual solution and the approximate solutions to diverge, i.e. to become increasingly different. This lecture focuses on how this happens and techniques for reducing the effects of these phenomena and discuss systems which are chaotic.
This lecture will addresses what it means for a problem to have a computable solution, methods for combining computability results to analyse more complicated problems, and finally look in detail at one particular problem which has no computable solution: the halting problem.
This lecture focuses on computational complexity which lies at the heart of computer science thinking. In short, it is a way to quickly gauge an approximation to the computational resource required to perform a task. Methods to analyse a computer program and to perform the approximation are presented. Speaker: David Lester.
JupyterHub is a simple, highly extensible, multi-user system for managing per-user Jupyter Notebook servers, designed for research groups or classes. This lecture covers deploying JupyterHub on a single server, as well as deploying with Docker using GitHub for authentication.
The Virtual Brain is an open-source, multi-scale, multi-modal brain simulation platform. In this lesson, you get introduced to brain simulation in general and to The Virtual brain in particular. Prof. Ritter will present the newest approaches for clinical applications of The Virtual brain - that is, for stroke, epilepsy, brain tumors and Alzheimer’s disease - and show how brain simulation can improve diagnostics, therapy and understanding of neurological disease.
The concept of neural masses, an application of mean field theory, is introduced as a possible surrogate for electrophysiological signals in brain simulation. The mathematics of neural mass models and their integration to a coupled network are explained. Bifurcation analysis is presented as an important technique in the understanding of non-linear systems and as a fundamental method in the design of brain simulations. Finally, the application of the described mathematics is demonstrated in the exploration of brain stimulation regimes.
The simulation of the virtual epileptic patient is presented as an example of advanced brain simulation as a translational approach to deliver improved results in clinics. The fundamentals of epilepsy are explained. On this basis, the concept of epilepsy simulation is developed. By using an iPython notebook, the detailed process of this approach is explained step by step. In the end, you are able to perform simple epilepsy simulations your own.
The practical usage of The Virtual brain in its graphical user interface and via python scripts is introduced. In the graphical user interface, you are guided through its data repository, simulator, phase plane exploration tool, connectivity editor, stimulus generator and the provided analyses. The implemented iPython notebooks of TVB are presented, and since they are public, can be used for further exploration of The Virtual brain.
This lecture covers an introduction to neuroinformatics and its subfields, the content of the short course and future neuroinformatics applications.