Risultati

Risultati trovati 188

Dati completi Dati sintetici

Clicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo.

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Modalità di consultazione e contatti


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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile BENUZZI IVAN, SOLVING THE CHEMICAL MASTER EQUATION FOR REVERSIBLE ADHESION REACTIONS. SIMULATION OF MOLECULAR MECHANISMS OF THE LYMPHOCYTE RECRUITMENT IN INFLAMED BRAIN MICRO-VESSELS: A RELEVANT CASE STUDY., Rel. PRIAMI CORRADO, AA 2006/2007
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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile CAPPELLO IGOR, ON ENCODING BETA-BINDERS IN THE TT@ CALCULUS. SULLA CODIFICA DI BETA-BINDERS NEL CALCOLO TT@, Rel. QUAGLIA PAOLA, AA 2006/2007
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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Non consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Non consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Non consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Non consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Non consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Non consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile SPIROSKI OGNEN, MODELLING HORIZONTAL GENE TRANFER: COMPARISON OF MODELLING FRAMEWORKS APPLIED TO INVESTIGATING ANTIBIOTIC RESISTANCE IN A FLUCTUATING ENVIRONMENT., Rel. PRIAMI CORRADO, AA 2007/2008
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
Non consultabile STENICO MARCO, MODELLING MOLECULAR SYSTEMS WITH DISCRETE CONCENTRATION LEVELS IN THE CONTEXT OF PROCESS ALGEBRA PEPA: STOCHASTIC AND DETERMINISTIC INTERPRETETIANS., Rel. PRIAMI CORRADO, AA 2005/2006
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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Non consultabile 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
Consultabile 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
Consultabile 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
Non consultabile 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
Consultabile 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
Consultabile 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
Non consultabile 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
Non consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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
Consultabile 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