Found results 46 Full data Concise dataClick the title to see full data and shelfmark of each item |
Consultabilità delle tesi
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |