Risultati trovati 188 Dati completi Dati sinteticiClicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo. |
Consultabilità delle tesi
Consultabile |
AKRAM MUHAMMAD HASSAN, WORKFLOW MEETS PEER TO PEER: A TAVERNA INTERFACE TO LCC.,
Rel. MARCHESE MAURIZIO,
AA 2006/2007
Autore:
AKRAM MUHAMMAD HASSAN
Titolo: WORKFLOW MEETS PEER TO PEER: A TAVERNA INTERFACE TO LCC. Relatore: MARCHESE MAURIZIO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN41 Richiedi la consultazione |
AMAN AFSHAN, EFFICIENT IMPLEMENTATION OF A SIMPLE PLATOON CONTROLLER USING A RAPID CONTROL PROTOTYPING SYSTEM.,
Rel. PALOPOLI LUIGI,
AA 2008/2009
Autore:
AMAN AFSHAN
Titolo: EFFICIENT IMPLEMENTATION OF A SIMPLE PLATOON CONTROLLER USING A RAPID CONTROL PROTOTYPING SYSTEM. Relatore: PALOPOLI LUIGI Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN119 Richiedi la consultazione |
ARGENTINI ANDREA, KERNEL-BASED PROBABILITY METRICS AND FEATURE SELECTION.,
Rel. BLANZIERI ENRICO,
AA 2006/2007
Autore:
ARGENTINI ANDREA
Titolo: KERNEL-BASED PROBABILITY METRICS AND FEATURE SELECTION. Relatore: BLANZIERI ENRICO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN55 Richiedi la consultazione |
ASAULA RUSLAN, PREDICTION OF THE COMPUTATION TIME OF AN MPEG DECODER.,
Rel. PALOPOLI LUIGI,
AA 2005/2006
Autore:
ASAULA RUSLAN
Titolo: PREDICTION OF THE COMPUTATION TIME OF AN MPEG DECODER. Relatore: PALOPOLI LUIGI Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN30 Richiedi la consultazione |
AVANCINI ANDREA, MIGRAZIONE AUTOMATICA DI SISTEMI LEGACY: UN CASO DI STUDIO.,
Rel. SEBASTIANI ROBERTO,
AA 2008/2009
Autore:
AVANCINI ANDREA
Titolo: MIGRAZIONE AUTOMATICA DI SISTEMI LEGACY: UN CASO DI STUDIO. Relatore: SEBASTIANI ROBERTO Controrelatore: BRUNATO MAURO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN122 Richiedi la consultazione |
AYUNINGTYAS CHITRA HAPSARI, PROBABILISTIC MESSAGE SEQUENCE CHARTS.,
Rel. QUAGLIA PAOLA,
AA 2008/2009
Autore:
AYUNINGTYAS CHITRA HAPSARI
Titolo: PROBABILISTIC MESSAGE SEQUENCE CHARTS. Relatore: QUAGLIA PAOLA Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN141 Richiedi la consultazione |
BASSETTI MARCO, DEFINITION AND DEVELOPMENT OF ALGORITHMS FOR DETECTION OF SMOKE, FIRE AND ANOMALOUS VEHICLE TRAJECTORIES IN VIDEO SURVEILLED ROAD TUNNEL.,
Rel. BLANZIERI ENRICO,
AA 2009/2010
Autore:
BASSETTI MARCO
Titolo: DEFINITION AND DEVELOPMENT OF ALGORITHMS FOR DETECTION OF SMOKE, FIRE AND ANOMALOUS VEHICLE TRAJECTORIES IN VIDEO SURVEILLED ROAD TUNNEL. Relatore: BLANZIERI ENRICO Controrelatore: CONCI NICOLA Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN185 Richiedi la consultazione |
BAZZANELLA CINZIA, REQUIREMENT PRIORITIZATION IN SOFTWARE ENGINEERING, A SET OF EXPERIMENTAL PROOFS OF THE CASE-BASED RANKING METHODOLOGY EFFECTIVENESS.,
Rel. SEBASTIANI ROBERTO,
AA 2005/2006
Autore:
BAZZANELLA CINZIA
Titolo: REQUIREMENT PRIORITIZATION IN SOFTWARE ENGINEERING, A SET OF EXPERIMENTAL PROOFS OF THE CASE-BASED RANKING METHODOLOGY EFFECTIVENESS. Relatore: SEBASTIANI ROBERTO Correlatore: PERINI ANNA Correlatore: SUSI ANGELO Controrelatore: BLANZIERI ENRICO Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN25 Richiedi la consultazione |
BELLE VAISHAK, DETECTION AND RECOGNITION OF HUMAN FACES USING RANDOM FORESTS FOR A MOBILE ROBOT.,
Rel. BLANZIERI ENRICO,
AA 2007/2008
Autore:
BELLE VAISHAK
Titolo: DETECTION AND RECOGNITION OF HUMAN FACES USING RANDOM FORESTS FOR A MOBILE ROBOT. Relatore: BLANZIERI ENRICO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN88 Richiedi la consultazione |
BELLO EDOARDO, MOBILITY SUPPORT IN OLSRD-BASED WMNS.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2007/2008
Autore:
BELLO EDOARDO
Titolo: MOBILITY SUPPORT IN OLSRD-BASED WMNS. Relatore: LO CIGNO RENATO ANTONIO Controrelatore: PICCO GIAN PIETRO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN83 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
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 |
BERNABE' MASSIMILIANO, IMPLICIT CULTURE FOR SELF-ORGANIZING SYSTEMS: A CONCRETE SCENARIO AND ITS PERFORMANCE ANALYSIS. CULTURA IMPLICITA E SISTEMI AUTO-ORGANIZZANTI: UNO SCENARIO CONCRETO E ANALISI DELLE PRESTAZIONI,
Rel. GIORGINI PAOLO,
AA 2005/2006
Autore:
BERNABE' MASSIMILIANO
Titolo: IMPLICIT CULTURE FOR SELF-ORGANIZING SYSTEMS: A CONCRETE SCENARIO AND ITS PERFORMANCE ANALYSIS. CULTURA IMPLICITA E SISTEMI AUTO-ORGANIZZANTI: UNO SCENARIO CONCRETO E ANALISI DELLE PRESTAZIONI Relatore: GIORGINI PAOLO Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN28 Richiedi la consultazione |
BERTACCO ALESSANDRO, FINDING MAPPINGS BETWEEN LARGE SCALE KNOWLEDGE ORGANIZATION SYSTEMS,
Rel. GIUNCHIGLIA FAUSTO,
AA 2007/2008
Autore:
BERTACCO ALESSANDRO
Titolo: FINDING MAPPINGS BETWEEN LARGE SCALE KNOWLEDGE ORGANIZATION SYSTEMS Relatore: GIUNCHIGLIA FAUSTO Correlatore: MALTESE VINCENZO Controrelatore: MARCHESE MAURIZIO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN102 Richiedi la consultazione |
BISOFFI ELISA, UNDERSTANDING OVER-THE-AIR REPROGRAMMING IN WSNS: A CASE STUDY WITH THE DELUGE PROTOCOL.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2007/2008
Autore:
BISOFFI ELISA
Titolo: UNDERSTANDING OVER-THE-AIR REPROGRAMMING IN WSNS: A CASE STUDY WITH THE DELUGE PROTOCOL. Relatore: LO CIGNO RENATO ANTONIO Correlatore: MOTTOLA LUCA Controrelatore: MONTRESOR ALBERTO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN79 Richiedi la consultazione |
BORILE MANUEL, ON THE SIMULATION OF PROCESSES AUTOMATICALLY TRANSLATED FROM BIONETGEN MODELS.,
Rel. QUAGLIA PAOLA,
AA 2005/2006
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 |
BORTOLI STEFANO, THE PROBLEM OF IDENTITY AND REFERENCE ON THE SEMANTIC WEB: THE CASE OF IDENTIFIERS IN FOAF PROFILES.,
Rel. BOUQUET PAOLO,
AA 2006/2007
Autore:
BORTOLI STEFANO
Titolo: THE PROBLEM OF IDENTITY AND REFERENCE ON THE SEMANTIC WEB: THE CASE OF IDENTIFIERS IN FOAF PROFILES. Relatore: BOUQUET PAOLO Controrelatore: RONCHETTI MARCO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN48 Richiedi la consultazione |
BRANDOLINI MATTEO, TELEPHONY OVER THE INTERNET: A COMPREHENSIVE ANALYSIS OF SECURITY, VULNERABILITIES AND THEIR COUNTERMEASURES,
Rel. LO CIGNO RENATO ANTONIO,
AA 2010/2011
Autore:
BRANDOLINI MATTEO
Titolo: TELEPHONY OVER THE INTERNET: A COMPREHENSIVE ANALYSIS OF SECURITY, VULNERABILITIES AND THEIR COUNTERMEASURES Relatore: LO CIGNO RENATO ANTONIO Anno accademico: 2010/2011 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: 0510D-193 Richiedi la consultazione |
CALDERAN MARCO, A VORONOI BASED TESSELLLATOR FOR DIGITAL ELEVATION MODELS.,
Rel. DE NATALE FRANCESCO,
AA 2008/2009
Autore:
CALDERAN MARCO
Titolo: A VORONOI BASED TESSELLLATOR FOR DIGITAL ELEVATION MODELS. Relatore: DE NATALE FRANCESCO Correlatore: DE AMICIS RAFFAELE Controrelatore: MONTRESOR ALBERTO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN131 Richiedi la consultazione |
CAMPIGOTTO PAOLO, AN EMPIRICAL ANALYSIS OF THE SLS ALGORITHMS FOR THE SAT PROBLEM.,
Rel. BATTITI ROBERTO,
AA 2006/2007
Autore:
CAMPIGOTTO PAOLO
Titolo: AN EMPIRICAL ANALYSIS OF THE SLS ALGORITHMS FOR THE SAT PROBLEM. Relatore: BATTITI ROBERTO Controrelatore: BRUNATO MAURO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN43 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
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 |
CARTAS AYALA RODOLFO, AN ENHANCED CONTENT DISTRIBUTION MECHANISM FOR NEXT GENERATION NETNORKS.,
Rel. MONTRESOR ALBERTO,
AA 2007/2008
Autore:
CARTAS AYALA RODOLFO
Titolo: AN ENHANCED CONTENT DISTRIBUTION MECHANISM FOR NEXT GENERATION NETNORKS. Relatore: MONTRESOR ALBERTO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN89 Richiedi la consultazione |
CATTANI MARCO, GROUP MONITORING IN WIRELESS SENSOR NETWORKS.,
Rel. PICCO GIAN PIETRO,
AA 2009/2010
Autore:
CATTANI MARCO
Titolo: GROUP MONITORING IN WIRELESS SENSOR NETWORKS. Relatore: PICCO GIAN PIETRO Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN177 Richiedi la consultazione |
CESARI PAOLO, SENTEXT: COME ARRICCHIRE IL TESTO CON LA CONOSCENZA DEL WEB.,
Rel. KUPER GABRIEL MARK,
AA 2010/2011
Autore:
CESARI PAOLO
Titolo: SENTEXT: COME ARRICCHIRE IL TESTO CON LA CONOSCENZA DEL WEB. Relatore: KUPER GABRIEL MARK Correlatore: SERAFINI LUCIANO Controrelatore: BOUQUET PAOLO Anno accademico: 2010/2011 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: 0510D-191 Richiedi la consultazione |
CHAYKA OLEKSIY, OPTIMAL DISTRIBUTION OF BARTER RESOURCES IN A MOBILE MULTIAGENT SYSTEM,
Rel. GIORGINI PAOLO,
AA 2007/2008
Autore:
CHAYKA OLEKSIY
Titolo: OPTIMAL DISTRIBUTION OF BARTER RESOURCES IN A MOBILE MULTIAGENT SYSTEM Relatore: GIORGINI PAOLO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN90 Richiedi la consultazione |
CHEN CHUNHUI, MODELLING AND SIMULATION OF NETWORK ARCHITECTURES FOR TRIPLE-PLAY SERVICES.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2007/2008
Autore:
CHEN CHUNHUI
Titolo: MODELLING AND SIMULATION OF NETWORK ARCHITECTURES FOR TRIPLE-PLAY SERVICES. Relatore: LO CIGNO RENATO ANTONIO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN91 Richiedi la consultazione |
CHIASERA ANNAMARIA, MODELLAZIONE IN TROPOS DI REQUISITI E PROCESSI IN AMBITO ASSISTENZIALE.,
Rel. GIUNCHIGLIA FAUSTO,
AA 2005/2006
Autore:
CHIASERA ANNAMARIA
Titolo: MODELLAZIONE IN TROPOS DI REQUISITI E PROCESSI IN AMBITO ASSISTENZIALE. Relatore: GIUNCHIGLIA FAUSTO Correlatore: SUSI ANGELO Controrelatore: GIORGINI PAOLO Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN23 Richiedi la consultazione |
CHINI MATTEO, DALL'ANALISI DELLA RETE FISICA ALL'INSTALLAZIONE DI UNA RETE DI SENSORI WIRELESS.,
Rel. PICCO GIAN PIETRO,
AA 2009/2010
Autore:
CHINI MATTEO
Titolo: DALL'ANALISI DELLA RETE FISICA ALL'INSTALLAZIONE DI UNA RETE DI SENSORI WIRELESS. Relatore: PICCO GIAN PIETRO Controrelatore: LO CIGNO RENATO ANTONIO Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN174 Richiedi la consultazione |
COLOMBINI GABRIELE, PROGETTO P.I.TRE.: SITO WEB DI COMUNICAZIONE.,
Rel. GIORGINI PAOLO,
AA 2006/2007
Autore:
COLOMBINI GABRIELE
Titolo: PROGETTO P.I.TRE.: SITO WEB DI COMUNICAZIONE. Relatore: GIORGINI PAOLO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN60 Richiedi la consultazione |
COLOMBO ALESSIO, A SOLUTION FOR INDOOR LOCALIZATION OF HUMAN TARGETS USING WEARABLE SENSORS.,
Rel. PALOPOLI LUIGI,
AA 2008/2009
Autore:
COLOMBO ALESSIO
Titolo: A SOLUTION FOR INDOOR LOCALIZATION OF HUMAN TARGETS USING WEARABLE SENSORS. Relatore: PALOPOLI LUIGI Controrelatore: PETRI DARIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN162 Richiedi la consultazione |
COSENTINO SALVATORE, MIRNA-SPYSVM: METODO PER L'IDENTIFICAZIONE DI TARGET DI MICRORNA.,
Rel. BLANZIERI ENRICO,
AA 2009/2010
Autore:
COSENTINO SALVATORE
Titolo: MIRNA-SPYSVM: METODO PER L'IDENTIFICAZIONE DI TARGET DI MICRORNA. Relatore: BLANZIERI ENRICO Correlatore: RE ANGELA Controrelatore: PASSERINI ANDREA Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN175 |
COSTANZI GIANNI, A LINUX BASED IMPEMENTATION OF 802.11 E HCCA. PROTOTIPO DI HCCA802.11 REALIZZATO IN KERNEL LINUX.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2005/2006
Autore:
COSTANZI GIANNI
Titolo: A LINUX BASED IMPEMENTATION OF 802.11 E HCCA. PROTOTIPO DI HCCA802.11 REALIZZATO IN KERNEL LINUX. Relatore: LO CIGNO RENATO ANTONIO Controrelatore: BRUNATO MAURO Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN22 Richiedi la consultazione |
DALLACHIESA MICHELE, RECONSTRUCTING CURVES FROM SPARSE AND NOISY DATA THROUGH REACTIVE SEARCH OPTIMIZATION TECHNIQUES.,
Rel. BATTITI ROBERTO,
AA 2008/2009
Autore:
DALLACHIESA MICHELE
Titolo: RECONSTRUCTING CURVES FROM SPARSE AND NOISY DATA THROUGH REACTIVE SEARCH OPTIMIZATION TECHNIQUES. Relatore: BATTITI ROBERTO Controrelatore: PASSERINI ANDREA Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN135 Richiedi la consultazione |
DALPIAZ FABIANO, DAL MINING DEI PROGETTI SOFTWARE AL PIANO DEI SISTEMI PER GESTIRE IL CAMBIAMENTO, METODOLOGIA E APPLICAZIONE AD UN CASO DI STUDIO INDUSTRIALE.,
Rel. GIUNCHIGLIA FAUSTO,
AA 2004/2005
Autore:
DALPIAZ FABIANO
Titolo: DAL MINING DEI PROGETTI SOFTWARE AL PIANO DEI SISTEMI PER GESTIRE IL CAMBIAMENTO, METODOLOGIA E APPLICAZIONE AD UN CASO DI STUDIO INDUSTRIALE. Relatore: GIUNCHIGLIA FAUSTO Correlatore: BLANZIERI ENRICO Controrelatore: RONCHETTI MARCO Anno accademico: 2004/2005 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN6 Richiedi la consultazione |
DASSI ERIK, IDENTIFICATION OF HYPERCONSERVED MESSENGER RNA UNTRASLATED SEQUENCES IN VERTEBRATE GENOMES.,
Rel. QUATTRONE ALESSANDRO,
AA 2008/2009
Autore:
DASSI ERIK
Titolo: IDENTIFICATION OF HYPERCONSERVED MESSENGER RNA UNTRASLATED SEQUENCES IN VERTEBRATE GENOMES. Relatore: QUATTRONE ALESSANDRO Controrelatore: BLANZIERI ENRICO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN125 Richiedi la consultazione |
DATTA AVIJIT, SUPPORT OF REAL-TIME APPLICATIONS BY IEEE802.15,4 - BASED SYSTEMS.,
Rel. MARCHESE MAURIZIO,
AA 2008/2009
Autore:
DATTA AVIJIT
Titolo: SUPPORT OF REAL-TIME APPLICATIONS BY IEEE802.15,4 - BASED SYSTEMS. Relatore: MARCHESE MAURIZIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN111 Richiedi la consultazione |
DEBIASI ALBERTO, A SEAMLESS INTERFACE FOR GEOINFORMATION IN AUGMENTED REALITY.,
Rel. GIUNCHIGLIA FAUSTO,
AA 2008/2009
Autore:
DEBIASI ALBERTO
Titolo: A SEAMLESS INTERFACE FOR GEOINFORMATION IN AUGMENTED REALITY. Relatore: GIUNCHIGLIA FAUSTO Secondo Correlatore: DE AMICIS RAFFAELE Controrelatore: MARCHESE MAURIZIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN170 Richiedi la consultazione |
DEGASPERI ANDREA, SENSITIVITY ANALYSIS OF MODELS OF BIOCHEMICAL REACTIONS.,
Rel. QUAGLIA PAOLA,
AA 2006/2007
Autore:
DEGASPERI ANDREA
Titolo: SENSITIVITY ANALYSIS OF MODELS OF BIOCHEMICAL REACTIONS. Relatore: QUAGLIA PAOLA Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN46 Richiedi la consultazione |
DEMATTE' LORENZO, CONCURRENTE PROGRAMMING BY CONTRACT. PROGRAMMAZIONE CONCORRENTE CON CONTRATTI,
Rel. MASSACCI FABIO,
AA 2003/2004
Autore:
DEMATTE' LORENZO
Titolo: CONCURRENTE PROGRAMMING BY CONTRACT. PROGRAMMAZIONE CONCORRENTE CON CONTRATTI Relatore: MASSACCI FABIO Controrelatore: QUAGLIA PAOLA Anno accademico: 2003/2004 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN2 Richiedi la consultazione |
DESILVESTRO CESARE, ANALISI DELL'ESPRESSIONE GENICA MEDIANTE CONFRONTO IN SILICO TRA I LIVELLI DI MRNA TOTALE E I LIVELLI DI MRNA POLISOMALE PROVENIENTI DA ESPERIMENTI DI MICROARRAY.,
Rel. BLANZIERI ENRICO,
AA 2007/2008
Autore:
DESILVESTRO CESARE
Titolo: ANALISI DELL'ESPRESSIONE GENICA MEDIANTE CONFRONTO IN SILICO TRA I LIVELLI DI MRNA TOTALE E I LIVELLI DI MRNA POLISOMALE PROVENIENTI DA ESPERIMENTI DI MICROARRAY. Relatore: BLANZIERI ENRICO Controrelatore: QUATTRONE ALESSANDRO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN86 Richiedi la consultazione |
DHARMARAJ JACOB DELEN, AGILE DEVELOPER TESTING.,
Rel. MASSACCI FABIO,
AA 2006/2007
Autore:
DHARMARAJ JACOB DELEN
Titolo: AGILE DEVELOPER TESTING. Relatore: MASSACCI FABIO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN62 Richiedi la consultazione |
DI LORENZO EDOARDO, DEFINIZIONE E REALIZZAZIONE DI UN MODELLO ARCHITETTURALE PER LA GESTIONE DELLA TRANSAZIONALITÀ IN PROCESSI DI BUSINESS DISTRIBUITI,
Rel. PISTORE MARCO,
AA 2004/2005
Autore:
DI LORENZO EDOARDO
Titolo: DEFINIZIONE E REALIZZAZIONE DI UN MODELLO ARCHITETTURALE PER LA GESTIONE DELLA TRANSAZIONALITÀ IN PROCESSI DI BUSINESS DISTRIBUITI Relatore: PISTORE MARCO Controrelatore: RONCHETTI MARCO Anno accademico: 2004/2005 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN9 Richiedi la consultazione |
DI RISIO CRISTINA, GRAPH PARTITIONING: GREEDY AND REACTIVE SEARCH METHODS.,
Rel. BATTITI ROBERTO,
AA 2008/2009
Autore:
DI RISIO CRISTINA
Titolo: GRAPH PARTITIONING: GREEDY AND REACTIVE SEARCH METHODS. Relatore: BATTITI ROBERTO Controrelatore: PALPANAS THEMISTOKLIS Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN145 Richiedi la consultazione |
DONADONI MICHELE, APPLICAZIONE DELLA METODOLOGIA RAPID APPLICATION DEVELOPMENTE PER LA REINGEGNERIZZAZIONE DI SISTEMI LEGACY.,
Rel. MARCHESE MAURIZIO,
AA 2008/2009
Autore:
DONADONI MICHELE
Titolo: APPLICAZIONE DELLA METODOLOGIA RAPID APPLICATION DEVELOPMENTE PER LA REINGEGNERIZZAZIONE DI SISTEMI LEGACY. Relatore: MARCHESE MAURIZIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN144 Richiedi la consultazione |
EL GAYYAR MAHMOUD, TAILORABILITY OF PERSONALIZED WEB-SERVICE COMPOSITION.,
Rel. MARCHESE MAURIZIO,
AA 2006/2007
Autore:
EL GAYYAR MAHMOUD
Titolo: TAILORABILITY OF PERSONALIZED WEB-SERVICE COMPOSITION. Relatore: MARCHESE MAURIZIO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN39 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
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 |
FAISAL MUHAMMAD ALI, INFERRING ECOLOGICAL NETWORKS FROM SPECIES ABUNDANCE DATA.,
Rel. MARCHESE MAURIZIO,
AA 2007/2008
Autore:
FAISAL MUHAMMAD ALI
Titolo: INFERRING ECOLOGICAL NETWORKS FROM SPECIES ABUNDANCE DATA. Relatore: MARCHESE MAURIZIO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN75 Richiedi la consultazione |
FANTE STEFANO, TOOTHAGENT: UN SISTEMA MULTI-AGENTE PER IL SUPPORTO DI COMUNITA' MOBILI VIRTUALI,
Rel. GIORGINI PAOLO,
AA 2004/2005
Autore:
FANTE STEFANO
Titolo: TOOTHAGENT: UN SISTEMA MULTI-AGENTE PER IL SUPPORTO DI COMUNITA' MOBILI VIRTUALI Relatore: GIORGINI PAOLO Controrelatore: BLANZIERI ENRICO Anno accademico: 2004/2005 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN7 Richiedi la consultazione |
FAQOLLI ADRIOLA, SELF ORGANIZING AND ENERGY EFFICIENT NODE CLUSTERING IN SENSOR NETWORKS.,
Rel. PALPANAS THEMISTOKLIS,
AA 2008/2009
Autore:
FAQOLLI ADRIOLA
Titolo: SELF ORGANIZING AND ENERGY EFFICIENT NODE CLUSTERING IN SENSOR NETWORKS. Relatore: PALPANAS THEMISTOKLIS Controrelatore: VELEGRAKIS YANNIS Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN146 Richiedi la consultazione |
FEDRIZZI TARCISIO, GAME THEORY AND GRAPH TRASFORMATION FOR THE STUDY OF TUMOR DEVELOPMENT.,
Rel. PRIAMI CORRADO,
AA 2007/2008
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 |
FERDOUS RAIHANA, TRAFFIC ANALYSIS AND GENERATION FOR ANTI SPIT SYSTEMS.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2008/2009
Autore:
FERDOUS RAIHANA
Titolo: TRAFFIC ANALYSIS AND GENERATION FOR ANTI SPIT SYSTEMS. Relatore: LO CIGNO RENATO ANTONIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN137 Richiedi la consultazione |
FORRER THOMAS, EASING THE MANAGEMENT OF FALSE POSITIVES IN INTRUSION DETECTION SYSTEMS.,
Rel. CRISPO BRUNO,
AA 2008/2009
Autore:
FORRER THOMAS
Titolo: EASING THE MANAGEMENT OF FALSE POSITIVES IN INTRUSION DETECTION SYSTEMS. Relatore: CRISPO BRUNO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN164 Richiedi la consultazione |
FOX JONNY, MODELS, LANGUAGES AND TOOLS FOR UNIVERSAL INTEGRATION.,
Rel. CASATI FABIO,
AA 2007/2008
Autore:
FOX JONNY
Titolo: MODELS, LANGUAGES AND TOOLS FOR UNIVERSAL INTEGRATION. Relatore: CASATI FABIO Controrelatore: D'ANDREA VINCENZO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN95 Richiedi la consultazione |
FRIOLI FABRIZIO, VOIP SEAL: VOICE TRAFFIC MONITORING AND SPIT PREVENTION IN IP NETWORKS.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2007/2008
Autore:
FRIOLI FABRIZIO
Titolo: VOIP SEAL: VOICE TRAFFIC MONITORING AND SPIT PREVENTION IN IP NETWORKS. Relatore: LO CIGNO RENATO ANTONIO Controrelatore: ABENI LUCA Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN106 Richiedi la consultazione |
GAFFO ENRICO, MODIFICATION OF THE PC ALGORITHM TO INFER GENE REGULATORY NETWORKS FROM GENE EXPRESSION DATA.,
Rel. BLANZIERI ENRICO,
AA 2009/2010
Autore:
GAFFO ENRICO
Titolo: MODIFICATION OF THE PC ALGORITHM TO INFER GENE REGULATORY NETWORKS FROM GENE EXPRESSION DATA. Relatore: BLANZIERI ENRICO Controrelatore: PROVENZANI ALESSANDRO Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN186 Richiedi la consultazione |
GAVRYLENKO ANDRIY, AN OPTIMIZED LINEAR SCAN REGISTER ALLOCATOR FOR A RETARGETABLE C-COMPILER.,
Rel. PALOPOLI LUIGI,
AA 2005/2006
Autore:
GAVRYLENKO ANDRIY
Titolo: AN OPTIMIZED LINEAR SCAN REGISTER ALLOCATOR FOR A RETARGETABLE C-COMPILER. Relatore: PALOPOLI LUIGI Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN31 |
GEROSA LUCA, STOCHASTIC PROCES ALGEBRAS AS DESIGN AND ANALYSIS FRAMEWORK FOR SYNTHETIC BIOLOGY MODELLING.,
Rel. PRIAMI CORRADO,
AA 2006/2007
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 |
GIORDAN MASSIMO, SVILUPPO DI API PER L'ESTRAZIONE DI INFORMAZIONI DALLE CATEGORIE DI WIKIPEDIA.,
Rel. RONCHETTI MARCO,
AA 2007/2008
Autore:
GIORDAN MASSIMO
Titolo: SVILUPPO DI API PER L'ESTRAZIONE DI INFORMAZIONI DALLE CATEGORIE DI WIKIPEDIA. Relatore: RONCHETTI MARCO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN109 Richiedi la consultazione |
GIORDANI ALESSANDRA, ANALISI DI INTERAZIONI A DISTANZA PER SUPPORTARE, VALUTARE E MIGLIORARE L'APPRENDIMENTO COLLABORATIVO.,
Rel. RONCHETTI MARCO,
AA 2005/2006
Autore:
GIORDANI ALESSANDRA
Titolo: ANALISI DI INTERAZIONI A DISTANZA PER SUPPORTARE, VALUTARE E MIGLIORARE L'APPRENDIMENTO COLLABORATIVO. Relatore: RONCHETTI MARCO Controrelatore: ANDRITSOS PERIKLIS Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN21 Richiedi la consultazione |
GRASSO MAURIZIO, VALIDATION AND IMPROVEMENT OF A VOIP TRAFFIC GENERATOR,
Rel. LO CIGNO RENATO ANTONIO,
AA 2010/2011
Autore:
GRASSO MAURIZIO
Titolo: VALIDATION AND IMPROVEMENT OF A VOIP TRAFFIC GENERATOR Relatore: LO CIGNO RENATO ANTONIO Anno accademico: 2010/2011 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: 0510D-192 Richiedi la consultazione |
GUERRIERO MARIA LUISA, MODELLI FORMALI PER LA RAPPRESENTAZIONE DI SISTEMI BIOLOGICI DINAMICI.,
Rel. PRIAMI CORRADO,
AA 2003/2004
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 |
GUNASEKHARAN SUBAHSHINI, EVALUATION OF WEB EXPERIMENTS.,
Rel. POESIO MASSIMO,
AA 2008/2009
Autore:
GUNASEKHARAN SUBAHSHINI
Titolo: EVALUATION OF WEB EXPERIMENTS. Relatore: POESIO MASSIMO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN112 |
HANNA EILEEN MARIE, A BLEN X MODEL OF YEAST PHERMONE RESPONSE PATHWAY.,
Rel. LECCA PAOLA,
AA 2007/2008
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 |
HANNA ROSALINE, MODELLING AND SIMULATING WITH "BLEN X" THE YEAST GENETIC REGULATORY NETWORK OF GALACTOSE METABOLISM.,
Rel. LECCA PAOLA,
AA 2007/2008
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 |
HAQUE MOHAMMAD OBAIDUL, DEVELOPMENT AND EVALUATION OF A LOCALIZATION COMPONENT FOR MOBILE SERVICE APPLICATION,
Rel. CASATI FABIO,
AA 2008/2009
Autore:
HAQUE MOHAMMAD OBAIDUL
Titolo: DEVELOPMENT AND EVALUATION OF A LOCALIZATION COMPONENT FOR MOBILE SERVICE APPLICATION Relatore: CASATI FABIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN147 Richiedi la consultazione |
HAROON MUHAMMAD, SENSLETS - APPLETS FOR THE SENSOR INTERNET.,
Rel. MARCHESE MAURIZIO,
AA 2008/2009
Autore:
HAROON MUHAMMAD
Titolo: SENSLETS - APPLETS FOR THE SENSOR INTERNET. Relatore: MARCHESE MAURIZIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN157 Richiedi la consultazione |
HASAN RAKEBUL, CLIP-MOKI: A COLLABORATIVE TOOL FOR THE MODELING OF CLINICAL GUIDELINES.,
Rel. BOUQUET PAOLO,
AA 2008/2009
Autore:
HASAN RAKEBUL
Titolo: CLIP-MOKI: A COLLABORATIVE TOOL FOR THE MODELING OF CLINICAL GUIDELINES. Relatore: BOUQUET PAOLO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN138 Richiedi la consultazione |
HASAN MD. KAMRUL, INTEGRATING ONTOLOGICAL REPRESENTATION OF PROCESS IN A COLLABORATIVE ENVIRONMENT.,
Rel. BOUQUET PAOLO,
AA 2008/2009
Autore:
HASAN MD. KAMRUL
Titolo: INTEGRATING ONTOLOGICAL REPRESENTATION OF PROCESS IN A COLLABORATIVE ENVIRONMENT. Relatore: BOUQUET PAOLO Correlatore: SERAFINI LUCIANO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN140 Richiedi la consultazione |
HERDAGDELEN DILEK TURSUN, KERNEL MACHINES FOR PROTEIN-MRNA BINDING PREDICTION,
Rel. PASSERINI ANDREA,
AA 2013/2014
Autore:
HERDAGDELEN DILEK TURSUN
Titolo: KERNEL MACHINES FOR PROTEIN-MRNA BINDING PREDICTION Relatore: PASSERINI ANDREA Correlatore: CORRADO GIANLUCA Anno accademico: 2013/2014 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Segnatura: 0510D-196 Richiedi la consultazione |
HUANG GANG, SECURITY FOR BODY SENSOR NETWORKS.,
Rel. MARCHESE MAURIZIO,
AA 2008/2009
Autore:
HUANG GANG
Titolo: SECURITY FOR BODY SENSOR NETWORKS. Relatore: MARCHESE MAURIZIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN118 Richiedi la consultazione |
IANNOTTA MICHELE, A UI INTEGRATION FRAMEWORK FOR DISTRIBUTED UI ORCHESTRATIONS-MANAGING UIS IN MARCO FLOW.,
Rel. CASATI FABIO,
AA 2009/2010
Autore:
IANNOTTA MICHELE
Titolo: A UI INTEGRATION FRAMEWORK FOR DISTRIBUTED UI ORCHESTRATIONS-MANAGING UIS IN MARCO FLOW. Relatore: CASATI FABIO Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN173 Richiedi la consultazione |
IMTIAZ MAHIUDDIN, IMPLEMENTATION AND EVALUATION OF A SCALABLE, NETWORK-SUPPORTED, MOBILE VIDEO PUSH SERVICE.,
Rel. MARCHESE MAURIZIO,
AA 2008/2009
Autore:
IMTIAZ MAHIUDDIN
Titolo: IMPLEMENTATION AND EVALUATION OF A SCALABLE, NETWORK-SUPPORTED, MOBILE VIDEO PUSH SERVICE. Relatore: MARCHESE MAURIZIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN158 Richiedi la consultazione |
INGOLFO SILVIA, ESTABLISHING COMPLIANCE OF SOFTWARE REQUIREMENTS THROUGH ARGUMENTATION.,
Rel. MYLOPOULOS JOHN,
AA 2009/2010
Autore:
INGOLFO SILVIA
Titolo: ESTABLISHING COMPLIANCE OF SOFTWARE REQUIREMENTS THROUGH ARGUMENTATION. Relatore: MYLOPOULOS JOHN Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN189 Richiedi la consultazione |
IORI ENRICO, RELATIONAL-WORKLOAD PLACEMENT IN THE CLOUD.,
Rel. PALPANAS THEMISTOKLIS,
AA 2009/2010
Autore:
IORI ENRICO
Titolo: RELATIONAL-WORKLOAD PLACEMENT IN THE CLOUD. Relatore: PALPANAS THEMISTOKLIS Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN184 Richiedi la consultazione |
IQBAL ASIF, SERVICE ORIENTED ARCHITECTURE. A STRATEGY FOR CREATING A FLEXIBLE AND AGILE IT INFRASTRUCTURE.,
Rel. MONTRESOR ALBERTO,
AA 2006/2007
Autore:
IQBAL ASIF
Titolo: SERVICE ORIENTED ARCHITECTURE. A STRATEGY FOR CREATING A FLEXIBLE AND AGILE IT INFRASTRUCTURE. Relatore: MONTRESOR ALBERTO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN66 Richiedi la consultazione |
ISLAM MIR SHAHIDUL, RECONFIGURATION OF SECURITY AND DYNAMISM RELATED ISSUES OF VIRTUAL ORGANIZATION IN THE CASE OF OUTSOURCING BUSINESS PROCESS.,
Rel. MASSACCI FABIO,
AA 2008/2009
Autore:
ISLAM MIR SHAHIDUL
Titolo: RECONFIGURATION OF SECURITY AND DYNAMISM RELATED ISSUES OF VIRTUAL ORGANIZATION IN THE CASE OF OUTSOURCING BUSINESS PROCESS. Relatore: MASSACCI FABIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN148 Richiedi la consultazione |
ISLAM MD. FAKHRUL, DESIGN IDEAS FOR MAXIMIZING CONTRIBUTION IN PROFESSIONAL SOCIAL NETWORKS,
Rel. DE ANGELI ANTONELLA,
AA 2010/2011
Autore:
ISLAM MD. FAKHRUL
Titolo: DESIGN IDEAS FOR MAXIMIZING CONTRIBUTION IN PROFESSIONAL SOCIAL NETWORKS Relatore: DE ANGELI ANTONELLA Correlatore: MENÉNDEZ MARIA Anno accademico: 2010/2011 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: 0510D-194 |
JAIN MANISH, DESIGN AND DEVELOPMENT OF FIRMWARE ON PROGRAMMABLE SYSTEM ON CHIP (PSOC) FOR WEARABLE COMPUTERS.,
Rel. ABENI LUCA,
AA 2006/2007
Autore:
JAIN MANISH
Titolo: DESIGN AND DEVELOPMENT OF FIRMWARE ON PROGRAMMABLE SYSTEM ON CHIP (PSOC) FOR WEARABLE COMPUTERS. Relatore: ABENI LUCA Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN53 Richiedi la consultazione |
JAIN SUKESH, SEMI-AUTOMATIC VALIDATION OF SEMANTIC BUSINESS PROCESS MODEL.,
Rel. MARCHESE MAURIZIO,
AA 2008/2009
Autore:
JAIN SUKESH
Titolo: SEMI-AUTOMATIC VALIDATION OF SEMANTIC BUSINESS PROCESS MODEL. Relatore: MARCHESE MAURIZIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN116 Richiedi la consultazione |
JAMBUNATHAN ANURADHA, A SOFWARE FRAMEWORK FOR COMPUTING SEMANTIC RELATEDNESS USING EXPLICIT SEMANTIC ANALYSIS.,
Rel. RONCHETTI MARCO,
AA 2007/2008
Autore:
JAMBUNATHAN ANURADHA
Titolo: A SOFWARE FRAMEWORK FOR COMPUTING SEMANTIC RELATEDNESS USING EXPLICIT SEMANTIC ANALYSIS. Relatore: RONCHETTI MARCO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN92 Richiedi la consultazione |
JOSHI TEJAL NARHARIPRASAD, PARTITION FUNCTION ALIGNMENT OF RNAS,
Rel. BLANZIERI ENRICO,
AA 2007/2008
Autore:
JOSHI TEJAL NARHARIPRASAD
Titolo: PARTITION FUNCTION ALIGNMENT OF RNAS Relatore: BLANZIERI ENRICO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN72 Richiedi la consultazione |
KALIBERDINA OLENA, DYNAMIC IDENTITY PROVIDER SELECTION IN A CONTEXT-AWARE INFORMATION RIGHTS MANAGEMENT SYSTEM.,
Rel. MASSACCI FABIO,
AA 2008/2009
Autore:
KALIBERDINA OLENA
Titolo: DYNAMIC IDENTITY PROVIDER SELECTION IN A CONTEXT-AWARE INFORMATION RIGHTS MANAGEMENT SYSTEM. Relatore: MASSACCI FABIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN113 Richiedi la consultazione |
KHADAYATE SANJAY, AUTOMATIC KINETIC MODEL GENERATION IN EDINBURGH PATHWAY EDITOR.,
Rel. MARCHESE MAURIZIO,
AA 2007/2008
Autore:
KHADAYATE SANJAY
Titolo: AUTOMATIC KINETIC MODEL GENERATION IN EDINBURGH PATHWAY EDITOR. Relatore: MARCHESE MAURIZIO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN94 Richiedi la consultazione |
KHAN SULEIMAN ALI, REAL TIME PATTERN MATCHING IN STREAMING TIME SERIES.,
Rel. PALPANAS THEMISTOKLIS,
AA 2007/2008
Autore:
KHAN SULEIMAN ALI
Titolo: REAL TIME PATTERN MATCHING IN STREAMING TIME SERIES. Relatore: PALPANAS THEMISTOKLIS Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN76 Richiedi la consultazione |
KHAN MUHAMMAD AMIN, THE EFFECTS OF DISTRIBUTION AND PARALLELISATION ON THE PERFORMANCE OF OGSA-DAI ENACTMENTS.,
Rel. MARCHESE MAURIZIO,
AA 2066/2007
Autore:
KHAN MUHAMMAD AMIN
Titolo: THE EFFECTS OF DISTRIBUTION AND PARALLELISATION ON THE PERFORMANCE OF OGSA-DAI ENACTMENTS. Relatore: MARCHESE MAURIZIO Anno accademico: 2066/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN40 Richiedi la consultazione |
KHASANOVA GALIIA, HIGH LEVEL PROGRAMMING OF WIRELESS SENSOR NETWORKS USING DISTRIBUTED ABSTRACT DATA TYPES.,
Rel. PICCO GIAN PIETRO,
AA 2007/2008
Autore:
KHASANOVA GALIIA
Titolo: HIGH LEVEL PROGRAMMING OF WIRELESS SENSOR NETWORKS USING DISTRIBUTED ABSTRACT DATA TYPES. Relatore: PICCO GIAN PIETRO Controrelatore: MONTRESOR ALBERTO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN82 Richiedi la consultazione |
KOCI NEDA, DESIGN AND EVALUATION OF INCREMENTAL REDUNDANCY TECHNIQUE FOR EFFECTIVE RATE ADAPTATION IN 802,11 WIRELESS NETWORKS.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2007/2008
Autore:
KOCI NEDA
Titolo: DESIGN AND EVALUATION OF INCREMENTAL REDUNDANCY TECHNIQUE FOR EFFECTIVE RATE ADAPTATION IN 802,11 WIRELESS NETWORKS. Relatore: LO CIGNO RENATO ANTONIO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN81 Richiedi la consultazione |
KOOLWAL ROHIN, A COMPUTATIONAL INVESTIGATION OF THE INPUT-OUTPUT CHARACTERISTICS OF INITIAL STAGES IN THE EGFR SIGNALLING CASCADE USING A RULE-BASED MODELING APPROACH.,
Rel. QUAGLIA PAOLA,
AA 2008/2009
Autore:
KOOLWAL ROHIN
Titolo: A COMPUTATIONAL INVESTIGATION OF THE INPUT-OUTPUT CHARACTERISTICS OF INITIAL STAGES IN THE EGFR SIGNALLING CASCADE USING A RULE-BASED MODELING APPROACH. Relatore: QUAGLIA PAOLA Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN159 Richiedi la consultazione |
LARCHER ROBERTO, DA BIOAMBIENTS A BETA-BINDERS CON COMPARTIMENTI.,
Rel. PRIAMI CORRADO,
AA 2005/2006
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 |
LARCHERI PAOLO, ANALISI E PROGETTO DI ALGORITMI DI SCHEDULING PER HCF 802.11E.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2004/2005
Autore:
LARCHERI PAOLO
Titolo: ANALISI E PROGETTO DI ALGORITMI DI SCHEDULING PER HCF 802.11E. Relatore: LO CIGNO RENATO ANTONIO Controrelatore: BRUNATO MAURO Anno accademico: 2004/2005 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN5 Richiedi la consultazione |
LEONG SUET MOOI, RESOURCE ALLOCATION AND ACCESS CONTROL IN A DYNAMIC PROCESS MANAGEMENT SYSTEM.,
Rel. CASATI FABIO,
AA 2008/2009
Autore:
LEONG SUET MOOI
Titolo: RESOURCE ALLOCATION AND ACCESS CONTROL IN A DYNAMIC PROCESS MANAGEMENT SYSTEM. Relatore: CASATI FABIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN114 Richiedi la consultazione |
LONGO FRANCESCA, MISURANDO IL CAMBIAMENTO: RELAZIONI TRA METRICHE E INTERVENTI SUL CODICE IN UN CASO INDUSTRIALE.,
Rel. BLANZIERI ENRICO,
AA 2006/2007
Autore:
LONGO FRANCESCA
Titolo: MISURANDO IL CAMBIAMENTO: RELAZIONI TRA METRICHE E INTERVENTI SUL CODICE IN UN CASO INDUSTRIALE. Relatore: BLANZIERI ENRICO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN54 Richiedi la consultazione |
MAGLIOCCHETTI DANIELE, A MOBILE APPROACH TO 3D TERRAIN VISUALIZATION ON ANDROID DEVICES. UN APPROCCIO MOBILE ALLA VISUALIZZAZIONE DI TERRENI 3D SU DISPOSITIVI ANDROID,
Rel. DE AMICIS RAFFAELE,
AA 2008/2009
Autore:
MAGLIOCCHETTI DANIELE
Titolo: A MOBILE APPROACH TO 3D TERRAIN VISUALIZATION ON ANDROID DEVICES. UN APPROCCIO MOBILE ALLA VISUALIZZAZIONE DI TERRENI 3D SU DISPOSITIVI ANDROID Relatore: DE AMICIS RAFFAELE Correlatore: DE NATALE FRANCESCO Controrelatore: MARCHESE MAURIZIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN133 Richiedi la consultazione |
MAHBUB NAHID-E-, COLLABORATIVE PROCESSES MODELLING IN MOKI,
Rel. BOUQUET PAOLO,
AA 2008/2009
Autore:
MAHBUB NAHID-E-
Titolo: COLLABORATIVE PROCESSES MODELLING IN MOKI Relatore: BOUQUET PAOLO Correlatore: SERAFINI LUCIANO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN149 |
MAHMUD HASAN, A DESIGN OF A SYSTEM FOR ASSESSMENT AND REHABILITATION OF COGNITIVE DEFICITS.,
Rel. GIUNCHIGLIA FAUSTO,
AA 2008/2009
Autore:
MAHMUD HASAN
Titolo: A DESIGN OF A SYSTEM FOR ASSESSMENT AND REHABILITATION OF COGNITIVE DEFICITS. Relatore: GIUNCHIGLIA FAUSTO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN139 Richiedi la consultazione |
MALFATTI DANIELA, A META-MODEL FOR QOS-AWARE SERVICE COMPOSITIONS. UN METAMODELLO PER COMPOSIZIONI DI SERVIZI CON SUPPORTO ALLA QOS.,
Rel. GIORGINI PAOLO,
AA 2006/2007
Autore:
MALFATTI DANIELA
Titolo: A META-MODEL FOR QOS-AWARE SERVICE COMPOSITIONS. UN METAMODELLO PER COMPOSIZIONI DI SERVIZI CON SUPPORTO ALLA QOS. Relatore: GIORGINI PAOLO Secondo Correlatore: AIELLO MARCO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN47 Richiedi la consultazione |
MANCIOPPI MICHELE, THE FEDERATION SYSTEM: SERVICE BROKERING THE PEER-TO-PEER WAY. IL FEDERATION SYSTEM: SERVICE BROKERING SU BASE PEER TO PEER,
Rel. AIELLO MARCO,
AA 2005/2006
Autore:
MANCIOPPI MICHELE
Titolo: THE FEDERATION SYSTEM: SERVICE BROKERING THE PEER-TO-PEER WAY. IL FEDERATION SYSTEM: SERVICE BROKERING SU BASE PEER TO PEER Relatore: AIELLO MARCO Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN20 Richiedi la consultazione |
MANERIKAR NISHAD DILIP, INTERACTIONS BETWEEN EVOLUTION AND LEARNING.,
Rel. MARCHESE MAURIZIO,
AA 2007/2008
Autore:
MANERIKAR NISHAD DILIP
Titolo: INTERACTIONS BETWEEN EVOLUTION AND LEARNING. Relatore: MARCHESE MAURIZIO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN80 Richiedi la consultazione |
MANICA NICOLA, A PREDICTABLE MECHANISM FOR SCHEDULING DEVICE DRIVERS IN LINUX.,
Rel. PALOPOLI LUIGI,
AA 2007/2008
Autore:
MANICA NICOLA
Titolo: A PREDICTABLE MECHANISM FOR SCHEDULING DEVICE DRIVERS IN LINUX. Relatore: PALOPOLI LUIGI Correlatore: ABENI LUCA Controrelatore: LO CIGNO RENATO ANTONIO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN110 Richiedi la consultazione |
MANICA ANDREA, KMLCHART: ANALISI, PROGETTAZIONE E SVILUPPO DI UNO STRUMENTO PER LA REALIZZAZIONE DI GRAFICI,
Rel. BLANZIERI ENRICO,
AA 2007/2008
Autore:
MANICA ANDREA
Titolo: KMLCHART: ANALISI, PROGETTAZIONE E SVILUPPO DI UNO STRUMENTO PER LA REALIZZAZIONE DI GRAFICI Relatore: BLANZIERI ENRICO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN71 Richiedi la consultazione |
MARCON LUCIANO, PERFORMANCE ANALYSIS OF BIOCHEMICAL SYSTEM SIMULATIONS. EXTENDING DIZZY: A CHEMICAL STOCHASTIC SIMULATOR.,
Rel. QUAGLIA PAOLA,
AA 2006/2007
Autore:
MARCON LUCIANO
Titolo: PERFORMANCE ANALYSIS OF BIOCHEMICAL SYSTEM SIMULATIONS. EXTENDING DIZZY: A CHEMICAL STOCHASTIC SIMULATOR. Relatore: QUAGLIA PAOLA Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN36 Richiedi la consultazione |
MARTINELLI ALBERTO, GEOGRAPHIC DATA FILES (GDF): VERSO UN APPROCCIO STANDARD A SUPPORTO DELL'INTEROPERABILITÀ DEI DATI GEOGRAFICI.,
Rel. MARCHESE MAURIZIO,
AA 2005/2006
Autore:
MARTINELLI ALBERTO
Titolo: GEOGRAPHIC DATA FILES (GDF): VERSO UN APPROCCIO STANDARD A SUPPORTO DELL'INTEROPERABILITÀ DEI DATI GEOGRAFICI. Relatore: MARCHESE MAURIZIO Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN32 Richiedi la consultazione |
MASCIA FRANCO, REACTIVE SEARCH FOR COMBINATORIAL OPTIMIZATION: ALGORITHM IMPROVEMENTS AND EFFECTIVE IMPLEMENTATIONS,
Rel. BATTITI ROBERTO,
AA 2006/2007
Autore:
MASCIA FRANCO
Titolo: REACTIVE SEARCH FOR COMBINATORIAL OPTIMIZATION: ALGORITHM IMPROVEMENTS AND EFFECTIVE IMPLEMENTATIONS Relatore: BATTITI ROBERTO Controrelatore: BRUNATO MAURO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN42 Richiedi la consultazione |
MATTAREI CRISTIAN, DEFINIZIONE E SVILUPPO DI UNA TRADUZIONE FORMALE DA ALTARICA AD HYDI PER LA VERIFICA DEI SISTEMI AVIONICI.,
Rel. PALOPOLI LUIGI,
AA 2009/2010
Autore:
MATTAREI CRISTIAN
Titolo: DEFINIZIONE E SVILUPPO DI UNA TRADUZIONE FORMALE DA ALTARICA AD HYDI PER LA VERIFICA DEI SISTEMI AVIONICI. Relatore: PALOPOLI LUIGI Correlatore: CIMATTI ALESSANDRO Correlatore: BOZZANO MARCO Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN183 Richiedi la consultazione |
MATTEI ANTONIO, UNA SOLUZIONE PER EROGARE VIDEOLEZIONI SU DISPOSITIVI MOBILI: LA PIATTAFORMA LODE4IPHONE E ITUNESU.,
Rel. RONCHETTI MARCO,
AA 2009/2010
Autore:
MATTEI ANTONIO
Titolo: UNA SOLUZIONE PER EROGARE VIDEOLEZIONI SU DISPOSITIVI MOBILI: LA PIATTAFORMA LODE4IPHONE E ITUNESU. Relatore: RONCHETTI MARCO Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN179 Richiedi la consultazione |
MATTIOLI ANDREA, ANALISI DEI PROCESSI IN AMBITO DI VOTO ELETTRONICO PER LE ELEZIONI IN PROVINCIA DI TRENTO.,
Rel. GIUNCHIGLIA FAUSTO,
AA 2005/2006
Autore:
MATTIOLI ANDREA
Titolo: ANALISI DEI PROCESSI IN AMBITO DI VOTO ELETTRONICO PER LE ELEZIONI IN PROVINCIA DI TRENTO. Relatore: GIUNCHIGLIA FAUSTO Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN15 Richiedi la consultazione |
MENEGAZZI MARCO, FRONTEND JAVA PER SIMULAZIONI DI RETI DI SENSORI WIRELESS BASATE SU PARADIGMI DI DATA SHARING.,
Rel. PICCO GIAN PIETRO,
AA 2009/2010
Autore:
MENEGAZZI MARCO
Titolo: FRONTEND JAVA PER SIMULAZIONI DI RETI DI SENSORI WIRELESS BASATE SU PARADIGMI DI DATA SHARING. Relatore: PICCO GIAN PIETRO Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN176 Richiedi la consultazione |
MEREACRE ALEXANDRU, MODELING AND VERIFICATION OF TIME-INHOMOGENEAUS MARKOV CHAINS,
Rel. QUAGLIA PAOLA,
AA 2006/2007
Autore:
MEREACRE ALEXANDRU
Titolo: MODELING AND VERIFICATION OF TIME-INHOMOGENEAUS MARKOV CHAINS Relatore: QUAGLIA PAOLA Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN45 Richiedi la consultazione |
MICHNO MACIEJ, A RULE BASED APPROACH TO THE RICOGNITION OF NEWSPAPER ARTICLES. UN APPROCCIO BASATO SU REGOLE AL RICONOSCIMENTO DI ARTICOLI DI STAMPA QUOTIDIANA.,
Rel. AIELLO MARCO,
AA 2005/2006
Autore:
MICHNO MACIEJ
Titolo: A RULE BASED APPROACH TO THE RICOGNITION OF NEWSPAPER ARTICLES. UN APPROCCIO BASATO SU REGOLE AL RICONOSCIMENTO DI ARTICOLI DI STAMPA QUOTIDIANA. Relatore: AIELLO MARCO Controrelatore: SEBASTIANI ROBERTO Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN14 Richiedi la consultazione |
MORANDINI MIRKO, KNOWLEDGE LEVEL ENGINEERING OF BDI AGENTS.,
Rel. GIORGINI PAOLO,
AA 2005/2006
Autore:
MORANDINI MIRKO
Titolo: KNOWLEDGE LEVEL ENGINEERING OF BDI AGENTS. Relatore: GIORGINI PAOLO Correlatore: PENSERINI LORIS Correlatore: SUSI ANGELO Controrelatore: AIELLO MARCO Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN16 Richiedi la consultazione |
MORETTI STEFANO, THE BUSINESS ORGANIZATION MODEL.,
Rel. MYLOPOULOS JOHN,
AA 2008/2009
Autore:
MORETTI STEFANO
Titolo: THE BUSINESS ORGANIZATION MODEL. Relatore: MYLOPOULOS JOHN Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN168 Richiedi la consultazione |
MORETTO MARCO, GRAPH-BASED QUERIES OF SEMANTIC WEB INTEGRATED BIOLOGICAL DATA.,
Rel. BLANZIERI ENRICO,
AA 2009/2010
Autore:
MORETTO MARCO
Titolo: GRAPH-BASED QUERIES OF SEMANTIC WEB INTEGRATED BIOLOGICAL DATA. Relatore: BLANZIERI ENRICO Controrelatore: QUAGLIA PAOLA Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN187 Richiedi la consultazione |
MORRIS ALEXIS , SAMSON: STRONG MULTIAGENT SIMULATION OF WIRELESS SENSOR NETWORKS,
Rel. GIORGINI PAOLO,
AA 2007/2008
Autore:
MORRIS ALEXIS
Titolo: SAMSON: STRONG MULTIAGENT SIMULATION OF WIRELESS SENSOR NETWORKS Relatore: GIORGINI PAOLO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN93 Richiedi la consultazione |
MOTTIN DAVIDE, ENTITY RANKING USING CLICK-LOG INFORMATION.,
Rel. VELEGRAKIS YANNIS,
AA 2008/2009
Autore:
MOTTIN DAVIDE
Titolo: ENTITY RANKING USING CLICK-LOG INFORMATION. Relatore: VELEGRAKIS YANNIS Correlatore: PALPANAS THEMISTOKLIS Controrelatore: BOUQUET PAOLO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN166 Richiedi la consultazione |
MOVER SERGIO, A ROBUST AUTOMATA LIBRARY FOR SYMBOLIC MODEL CHECKING EXPRESSIVE TEMPORAL LOGICS.,
Rel. SEBASTIANI ROBERTO,
AA 2008/2009
Autore:
MOVER SERGIO
Titolo: A ROBUST AUTOMATA LIBRARY FOR SYMBOLIC MODEL CHECKING EXPRESSIVE TEMPORAL LOGICS. Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Correlatore: TONETTA STEFANO Controrelatore: PALOPOLI LUIGI Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN142 Richiedi la consultazione |
MUNAWAR WAQAAS, DESIGN AND IMPLEMENTATION OF ADAPTIVITY EXTENSIONS OF TINYOS.,
Rel. PICCO GIAN PIETRO,
AA 2008/2009
Autore:
MUNAWAR WAQAAS
Titolo: DESIGN AND IMPLEMENTATION OF ADAPTIVITY EXTENSIONS OF TINYOS. Relatore: PICCO GIAN PIETRO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN115 Richiedi la consultazione |
MYSORE SACHIDANANDA VINAY, LOCALIZATION AND TRACKING IN WIRELESS SENSOR NETWORKS,
Rel. MONTRESOR ALBERTO,
AA 2006/2007
Autore:
MYSORE SACHIDANANDA VINAY
Titolo: LOCALIZATION AND TRACKING IN WIRELESS SENSOR NETWORKS Relatore: MONTRESOR ALBERTO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN65 Richiedi la consultazione |
NAGARAJ DEEPA, PROJECT PLANNING-COMPARATIVE STUDY BETWEEN TRADITIONAL AND AGILE METHODOLOGIES.,
Rel. MASSACCI FABIO,
AA 2006/2007
Autore:
NAGARAJ DEEPA
Titolo: PROJECT PLANNING-COMPARATIVE STUDY BETWEEN TRADITIONAL AND AGILE METHODOLOGIES. Relatore: MASSACCI FABIO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN63 |
NARDELLI BRUNO, P2P STREAMING SYSTEMS, THE CASE OF PULSE: ANALYSIS AND IMPROVEMENTS.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2006/2007
Autore:
NARDELLI BRUNO
Titolo: P2P STREAMING SYSTEMS, THE CASE OF PULSE: ANALYSIS AND IMPROVEMENTS. Relatore: LO CIGNO RENATO ANTONIO Controrelatore: ABENI LUCA Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN61 Richiedi la consultazione |
NAVANEETHA KRISHNAN MUTHIYALU JOTHIR, A SERVICE - ORIENTED ARCHITECTURE FOR THE NEEDLE ( NEXT GENERATION SEARCH ENGINE FOR DIGITAL LIBRARIES) MULTIMODAL SEARCH ENGINE.,
Rel. RONCHETTI MARCO,
AA 2006/2007
Autore:
NAVANEETHA KRISHNAN MUTHIYALU JOTHIR
Titolo: A SERVICE - ORIENTED ARCHITECTURE FOR THE NEEDLE ( NEXT GENERATION SEARCH ENGINE FOR DIGITAL LIBRARIES) MULTIMODAL SEARCH ENGINE. Relatore: RONCHETTI MARCO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN38 Richiedi la consultazione |
NICOLOSO FEDERICO, SIP BASED VOIP SYSTEMS - SECURITY ON VOIP CALLS.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2008/2009
Autore:
NICOLOSO FEDERICO
Titolo: SIP BASED VOIP SYSTEMS - SECURITY ON VOIP CALLS. Relatore: LO CIGNO RENATO ANTONIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN172 Richiedi la consultazione |
OOI WEN FONG, IN SILICO PREDICTION OF IMBALANCES OF TRANSLATIONAL CONTROL PATHWAYS IN NERVOUS SYSTEM TUMORS.,
Rel. QUATTRONE ALESSANDRO,
AA 2007/2008
Autore:
OOI WEN FONG
Titolo: IN SILICO PREDICTION OF IMBALANCES OF TRANSLATIONAL CONTROL PATHWAYS IN NERVOUS SYSTEM TUMORS. Relatore: QUATTRONE ALESSANDRO Controrelatore: BLANZIERI ENRICO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN85 Richiedi la consultazione |
PAJA ELDA, MODELING DESIGN PATTERNS WITH DESCRIPTION LOGICS.,
Rel. MYLOPOULOS JOHN,
AA 2009/2010
Autore:
PAJA ELDA
Titolo: MODELING DESIGN PATTERNS WITH DESCRIPTION LOGICS. Relatore: MYLOPOULOS JOHN Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN180 Richiedi la consultazione |
PALMISANO ALIDA, FORMAL MODELS OF EXAMPLES OF BIOLOGICAL SYNTHESIS AND SIGNAL TRANSDUCTION PATHWAYS.,
Rel. QUAGLIA PAOLA,
AA 2005/2006
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 |
PEDROLLI MICHELE, SIMULATION OF P2PTV SYSTEMS WITH CHURN.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2008/2009
Autore:
PEDROLLI MICHELE
Titolo: SIMULATION OF P2PTV SYSTEMS WITH CHURN. Relatore: LO CIGNO RENATO ANTONIO Controrelatore: MONTRESOR ALBERTO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN165 Richiedi la consultazione |
PENG TAO, PINKS: A REAL-TIME APPLICATION FOR REMOTE HEALTHCARE.,
Rel. CASATI FABIO,
AA 2008/2009
Autore:
PENG TAO
Titolo: PINKS: A REAL-TIME APPLICATION FOR REMOTE HEALTHCARE. Relatore: CASATI FABIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN150 Richiedi la consultazione |
PERILLO MIRKO, DALLE NORME AGLI ALGORITMI: METODOLOGIA E STRUMENTI APPLICATI AL VOTO ELETTRONICO,
Rel. GIUNCHIGLIA FAUSTO,
AA 2006/2007
Autore:
PERILLO MIRKO
Titolo: DALLE NORME AGLI ALGORITMI: METODOLOGIA E STRUMENTI APPLICATI AL VOTO ELETTRONICO Relatore: GIUNCHIGLIA FAUSTO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN34 Richiedi la consultazione |
PETTENI PIETRO, NETWORK CODING: STUDY AND ANALYSIS OF PRINCIPLES AND APPLICATIONS.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2007/2008
Autore:
PETTENI PIETRO
Titolo: NETWORK CODING: STUDY AND ANALYSIS OF PRINCIPLES AND APPLICATIONS. Relatore: LO CIGNO RENATO ANTONIO Controrelatore: BRUNATO MAURO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN105 Richiedi la consultazione |
PIETROBELLI DANIELE, A SYNTHETIC BIOLOGY WORKBENCH FOR DROSOPHILA.,
Rel. BLANZIERI ENRICO,
AA 2008/2009
Autore:
PIETROBELLI DANIELE
Titolo: A SYNTHETIC BIOLOGY WORKBENCH FOR DROSOPHILA. Relatore: BLANZIERI ENRICO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN160 Richiedi la consultazione |
PILLONI MICHELE, TECNICHE DI RAFFINAMENTO PER L'ESTRAZIONE DI PROCESSI DI BUSINESS DA APPLICAZIONI WEB.,
Rel. CASATI FABIO,
AA 2008/2009
Autore:
PILLONI MICHELE
Titolo: TECNICHE DI RAFFINAMENTO PER L'ESTRAZIONE DI PROCESSI DI BUSINESS DA APPLICAZIONI WEB. Relatore: CASATI FABIO Correlatore: MARCHETTO ALESSANDRO Controrelatore: MARCHESE MAURIZIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN163 Richiedi la consultazione |
POMPERMAIER FLAVIO, ACCURATE ESTIMATION OF RESIDUAL LIFETIME IN WSNS.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2007/2008
Autore:
POMPERMAIER FLAVIO
Titolo: ACCURATE ESTIMATION OF RESIDUAL LIFETIME IN WSNS. Relatore: LO CIGNO RENATO ANTONIO Controrelatore: ABENI LUCA Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN100 Richiedi la consultazione |
POPLETEEV ANDREI, SUPPORTING PCR-RELATED ACTIVITY WITH IMPLICIT CULTURE,
Rel. BLANZIERI ENRICO,
AA 2005/2006
Autore:
POPLETEEV ANDREI
Titolo: SUPPORTING PCR-RELATED ACTIVITY WITH IMPLICIT CULTURE Relatore: BLANZIERI ENRICO Controrelatore: QUATTRONE ALESSANDRO Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN29 Richiedi la consultazione |
PRATO ANDREA, ANALISI SEMANTICA ESPLICITA BASATA SU WIKIPEDIA: ESTENSIONI CON MULTIWORDS ED ALTRI STRUMENTI.,
Rel. RONCHETTI MARCO,
AA 2008/2009
Autore:
PRATO ANDREA
Titolo: ANALISI SEMANTICA ESPLICITA BASATA SU WIKIPEDIA: ESTENSIONI CON MULTIWORDS ED ALTRI STRUMENTI. Relatore: RONCHETTI MARCO Controrelatore: MOSCHITTI ALESSANDRO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN143 Richiedi la consultazione |
PRESA ANDREA, ADVANCED ONTOLOGY EDITING AND ANNOTATION USING STATIC AND DYNAMIC SLOTS.,
Rel. VELEGRAKIS YANNIS,
AA 2007/2008
Autore:
PRESA ANDREA
Titolo: ADVANCED ONTOLOGY EDITING AND ANNOTATION USING STATIC AND DYNAMIC SLOTS. Relatore: VELEGRAKIS YANNIS Controrelatore: PALPANAS THEMISTOKLIS Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN96 Richiedi la consultazione |
QIAO MU, JPEG 2000 REGION OF INTEREST ENCODING IN BROADCAST APPLICATIONS.,
Rel. DE NATALE FRANCESCO,
AA 2009/2010
Autore:
QIAO MU
Titolo: JPEG 2000 REGION OF INTEREST ENCODING IN BROADCAST APPLICATIONS. Relatore: DE NATALE FRANCESCO Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN181 Richiedi la consultazione |
RAGHAVAN KRISHNA PRASAD, A SERVICE ORIENTATION ROADMAP FOR FINANCIAL INSTITUTION: MOVING A TRADITIONAL DEPARTMENTAL IT.,
Rel. CASATI FABIO,
AA 2006/2007
Autore:
RAGHAVAN KRISHNA PRASAD
Titolo: A SERVICE ORIENTATION ROADMAP FOR FINANCIAL INSTITUTION: MOVING A TRADITIONAL DEPARTMENTAL IT. Relatore: CASATI FABIO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN58 Richiedi la consultazione |
RALLO PAOLO, USING EXECUTION TRACES TO INFER THE TEMPORAL BEHAVIOUR OF REAL-TIME TASK SETS.,
Rel. ABENI LUCA,
AA 2008/2009
Autore:
RALLO PAOLO
Titolo: USING EXECUTION TRACES TO INFER THE TEMPORAL BEHAVIOUR OF REAL-TIME TASK SETS. Relatore: ABENI LUCA Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN151 Richiedi la consultazione |
RAMADIAN YUSI, SCHEDULING VERIFICATION AND SENSITIVITY ANALYSIS USING MATHSAT.,
Rel. PALOPOLI LUIGI,
AA 2006/2007
Autore:
RAMADIAN YUSI
Titolo: SCHEDULING VERIFICATION AND SENSITIVITY ANALYSIS USING MATHSAT. Relatore: PALOPOLI LUIGI Controrelatore: SEBASTIANI ROBERTO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN51 Richiedi la consultazione |
RAUNIYAR PRAMOD, FYF (FIT YOUR FEET) PROJECT.,
Rel. MONTRESOR ALBERTO,
AA 2008/2009
Autore:
RAUNIYAR PRAMOD
Titolo: FYF (FIT YOUR FEET) PROJECT. Relatore: MONTRESOR ALBERTO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN124 Richiedi la consultazione |
RIZ SILVANO, DESIGN AND IMPLEMENTATION OF A TRUST AND REPUTATION SERVICE FOR GRIDS.,
Rel. CRISPO BRUNO,
AA 2008/2009
Autore:
RIZ SILVANO
Titolo: DESIGN AND IMPLEMENTATION OF A TRUST AND REPUTATION SERVICE FOR GRIDS. Relatore: CRISPO BRUNO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN123 Richiedi la consultazione |
RIZANO TIZAR, MULTIPLE PEOPLE DETECTION AND TRACKING SYSTEM FOR STEREO VIDEO SENSOR.,
Rel. PALOPOLI LUIGI,
AA 2006/2007
Autore:
RIZANO TIZAR
Titolo: MULTIPLE PEOPLE DETECTION AND TRACKING SYSTEM FOR STEREO VIDEO SENSOR. Relatore: PALOPOLI LUIGI Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN57 Richiedi la consultazione |
RIZZI VERONICA, A PEER TO PEER SIMULATION ENVIRONMENT FOR EMERGENCY RESPONSE.,
Rel. MARCHESE MAURIZIO,
AA 2007/2008
Autore:
RIZZI VERONICA
Titolo: A PEER TO PEER SIMULATION ENVIRONMENT FOR EMERGENCY RESPONSE. Relatore: MARCHESE MAURIZIO Controrelatore: GIUNCHIGLIA FAUSTO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN103 Richiedi la consultazione |
ROMANEL ALESSANDRO, UNA MACCHINA ASTRATTA STOCASTICA PER BETA BINDERS,
Rel. PRIAMI CORRADO,
AA 2004/2005
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 |
RUSSO ALESSANDRO, SIMULATION AND ANALYSIS OF "INTERLEAVE PROTOCOLS" FOR DISTRIBUTING VIDEO STREAMING IN PEER-TO-PEER SYSTEMS,
Rel. LO CIGNO RENATO ANTONIO,
AA 2006/2007
Autore:
RUSSO ALESSANDRO
Titolo: SIMULATION AND ANALYSIS OF "INTERLEAVE PROTOCOLS" FOR DISTRIBUTING VIDEO STREAMING IN PEER-TO-PEER SYSTEMS Relatore: LO CIGNO RENATO ANTONIO Controrelatore: MONTRESOR ALBERTO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN70 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
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 |
SANKARANARAYANAN DIVYA, ALGEBRAIC TOOLS FOR PERFORMANCE METRIC REMAPPING.,
Rel. MARCHESE MAURIZIO,
AA 2008/2009
Autore:
SANKARANARAYANAN DIVYA
Titolo: ALGEBRAIC TOOLS FOR PERFORMANCE METRIC REMAPPING. Relatore: MARCHESE MAURIZIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN152 Richiedi la consultazione |
SANTUARI ALESSANDRO, NUOVE TECNICHE DI RAGIONAMENTO AUTOMATICO PER TEORIE LOGICHE COMBINATE,
Rel. SEBASTIANI ROBERTO,
AA 2004/2005
Autore:
SANTUARI ALESSANDRO
Titolo: NUOVE TECNICHE DI RAGIONAMENTO AUTOMATICO PER TEORIE LOGICHE COMBINATE Relatore: SEBASTIANI ROBERTO Controrelatore: AIELLO MARCO Anno accademico: 2004/2005 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN11 Richiedi la consultazione |
SANTUARI LUCA, STOCHASTIC AND DETERMINISTIC ANALYSIS OF ROBUSTNESS OF BIOLOGICAL PATHWAYS.,
Rel. PRIAMI CORRADO,
AA 2006/2007
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 |
SCALISI SILVIA, PHDSEER: A SUPERVISED WEB MINING ENGINE FOR DOMAIN-SPECIFIC INFORMATION RETRIEVAL.,
Rel. BRUNATO MAURO,
AA 2009/2010
Autore:
SCALISI SILVIA
Titolo: PHDSEER: A SUPERVISED WEB MINING ENGINE FOR DOMAIN-SPECIFIC INFORMATION RETRIEVAL. Relatore: BRUNATO MAURO Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN190 Richiedi la consultazione |
SCHIVO STEFANO, ESTENSIONE DI BETA-BINDERS CON COMPARTIMENTI ANNIDABILI.,
Rel. PRIAMI CORRADO,
AA 2005/2006
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 |
SEGATA NICOLA, BETA BINDERS AND PI-CALCOLUS APPROACHES FOR QUANTITATIVE MODELLING OF BIOLOGICAL PATHWAYS,
Rel. PRIAMI CORRADO,
AA 2005/2006
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 |
SEVEGNANI MICHELE, IMPLEMENTING STOCHASTICALLY-TIMED COWS FOR THE PRIMS PROBABILISTIC MODEL CHECKER.,
Rel. QUAGLIA PAOLA,
AA 2007/2008
Autore:
SEVEGNANI MICHELE
Titolo: IMPLEMENTING STOCHASTICALLY-TIMED COWS FOR THE PRIMS PROBABILISTIC MODEL CHECKER. Relatore: QUAGLIA PAOLA Controrelatore: MARCHESE MAURIZIO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN78 Richiedi la consultazione |
SGORLON STEFANO, A SAT-BASED TOOL FOR SOLVING CONFIGURATION PROBLEMS.,
Rel. SEBASTIANI ROBERTO,
AA 2007/2008
Autore:
SGORLON STEFANO
Titolo: A SAT-BASED TOOL FOR SOLVING CONFIGURATION PROBLEMS. Relatore: SEBASTIANI ROBERTO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN101 Richiedi la consultazione |
SHEIKH ADIL AMJAD ASHRAF, A ROUTING PROTOCOL FOR FINE-GRAINED SOFTWARE RECONFIGURATION FOR SENSOR NETWORKS,
Rel. PICCO GIAN PIETRO,
AA 2006/2007
Autore:
SHEIKH ADIL AMJAD ASHRAF
Titolo: A ROUTING PROTOCOL FOR FINE-GRAINED SOFTWARE RECONFIGURATION FOR SENSOR NETWORKS Relatore: PICCO GIAN PIETRO Correlatore: PALOPOLI LUIGI Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN44 Richiedi la consultazione |
SHUKLA AMBAR, MAPPING THE EDINBURGH PATHWAY NOTATION TO THE PERFORMANCE EVALUATION PROCESS ALGEBRA.,
Rel. PRIAMI CORRADO,
AA 2006/2007
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 |
SOI STEFANO, ENABLING UNIVERSAL INTEGRATION IN MASHART: COMPONENTING SERVICES AND USER INTEFACES.,
Rel. CASATI FABIO,
AA 2008/2009
Autore:
SOI STEFANO
Titolo: ENABLING UNIVERSAL INTEGRATION IN MASHART: COMPONENTING SERVICES AND USER INTEFACES. Relatore: CASATI FABIO Controrelatore: D'ANDREA VINCENZO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN134 Richiedi la consultazione |
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
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 |
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
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 |
STENICO CRISTIAN, TECHNIQUES FOR COST-OPTIMIZATION IN SATISFIABILITY MODULO THEORY.,
Rel. SEBASTIANI ROBERTO,
AA 2008/2009
Autore:
STENICO CRISTIAN
Titolo: TECHNIQUES FOR COST-OPTIMIZATION IN SATISFIABILITY MODULO THEORY. Relatore: SEBASTIANI ROBERTO Controrelatore: PALOPOLI LUIGI Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN167 Richiedi la consultazione |
STEVOVIC JOVAN, INTEROPERABILITÀ SOCIO-SANITARIA IN TRENTINO: ANALISI, PROGETTAZIONE E SVILUPPO.,
Rel. CASATI FABIO,
AA 2008/2009
Autore:
STEVOVIC JOVAN
Titolo: INTEROPERABILITÀ SOCIO-SANITARIA IN TRENTINO: ANALISI, PROGETTAZIONE E SVILUPPO. Relatore: CASATI FABIO Controrelatore: D'ANDREA VINCENZO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN169 Richiedi la consultazione |
STROBBE MICHELA, USO DI CODIFICA GRAY IN SYMBOLIC MODEL CHECKING.,
Rel. SEBASTIANI ROBERTO,
AA 2006/2007
Autore:
STROBBE MICHELA
Titolo: USO DI CODIFICA GRAY IN SYMBOLIC MODEL CHECKING. Relatore: SEBASTIANI ROBERTO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN69 Richiedi la consultazione |
SULTAN SALYS SARAH, MIXUP EDITOR: A DESIGN TOOL FOR THE RAPID INTEGRATION OF PRESENTATION COMPONENTS.,
Rel. CASATI FABIO,
AA 2006/2007
Autore:
SULTAN SALYS SARAH
Titolo: MIXUP EDITOR: A DESIGN TOOL FOR THE RAPID INTEGRATION OF PRESENTATION COMPONENTS. Relatore: CASATI FABIO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN37 Richiedi la consultazione |
TABARELLI LUCA, IMPLEMENTAZIONE DEL PROTOCOLLO 802.11N NEL SIMULATORE NS-2.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2005/2006
Autore:
TABARELLI LUCA
Titolo: IMPLEMENTAZIONE DEL PROTOCOLLO 802.11N NEL SIMULATORE NS-2. Relatore: LO CIGNO RENATO ANTONIO Anno accademico: 2005/2006 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN13 Richiedi la consultazione |
TAMBOSI LINDA, A COMPUTATIONAL NEUROSCIENCE APPROACH TO INTELLIGENT SENSOR NETWORKS.,
Rel. BLANZIERI ENRICO,
AA 2006/2007
Autore:
TAMBOSI LINDA
Titolo: A COMPUTATIONAL NEUROSCIENCE APPROACH TO INTELLIGENT SENSOR NETWORKS. Relatore: BLANZIERI ENRICO Controrelatore: BRUNATO MAURO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN33 Richiedi la consultazione |
TANTONO FERRY IRAWAN, A PLATFORM FOR HOSTED UNIVERSAL INTEGRATION.,
Rel. CASATI FABIO,
AA 2007/2008
Autore:
TANTONO FERRY IRAWAN
Titolo: A PLATFORM FOR HOSTED UNIVERSAL INTEGRATION. Relatore: CASATI FABIO Controrelatore: MARCHESE MAURIZIO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN73 Richiedi la consultazione |
TESO STEFANO, A COMBINED ON/OFF LATTICE APPROACH FOR PROTEIN STRUCTURE PREDICTION.,
Rel. PASSERINI ANDREA,
AA 2008/2009
Autore:
TESO STEFANO
Titolo: A COMBINED ON/OFF LATTICE APPROACH FOR PROTEIN STRUCTURE PREDICTION. Relatore: PASSERINI ANDREA Controrelatore: BATTITI ROBERTO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN136 Richiedi la consultazione |
TO TU CUONG, VISUALIZATION OF LARGE PROCESS MODELS.,
Rel. CASATI FABIO,
AA 2008/2009
Autore:
TO TU CUONG
Titolo: VISUALIZATION OF LARGE PROCESS MODELS. Relatore: CASATI FABIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN154 Richiedi la consultazione |
TOAI TEFO JAMES, ASYNCHRONOUS SERVICE INTERACTIONS IN ADVANCED MASHUP APPLICATIONS.,
Rel. CASATI FABIO,
AA 2008/2009
Autore:
TOAI TEFO JAMES
Titolo: ASYNCHRONOUS SERVICE INTERACTIONS IN ADVANCED MASHUP APPLICATIONS. Relatore: CASATI FABIO Controrelatore: D'ANDREA VINCENZO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN153 |
TOMASI BARBARA, IMPROVING THE DESIGN OF SOFTWARE AGENTS BASED ON THE EVALUATION OF RUN-TIME PREFERENCES.,
Rel. GIORGINI PAOLO,
AA 2007/2008
Autore:
TOMASI BARBARA
Titolo: IMPROVING THE DESIGN OF SOFTWARE AGENTS BASED ON THE EVALUATION OF RUN-TIME PREFERENCES. Relatore: GIORGINI PAOLO Controrelatore: BLANZIERI ENRICO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN108 Richiedi la consultazione |
TOMASI ROBERTO, DESIGN AND VALIDATION OF A LOCATION AWARE MIDDLEWARE FOR A URBAN WI-FI ENVIROMENT.,
Rel. BRUNATO MAURO,
AA 2008/2009
Autore:
TOMASI ROBERTO
Titolo: DESIGN AND VALIDATION OF A LOCATION AWARE MIDDLEWARE FOR A URBAN WI-FI ENVIROMENT. Relatore: BRUNATO MAURO Controrelatore: LO CIGNO RENATO ANTONIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN120 Richiedi la consultazione |
TOMASI SILVIA, LOGIC PROGRAMMING TECHNIQUES IN MDD: APPLICATION TO CODE GENERATION AND FORMAL VERIFICATION OF STATECHARTS.,
Rel. SEBASTIANI ROBERTO,
AA 2008/2009
Autore:
TOMASI SILVIA
Titolo: LOGIC PROGRAMMING TECHNIQUES IN MDD: APPLICATION TO CODE GENERATION AND FORMAL VERIFICATION OF STATECHARTS. Relatore: SEBASTIANI ROBERTO Correlatore: TIELLA ROBERTO Controrelatore: PALOPOLI LUIGI Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN132 |
TRAN LE MINH SANG, A SIMULATION FRAMEWORK FOR SELF-RECONFIGURABLE SOCIO-TECHNICAL SYSTEMS.,
Rel. GIORGINI PAOLO,
AA 2008/2009
Autore:
TRAN LE MINH SANG
Titolo: A SIMULATION FRAMEWORK FOR SELF-RECONFIGURABLE SOCIO-TECHNICAL SYSTEMS. Relatore: GIORGINI PAOLO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN156 Richiedi la consultazione |
TRANQUILLINI STEFANO, MARCOFLOW: EXTENDING SERVICE ORCHESTRATION TO THE PRESENTATION LAYER.,
Rel. CASATI FABIO,
AA 2008/2009
Autore:
TRANQUILLINI STEFANO
Titolo: MARCOFLOW: EXTENDING SERVICE ORCHESTRATION TO THE PRESENTATION LAYER. Relatore: CASATI FABIO Controrelatore: MARCHESE MAURIZIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN171 Richiedi la consultazione |
TRINUGROHO DAFFERIANTO, A SIP-BASED FRAMEWORK FOR CONTEXT-AWARE SERVICE PROVISIONING IN CONVERGING ENVIROMENTS.,
Rel. LO CIGNO RENATO ANTONIO,
AA 2009/2010
Autore:
TRINUGROHO DAFFERIANTO
Titolo: A SIP-BASED FRAMEWORK FOR CONTEXT-AWARE SERVICE PROVISIONING IN CONVERGING ENVIROMENTS. Relatore: LO CIGNO RENATO ANTONIO Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN182 |
TRIPATHI VEENA, EXPERIMENTAL ASSESSMENT OF THE CBANK TEST CASE PRIORITIZATION TECHNIQUE: FACING PARAMETER-TUNING AND SCALABILITY.,
Rel. MONTRESOR ALBERTO,
AA 2006/2007
Autore:
TRIPATHI VEENA
Titolo: EXPERIMENTAL ASSESSMENT OF THE CBANK TEST CASE PRIORITIZATION TECHNIQUE: FACING PARAMETER-TUNING AND SCALABILITY. Relatore: MONTRESOR ALBERTO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN52 |
TURRINI MATTEO, A WEB APPLICATION PROTOTYPE FOR ACADEMIC ASSESSMENT.,
Rel. CASATI FABIO,
AA 2007/2008
Autore:
TURRINI MATTEO
Titolo: A WEB APPLICATION PROTOTYPE FOR ACADEMIC ASSESSMENT. Relatore: CASATI FABIO Controrelatore: MARCHESE MAURIZIO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN84 Richiedi la consultazione |
UWADIA IFEOMA TEMITAYO, A SUPPORTING ENVIRONMENT FOR REVIEW MANAGEMENT SYSTEMS ANALYSIS IN SCIENTIFIC PUBLICATION.,
Rel. MARCHESE MAURIZIO,
AA 2007/2008
Autore:
UWADIA IFEOMA TEMITAYO
Titolo: A SUPPORTING ENVIRONMENT FOR REVIEW MANAGEMENT SYSTEMS ANALYSIS IN SCIENTIFIC PUBLICATION. Relatore: MARCHESE MAURIZIO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN74 Richiedi la consultazione |
VACCARI LORENZINO, STUDIO E SVILUPPO DI SERVIZI TERRITORIALI BASATI SU WEB SERVICES.,
Rel. MARCHESE MAURIZIO,
AA 2003/2004
Autore:
VACCARI LORENZINO
Titolo: STUDIO E SVILUPPO DI SERVIZI TERRITORIALI BASATI SU WEB SERVICES. Relatore: MARCHESE MAURIZIO Controrelatore: D'ANDREA VINCENZO Anno accademico: 2003/2004 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN3 Richiedi la consultazione |
VALENTINI ROBERTO, KERNEL BASATI SU COEFFICIENTI DI CORRELAZIONE PER LA CLASSIFICAZIONE DI MICROARRAY.,
Rel. BLANZIERI ENRICO,
AA 2006/2007
Autore:
VALENTINI ROBERTO
Titolo: KERNEL BASATI SU COEFFICIENTI DI CORRELAZIONE PER LA CLASSIFICAZIONE DI MICROARRAY. Relatore: BLANZIERI ENRICO Controrelatore: QUATTRONE ALESSANDRO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN56 Richiedi la consultazione |
VESCOVI MICHELE, AUTOMATIC REASONING IN MODAL LOGIC VIA SAT,
Rel. SEBASTIANI ROBERTO,
AA 2004/2005
Autore:
VESCOVI MICHELE
Titolo: AUTOMATIC REASONING IN MODAL LOGIC VIA SAT Relatore: SEBASTIANI ROBERTO Controrelatore: AIELLO MARCO Anno accademico: 2004/2005 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN12 Richiedi la consultazione |
VIANNEI VALERIA, MODELING USER INTERFACE ORCHESTRATIONS: CONCEPTS, LANGUAGE AND TOOL.,
Rel. CASATI FABIO,
AA 2008/2009
Autore:
VIANNEI VALERIA
Titolo: MODELING USER INTERFACE ORCHESTRATIONS: CONCEPTS, LANGUAGE AND TOOL. Relatore: CASATI FABIO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN161 Richiedi la consultazione |
ZACHARIA TOMS, AN EVENT-DRIVEN ARCHITECTURE FOR BAM.,
Rel. CASATI FABIO,
AA 2006/2007
Autore:
ZACHARIA TOMS
Titolo: AN EVENT-DRIVEN ARCHITECTURE FOR BAM. Relatore: CASATI FABIO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN59 Richiedi la consultazione |
ZANCARLI DAVID, A METHOD AND A PLATFORM FOR INTEGRATION AT PRESENTATION LEVEL,
Rel. CASATI FABIO,
AA 2007/2008
Autore:
ZANCARLI DAVID
Titolo: A METHOD AND A PLATFORM FOR INTEGRATION AT PRESENTATION LEVEL Relatore: CASATI FABIO Controrelatore: D'ANDREA VINCENZO Anno accademico: 2007/2008 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN104 Richiedi la consultazione |
ZANDONATI ROBERTO, PROGETTO ED IMPLEMENTAZIONE DI UNA SOCIAL NETWORK DISTRIBUITA.,
Rel. MONTRESOR ALBERTO,
AA 2009/2010
Autore:
ZANDONATI ROBERTO
Titolo: PROGETTO ED IMPLEMENTAZIONE DI UNA SOCIAL NETWORK DISTRIBUITA. Relatore: MONTRESOR ALBERTO Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN178 Richiedi la consultazione |
ZANOLLI MICHELE, MODELLI A RETI DI CODE DEL PROTOCOLLO MAC 802.11-,
Rel. LO CIGNO RENATO ANTONIO,
AA 2004/2005
Autore:
ZANOLLI MICHELE
Titolo: MODELLI A RETI DI CODE DEL PROTOCOLLO MAC 802.11- Relatore: LO CIGNO RENATO ANTONIO Controrelatore: BATTITI ROBERTO Anno accademico: 2004/2005 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN4 Richiedi la consultazione |
ZANON CLAUDIO, DESIGN AND TESTING OF A PEER-TO-PEER PROTOCOL FOR GROUP MEMBERSHIP,
Rel. MONTRESOR ALBERTO,
AA 2006/2007
Autore:
ZANON CLAUDIO
Titolo: DESIGN AND TESTING OF A PEER-TO-PEER PROTOCOL FOR GROUP MEMBERSHIP Relatore: MONTRESOR ALBERTO Correlatore: PICCO GIAN PIETRO Controrelatore: CRISPO BRUNO Anno accademico: 2006/2007 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN64 Richiedi la consultazione |
ZANONI MANUEL, UN'ARCHITETTURA DOMOTICA BASATA SU WS-NOTIFICATION,
Rel. AIELLO MARCO,
AA 2004/2005
Autore:
ZANONI MANUEL
Titolo: UN'ARCHITETTURA DOMOTICA BASATA SU WS-NOTIFICATION Relatore: AIELLO MARCO Controrelatore: BLANZIERI ENRICO Anno accademico: 2004/2005 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: cartaceo Segnatura: QN8 Richiedi la consultazione |
ZOLET ALESSANDRO, MOEVENT: SISTEMA MULTI-AGENTE PER L'ORGANIZZAZIONE DI EVENTI TRAMITE CELLULARE.,
Rel. GIORGINI PAOLO,
AA 2008/2009
Autore:
ZOLET ALESSANDRO
Titolo: MOEVENT: SISTEMA MULTI-AGENTE PER L'ORGANIZZAZIONE DI EVENTI TRAMITE CELLULARE. Relatore: GIORGINI PAOLO Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN155 Richiedi la consultazione |
ZOTTI PAOLO, TRUSTED COMPUTING, DIGITAL RIGHTS MANAGEMENT, RIGHTS EXPRESSION LANGUAGES E EVOLUZIONE DEL DIRITTO D'AUTORE,
Rel. ROSSATO ANDREA,
AA 2011/2012
Autore:
ZOTTI PAOLO
Titolo: TRUSTED COMPUTING, DIGITAL RIGHTS MANAGEMENT, RIGHTS EXPRESSION LANGUAGES E EVOLUZIONE DEL DIRITTO D'AUTORE Relatore: ROSSATO ANDREA Anno accademico: 2011/2012 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Segnatura: 0510D-195 Richiedi la consultazione |