logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Avvisi

  • Il servizio di assistenza via email è sospeso da venerdì 31 Luglio alle 13:30.  Le richieste verranno processate regolarmente da lunedì 24 Agosto.

Cerca per relatore della tesi


Risultati da 1 a 12 di 15
Titolo Corso di studi Anno di discussione Relatore
Methodologies & formalisms for modeling macroscopic biological problems INFORMATICA 2016
Hybrid Modeling of Cancer Drug Resistance Mechanisms INFORMATICA 2016
Multilevel Attributed Probabilistic P System Implementazione e Definizione INFORMATICA 2015
A neural network for the identification of tortoises' nesting phase INFORMATICA 2013
Un modello computazionale per le dinamiche di popolazioni di rana verde (Pelophylax esculentus) INFORMATICA 2012
Formal Modeling and Simulation of Biological Systems with Delays INFORMATICA 2011
Formal Modelling and Simulation of Biological Systems with Spatiality INFORMATICA 2011
Programmazione logica e biochimica: analisi di reflui INFORMATICA 2009
A Calculus for Molecular Interaction Maps TECNOLOGIE INFORMATICHE 2008
A formal semantics for Molecular Interaction Maps INFORMATICA 2008
On Abstract Interpretation of Object Calculi INFORMATICA 2007
An Intermediate Language for Simulation of Biological Systems INFORMATICA 2007

Nuova ricerca