Results

Found results 46

Full data Concise data

Click the title to see full data and shelfmark of each item

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Tesi presenti nel catalogo


Non consultabile BARCHETTI MARIO, VISUALIZZAZIONE AUTOMATICA DI GRAFI., Rel. PRIAMI CORRADO, AA 2007/2008
Author: BARCHETTI MARIO
Title: VISUALIZZAZIONE AUTOMATICA DI GRAFI.
Relatore: PRIAMI CORRADO
Academic year: 2007/2008
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC271
Consultabile BASSETTI MARCO, ALGORITMO BASATO SU TEMPLATE MATCHING GERARCHICO PER LA RICERCA DI SEGNALI STRADALI IN IMMAGINI A COLORI ACQUISITE DA BORDO VEICOLO, Rel. PRIAMI CORRADO, AA 2003/2004
Author: BASSETTI MARCO
Title: 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.
Academic year: 2003/2004
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC57
Richiedi la consultazione
Consultabile BENUZZI IVAN, 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., Rel. PRIAMI CORRADO, AA 2006/2007
Author: BENUZZI IVAN
Title: 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
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN67
Richiedi la consultazione
Consultabile BORILE MANUEL, ON THE SIMULATION OF PROCESSES AUTOMATICALLY TRANSLATED FROM BIONETGEN MODELS., Rel. QUAGLIA PAOLA, AA 2005/2006
Author: BORILE MANUEL
Title: ON THE SIMULATION OF PROCESSES AUTOMATICALLY TRANSLATED FROM BIONETGEN MODELS.
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN26
Richiedi la consultazione
Consultabile CAPPELLO IGOR, ON ENCODING BETA-BINDERS IN THE TT@ CALCULUS. SULLA CODIFICA DI BETA-BINDERS NEL CALCOLO TT@, Rel. QUAGLIA PAOLA, AA 2006/2007
Author: CAPPELLO IGOR
Title: ON ENCODING BETA-BINDERS IN THE TT@ CALCULUS. SULLA CODIFICA DI BETA-BINDERS NEL CALCOLO TT@
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN50
Richiedi la consultazione
Non consultabile CASAGRANDE ALESSANDRO, DESIGNING CORRELATION-BASED METHODS FOR BIOLOGICAL NETWORK INFERENCE, Rel. PRIAMI CORRADO, AA 2010/2011
Author: CASAGRANDE ALESSANDRO
Title: DESIGNING CORRELATION-BASED METHODS FOR BIOLOGICAL NETWORK INFERENCE
Relatore: PRIAMI CORRADO
Correlatore: LECCA PAOLA
Academic year: 2010/2011
Course: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: 0514G-15
Consultabile DESILVESTRO CESARE, MODELLO ED ANALISI DELLA CASCATA DI SEGNALAZIONE DEI RECETTORI TOLL-LIKE., Rel. PRIAMI CORRADO, AA 2005/2006
Author: DESILVESTRO CESARE
Title: MODELLO ED ANALISI DELLA CASCATA DI SEGNALAZIONE DEI RECETTORI TOLL-LIKE.
Relatore: PRIAMI CORRADO
Academic year: 2005/2006
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC129
Richiedi la consultazione
Consultabile ELLAVARASON KANIMOZHI, AN AUTOMATIC MAPPING FROM SYSTEMS BIOLOGY MARKUP LANGUAGE (SBML) TO THE BIO-PEPA PROCESS ALGEBRA, Rel. PRIAMI CORRADO, AA 2007/2008
Author: ELLAVARASON KANIMOZHI
Title: AN AUTOMATIC MAPPING FROM SYSTEMS BIOLOGY MARKUP LANGUAGE (SBML) TO THE BIO-PEPA PROCESS ALGEBRA
Relatore: PRIAMI CORRADO
Correlatore: CIOCCHETTA FEDERICA
Academic year: 2007/2008
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN77
Richiedi la consultazione
Consultabile FEDRIZZI TARCISIO, GAME THEORY AND GRAPH TRASFORMATION FOR THE STUDY OF TUMOR DEVELOPMENT., Rel. PRIAMI CORRADO, AA 2007/2008
Author: FEDRIZZI TARCISIO
Title: GAME THEORY AND GRAPH TRASFORMATION FOR THE STUDY OF TUMOR DEVELOPMENT.
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Academic year: 2007/2008
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN87
Richiedi la consultazione
Non consultabile FIINI NICOLA, A NOVEL APPROACH TO LONGITUDINAL MULTIVARIATE DATA CLUSTERING, Rel. PRIAMI CORRADO, AA 2015/2016
Author: FIINI NICOLA
Title: A NOVEL APPROACH TO LONGITUDINAL MULTIVARIATE DATA CLUSTERING
Relatore: PRIAMI CORRADO
Correlatore: LAURIA MARIO
Academic year: 2015/2016
Course: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Shelfmark: 0519H-222
Consultabile FRUET MAURO, LUMPING BLEN X, Rel. PRIAMI CORRADO, AA 2007/2008
Author: FRUET MAURO
Title: LUMPING BLEN X
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Academic year: 2007/2008
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC258
Richiedi la consultazione
Consultabile FURLAN DANIELE, UN AMBIENTE DI SVILUPPO VISUALE PER LA PROGRAMMAZIONE DI SISTEMI BIOLOGICI., Rel. PRIAMI CORRADO, AA 2007/2008
Author: FURLAN DANIELE
Title: UN AMBIENTE DI SVILUPPO VISUALE PER LA PROGRAMMAZIONE DI SISTEMI BIOLOGICI.
Relatore: PRIAMI CORRADO
Academic year: 2007/2008
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC278
Richiedi la consultazione
Non consultabile GATTI PAOLO, A NOVEL LABORATORY AUTOMATION SUITE APPLIED TO THE INTERACTION STUDIES OF POTENTIAL ANTITUMOR AGENTS WITH DNA AND TOPO II ENZYME, Rel. MANCINI INES, Rel. PRIAMI CORRADO, AA 2010/2011
Author: GATTI PAOLO
Title: 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
Academic year: 2010/2011
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: 0517H-78
Consultabile GEROSA LUCA, STOCHASTIC PROCES ALGEBRAS AS DESIGN AND ANALYSIS FRAMEWORK FOR SYNTHETIC BIOLOGY MODELLING., Rel. PRIAMI CORRADO, AA 2006/2007
Author: GEROSA LUCA
Title: STOCHASTIC PROCES ALGEBRAS AS DESIGN AND ANALYSIS FRAMEWORK FOR SYNTHETIC BIOLOGY MODELLING.
Relatore: PRIAMI CORRADO
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN49
Richiedi la consultazione
Non consultabile GIOVANNINI DAVIDE, DESIGN E IMPLEMENTAZIONE DI UN'INTERFACCIA GRAFICA UTENTE PER UN LINGUAGGIO DIAGRAMMATICO DI MODELLAZIONE, Rel. PRIAMI CORRADO, AA 2012/2013
Author: GIOVANNINI DAVIDE
Title: DESIGN E IMPLEMENTAZIONE DI UN'INTERFACCIA GRAFICA UTENTE PER UN LINGUAGGIO DIAGRAMMATICO DI MODELLAZIONE
Relatore: PRIAMI CORRADO
Correlatore: GOSTNER ROSWITHA
Academic year: 2012/2013
Course: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0514G-96
Consultabile GUERRIERO MARIA LUISA, MODELLI FORMALI PER LA RAPPRESENTAZIONE DI SISTEMI BIOLOGICI DINAMICI., Rel. PRIAMI CORRADO, AA 2003/2004
Author: GUERRIERO MARIA LUISA
Title: MODELLI FORMALI PER LA RAPPRESENTAZIONE DI SISTEMI BIOLOGICI DINAMICI.
Relatore: PRIAMI CORRADO
Correlatore: QUAGLIA PAOLA
Controrelatore: PISTORE MARCO
Academic year: 2003/2004
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN1
Richiedi la consultazione
Consultabile HANNA EILEEN MARIE, A BLEN X MODEL OF YEAST PHERMONE RESPONSE PATHWAY., Rel. LECCA PAOLA, AA 2007/2008
Author: HANNA EILEEN MARIE
Title: A BLEN X MODEL OF YEAST PHERMONE RESPONSE PATHWAY.
Relatore: LECCA PAOLA
Correlatore: PRIAMI CORRADO
Academic year: 2007/2008
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN99
Richiedi la consultazione
Consultabile HANNA ROSALINE, MODELLING AND SIMULATING WITH "BLEN X" THE YEAST GENETIC REGULATORY NETWORK OF GALACTOSE METABOLISM., Rel. LECCA PAOLA, AA 2007/2008
Author: HANNA ROSALINE
Title: MODELLING AND SIMULATING WITH "BLEN X" THE YEAST GENETIC REGULATORY NETWORK OF GALACTOSE METABOLISM.
Relatore: LECCA PAOLA
Correlatore: PRIAMI CORRADO
Academic year: 2007/2008
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN98
Richiedi la consultazione
Consultabile LARCHER ROBERTO, DA BIOAMBIENTS A BETA-BINDERS CON COMPARTIMENTI., Rel. PRIAMI CORRADO, AA 2005/2006
Author: LARCHER ROBERTO
Title: DA BIOAMBIENTS A BETA-BINDERS CON COMPARTIMENTI.
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN19
Richiedi la consultazione
Non consultabile LAZZAROTTO FABRIZIO, STATE TRANSITION SYSTEM: TECNICHE AVANZATE PER LA GESTIONE DI AUTOMI A STATI FINITI PER LA COMPOSIZIONE DI SERVIZI WEB., Rel. PRIAMI CORRADO, AA 2005/2006
Author: LAZZAROTTO FABRIZIO
Title: STATE TRANSITION SYSTEM: TECNICHE AVANZATE PER LA GESTIONE DI AUTOMI A STATI FINITI PER LA COMPOSIZIONE DI SERVIZI WEB.
Relatore: PRIAMI CORRADO
Academic year: 2005/2006
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC166
Consultabile LEONI DAVID, AUTOMATED DISCOVERY OF FAIR GAMES IN BLENX., Rel. PRIAMI CORRADO, AA 2009/2010
Author: LEONI DAVID
Title: AUTOMATED DISCOVERY OF FAIR GAMES IN BLENX.
Relatore: PRIAMI CORRADO
Controrelatore: ZUNINO ROBERTO
Academic year: 2009/2010
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC336
Richiedi la consultazione
Consultabile MARANGONI LUCA, MODELLISTICA E SIMULAZIONE IN BLENEX DEL COMPORTAMENTO DEL TRAFFICO IN INTERSEZIONI STRADALI URBANE., Rel. PRIAMI CORRADO, AA 2009/2010
Author: MARANGONI LUCA
Title: MODELLISTICA E SIMULAZIONE IN BLENEX DEL COMPORTAMENTO DEL TRAFFICO IN INTERSEZIONI STRADALI URBANE.
Relatore: PRIAMI CORRADO
Academic year: 2009/2010
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC371
Richiedi la consultazione
Consultabile MARCON LUCIANO, FUNCTIONAL LANGUAGES AND MODELS OF BIOLOGICAL SYSTEMS: AN APPLICATION OF FRESH O'CAML TO BETA FINDERS, Rel. QUAGLIA PAOLA, AA 2004/2005
Author: MARCON LUCIANO
Title: FUNCTIONAL LANGUAGES AND MODELS OF BIOLOGICAL SYSTEMS: AN APPLICATION OF FRESH O'CAML TO BETA FINDERS
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Academic year: 2004/2005
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC92
Richiedi la consultazione
Consultabile PALMISANO ALIDA, FORMAL MODELS OF EXAMPLES OF BIOLOGICAL SYNTHESIS AND SIGNAL TRANSDUCTION PATHWAYS., Rel. QUAGLIA PAOLA, AA 2005/2006
Author: PALMISANO ALIDA
Title: FORMAL MODELS OF EXAMPLES OF BIOLOGICAL SYNTHESIS AND SIGNAL TRANSDUCTION PATHWAYS.
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN27
Richiedi la consultazione
Consultabile POLIDORI NICOLA, MODELLI DI CRESCITA DELLE RETI COMPLESSE: SIMULAZIONE IN BLENX, Rel. PRIAMI CORRADO, AA 2010/2011
Author: POLIDORI NICOLA
Title: MODELLI DI CRESCITA DELLE RETI COMPLESSE: SIMULAZIONE IN BLENX
Relatore: PRIAMI CORRADO
Academic year: 2010/2011
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: 0507C-387
Richiedi la consultazione
Non consultabile RAMPONI ALAN, A MULTIPURPOSE TEXT MINING PIPELINE FOR BIOMEDICAL KNOWLEDGE EXTRACTION AND DISCOVERY, Rel. PRIAMI CORRADO, AA 2016/2017
Author: RAMPONI ALAN
Title: A MULTIPURPOSE TEXT MINING PIPELINE FOR BIOMEDICAL KNOWLEDGE EXTRACTION AND DISCOVERY
Relatore: PRIAMI CORRADO
Correlatore: CRISPO BRUNO
Secondo Correlatore: LOMBARDO ROSARIO
Academic year: 2016/2017
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-414
Consultabile RIZZETTO SIMONE, PREDIZIONE DI COMPLESSI PROTEICI NELLE CELLULE DI LIEVITO ATTRAVERSO SIMULAZIONI IN BLENX SU LARGA SCALA., Rel. PRIAMI CORRADO, AA 2009/2010
Author: RIZZETTO SIMONE
Title: PREDIZIONE DI COMPLESSI PROTEICI NELLE CELLULE DI LIEVITO ATTRAVERSO SIMULAZIONI IN BLENX SU LARGA SCALA.
Relatore: PRIAMI CORRADO
Academic year: 2009/2010
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC353
Richiedi la consultazione
Consultabile RIZZETTO SIMONE, A PROTEOME-WIDE SIMULATION TO DETECT PROTEIN COMPLEXES IN YEAST, Rel. PRIAMI CORRADO, AA 2012/2013
Author: RIZZETTO SIMONE
Title: A PROTEOME-WIDE SIMULATION TO DETECT PROTEIN COMPLEXES IN YEAST
Relatore: PRIAMI CORRADO
Correlatore: CSIKASZ-NAGY ATTILA
Controrelatore: ZUNINO ROBERTO
Academic year: 2012/2013
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-159
Richiedi la consultazione
Consultabile ROMANEL ALESSANDRO, ESTENSIONE STOCASTICA DI UN CALCOLO PER MODELLARE SISTEMI BIOLOGICI., Rel. PRIAMI CORRADO, AA 2002/2003
Author: ROMANEL ALESSANDRO
Title: ESTENSIONE STOCASTICA DI UN CALCOLO PER MODELLARE SISTEMI BIOLOGICI.
Relatore: PRIAMI CORRADO
Correlatore: BRODO LINDA
Academic year: 2002/2003
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC23
Richiedi la consultazione
Consultabile ROMANEL ALESSANDRO, UNA MACCHINA ASTRATTA STOCASTICA PER BETA BINDERS, Rel. PRIAMI CORRADO, AA 2004/2005
Author: ROMANEL ALESSANDRO
Title: UNA MACCHINA ASTRATTA STOCASTICA PER BETA BINDERS
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Academic year: 2004/2005
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN10
Richiedi la consultazione
Consultabile SALTORI ANGELO FRANCO, PROGETTAZIONE E SVILUPPO DI ALGORITMI GENETICI PER L'ANALISI DI SPETTRI DI METABOLITI., Rel. PRIAMI CORRADO, AA 2009/2010
Author: SALTORI ANGELO FRANCO
Title: PROGETTAZIONE E SVILUPPO DI ALGORITMI GENETICI PER L'ANALISI DI SPETTRI DI METABOLITI.
Relatore: PRIAMI CORRADO
Academic year: 2009/2010
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN188
Richiedi la consultazione
Consultabile SANTACATERINA ANTONIO, SVILUPPO DI NUOVI STRUMENTI ON-LINE PER L'ANALISI DI DATI HIGH-THROUGHPUT, Rel. PRIAMI CORRADO, AA 2012/2013
Author: SANTACATERINA ANTONIO
Title: SVILUPPO DI NUOVI STRUMENTI ON-LINE PER L'ANALISI DI DATI HIGH-THROUGHPUT
Relatore: PRIAMI CORRADO
Correlatore: MORINE MELISSA JAYNE
Academic year: 2012/2013
Course: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0514G-109
Richiedi la consultazione
Consultabile SANTUARI LUCA, STOCHASTIC AND DETERMINISTIC ANALYSIS OF ROBUSTNESS OF BIOLOGICAL PATHWAYS., Rel. PRIAMI CORRADO, AA 2006/2007
Author: SANTUARI LUCA
Title: STOCHASTIC AND DETERMINISTIC ANALYSIS OF ROBUSTNESS OF BIOLOGICAL PATHWAYS.
Relatore: PRIAMI CORRADO
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN68
Richiedi la consultazione
Consultabile SCHIVO STEFANO, ESTENSIONE DI BETA-BINDERS CON COMPARTIMENTI ANNIDABILI., Rel. PRIAMI CORRADO, AA 2005/2006
Author: SCHIVO STEFANO
Title: ESTENSIONE DI BETA-BINDERS CON COMPARTIMENTI ANNIDABILI.
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN18
Richiedi la consultazione
Consultabile SEGATA NICOLA, SISTEMI DI MONITORAGGIO VIDEO: IL PROBLEMA DELLO SFONDO IN PRESENZA DI VARIAZIONI GLOBALI DI ILLUMINAZIONE., Rel. PRIAMI CORRADO, AA 2003/2004
Author: SEGATA NICOLA
Title: SISTEMI DI MONITORAGGIO VIDEO: IL PROBLEMA DELLO SFONDO IN PRESENZA DI VARIAZIONI GLOBALI DI ILLUMINAZIONE.
Relatore: PRIAMI CORRADO
Correlatore: MESSELODI STEFANO
Controrelatore: GRANELLI FABRIZIO
Academic year: 2003/2004
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC52
Richiedi la consultazione
Consultabile SEGATA NICOLA, BETA BINDERS AND PI-CALCOLUS APPROACHES FOR QUANTITATIVE MODELLING OF BIOLOGICAL PATHWAYS, Rel. PRIAMI CORRADO, AA 2005/2006
Author: SEGATA NICOLA
Title: BETA BINDERS AND PI-CALCOLUS APPROACHES FOR QUANTITATIVE MODELLING OF BIOLOGICAL PATHWAYS
Relatore: PRIAMI CORRADO
Correlatore: BLANZIERI ENRICO
Controrelatore: QUAGLIA PAOLA
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN24
Richiedi la consultazione
Consultabile SELLA NADIR, UN TRADUTTORE AUTOMATICO DA SYSTEM BIOLOGY MARKUP LANGUAGE A UN LINGUAGGIO IMPERATIVO STOCASTICO, Rel. PRIAMI CORRADO, AA 2010/2011
Author: SELLA NADIR
Title: UN TRADUTTORE AUTOMATICO DA SYSTEM BIOLOGY MARKUP LANGUAGE A UN LINGUAGGIO IMPERATIVO STOCASTICO
Relatore: PRIAMI CORRADO
Controrelatore: ZUNINO ROBERTO
Academic year: 2010/2011
Course: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: 0514G-19
Richiedi la consultazione
Consultabile SEVEGNANI MICHELE, ENCODING ORC IN PI-CALCULUS. TRADUZIONE DI ORC IN PI- CALCOLO., Rel. QUAGLIA PAOLA, AA 2005/2006
Author: SEVEGNANI MICHELE
Title: ENCODING ORC IN PI-CALCULUS. TRADUZIONE DI ORC IN PI- CALCOLO.
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Academic year: 2005/2006
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC145
Richiedi la consultazione
Consultabile SHUKLA AMBAR, MAPPING THE EDINBURGH PATHWAY NOTATION TO THE PERFORMANCE EVALUATION PROCESS ALGEBRA., Rel. PRIAMI CORRADO, AA 2006/2007
Author: SHUKLA AMBAR
Title: MAPPING THE EDINBURGH PATHWAY NOTATION TO THE PERFORMANCE EVALUATION PROCESS ALGEBRA.
Relatore: PRIAMI CORRADO
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN35
Richiedi la consultazione
Non consultabile SIMONI GIULIA, HIERARCHICAL MODELING: INSULIN SIGNALING IN ADIPOCYTE AND WHOLE BODY GLUCOSE HOMEOSTASIS, Rel. PRIAMI CORRADO, AA 2015/2016
Author: SIMONI GIULIA
Title: HIERARCHICAL MODELING: INSULIN SIGNALING IN ADIPOCYTE AND WHOLE BODY GLUCOSE HOMEOSTASIS
Relatore: PRIAMI CORRADO
Academic year: 2015/2016
Course: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Shelfmark: 0519H-223
Consultabile SPIROSKI OGNEN, MODELLING HORIZONTAL GENE TRANFER: COMPARISON OF MODELLING FRAMEWORKS APPLIED TO INVESTIGATING ANTIBIOTIC RESISTANCE IN A FLUCTUATING ENVIRONMENT., Rel. PRIAMI CORRADO, AA 2007/2008
Author: SPIROSKI OGNEN
Title: MODELLING HORIZONTAL GENE TRANFER: COMPARISON OF MODELLING FRAMEWORKS APPLIED TO INVESTIGATING ANTIBIOTIC RESISTANCE IN A FLUCTUATING ENVIRONMENT.
Relatore: PRIAMI CORRADO
Academic year: 2007/2008
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN97
Richiedi la consultazione
Non consultabile STENICO MARCO, MODELLING MOLECULAR SYSTEMS WITH DISCRETE CONCENTRATION LEVELS IN THE CONTEXT OF PROCESS ALGEBRA PEPA: STOCHASTIC AND DETERMINISTIC INTERPRETETIANS., Rel. PRIAMI CORRADO, AA 2005/2006
Author: STENICO MARCO
Title: MODELLING MOLECULAR SYSTEMS WITH DISCRETE CONCENTRATION LEVELS IN THE CONTEXT OF PROCESS ALGEBRA PEPA: STOCHASTIC AND DETERMINISTIC INTERPRETETIANS.
Relatore: PRIAMI CORRADO
Controrelatore: BLANZIERI ENRICO
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN17
Consultabile TOLIO THOMAS, UN COMPILATORE DA UN LINGUAGGIO GRAFICO AD UN LINGUAGGIO REACTION-BASED PER LA RAPPRESENTAZIONE DI PROCESSI BIOLOGICI, Rel. PRIAMI CORRADO, AA 2011/2012
Author: TOLIO THOMAS
Title: UN COMPILATORE DA UN LINGUAGGIO GRAFICO AD UN LINGUAGGIO REACTION-BASED PER LA RAPPRESENTAZIONE DI PROCESSI BIOLOGICI
Relatore: PRIAMI CORRADO
Correlatore: GOSTNER ROSWITHA
Academic year: 2011/2012
Course: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0514G-61
Richiedi la consultazione
Consultabile TOMMASI LUCA, SVILUPPO DI ALGORITMI E STRUTTURE DATI EFFICIENTI PER LA RICERCA E L'IDENTIFICAZIONE VISUALI DI ENTITA' BIOLOGICHE, Rel. PRIAMI CORRADO, AA 2012/2013
Author: TOMMASI LUCA
Title: SVILUPPO DI ALGORITMI E STRUTTURE DATI EFFICIENTI PER LA RICERCA E L'IDENTIFICAZIONE VISUALI DI ENTITA' BIOLOGICHE
Relatore: PRIAMI CORRADO
Academic year: 2012/2013
Course: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0514G-135
Richiedi la consultazione
Consultabile VALENTINI ROBERTO, SEMANTICA OPERAZIONALE DI SPIM E SUE APPLICAZIONI, Rel. PRIAMI CORRADO, AA 2004/2005
Author: VALENTINI ROBERTO
Title: SEMANTICA OPERAZIONALE DI SPIM E SUE APPLICAZIONI
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Academic year: 2004/2005
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC107
Richiedi la consultazione
Consultabile ZENATTI MICHELE, FROM WIZARD TO SETTINGS EDITOR: A NOVEL WAD TO CONFIGURE SIMULATIONS IN COSBI LAB, Rel. PRIAMI CORRADO, AA 2011/2012
Author: ZENATTI MICHELE
Title: FROM WIZARD TO SETTINGS EDITOR: A NOVEL WAD TO CONFIGURE SIMULATIONS IN COSBI LAB
Relatore: PRIAMI CORRADO
Academic year: 2011/2012
Course: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: 0514G-53
Richiedi la consultazione