Università degli studi dell'Insubria

MODELS FOR BIOLOGICAL SYSTEMS

A.A. di erogazione 2019/2020
Insegnamento opzionale

Laurea Magistrale in INFORMATICA
 (A.A. 2019/2020)

Docenti

L'insegnamento è condiviso, tecnicamente "mutuato" con altri corsi di laurea, consultare il dettaglio nella sezione Mutuazioni
Anno di corso: 
1
Tipologia di insegnamento: 
Affine/Integrativa
Settore disciplinare: 
INFORMATICA (INF/01)
Lingua: 
Inglese
Crediti: 
6
Ciclo: 
Primo Semestre
Ore di attivita' frontale: 
48
Dettaglio ore: 
Lezione (48 ore)

The aim of the course is to allow students to know the basic relations between computer science and biology, making them able to understand and develop elementary modelling of biological systems and to employ formalisms and languages inspired by biology. After having attended the course, the student will have clear how computer science and biology are related disciplines.
At the end of the course, the student will be able to:
1. Understand and compare the main features of languages and formalisms proposed to model and analyse biological systems.
2. Understand and analyse pattern matching algorithms.
3. Understand the main features of formalisms inspired by biological systems, e.g. Lindenmayer systems and cellular automata.
4. Understand the basic idea of DNA Computing.
Further, the student will be able to tune pattern matching algorithms to new challenges coming from biology, to model simple biologic behaviours by using the proper formalism and to analyse the expressive power of languages inspired by biology.
The student will be also required to develop an autonomy of judgement in recognising the main challenges of the modelling of biological systems and employment of biology-inspired languages.
Finally, the student will get a proper knowledge of (possibly standard) technical terminology used in the context of modelling of biological systems and formalism inspired by biology.

To attend the course of Models for Biological Systems the student is required to have familiarity with the basic notions in the realm of formal languages, algorithms and complexity. This requisite is surely respected by students with a 3-years degree in Mathematics or Computer Science

The course is organised as follows:
DNA Computing (6h)
- Introduction (2 h)
- The Hamiltonian path problem (2 h)
- The SAT problem (2h)
Pattern matching algorithms (14 h)
- Algorithm naive (2 h)
- Algorithm by Boyer-Moore (4 h)
- Algorithm by Apostolico-Giancarlo (4 h)
- Algorithm by Knuth-Morris_Pratt (4 h)
Cellular Automata (8 h)
- Introduction (2 h)
- Game of life (2 h)
- Applications (4 h)
Lindenmayer Systems (4 h)
Modelling biological systems (16 h)
- Base challenges (4 h)
- Formal methods (4 h)
- Process algebras (8 h)

The course is organised in frontal lessons (48 h).
Frontal lessons are dedicated to illustrating the essence and principles of modelling of biological systems and formalisms inspired by biology mentioned in the “Contents” section. In detail, frontal lessons are dedicated to describing the typical challenges of modelling of biological systems, of pattern matching algorithm, with particular focus on biological applications, and of expressiveness of biological inspired formalisms and DNA computing.

The scope of the exam is to certify that student have all knowledge and ability explained above, by evaluating the knowledge skill and, mainly, the ability to understand and evaluate the novelty in the area proposed in scientific papers.
The exam consists in an oral discussion in a classroom. This is, normally, a 30 minutes discussion requiring, normally, to exposing the content of a scientific paper. The evaluation focuses, in particular, on the ability to understand the results and the ability to understand how these results compare with respect the literature and can be applied in practice.
The knowledge of the technical terminology is implicitly checked, since the questions and specifications of problems use such a terminology.

Due to variety of the arguments, there is no textbook covering all of them.
The slides, in pdf format, are available in the e-learning platform.

The lecturer will meet students upon appointment, proviso a request via e-mail to simone.tini@uninsubria.it. The lecturer will answer only to e-mail that are signed and sent from domain studenti.uninsubria.it.

Cerchi il programma? Potrebbe non essere ancora stato caricato o riferirsi ad insegnamenti che verranno erogati in futuro.
Seleziona l‘anno in cui ti sei immatricolato e troverai le informazioni relative all'insegnamento del tuo piano di studio.

A.A. 2018/2019

Anno di corso: 2
Curriculum: GENERICO

A.A. 2017/2018

Anno di corso: 1
Curriculum: GENERICO

A.A. 2016/2017

Anno di corso: 2
Curriculum: GENERICO

A.A. 2015/2016

Anno di corso: 1
Curriculum: GENERICO