Simulazione e Verifica di Sistemi Biochimici in PRISM


I sistemi biochimici sono un esempio notevole di sistema difficile da analizzare: recenti applicazioni a contesti di bioinformatica e sistemi software autoorganizzante rendono questo problema cruciale. Lo strumento PRISM è lo standard di fatto per l'analisi/simulazione/verifica di sistemi stocastici tempo-continui.
In questa tesi si deve analizzare in dettaglio la possibilità di applicare questo strumento ai sistemi biochimici, valutando la possibilità/necessità di adottare opportune tecniche di ottimizzazione, e considerando la letterature esistente sull'argomento.

Tags:

Thesis

Simulazione e Verifica di Sistemi Biochimici in PRISM

Supervision

— supervisor

Mirko Viroli

— co-supervisor

Matteo Casadei

Sort

— cycle

second-cycle thesis

— status

out-of-date thesis

Dates

— available since

17/12/2008

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY