Biblioteca

Autore: BARCHETTI MARIO
Titolo: VISUALIZZAZIONE AUTOMATICA DI GRAFI.
Relatore: PRIAMI CORRADO
Anno accademico: 2007/2008
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC271

Autore: BASSETTI MARCO
Titolo: ALGORITMO BASATO SU TEMPLATE MATCHING GERARCHICO PER LA RICERCA DI SEGNALI STRADALI IN IMMAGINI A COLORI ACQUISITE DA BORDO VEICOLO
Relatore: PRIAMI CORRADO
Correlatore: MODENA C. M.
Anno accademico: 2003/2004
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC57
Richiedi la consultazione

Autore: BENUZZI IVAN
Titolo: SOLVING THE CHEMICAL MASTER EQUATION FOR REVERSIBLE ADHESION REACTIONS. SIMULATION OF MOLECULAR MECHANISMS OF THE LYMPHOCYTE RECRUITMENT IN INFLAMED BRAIN MICRO-VESSELS: A RELEVANT CASE STUDY.
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Anno accademico: 2006/2007
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN67
Richiedi la consultazione

Autore: BORILE MANUEL
Titolo: ON THE SIMULATION OF PROCESSES AUTOMATICALLY TRANSLATED FROM BIONETGEN MODELS.
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Anno accademico: 2005/2006
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN26
Richiedi la consultazione

Autore: CAPPELLO IGOR
Titolo: ON ENCODING BETA-BINDERS IN THE TT@ CALCULUS. SULLA CODIFICA DI BETA-BINDERS NEL CALCOLO TT@
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Anno accademico: 2006/2007
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN50
Richiedi la consultazione

Autore: CASAGRANDE ALESSANDRO
Titolo: DESIGNING CORRELATION-BASED METHODS FOR BIOLOGICAL NETWORK INFERENCE
Relatore: PRIAMI CORRADO
Correlatore: LECCA PAOLA
Anno accademico: 2010/2011
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0514G-15

Autore: DESILVESTRO CESARE
Titolo: MODELLO ED ANALISI DELLA CASCATA DI SEGNALAZIONE DEI RECETTORI TOLL-LIKE.
Relatore: PRIAMI CORRADO
Anno accademico: 2005/2006
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC129
Richiedi la consultazione

Autore: ELLAVARASON KANIMOZHI
Titolo: AN AUTOMATIC MAPPING FROM SYSTEMS BIOLOGY MARKUP LANGUAGE (SBML) TO THE BIO-PEPA PROCESS ALGEBRA
Relatore: PRIAMI CORRADO
Correlatore: CIOCCHETTA FEDERICA
Anno accademico: 2007/2008
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN77
Richiedi la consultazione

Autore: FEDRIZZI TARCISIO
Titolo: GAME THEORY AND GRAPH TRASFORMATION FOR THE STUDY OF TUMOR DEVELOPMENT.
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Anno accademico: 2007/2008
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN87
Richiedi la consultazione

Autore: FIINI NICOLA
Titolo: A NOVEL APPROACH TO LONGITUDINAL MULTIVARIATE DATA CLUSTERING
Relatore: PRIAMI CORRADO
Correlatore: LAURIA MARIO
Anno accademico: 2015/2016
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-222

Autore: FRUET MAURO
Titolo: LUMPING BLEN X
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Anno accademico: 2007/2008
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC258
Richiedi la consultazione

Autore: FURLAN DANIELE
Titolo: UN AMBIENTE DI SVILUPPO VISUALE PER LA PROGRAMMAZIONE DI SISTEMI BIOLOGICI.
Relatore: PRIAMI CORRADO
Anno accademico: 2007/2008
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC278
Richiedi la consultazione

Autore: GATTI PAOLO
Titolo: A NOVEL LABORATORY AUTOMATION SUITE APPLIED TO THE INTERACTION STUDIES OF POTENTIAL ANTITUMOR AGENTS WITH DNA AND TOPO II ENZYME
Relatore: PRIAMI CORRADO
Secondo Relatore: MANCINI INES
Controrelatore: BLANZIERI ENRICO
Anno accademico: 2010/2011
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0517H-78

Autore: GEROSA LUCA
Titolo: STOCHASTIC PROCES ALGEBRAS AS DESIGN AND ANALYSIS FRAMEWORK FOR SYNTHETIC BIOLOGY MODELLING.
Relatore: PRIAMI CORRADO
Anno accademico: 2006/2007
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN49
Richiedi la consultazione

Autore: GIOVANNINI DAVIDE
Titolo: DESIGN E IMPLEMENTAZIONE DI UN'INTERFACCIA GRAFICA UTENTE PER UN LINGUAGGIO DIAGRAMMATICO DI MODELLAZIONE
Relatore: PRIAMI CORRADO
Correlatore: GOSTNER ROSWITHA
Anno accademico: 2012/2013
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0514G-96

Autore: GUERRIERO MARIA LUISA
Titolo: MODELLI FORMALI PER LA RAPPRESENTAZIONE DI SISTEMI BIOLOGICI DINAMICI.
Relatore: PRIAMI CORRADO
Correlatore: QUAGLIA PAOLA
Controrelatore: PISTORE MARCO
Anno accademico: 2003/2004
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN1
Richiedi la consultazione

Autore: HANNA EILEEN MARIE
Titolo: A BLEN X MODEL OF YEAST PHERMONE RESPONSE PATHWAY.
Relatore: LECCA PAOLA
Correlatore: PRIAMI CORRADO
Anno accademico: 2007/2008
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN99
Richiedi la consultazione

Autore: HANNA ROSALINE
Titolo: MODELLING AND SIMULATING WITH "BLEN X" THE YEAST GENETIC REGULATORY NETWORK OF GALACTOSE METABOLISM.
Relatore: LECCA PAOLA
Correlatore: PRIAMI CORRADO
Anno accademico: 2007/2008
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN98
Richiedi la consultazione

Autore: LARCHER ROBERTO
Titolo: DA BIOAMBIENTS A BETA-BINDERS CON COMPARTIMENTI.
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Anno accademico: 2005/2006
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN19
Richiedi la consultazione

Autore: LAZZAROTTO FABRIZIO
Titolo: STATE TRANSITION SYSTEM: TECNICHE AVANZATE PER LA GESTIONE DI AUTOMI A STATI FINITI PER LA COMPOSIZIONE DI SERVIZI WEB.
Relatore: PRIAMI CORRADO
Anno accademico: 2005/2006
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC166

Autore: LEONI DAVID
Titolo: AUTOMATED DISCOVERY OF FAIR GAMES IN BLENX.
Relatore: PRIAMI CORRADO
Controrelatore: ZUNINO ROBERTO
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC336
Richiedi la consultazione

Autore: MARANGONI LUCA
Titolo: MODELLISTICA E SIMULAZIONE IN BLENEX DEL COMPORTAMENTO DEL TRAFFICO IN INTERSEZIONI STRADALI URBANE.
Relatore: PRIAMI CORRADO
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC371
Richiedi la consultazione

Autore: MARCON LUCIANO
Titolo: FUNCTIONAL LANGUAGES AND MODELS OF BIOLOGICAL SYSTEMS: AN APPLICATION OF FRESH O'CAML TO BETA FINDERS
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Anno accademico: 2004/2005
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC92
Richiedi la consultazione

Autore: PALMISANO ALIDA
Titolo: FORMAL MODELS OF EXAMPLES OF BIOLOGICAL SYNTHESIS AND SIGNAL TRANSDUCTION PATHWAYS.
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Anno accademico: 2005/2006
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN27
Richiedi la consultazione

Autore: POLIDORI NICOLA
Titolo: MODELLI DI CRESCITA DELLE RETI COMPLESSE: SIMULAZIONE IN BLENX
Relatore: PRIAMI CORRADO
Anno accademico: 2010/2011
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0507C-387
Richiedi la consultazione

Autore: RAMPONI ALAN
Titolo: A MULTIPURPOSE TEXT MINING PIPELINE FOR BIOMEDICAL KNOWLEDGE EXTRACTION AND DISCOVERY
Relatore: PRIAMI CORRADO
Correlatore: CRISPO BRUNO
Secondo Correlatore: LOMBARDO ROSARIO
Anno accademico: 2016/2017
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-414

Autore: RIZZETTO SIMONE
Titolo: PREDIZIONE DI COMPLESSI PROTEICI NELLE CELLULE DI LIEVITO ATTRAVERSO SIMULAZIONI IN BLENX SU LARGA SCALA.
Relatore: PRIAMI CORRADO
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC353
Richiedi la consultazione

Autore: RIZZETTO SIMONE
Titolo: A PROTEOME-WIDE SIMULATION TO DETECT PROTEIN COMPLEXES IN YEAST
Relatore: PRIAMI CORRADO
Correlatore: CSIKASZ-NAGY ATTILA
Controrelatore: ZUNINO ROBERTO
Anno accademico: 2012/2013
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-159
Richiedi la consultazione

Autore: ROMANEL ALESSANDRO
Titolo: ESTENSIONE STOCASTICA DI UN CALCOLO PER MODELLARE SISTEMI BIOLOGICI.
Relatore: PRIAMI CORRADO
Correlatore: BRODO LINDA
Anno accademico: 2002/2003
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC23
Richiedi la consultazione

Autore: ROMANEL ALESSANDRO
Titolo: UNA MACCHINA ASTRATTA STOCASTICA PER BETA BINDERS
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Anno accademico: 2004/2005
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN10
Richiedi la consultazione

Autore: SALTORI ANGELO FRANCO
Titolo: PROGETTAZIONE E SVILUPPO DI ALGORITMI GENETICI PER L'ANALISI DI SPETTRI DI METABOLITI.
Relatore: PRIAMI CORRADO
Anno accademico: 2009/2010
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN188
Richiedi la consultazione

