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