Autore: SANTACATERINA ANTONIO
Titolo: SVILUPPO DI NUOVI STRUMENTI ON-LINE PER L'ANALISI DI DATI HIGH-THROUGHPUT
Relatore: PRIAMI CORRADO
Correlatore: MORINE MELISSA JAYNE
Anno accademico: 2012/2013
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0514G-109
Richiedi la consultazione

Autore: SANTUARI LUCA
Titolo: STOCHASTIC AND DETERMINISTIC ANALYSIS OF ROBUSTNESS OF BIOLOGICAL PATHWAYS.
Relatore: PRIAMI CORRADO
Anno accademico: 2006/2007
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN68
Richiedi la consultazione

Autore: SCHIVO STEFANO
Titolo: ESTENSIONE DI BETA-BINDERS CON COMPARTIMENTI ANNIDABILI.
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Anno accademico: 2005/2006
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN18
Richiedi la consultazione

Autore: SEGATA NICOLA
Titolo: SISTEMI DI MONITORAGGIO VIDEO: IL PROBLEMA DELLO SFONDO IN PRESENZA DI VARIAZIONI GLOBALI DI ILLUMINAZIONE.
Relatore: PRIAMI CORRADO
Correlatore: MESSELODI STEFANO
Controrelatore: GRANELLI FABRIZIO
Anno accademico: 2003/2004
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC52
Richiedi la consultazione

Autore: SEGATA NICOLA
Titolo: BETA BINDERS AND PI-CALCOLUS APPROACHES FOR QUANTITATIVE MODELLING OF BIOLOGICAL PATHWAYS
Relatore: PRIAMI CORRADO
Correlatore: BLANZIERI ENRICO
Controrelatore: QUAGLIA PAOLA
Anno accademico: 2005/2006
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN24
Richiedi la consultazione

Autore: SELLA NADIR
Titolo: UN TRADUTTORE AUTOMATICO DA SYSTEM BIOLOGY MARKUP LANGUAGE A UN LINGUAGGIO IMPERATIVO STOCASTICO
Relatore: PRIAMI CORRADO
Controrelatore: ZUNINO ROBERTO
Anno accademico: 2010/2011
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0514G-19
Richiedi la consultazione

Autore: SEVEGNANI MICHELE
Titolo: ENCODING ORC IN PI-CALCULUS. TRADUZIONE DI ORC IN PI- CALCOLO.
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Anno accademico: 2005/2006
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC145
Richiedi la consultazione

Autore: SHUKLA AMBAR
Titolo: MAPPING THE EDINBURGH PATHWAY NOTATION TO THE PERFORMANCE EVALUATION PROCESS ALGEBRA.
Relatore: PRIAMI CORRADO
Anno accademico: 2006/2007
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN35
Richiedi la consultazione

Autore: SIMONI GIULIA
Titolo: HIERARCHICAL MODELING: INSULIN SIGNALING IN ADIPOCYTE AND WHOLE BODY GLUCOSE HOMEOSTASIS
Relatore: PRIAMI CORRADO
Anno accademico: 2015/2016
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-223

Autore: SPIROSKI OGNEN
Titolo: MODELLING HORIZONTAL GENE TRANFER: COMPARISON OF MODELLING FRAMEWORKS APPLIED TO INVESTIGATING ANTIBIOTIC RESISTANCE IN A FLUCTUATING ENVIRONMENT.
Relatore: PRIAMI CORRADO
Anno accademico: 2007/2008
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN97
Richiedi la consultazione

Autore: STENICO MARCO
Titolo: MODELLING MOLECULAR SYSTEMS WITH DISCRETE CONCENTRATION LEVELS IN THE CONTEXT OF PROCESS ALGEBRA PEPA: STOCHASTIC AND DETERMINISTIC INTERPRETETIANS.
Relatore: PRIAMI CORRADO
Controrelatore: BLANZIERI ENRICO
Anno accademico: 2005/2006
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN17

Autore: TOLIO THOMAS
Titolo: UN COMPILATORE DA UN LINGUAGGIO GRAFICO AD UN LINGUAGGIO REACTION-BASED PER LA RAPPRESENTAZIONE DI PROCESSI BIOLOGICI
Relatore: PRIAMI CORRADO
Correlatore: GOSTNER ROSWITHA
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0514G-61
Richiedi la consultazione

Autore: TOMMASI LUCA
Titolo: SVILUPPO DI ALGORITMI E STRUTTURE DATI EFFICIENTI PER LA RICERCA E L'IDENTIFICAZIONE VISUALI DI ENTITA' BIOLOGICHE
Relatore: PRIAMI CORRADO
Anno accademico: 2012/2013
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0514G-135
Richiedi la consultazione

Autore: VALENTINI ROBERTO
Titolo: SEMANTICA OPERAZIONALE DI SPIM E SUE APPLICAZIONI
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Anno accademico: 2004/2005
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC107
Richiedi la consultazione

Autore: ZENATTI MICHELE
Titolo: FROM WIZARD TO SETTINGS EDITOR: A NOVEL WAD TO CONFIGURE SIMULATIONS IN COSBI LAB
Relatore: PRIAMI CORRADO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0514G-53
Richiedi la consultazione