Relazione. sull'attivitça e le ricerche svolte. dalla Dott.ssa Manuela Montangero

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Relazione. sull'attivitça e le ricerche svolte. dalla Dott.ssa Manuela Montangero"

Transcript

1 Al Collegio dei Docenti Dottorato di Ricerca in Informatica, XII Ciclo, Universitça degli Studi di Salerno Corsi Relazione sull'attivitça e le ricerche svolte dalla Dott.ssa Manuela Montangero æ Corso : Introduzione al Network Programming Docenti : Dr. V. Scarano èuniversitça di Salernoè e Dr. G. Cattaneo èuniversitça di Salernoè Periodo : Maggio í Luglio 1997 Luogo : Universitça di Salerno Modalitça esame : Progetti individuali æ Corso : Truly Concurrent Models Docente : Prof. W.Wogler èuniversitça di Aughsburg, Germaniaè, Prof. P. DeGano e Dr. Priami èuniversitça di Pisaè Periodo : Aprile í Maggio 1997 Luogo : Universitça di Pisa Modalitça esame : Esercizi individuali æ Corso : Introduzione alla complessitça computazionale Docente : Dr. B. Codenotti ècnr IMC Pisaè Periodo : Maggio 1997 Luogo : Scuola Nazionale Dottorato di Bertinoro 1997 Modalitça esame : Esercizi e analisi articolo attinente in gruppo æ Corso : Sistemi distribuiti e aædabili Docenti : K. Marzullo èuniversitça di San Diego, Californiaè 1

2 Periodo : Maggio 1997 Luogo : Scuola Nazionale Dottoranto di Bertinoro 1997 Modalitça esame : Esercizi di gruppo æ Corso : Logica e teoria dei tipi Docente : Prof. A. Asperti èuniversitça di Bolognaè Periodo : Maggio 1997 Luogo : Scuola Nazionale Dottorato di Bertinoro 1997 æ Corso : Semantica denotazionale e operazionale dei linguaggi di programmazione Docente : Prof. R. De Nicola èuniversitça di Firenzeè Periodo : Ottobre 1997 Luogo : Universitça di Salerno æ Corso : Elementi di Combinatorica per Informatici Docenti : Prof. U. Vaccaro èuniversitça di Salernoè Periodo : Novembre Gennaio 1998 Luogo : Universitça di Salerno Modalitça d'esame : Esercizi individuali æ Corso : Algoritmi Avanzati Docenti : Prof. G. Persiano èuniversitça di Salernoè e Dr. V. Auletta èuniversitça di Salernoè Periodo : Febbraio-Giugno 1998 Luogo : Universitça di Salerno Modalitça d'esame : Seminario æ Corso : Security Evaluation of Cryptosystems Docenti : Prof. A. Shamir èweizmann Institute of Technology, Israeleè Durata : 8 ore Periodo : Luglio

3 Luogo : Scuola di Lipari 1998 æ Corso : Basic Cryptographic Primitives Docenti : Prof. P. Rogaway èuniversity of California, USAè e Dr. R. Gennaro èibm Research Center, Yorktown Heights, USAè Durata : 8 ore Periodo : Luglio 1998 Luogo : Scuola di Lipari 1998 Modalitça esame : Esercizi di gruppo æ Corso : Zero-Knowledge Protocols Docenti : Prof. S. Micali èm.i.t., USAè e Prof. A. De Santis èuniversitça di Salernoè Durata : 8 ore Periodo : Luglio 1998 Luogo : Scuola di Lipari 1998 Modalitça esame : Esercizi di gruppo æ Corso : Concurrency in Distributed Systems Docenti : Prof. M. Herlihy èbrown University, USAè Durata : 8 ore Periodo : Luglio 1998 Luogo : Scuola di Lipari 1998 æ Corso : Distributed Data Stractures Docente : Prof. Y. Afek ètel Aviv University, Israeleè Durata : 8 ore Periodo : Luglio 1998 Luogo : Scuola di Lipari 1998 æ Corso : Scalable Distributed Systems Docente : Prof. L. Shrira èbrandeis University e M.I.T., USAè Durata : 8 ore Periodo : Luglio 1998 Luogo : Scuola di Lipari 1998 æ Corso : Logica Fuzzy e Polivalente 3

4 Docente : Prof. G. Gerla èuniversitça di Salernoè e Prof. A. Di Nola èuniversitça di Salernoè. Periodo : Ottobre-Novembre 1998 Luogo : Universitça di Salerno æ Corso : Self-Stabilization Docenti : Prof. S. Dolev èben Gurion, Israeleè Durata : 6 ore Periodo : Giugno 1999 Luogo : Scuola di Siena 1999 æ Corso : Cryptographic Protocols Docenti : Dr. C. Dwork èibm Almaden, USAè Durata : 6 ore Periodo : Giugno 1999 Luogo : Scuola di Siena 1999 Modalitça esame : Esercizi individuali æ Corso : Locality Sensitive Distributed Computing Docenti : Prof. D. Peleg èweizmann Institute, Israeleè Durata : 6 ore Periodo : Giugno 1999 Luogo : Scuola di Siena 1999 Modalitça esame : Esercizi di gruppo æ Corso : Timed Distributed Computations Docenti : Prof. N. Santoro ècarleton University, Canadaè Durata : 6 ore Periodo : Giugno 1999 Luogo : Scuola di Siena 1999 Modalitça esame : Esercizi di gruppo æ Corso : Topics in Theoretical Computer Science Docenti : Prof. G. Persiano èuniversitça di Salernoè 4

5 Periodo : Marzo 2000 Luogo : Universitça di Salerno æ Corso : Public-Key Infrastructure Docenti : Prof. S. Micali èm.i.t.è e R. Rivest èm.i.t.è Durata : 8.5 ore Periodo : Luglio 2000 Luogo : Scuola di Lipari 2000 æ Corso : Payement Systems Docenti : Prof. M.Bellare èuc San Diego, U.S.A.è Durata : 4.5 ore Periodo : Luglio 2000 Luogo : Scuola di Lipari 2000 æ Corso : E-commerce Primitives Docenti : T. Rabin èibmè e M. Young ècertcoè Durata : 9 ore Periodo : Luglio 2000 Luogo : Scuola di Lipari 2000 Modalitça esame : Esercizi individuali æ Corso : On-Line Scheduling and Trading Docenti : Prof. A. Borodin ètoronto Universityè Durata : 7.5 ore Periodo : Luglio 2000 Luogo : Scuola di Lipari 2000 æ Corso : On-Line Learning and Prediction Docenti : Prof. A. Blum ècarnegue Mellon Universityè Durata : 7.5 ore Periodo : Luglio 2000 Luogo : Scuola di Lipari 2000 Modalitça esame : Esercizi individuali æ Corso : On-Line Routing and Search 5

6 Docenti : Prof. J. Kleinberg ècornell Universityè Durata : 7.5 ore Periodo : Luglio 2000 Luogo : Scuola di Lipari 2000 Seminari æ Approximating Total Flow Time on Parallel Machines. Seminario tenuto il 7 Marzo 1997 presso l'universitça di Salerno dal Dr. Stefano Leonardi, Universitça ëla Sapienza" di Roma. æ Visual Authentication and Identiæcation. Seminario tenuto il 19 Marzo 1997 presso l'universitça di Salerno dal Prof. Moni Naor, The Weizman Institute of Science, Israele. æ Extremal Problems under Divisibility or Intersection Constraints. Seminario tenuto il 24 Marzo 1997 presso l'universitça di Salerno dal Prof. Levon Khachatrian, Dipartimento di Matematica dell'universitça di Bielefeld ègermaniaè ed Istituto di Matematica dell'accademia Armena delle Scienze. æ Codes with Bounded Synchronization Delay. Seminario tenuto il 9 Aprile 1997 presso l'universitça di Salerno dalla Prof.ssa Veronique Bruyere, Universitça di Mons, Belgio. æ Algoritmi dinamici su graæ Seminario tenuto in Aprile 1997 presso il Plitecnico di Milano dal Prof. Giuseppe Italiano, Universitça divenezia. æ Weak Random Sources, Hitting Sets, and BPP Simulations. Seminario tenuto il 5 Giugno 1997 presso l'universitça di Salerno dal Dr. Luca Trevisan, University of Geneva, Svizzera. æ Criptographic key recovery Seminario tenuto il 25 Giugno 1997 presso l'universitça di Venezia in videoconferenza dagli USA dal Dr. Michael Willet, IBM's Cryptography Competency Center, Raleigh, USA. æ Tecniche di corruzione dello stack Seminnario tenuto il 26 Giugno 1997 presso l`universitça divenezia dal Dr. Bernaschi, IBM SEMEA. Massimo æ SET and smart cards Seminario tenuto il 27 Giugno 1997 presso l'universitça di Venezia in videoconferenza dagli USA dal Dr. Michael Willet, IBM's Cryptography Competency Center, Raleigh, USA. æ Exact Analysis of Exact Change. Seminario tenuto il 14 Luglio 1997 presso l'universitça di Salerno dal Dr. Yair Frankel, CertCo, New York, USA. 6

7 æ Interpretazione Astratta. Seminario tenuto il 15 Settembre 1997 presso l'universit`ça di Salerno dal Prof. Giorgio Levi, Universitça di Pisa. æ Veriæca di Programmi ed Interpretazione Astratta. Seminario tenuto il 16 Settembre 1997 presso l'universitça di Salerno dal Prof. Giorgio Levi, Universitça di Pisa. æ Machine Building as an Alternative to End User Programming. Seminario tenuto il 18 Settembre 1997 presso l'universitça di Salerno dal Prof. L. Bottaci, Universitça di Hull èukè. æ A 2-approximation Algorithm for Directed Multiway Cut Problem, ëj. S. Naor e L. Zosin, FOCS '97ë Seminario tenuto il 27 Maggio presso l'universitça di Salerno dalla Dott.ssa Barbara Masucci, Universitça di Salerno. æ Randomized Algorithms for Perfect Matching, ëk. Mulmuley, U. Vazirani, e V.Vazirani, Combinatorica, 1996ë. Seminario tenuto il 27 Maggio presso l'universitça di Salerno dal Dott. Paolo D'arco, Universitça di Salerno. æ The Competitive Analysis of Risk Taking with Applications to On-Line Trading, ës. al- Binali, FOCS '97ë. Seminario tenuto il 17 Giugno presso l'universitça di Salerno dalla Dott.ssa Annalisa De Bonis, Universitça di Salerno. æ On-Line Routing in All Optical Network, ëy. Bartal e S. Leonardi, ICALP '97ë. Seminario tenuto il 17 Giugno presso l'universitça di Salerno dal Dott. Ferdinando Ciclaese, Universitça di Salerno. æ On-Line Load Balancing, ëy. Azar, A. Z. Broder, e A. R. Karlin, Theoretical Computer Science n. 130, 1994ë. Seminario tenuto il 17 Giugno presso l'universitça di Salerno dal Dott. Gianluca De Marco, Universitça di Salerno. æ New Eæcient and Secure Protocols for Veriæable Signature Sharing and Other Applications Seminario tenuto l'11 Luglio 1998 nell'ambito della Scuola di Lipari dal Dott. Dario Catalano, Universitça di Catania. æ Image Density is Complete for Non-Interactive Statistical Zero-Knowledge. Seminario tenuto l'11 Luglio 1998 nell'ambito della Scuola di Lipari dal Dott. Giovanni Di Crescenzo, University of California San Diego. æ Fast and Robust Digital Stream Authentication with On Line Witnesses. Seminario tenuto l'11 Luglio 1998 nell'ambito della Scuola di Lipari dal Prof. Francesco Bergadano, Universitça ditorino. 7

8 æ Reassuring Crypto-Protocol Parties by Theorem Proving. Seminario tenuto l'11 Luglio 1998 nell'ambito della Scuola di Lipari dal Dott. Giampaolo Bella, University of Cambridge èukè. æ Determining the Majority. Seminario tenuto il 2 Novembre 1998, presso l'universitça di Salerno dal Prof. Aigner, Universitça di Berlino. æ Servizi Scalabili su Architetture Distribuite Seminario tenuto l'8 Gennaio 1999 presso l'universitça di Salerno dal Dott. æ JSEB: Uno strumento per la scalabilitça su Web Seminario tenuto il 15 Gennaio 1999 presso l'universitça di Salerno dal Dott. æ Insegnare Hypertext ed Hypermedia sul WWW Seminario tenuto il 22 Gennaio 1999 presso l'universitça di Salerno dal Dott. Martin Vittorio Vittorio Vittorio æ Recent Developments in the Theory of Codes Seminario tenuto il 22 Gennaio 1999 presso l'universitça di Salerno dal Dott.ssa Veronique Bruyere, Universitça di Mons èbelgioè. æ RPC come supporto alla progettazione ed allo sviluppo di applicazioni per la rete Seminario tenuto il 29 Gennaio 1999 presso l'universitça di Salerno dal Dott. æ La storia di un fallimento di successo: Java Seminario tenuto il 5 Febbraio 1999 presso l'universitça di Salerno dal Dott. Vittorio Vittorio æ RMI: Il supporto Java per il calcolo distribuito Seminario tenuto il 12 Febbraio 1999 presso l'universitça di Salerno dal Dott. Vittorio æ Alcune caratteristiche del linguaggio Java Seminario tenuto il 19 Febbraio 1999 presso l'universitça di Salerno dal Dott. Vittorio æ Gestire con Java l'accesso ad un Database Oracle Seminario tenuto il 26 Febbraio 1999 presso l'universitça di Salerno dal Dott. Vittorio æ Fuzzy Subgroups and Similarities Seminario tenuto l'1 Marzo 1999 presso l'universitça di Salerno dal Prof. Antonio Di Nola, Universitça di Salerno. 8

9 æ Estensione della teoria dell'uniæcazione mediante similaritça Seminario tenuto l'1 Marzo 1999 presso l'universitça di Salerno dal Prof. Antonio Di Nola, Universitça di Salerno. æ Automi non Classici Seminario tenuto l'1 Marzo 1999 presso l'universitça di Salerno dal Prof. Antonio Di Nola, Universitça di Salerno. æ RMI come protocollo di supporto per la programmazione distribuita:vizi privati e pubbliche virtçu Seminario tenuto il 16 Marzo 1999 presso l'universitça di Salerno dal Dott. Vittorio æ Kleptography: Using Cryptography against Cryprography Seminario tenuto il 26 Marzo 1999 presso l'universitça di Salerno dal Dott. Moti Yung, Columbia University e CertCo. æ Visual Cryptography using Colors Seminario tenuto il 26 Marzo 1999 presso l'universitça di Salerno dal Dott. Roberto De Prisco, Universitça di Salerno. æ Kleptography: Using Cryptography against Cryprography Seminario tenuto il 29 Marzo 1999 presso l'universitça di Salerno dal Dott. Moti Yung, Columbia University e CertCo. æ Fuzzy Logic in Control Systems: Fuzzy Logic Controllers Seminario tenuto il 31 Marzo 1999 presso l'universitça di Salerno dal Prof. Giangiacomo Gerla, Universitça di Salerno. æ Sistemi di ragionamento approssimato. Sistemi esperti fuzzy e fuzzy controller. Seminario tenuto il 31 Marzo 1999 presso l'universitça di Salerno dal Prof. Giangiacomo Gerla, Universitça di Salerno. æ Un approccio basato sulla logica fuzzy per la selezione di stereotipi usati nei sistemi ipermediali Seminario tenuto il 31 Marzo 1999 presso l'universitça di Salerno dal Prof. Giangiacomo Gerla, Universitça di Salerno. æ Database relazionali e relazioni fuzzy Seminario tenuto il 31 Marzo 1999 presso l'universitça di Salerno dal Prof. Giangiacomo Gerla, Universitça di Salerno. æ Applicazioni fuzzy su DSP Seminario tenuto il 31 Marzo 1999 presso l'universitça di Salerno dal Prof. Giangiacomo Gerla, Universitça di Salerno. æ Cenni di geometria fuzzy: aree e perimetri Seminario tenuto il 31 Marzo 1999 presso l'universitça di Salerno dal Prof. Giangiacomo Gerla, Universitça di Salerno. 9

10 æ XML e la integrazione HTML e XML Seminario tenuto il 13 Aprile 1999 presso l'universitça di Salerno dal Dott. æ Java: Il package java.awt Seminario tenuto il 21 Aprile 1999 presso l'universitça di Salerno dal Dott. Vittorio Vittorio æ List Partitions Seminario tenuto il 6 Maggio 1999 presso l'universitça di Salerno dal Prof. Pavol Hell, Simon Fraser University. æ Lower e Upper bounds on the broadcasting and gossiping time of restricted protocols Seminario tenuto il 20 Maggio 1999 presso l'universitça di Salerno dal Dott. Michele Flammini, Universitça dell'aquila. æ k-set Consensus Semianrio tenuto il 15 giugno 1999 presso l'univestitça di Salerno dal Dott. Roberto De Prisco, Univestitça di Salerno. æ Error Resilient Data Compression Seminario tenuto il 19 Luglio 1999 presso l'universitça di Salerno Prof. Brandeis University. James Storer, æ Randomness Recycling in Constant Round Private Computation Seminario tenuto il 23 Settembre 1999 presso l'universitça di Salerno dal Dott. Clemente Galdi, Universitça di Salerno. æ Nonlinear Pseudorandom Number Generators, Seminario tenuto il 19 Gennaio 2000 presso l'universitça di Salerno dal Prof. I. Shparlinski, Macquarie University, Australia. æ 7 Barriers to Internet Use and Quick Description of a Small US ISP, Seminario tenuto il 17 Marzo 2000 presso l'universitça di Salerno dal Prof. J. Sechrest. æ Linear KeyíPredistribution Schemes. Seminario tenuto il 5 Luglio 2000 presso l'universitça di Salerno, dal Prof. Carles Padrço, Universitat Politecnica de Catalunya. æ Quantum Computing í Quantum Automata, Seminario tenuto il 15 Settembre 2000 dal Prof. J. Gruska. Convegni æ CIAC97 Conferenza Italiana di algoritmi e complessitça Conferenza tenutasi a Roma presso l'universitça ëla Sapienza" nel Marzo

11 æ Compression and Complexity of SEQUENCES 1997 Convegno tenutosi dall' 11 al 13 Giugno a Positano èsaè. æ Fun With Algorithms 98 ëfun98ë tenutosi all'isola d'elba dal 18 al 20 Giugno 1998, organizzato dall'univesritça di Pisa. æ Fifth International Colloquium on Structural Information and Communication Complexity ësirocco98ë tenutosi ad Amalæ dal 22 al 24 Giugno 1998, organizzato dall'univesritça di Salerno. æ Secure Communication Networks ëscn99ë tenutosi ad Amalæ il 16 e 17 Settembre 1999, organizzato dall'univesritça di Salerno. æ VI Incontro Italiano di combinatoria Algebrica tenutosi a Maratea dal 5 al 10 Ottobre 1999, organizzato dall'univesritça della Basilicata. æ Approximation and Randomized Algorithms in Communication Networks ëaracneë èsatellite ICALP2000è, Ginevra, 15 luglio æ WSDAAL: Workshop su: Algoritmi, Architetture e Linuguaggi tenutosi a Ischia, dal 18 al 20 Settembre 2000, organizzato dall'univesritça di Salerno. Scuole æ SNDIS97: Scuola Nazionale dei Dottorati di Informatica delle Facoltça di Scienze tenutasi a Bertinoro dal 19 al 30 Maggio 1997 organizzata dall'univesritça di Bologna. æ SNAC97: School on NAtural Computation tenutasi a Turku èfinlandiaè dal 25 al 29 Agosto 1997 organizzata dall'abo Akademy. æ Tenth International School for Computer Science Researchers ëdistributed Systems and Security" tenutasi a Lipari dal 5 al 18 Luglio 1998 organizzata dall'univesritça di Catania. æ Fifth International Summer School on Distributed Computing: Advanced Distributed Computing tenutasi a Siena dal 21 al 27 Giugno æ International School for Computer Science Researchers ëe-commerce and On-Line Algorithms" tenutasi a Lipari dal 9 al 22 Luglio Presentazioni a Conferenze e Seminari æ P.Ferragina, R.Grossi, M.Montangero A Note on Updating Suæx Tree Labels, 3 rd Conference on Algorithm and Complexity, Roma, Marzo Italian 11

12 æ Succint Representation of Balanced Parantheses, Static Trees and Planar Graphs, ëi. Munro e V. Raman, FOCS '97ë. seminario tenuto il 27 Maggio 1998, presso l'universitça di Salerno. æ C.Kaklamanis, D.Krizanc, M.Montangero, P.Persiano Eæcent Automatic Simulation of Parallel Computation on Network of Workstations, seminario tenuto presso il Dipartimento di Informatica dell'universitça di Pisa il 14 Aprile æ C.Kaklamanis, D.Krizanc, M.Montangero, P.Persiano Eæcent Automatic Simulation of Parallel Computation on Network of Workstations, Approximation and Randomized Algorithms in Communication Networks èsatellite ICALP2000è, Ginevra, 15 luglio æ C.Galdi, C.Kaklamanis, M.Montangero, P.Persiano Optimal and Approxiamte Station Placement in Networks èwith Application to Multicasting and Space Eæcient Traversalsè, Workshop su: Algoritmi, Architetture e Linuguaggi, Ischia, Settembre Attivitça di ricerca æ String processing Il tipo di processi a cui si sottopongono, generalmente, le stringhe, sono ricerche di sottostringhe che soddisæno determiante proprietça. Esistono diverse strutture dati che organizzano informazioni relative alla stringa da processare in modo da eæettuare ricerche eæcenti. La struttura dati piçu interessante per la memoria principale çe l'albero dei suæssi, introdotta da McCreight nel 1976, che richiede spazio lineare e permettere un eæciente recupero di molte informazioni relative alla stringa da processare. Recentemente sono stati proposti dei nuovi problemi in cui la stringa da processare subisce delle modiæche nel tempo ècon inserzioni ed eliminazioni di sottostringheè e, quindi, si richiede che l'albero venga modiæcato di conseguenza. McCreight propose un algoritmo di modiæca dell'albero dei suæssi per riæettere la modiæca della stringa, ma, nel caso peggiore, questa modiæca puço costare come la sua ricostruzione. L'eæciente modiæca dell'albero diventa, quindi, un problema importante e richiede una particolare attenzione; infatti, l'albero çe etichettato da stringhe di lunghezza variabile, codiæcate da una tripla che individua una sottostringa della stringa per cui çe stato costriuto l'albero. Modiæcando la stringa, alcuni di questi puntatori possono diventare inconsistenti e, soprattutto, non çe detto che a diventare inconsitenti siano puntatori realtivi alla parte dell'albero che viene modiæcata. In letteratura il problema era stato risolto con periodiche riscostruzioni dell'albero o con tecniche che riuscivano solo a raggiungere costo costante ammortizzato su una sequenza di modiæche delle stringhe. Abbiamo proposto una soluzione che, richiedendo l'aumento dello spazio solo di un fattore costante, permette di mantenere consistenti i puntatori delle etichette dell'albero con un overhead costante rispetto al tempo necessario per la modiæca dell'albero. æ Metodi automatici per nascondere la latenza nel calcolo parallelo e distribuito: Abbiamo studiato il problema di simulare algoritmi paralleli su sistemi distribuiti. L'idea 12

13 principale çe quella di trovare una metodologia che, dato un algoritmo parallelo e un sistema distribuito, determini automaticamente una buona distribuzione del carico sui processori in modo da minimizzare lo slowdown introdotto nel far eseguire l'algoritmo da un sistema distribuito invece che da una macchina parallela. Abbiamo studiato i casi in cui viene utilizzata una rete di workstation ènowsè per simulare algoritmi per un vettore di processori e algoritmi per PRAM. Lo slowdown introdotto, in entrambi i casi, çe una funzione della media dei ritardi di comunicazione sui link della rete e della media delle velocitça relative dei processori. Per il caso delle PRAM esistono degli esempi nei quali una appropriata distribuzione del carico di lavoro ai processori, diversa da quella determinata dall'algoritmo precedente, permette di ridurre notevolmente lo slowdown. Pensiamo che il problema di determinare la simulazione che minimizzi questo slowdown sia NP-Completo ma non çe ancora stato dimostrato. Il nostro interessa si sta, quindi, dirigendo in due direzioni opposte: dimostrare il problema çe NP-completo e trovare una migliore approssimazione, oppure trovare un algoritmo che determini la soluzione ottima in tempo plinomiale. æ Problemi di determinazione della maggioranza: Molte applicazioni richiedono la soluzione di un problema di maggioranza, in particolare stiamo studiando il problema di determinare la maggioranza relativa in un insime di elementi, che possono assumere solo tre valori distinti, con confronti tra coppie di elementi. Abbiamo studiato un algoritmo per risolvere il problema che, nel caso di n elementi, richiede O èb5n=3c,4è confronti nel caso pessimo. Ipotizziamo che il problema non si possa risolvere con un numero minori di confronti e stiamo, quindi, studiando il lowerbound al problema. Stiamo, inoltre, studiando alcune variazioni ed estensioni al problema: analisi del caso medio, randomizzazione dell'algoritmo e sua analisi, algoritmo per risolvere il problema nel caso in cui i valori distinti che gli elementi possono assumere siano piçu di tre. æ Problemi di visita di alberi: Gli algoritmi di visita di alberi cercano, tradizionalmente, di minimizzare il tempo necessario della visita e, generalmente, minore çe il tempo necessario, maggiore çe lo spazio richiesto. Stiamo analizzando il problema di visitare alberi generici utilizzando poco spazio, cioçe costante o piccole funzioni del numero totale di nodi nell'albero. æ Multicasting su reti di tipo circuit-switch Abbiamo intrdotto e studiato il problema del piazzamento di k stazioni in un grafo: si consideri una rete di comunicazione modellata come un grafo pesato e diretto; il peso di un arco rappresenta il costo di spedire un messaggio attraverso il link che rappresenta. Quando due nodi vogliono comunicare stabiliscono un circuito virtuale utilizzando un cammino che li connette e poi spediscono i messaggi. Supponiamo di avere una sorgente di messaggi, un insieme di destinazioni per i messaggi e un numero k. Vogliamo identiæcare k insiemi S 1 ;:::;S k èi cui componenti chiameremo stazioniè di modo che la comunicazione tra la sorgente e i destinatari si svolga in k passi: al primo passo la sorgente stabilisce un circuito virtuale con le stazioni in S 1 e gli spedisce il messaggio; al secondo passo, 13

14 le stazioni in S 1 stabiliscono un circuito virtuale con le stazioni in S 2 e gli spediscono il messaggio e cosç via æno a raggiungere tutte le destinazioni. Il costo del multicasting çe dato dalla somma dei pesi dei circuiti che vengono stabiliti durante l'operazione. Abbiamo dimostrato che il problema çe NP-Completo, riducendolo da Set-Cover e ne abbiamo dato una buona approssimazione. Nel caso particolare degli alberi, invece, il problema si risolve in tempo polinomiale; abbiamo studiato degli algortimi eæcienti per il caso degli alberi e per alcune generalizzazioni del problema èsempre sugli alberiè. Elenco dei Lavori Articoli Pubblicati: 1 P.Ferragina, R.Grossi, M.Montangero A Note on Updating Suæx Tree Labels, LNCS 1203, Proc. CIAC97 èroma 1996è 2 P.Ferragina, R.Grossi, M.Montangero A Note on Updating Suæx Tree Labels, Theoretical Computer Science, Vol 201 è1998è. 3 C.Kaklamanis, D.Krizanc, M.Montangero, P.Persiano Eæcient Automatic Simulation of Parallel Algorithms on Network of Workstations, Proc. ARACNE èginevra 2000è. Articoli Accettati per Pubblicazione: 1 C.Galdi, C.Kaklamanis, M.Montangero, P.Persiano Optimal and Approxiamte Station Placement in Networks èwith Application to Multicasting and Space Eæcient Traversalsè, ammesso per pubblicazione a STACS01 è17th International Symposium on Theoretical Aspects of Computer Scienceè, che si terrça a Dresda dal 15 al 17 Febbraio Articoli Sottomessi: 1 C.Kaklamanis, D.Krizanc, M.Montangero, P.Persiano Eæcient Automatic Simulation of Parallel Algorithms on Network of Workstations, sottomesso a Special Issue di Discrete Applied Mathematics. Lavori in Corso: 1 An UpperBound for the Three Color Plurality Problem 14

Relazione. sull'attivitça e le ricerche svolte

Relazione. sull'attivitça e le ricerche svolte Dottorato di Ricerca in Informatica, XII Ciclo, Universitça degli Studi di Salerno Relazione sull'attivitça e le ricerche svolte Dr Gianluca De Marco Corsi Gianluca De Marco ha frequentato i seguenti corsi:

Dettagli

Relazione. sull'attivita e le ricerche svolte. Dott. Galdi Clemente

Relazione. sull'attivita e le ricerche svolte. Dott. Galdi Clemente Dottorato di Ricerca in Informatica, XIII Ciclo, Universita degli Studi di Salerno Corsi Relazione sull'attivita e le ricerche svolte Dott. Galdi Clemente Il Dott. Galdi Clemente ha frequentato i seguenti

Dettagli

Corso: 1st International Summer School on Multimedia Databases and Image Communication

Corso: 1st International Summer School on Multimedia Databases and Image Communication Dottorato di Ricerca in Informatica, XIII Ciclo, Universita degli Studi di Salerno Corsi Relazione sulle attivita e le ricerche svolte Dott. Riccardo Distasi Il sottoscritto ha frequentato i seguenti corsi:

Dettagli

Curriculum Vitae Scientifico

Curriculum Vitae Scientifico Curriculum Vitae Scientifico Marco Berardi Nome: Marco; cognome: Berardi; data di nascita: 11 settembre 1980; cittadinanza: italiana; stato civile: coniugato; uff.: Ricerche. stanza 60a, I piano, Istituto

Dettagli

Curriculum dell attività scientifica e professionale di Marina Popolizio

Curriculum dell attività scientifica e professionale di Marina Popolizio Curriculum dell attività scientifica e professionale di Marina Popolizio Titoli di Studio - Dottorato di Ricerca in Matematica conseguito presso l Università degli Studi di Bari in data 28-03-2008. Titolo

Dettagli

Corso : Topics in Theoretical Computer Science Docenti : Prof. Giuseppe Persiano (Università di Salerno) Durata : 20 ore Periodo : Marzo 2000 721

Corso : Topics in Theoretical Computer Science Docenti : Prof. Giuseppe Persiano (Università di Salerno) Durata : 20 ore Periodo : Marzo 2000 721 Dottorato di Ricerca in Informatica, XIV Ciclo Università degli Studi di Salerno Relazione Finale sulle attività e le ricerche svolte dal Dott. Maurizio Cibelli 1. Corsi Corso : PublicKey Infrastructure

Dettagli

Curriculum Vitae di Andrea Ribichini

Curriculum Vitae di Andrea Ribichini Dati Anagrafici Nome: Andrea Cognome: Ribichini Data e luogo di nascita: 14/01/1973, Roma Cittadinanza: italiana Titoli di Studio Conseguiti 29/02/2008 Titolo di Dottore di Ricerca in Ingegneria Informatica

Dettagli

Nuovo Corso di laurea magistrale in Ingegneria Informatica AA14-15. http://www.dis.uniroma1.it/~ccl_ii/site/

Nuovo Corso di laurea magistrale in Ingegneria Informatica AA14-15. http://www.dis.uniroma1.it/~ccl_ii/site/ Nuovo Corso di laurea magistrale in Ingegneria Informatica AA14-15 http://www.dis.uniroma1.it/~ccl_ii/site/ Laurea Magistrale L obiettivo della laurea magistrale in Ingegneria informatica (Master of Science

Dettagli

La Laurea Magistrale in Informatica 2014-15

La Laurea Magistrale in Informatica 2014-15 Università degli studi di Udine La Laurea Magistrale in Informatica 2014-15 Consiglio del Corso di Studi (CCS) in Materie Informatiche Aprile 2014 E-mail: tutoratoinformatica@uniud.it Il piano di studi

Dettagli

Paolo Perlasca. Istruzione e formazione. Esperienza professionale. Attività di ricerca. Attività didattica

Paolo Perlasca. Istruzione e formazione. Esperienza professionale. Attività di ricerca. Attività didattica Paolo Perlasca Dipartimento di Informatica, Indirizzo: via Comelico 39/41, 20135 Milano Telefono: 02-503-16322 Email: paolo.perlasca@unimi.it Paolo Perlasca è ricercatore universitario confermato presso

Dettagli

Svantaggi della Commutazione di Circuito. Commutazione di Pacchetto. Struttura di un Pacchetto

Svantaggi della Commutazione di Circuito. Commutazione di Pacchetto. Struttura di un Pacchetto Università degli studi di Salerno Laurea in Informatica I semestre / Commutazione di Pacchetto Prof. Vincenzo Auletta auletta@dia.unisa.it http://www.dia.unisa.it/professori/auletta/ Svantaggi della Commutazione

Dettagli

Curriculum Vitae di Paola Boito

Curriculum Vitae di Paola Boito Curriculum Vitae di Paola Boito Dati anagrafici e personali Data e luogo di nascita: 1/8/1978, Asolo (TV). Cittadinanza italiana. E-mail: boito@mathcs.emory.edu boito@mail.dm.unipi.it Homepage: http://www.mathcs.emory.edu/~boito

Dettagli

Scuola di Scienze e Tecnologie

Scuola di Scienze e Tecnologie Scuola di Scienze e Tecnologie corso di laurea magistrale Matematica e applicazioni in lingua inglese in convenzione internazionale con l Università di Clausthal (Germania) LM-40 +2 anni sede UNICAM: Camerino

Dettagli

sull'attivitça e le ricerche svolte

sull'attivitça e le ricerche svolte Dottorato di Ricerca in Informatica, XII Ciclo, Universitça degli Studi di Salerno Corsi Relazione ænale sull'attivitça e le ricerche svolte Dott.ssa Annamaria Musto Anno Accademico 1999è2000 La dott.ssa

Dettagli

3 CENNI DI TEORIA DELLA COMPLESSITA COMPUTAZIONALE. E. Amaldi Fondamenti di R.O. Politecnico di Milano 1

3 CENNI DI TEORIA DELLA COMPLESSITA COMPUTAZIONALE. E. Amaldi Fondamenti di R.O. Politecnico di Milano 1 3 CENNI DI TEORIA DELLA COMPLESSITA COMPUTAZIONALE E. Amaldi Fondamenti di R.O. Politecnico di Milano 1 Scopo: Stimare l onere computazionale per risolvere problemi di ottimizzazione e di altra natura

Dettagli

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati Algoritmi e Strutture Dati Introduzione al corso Alberto Montresor Università di Trento This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License. To view a copy of

Dettagli

Ant Colony Optimization (ACO) e Swarm Intelligence

Ant Colony Optimization (ACO) e Swarm Intelligence Università degli Studi di Milano Facoltà di scienze Matematiche, Fisiche e Naturali Ant Colony Optimization (ACO) e Swarm Intelligence Seminario per il corso di Sistemi Intelligenti Prof. N. Alberto BORGHESE

Dettagli

Appunti del corso di Informatica Generale 1 (IN110 Fondamenti) 1 Presentazione del corso

Appunti del corso di Informatica Generale 1 (IN110 Fondamenti) 1 Presentazione del corso Università Roma Tre Dipartimento di Matematica e Fisica Corso di Laurea in Matematica Appunti del corso di Informatica Generale 1 (IN110 Fondamenti) 1 Presentazione del corso Prof. Marco Liverani (liverani@mat.uniroma3.it)

Dettagli

Applicazioni in ambito biomedico e socio-sanitario di problemi inversi di grande complessità. Prof. Luca Zanni

Applicazioni in ambito biomedico e socio-sanitario di problemi inversi di grande complessità. Prof. Luca Zanni Applicazioni in ambito biomedico e socio-sanitario di problemi inversi di grande complessità Prof. Luca Zanni APPLICAZIONI IN AMBITO BIOMEDICO E SOCIO-SANITARIO DI PROBLEMI INVERSI DI GRANDECOMPLESSITÀ

Dettagli

Formazione, attività scientifica e/o professionale

Formazione, attività scientifica e/o professionale IDA DE BONIS NATA A FONDI l'8/11/1985 Formazione, attività scientifica e/o professionale Titoli accademici e altri titoli Diploma di maturità classica con indirizzo piano nazionale informatico (PNI), c/o

Dettagli

Fondamenti di Informatica. Allievi Automatici A.A. 2014-15. Informazioni Generali

Fondamenti di Informatica. Allievi Automatici A.A. 2014-15. Informazioni Generali Fondamenti di Informatica Allievi Automatici A.A. 2014-15 Informazioni Generali Informazioni generali Docente: Daniele M. BRAGA e-mail: daniele.braga@polimi.it Dip. di Elettronica e Informazione (DEI)

Dettagli

Marco Baldi. Università Politecnica delle Marche Dipartimento di Ingegneria dell'informazione

Marco Baldi. Università Politecnica delle Marche Dipartimento di Ingegneria dell'informazione Marco Baldi Università Politecnica delle Marche Dipartimento di Ingegneria dell'informazione Ancona, 27 Aprile 2015 2/14 3/14 Basata sull aleatorietà del canale di trasmissione La rumorosità del canale,

Dettagli

Algoritmi. a.a. 2013/14 Classe 2: matricole dispari

Algoritmi. a.a. 2013/14 Classe 2: matricole dispari Algoritmi a.a. 2013/14 Classe 2: matricole dispari Marcella Anselmo Presentazioni Info: http://www.di.unisa.it/professori/anselmo/ Orario ricevimento: Lunedì 15-17 Giovedì 12-13 Il mio studio è il n 57

Dettagli

Carriera Universitaria

Carriera Universitaria Marco Mulas DATA DI NASCITA 6 giugno 1989 TELEFONO 347-7768502 E-MAIL mlsmrc@gmail.com me@marcomulas.com WEB www.marcomulas.com me@marcomulas.com WEB www.marcomulas.com 6 giugno 198 TELEFONO 347-7768502

Dettagli

F ORMATO EUROPEO INFORMAZIONI PERSONALI. Data di nascita 21 GENNAIO 1966 ESPERIENZA LAVORATIVA PER IL CURRICULUM VITAE

F ORMATO EUROPEO INFORMAZIONI PERSONALI. Data di nascita 21 GENNAIO 1966 ESPERIENZA LAVORATIVA PER IL CURRICULUM VITAE F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome ARMANDO STERNIERI Nazionalità Italiana Data di nascita 21 GENNAIO 1966 ESPERIENZA LAVORATIVA Principali mansioni e responsabilità Principali

Dettagli

Laurea magistrale in Data Science

Laurea magistrale in Data Science Laurea magistrale in Data Science Data Scientist: the sexiest job of the 21st century [Harvard Business Review 2012] Professione di analista di big data diffusa da piu' di 10 anni in startup, industrie

Dettagli

Università di Pisa Facoltà di Scienze Matematiche Fisiche e Naturali

Università di Pisa Facoltà di Scienze Matematiche Fisiche e Naturali Facoltà di Scienze Matematiche Fisiche e Naturali Corso di Laurea Specialistica in Informatica (classe 23/S: Informatica) Corso di Laurea Specialistica in Tecnologie Informatiche (classe 23/S: Informatica)

Dettagli

F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E

F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome ANISETTI MARCO Indirizzo Vicolo Piave 7 26010 Pianengo (Cr) Telefono 328-7016227 Fax E-mail marco.anisetti@unimi.it

Dettagli

(ETC) MATRICOLE DISPARI

(ETC) MATRICOLE DISPARI Elementi di Teoria della Computazione (ETC) MATRICOLE DISPARI Docente: Prof. Luisa Gargano BENVENUTI! Finalità: Fornire gli elementi di base delle teorie che sono di fondamento all'informatica 1. Computabilità

Dettagli

Informatica Documentale

Informatica Documentale Informatica Documentale Ivan Scagnetto (scagnett@dimi.uniud.it) Stanza 3, Nodo Sud Dipartimento di Matematica e Informatica Via delle Scienze, n. 206 33100 Udine Tel. 0432 558451 Ricevimento: giovedì,

Dettagli

Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione. Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione

Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione. Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione Ugo Montanari Dipartimento di Informatica, Università di Pisa 0 Roadmap Perchè i linguaggi? Che cosa sono i linguaggi? Esempio: i numeri

Dettagli

Linguaggi e Traduttori: Introduzione al corso

Linguaggi e Traduttori: Introduzione al corso Linguaggi e Traduttori: Introduzione al corso Armando Tacchella Sistemi e Tecnologie per il Ragionamento Automatico (STAR-Lab) Dipartimento di Informatica Sistemistica e Telematica (DIST) Università di

Dettagli

F O R M A T O E U R O P E O P E R

F O R M A T O E U R O P E O P E R F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome Indirizzo ARMANDO STERNIERI VIA SIROTTI, 19 42121 REGGIO EMILIA- ITALIA Telefono 0522/455141 Fax 0522/451382

Dettagli

CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO -

CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO - 1 CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO - Corsi di Laurea in Informatica, Ing. Informatica, Ing. di Internet (a.a. 2013-2014) Roberto Basili 2 Overview WM&R: Motivazioni e prospettive

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Europass Informazioni personali Nome(i) / Cognome(i) Indirizzo(i) Via Michele Morelli, 21 I-88100 Catanzaro (Italia) Telefono(i) 0961795515 Cellulare 3204934375 3204405419 E-mail cruglianovincenzo@yahoo.it

Dettagli

ICT (Information and Communication Technology): ELEMENTI DI TECNOLOGIA

ICT (Information and Communication Technology): ELEMENTI DI TECNOLOGIA ICT (Information and Communication Technology): ELEMENTI DI TECNOLOGIA Obiettivo Richiamare quello che non si può non sapere Fare alcune precisazioni terminologiche IL COMPUTER La struttura, i componenti

Dettagli

Ricerca Operativa A.A. 2007/2008

Ricerca Operativa A.A. 2007/2008 Ricerca Operativa A.A. 2007/2008 9. Cenni su euristiche e metaeuristiche per ottimizzazione combinatoria Motivazioni L applicazione di metodi esatti non è sempre possibile a causa della complessità del

Dettagli

1 Inefficienza degli equilibri

1 Inefficienza degli equilibri Strumenti della Teoria dei Giochi per l Informatica A.A. 2009/10 Lecture 8: 9 Aprile 2010 Inefficienza degli equilibri Docente Prof. Vincenzo Auletta Note redatte da: Carmine Giordano Abstract In questa

Dettagli

Presentazione iniziative formative per Olimpiadi di Informatica e Problem Solving

Presentazione iniziative formative per Olimpiadi di Informatica e Problem Solving Presentazione iniziative formative per Olimpiadi di Informatica e Problem Solving Bologna, 12 Aprile 2011 Dipartimento di Scienze dell Informazione ALMA MATER STUDIORUM UNIVERSITÀ DI BOLOGNA Formazione

Dettagli

40 Algoritmi sui Grafi

40 Algoritmi sui Grafi Università degli Studi di Napoli Parthenope Corso di Laurea in Informatica A.A 2014/15 PROGETTO PROGRAMMAZIONE III 40 Algoritmi sui Grafi Relatore: Prof. Raffaele Montella Studente: Diego Parlato Matricola:

Dettagli

Curriculum Vitae di ENRICO NARDELLI

Curriculum Vitae di ENRICO NARDELLI Curriculum Vitae di ENRICO NARDELLI (Versione Abbreviata) Ultimo Aggiornamento: 24 Febbraio 2011 1 Posizioni Enrico Nardelli si è laureato nel 1983 in Ingegneria Elettronica (110/110 con lode) presso l

Dettagli

F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI PASQUALE D'ANDRETI. Nome

F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI PASQUALE D'ANDRETI. Nome F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome PASQUALE D'ANDRETI Telefono +39-0776-2993348 Fax +39-0776-299-3908 E-mail dandreti@unicas.it Nazionalità

Dettagli

Corso di Applicazioni Telematiche

Corso di Applicazioni Telematiche Corso di Applicazioni Telematiche Lezione n.1 Prof. Roberto Canonico Università degli Studi di Napoli Federico II Facoltà di Ingegneria Obiettivi del corso Supporti didattici Modalità d esame Panoramica

Dettagli

Istituto Universitario Navale Facoltà di Ingegneria Corso di Laurea in Ingegneria delle Telecomunicazioni

Istituto Universitario Navale Facoltà di Ingegneria Corso di Laurea in Ingegneria delle Telecomunicazioni Istituto Universitario Navale Facoltà di Ingegneria Corso di Laurea in Ingegneria delle Telecomunicazioni Fondamenti di Informatica Modulo 1 Programma dell'a.a. 2003/2004 Luigi Romano Dipartimento di Informatica

Dettagli

Docente. Il Corso. Obiettivi PROGRAMMAZIONE PER IL WEB. Alessandro Bianchi. Presentazione del Corso per l a.a. 2014-15. Sviluppare

Docente. Il Corso. Obiettivi PROGRAMMAZIONE PER IL WEB. Alessandro Bianchi. Presentazione del Corso per l a.a. 2014-15. Sviluppare Docente PROGRAMMAZIONE PER IL WEB Presentazione del Corso per l a.a. 2014-15 Alessandro Bianchi Dipartimento di Informatica V piano Tel. 080 544 2283 E-mail alessandro.bianchi@uniba.it Orario di ricevimento:

Dettagli

Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea specialistica in INFORMATICA

Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea specialistica in INFORMATICA Università degli Studi di Perugia Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea specialistica in INFORMATICA Basi di Dati Avanzate e Tecniche di Data Mining Prof. G. Cecconi, Prof.

Dettagli

Laurea Magistrale in. Stochastics and Data Science

Laurea Magistrale in. Stochastics and Data Science Laurea Magistrale in Stochastics and Data Science Dati e decisioni: la sfida della società moderna For Today s Graduate, Just One Word: Statistics E. Brynjolfsson, MIT Center for Digital Business Director,

Dettagli

RELAZIONE ANNUALE CONSUNTIVA

RELAZIONE ANNUALE CONSUNTIVA RELAZIONE ANNUALE CONSUNTIVA PROGRAMMA DI RICERCA SETTORE Legge 449/97 SETTORE: Strumenti, Ambienti e Applicazioni per la Società dell Informazione PROGETTO: SP1 Reti Internet: efficienza, integrazione

Dettagli

Reti di calcolatori. Lezione del 10 giugno 2004

Reti di calcolatori. Lezione del 10 giugno 2004 Reti di calcolatori Lezione del 10 giugno 2004 Internetworking I livelli 1 fisico e 2 data link si occupano della connessione di due host direttamente connessi su di una rete omogenea Non è possibile estendere

Dettagli

lcosmo@dsi.unive.it Computer Vision, in particolare Nonrigid Matching.

lcosmo@dsi.unive.it Computer Vision, in particolare Nonrigid Matching. F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome COSMO LUCA Indirizzo 6, VIA ACHILLE GRANDI, 31038 PAESE, TREVISO, ITALIA Telefono +39 349 1580861 E-mail lcosmo@dsi.unive.it Nazionalità

Dettagli

Strong Nash Equilibria in Bimatrix Games

Strong Nash Equilibria in Bimatrix Games Strong Nash Equilibria in Bimatrix Games Eleonora Braggion Relatori: Prof. Roberto Lucchetti Prof. Nicola Gatti CORSO DI LAUREA MAGISTRALE IN INGEGNERIA MATEMATICA Politecnico di Milano Milano, 29 Aprile

Dettagli

Logiche descrittive per l integrazione di dati e servizi

Logiche descrittive per l integrazione di dati e servizi Logiche descrittive per l integrazione di dati e servizi Maurizio Lenzerini Dipartimento di Informatica e Sistemistica Antonio Ruberti Università di Roma La Sapienza I sistemi informativi basati sulle

Dettagli

PROGRAMMAZIONE COORDINATA TEMPORALMENTE A.S. 2014/2015 - CLASSE: 5ASA e 5BSA DISCIPLINA: INFORMATICA. INFORMATICA 2 ore settimanali

PROGRAMMAZIONE COORDINATA TEMPORALMENTE A.S. 2014/2015 - CLASSE: 5ASA e 5BSA DISCIPLINA: INFORMATICA. INFORMATICA 2 ore settimanali ANNO SCOLASTICO 2014/2015 PROGRAMMAZIONE COORDINATA TEMPORALMENTE CLASSE: 5ASA e 5BSA - pag. 1 CLASSE Monte ore annuo Libro di Testo PROGRAMMAZIONE COORDINATA TEMPORALMENTE A.S. 2014/2015 - CLASSE: 5ASA

Dettagli

G I A N L U C A C A S S E S E

G I A N L U C A C A S S E S E G I A N L U C A C A S S E S E DIPARTIMENTO DI STATISTICA Università Milano Bicocca U7-2081, via Bicocca degli Arcimboldi, 8, 20126 Milano - Italy DATI ANAGRAFICI E INFORMAZIONI GENERALI: Luogo e data di

Dettagli

Relazione sull Attività Scientifica e Didattica

Relazione sull Attività Scientifica e Didattica Dott. Roberto Monte, Ricercatore di Matematica per le Scienze Economiche e Sociali, Settore SECS-S/06, Dipartimento di Studi Economico-Finanziari e Metodi Quantitativi, Facoltà di Economia, Università

Dettagli

MARCO ISOPI CURRICULUM VITAE ET STUDIORUM

MARCO ISOPI CURRICULUM VITAE ET STUDIORUM MARCO ISOPI CURRICULUM VITAE ET STUDIORUM DATA E LUOGO DI NASCITA:: 11 Aprile 1963. Roma. Recapito: Via Pavia 4, 00161 Roma. Telefono: 06-4441646 349 2701429 e-mail: isopi@mat.uniroma1.it TITOLI DI STUDIO

Dettagli

Identità sulla rete protocolli di trasmissione (TCP-IP) L architettura del sistema. Dal livello A al livello B

Identità sulla rete protocolli di trasmissione (TCP-IP) L architettura del sistema. Dal livello A al livello B Identità sulla rete protocolli di trasmissione (TCP-IP) L architettura del sistema contenuto della comunicazione sistema per la gestione della comunicazione sottosistema C sottosistema B sottosistema A

Dettagli

Semantica dei Giochi

Semantica dei Giochi Corso di Laurea Specialistica in Informatica Semantica dei Giochi A.A. 2005-2006 Docenti: Claudia Faggian e Pierre-Louis Curien (CNRS - Paris 7) SEMANTICA... Qual e' il senso [l'essenziale] di un programma?

Dettagli

ROBERTA LARASPATA. Phone: +39 0805963312 E-mail: roberta.laraspata@gmail.com

ROBERTA LARASPATA. Phone: +39 0805963312 E-mail: roberta.laraspata@gmail.com ROBERTA LARASPATA Phone: +39 0805963312 E-mail: roberta.laraspata@gmail.com FORMAZIONE Febbraio 2011 Ottobre 2007 Maggio 2007 Dottorato di Ricerca in Ingegneria dell Informazione Titolo della Tesi di Dottorato:

Dettagli

Francesco Carrabs. Curriculum Vitæ. Dati personali. Posizioni Ricoperte. Titoli di Studio. Attività di Formazione, Scuole e Convegni

Francesco Carrabs. Curriculum Vitæ. Dati personali. Posizioni Ricoperte. Titoli di Studio. Attività di Formazione, Scuole e Convegni Francesco Carrabs Curriculum Vitæ Dipartimento di Matematica, Università degli Studi di Salerno Via Giovanni Paolo II 132, 84084, Fisciano +39 089963326 +39 089963303 fcarrabs@unisa.it www.dipmat.unisa.it/people/carrabs/www/

Dettagli

Fabio Raciti. Curriculum vitae et studiorum

Fabio Raciti. Curriculum vitae et studiorum Fabio Raciti. Curriculum vitae et studiorum Indice 1. Campi di ricerca 2 2. Titoli di studio, corsi di perfezionamento, borse di studio e posizione professionale 2 3. Attività didattica 3 4. Attività di

Dettagli

INTRODUZIONE. Motivazioni e Obbiettivi

INTRODUZIONE. Motivazioni e Obbiettivi INTRODUZIONE Motivazioni dei sistemi distribuiti Caratteristiche generali Alcuni richiami sui database centralizzati Standardizzazione dei dati (ANSI/SPARC) Funzioni dei DBMS relazionali Problematiche

Dettagli

PIANO DI LAVORO (a.s.2013/2014)

PIANO DI LAVORO (a.s.2013/2014) Istituto Tecnico Commerciale Statale e per Geometri E. Fermi Pontedera (Pi) Via Firenze, 51 - Tel. 0587/213400 - Fax 0587/52742 http://www.itcgfermi.it E-mail: mail@itcgfermi.it PIANO DI LAVORO (a.s.2013/2014)

Dettagli

Corso di INFORMATICA 2 (Matematica e Applicazioni)

Corso di INFORMATICA 2 (Matematica e Applicazioni) Università di Camerino Scuola di Scienze e Tecnologie Sezione di Matematica Corso di INFORMATICA 2 (Matematica e Applicazioni) Anno Accademico 2014/15 3 Anno Primo Semestre Docenti: Paolo Gaspari Roberto

Dettagli

Alberto Benvegnù. Dati personali Nome: Alberto Cognome: Benvegnù Data di nascita: 30/11/1976 Luogo di nascita: Padova Nazionalità: Italiana

Alberto Benvegnù. Dati personali Nome: Alberto Cognome: Benvegnù Data di nascita: 30/11/1976 Luogo di nascita: Padova Nazionalità: Italiana Padova, luglio 2015 Alberto Benvegnù Dati personali Nome: Alberto Cognome: Benvegnù Data di nascita: 30/11/1976 Luogo di nascita: Padova Nazionalità: Italiana Sesso: Maschile Stato civile: Coniugato Residenza:

Dettagli

Anno Scolastico: 2014/2015. Indirizzo: Sistemi informativi aziendali. Classe quarta AS. Disciplina: Informatica. prof.

Anno Scolastico: 2014/2015. Indirizzo: Sistemi informativi aziendali. Classe quarta AS. Disciplina: Informatica. prof. Anno Scolastico: 2014/2015 Indirizzo: Sistemi informativi aziendali Classe quarta AS Disciplina: Informatica prof. Competenze disciplinari: Secondo biennio 1. Identificare e applicare le metodologie e

Dettagli

SIMULATORI PER RETI AD HOC

SIMULATORI PER RETI AD HOC SIMULATORI PER RETI AD HOC Ing. Alessandro Leonardi Dipartimento di Ingegneria Informatica e delle Telecomunicazioni Università degli Studi di Catania Modelli di simulazione per Reti Ad Hoc Le reti Ad-Hoc

Dettagli

Carolina Vittoria Beccari, PhD

Carolina Vittoria Beccari, PhD Carolina Vittoria Beccari, PhD CURRICULUM DELLE ATTIVITÀ SCIENTIFICHE E DIDATTICHE Dipartimento di Matematica Università di Bologna P.zza di Porta S. Donato 5 40126 Bologna beccari@dm.unibo.it DATI PERSONALI

Dettagli

Università degli Studi di Napoli Federico II Facoltà di Ingegneria. Corsi di Studio in Ingegneria Informatica Laurea - Laurea Magistrale

Università degli Studi di Napoli Federico II Facoltà di Ingegneria. Corsi di Studio in Ingegneria Informatica Laurea - Laurea Magistrale Università degli Studi di Napoli Federico II Facoltà di Ingegneria Corsi di Studio in Ingegneria Informatica Laurea - Laurea Magistrale a.a. 2010/2011 Presidente: Prof. Stefano Russo [titolo presentazione]

Dettagli

LAUREA MAGISTRALE IN INGEGNERIA INFORMATICA

LAUREA MAGISTRALE IN INGEGNERIA INFORMATICA LAUREA MAGISTRALE IN INGEGNERIA INFORMATICA Obiettivi Formare futuri professionisti con ampie e solide competenze sulle tecnologie informatiche avanzate Fornire capacità di affrontare problemi complessi

Dettagli

GRIN - Associazione Italiana dei Docenti Universitari di Informatica

GRIN - Associazione Italiana dei Docenti Universitari di Informatica Certificazione bollino GRIN per i corsi di Laurea in Informatica versione beta 2016 N.B.: Sono in evidenza le variazioni rispetto alla versione standard 2015. 1. Requisiti per la certificazione bollino

Dettagli

Un analisi della VQR04-10. A cura di P. Ciancarini, membro GEV area1 Riunione GRIN Milano, 20 novembre 2013

Un analisi della VQR04-10. A cura di P. Ciancarini, membro GEV area1 Riunione GRIN Milano, 20 novembre 2013 Un analisi della VQR04-10 A cura di P. Ciancarini, membro GEV area1 Riunione GRIN Milano, 20 novembre 2013 Agenda Il passato: come è stata impostata la VQR2004-2010 Il presente: analisi e conseguenze dei

Dettagli

48 Laurea magistrale in Comunicazione multimediale Scienze

48 Laurea magistrale in Comunicazione multimediale Scienze 48 Laurea magistrale in Comunicazione multimediale Scienze C U R R I C O L A All interno del corso di laurea magistrale gli insegnamenti e le attività formative sono organizzate in modo da offrire percorsi

Dettagli

Web Service Architecture

Web Service Architecture Giuseppe Della Penna Università degli Studi di L Aquila dellapenna@di.univaq.it http://dellapenna.univaq.it Engineering IgTechnology Info92 Maggioli Informatica Micron Technology Neta Nous Informatica

Dettagli

Roberto De Prisco. Curriculum Vitæ et Studiorum di. Indice. Febbraio 2014. 1 Dati personali 1. 2 Posizioni 1. 3 Titoli di studio 1

Roberto De Prisco. Curriculum Vitæ et Studiorum di. Indice. Febbraio 2014. 1 Dati personali 1. 2 Posizioni 1. 3 Titoli di studio 1 Curriculum Vitæ et Studiorum di Roberto De Prisco Febbraio 2014 Indice 1 Dati personali 1 2 Posizioni 1 3 Titoli di studio 1 4 Formazione all estero 1 5 Attività didattica 2 6 Attività professionali 3

Dettagli

Analisi e Verifica di Programmi Laboratorio di AVP

Analisi e Verifica di Programmi Laboratorio di AVP Analisi e Verifica di Programmi Laboratorio di AVP Corso di Laurea in Informatica AA 2004-05 Tino Cortesi Analisi e Verifica Cosa Individuare proprietà interessanti dei nostri programmi: Valori prodotti,

Dettagli

Descrizione dell Offerta Formativa

Descrizione dell Offerta Formativa Descrizione dell Offerta Formativa Titolo dell Offerta Formativa TECNICHE AVANZATE DI PROGRAMMAZIONE Articolazione e Contenuti dell Offerta Formativa Il percorso è articolato in due moduli didattici, della

Dettagli

Anno scolastico 2015/2016. Piano di lavoro individuale ISS BRESSANONE-BRIXEN LICEO SCIENTIFICO - LICEO LINGUISTICO - ITE.

Anno scolastico 2015/2016. Piano di lavoro individuale ISS BRESSANONE-BRIXEN LICEO SCIENTIFICO - LICEO LINGUISTICO - ITE. Anno scolastico 2015/2016 Piano di lavoro individuale ISS BRESSANONE-BRIXEN LICEO SCIENTIFICO - LICEO LINGUISTICO - ITE Classe: III ITE Insegnante: Prof.ssa Maria CANNONE Materia: INFORMATICA Ore settimanali

Dettagli

CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO -

CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO - 1 CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO - Corsi di Laurea in Informatica, Ing. Informatica, Ing. di Internet (a.a. 2015-2016) Roberto Basili 2 Overview WM&R: Motivazioni e prospettive

Dettagli

CdL MAGISTRALE in INFORMATICA A.A. 2014-15 corso di Sistemi Distribuiti. 8. Le architetture (prima parte) Prof. S.Pizzutilo

CdL MAGISTRALE in INFORMATICA A.A. 2014-15 corso di Sistemi Distribuiti. 8. Le architetture (prima parte) Prof. S.Pizzutilo CdL MAGISTRALE in INFORMATICA A.A. 2014-15 corso di Sistemi Distribuiti 8. Le architetture (prima parte) Prof. S.Pizzutilo I Sistemi Distribuiti Un Sistema Distribuito è un insieme di processori indipendenti

Dettagli

Internet of Things, Big Data e Intelligenza Artificiale.

Internet of Things, Big Data e Intelligenza Artificiale. Oracle Ticino Day Lugano 26 Marzo 2015 Internet of Things, Big Data e Intelligenza Artificiale. Prof. Luca Maria Gambardella direttore IDSIA, istituto USI-SUPSI, Manno Le nuove sfide La società globale

Dettagli

Curriculum Vitae - Alessandra Rizzardi

Curriculum Vitae - Alessandra Rizzardi Curriculum Vitae - Alessandra Rizzardi Dati personali Nome: Cognome: E-mail: Nazionalità: Alessandra Rizzardi mail@alessandrarizzardi.com Italiana Titoli di studio Dall'anno accademico 2011-2012 all'anno

Dettagli

Sommario. Introduzione alla Sicurezza Web

Sommario. Introduzione alla Sicurezza Web Sommario Introduzione alla Sicurezza Web Considerazioni generali IPSec Secure Socket Layer (SSL) e Transport Layer Security (TLS) Secure Electronic Transaction (SET) Introduzione alla crittografia Introduzione

Dettagli

Liceo Tecnologico. Indirizzo Informatico e Comunicazione. Indicazioni nazionali per Piani di Studi Personalizzati

Liceo Tecnologico. Indirizzo Informatico e Comunicazione. Indicazioni nazionali per Piani di Studi Personalizzati Indirizzo Informatico e Comunicazione Indicazioni nazionali per Piani di Studi Personalizzati Indirizzo Informatico e Comunicazione Discipline con attività di laboratorio 3 4 5 Fisica 132 Gestione di progetto

Dettagli

ISTITUTO STATALE D ISTRUZIONE SUPERIORE FERRARIS - BRUNELLESCHI EMPOLI Anno scolastico 2014/2015

ISTITUTO STATALE D ISTRUZIONE SUPERIORE FERRARIS - BRUNELLESCHI EMPOLI Anno scolastico 2014/2015 ISTITUTO STATALE D ISTRUZIONE SUPERIORE FERRARIS - BRUNELLESCHI EMPOLI Anno scolastico 2014/2015 Classe: 4^A inf Prof.ssa Lami Carla Prof. Simone Calugi Programma di INFORMATICA GENERALE, APPLICAZIONI

Dettagli

CSE@DMA Computational Science al Dipartimento di Matematica e Applicazioni

CSE@DMA Computational Science al Dipartimento di Matematica e Applicazioni Martedì 19 Maggio 2015 Giornata del Dottorato di Ricerca in Scienze Matematiche e Informatiche PRESENTAZIONE DELLE ATTIVITA DI RICERCA DEL DOTTORATO CSE@DMA Computational Science al Dipartimento di Matematica

Dettagli

DANIELE VARACCA. Curriculum vitæ 30/11/2006. Parigi 75012 175 Rue de Chevaleret

DANIELE VARACCA. Curriculum vitæ 30/11/2006. Parigi 75012 175 Rue de Chevaleret DANIELE VARACCA Curriculum vitæ 30/11/2006 Indirizzo Ufficio Casa PPS - Universit Paris 7 Parigi 75012 175 Rue de Chevaleret tel +33 6 31177034 (mobile) 75013 Paris tel +33 1 44273755 http://www.pps.jussieu.fr/~varacca

Dettagli

PROGRAMMA DI INFORMATICA

PROGRAMMA DI INFORMATICA PROGRAMMA DI INFORMATICA A.S. 2014-2015 CLASSE IV SEZ. A INDIRIZZO SIA PROF. Pascarelli Anna Lucia I.T.P. Robilotta Alessandro MODULO 1 : LA PROGRAMMAZIONE VISUALE Unità Didattica 1 : L ambiente di programmazione

Dettagli

Introduzione al Calcolo Scientifico

Introduzione al Calcolo Scientifico Introduzione al Calcolo Scientifico Corso di Calcolo Numerico, a.a. 2010/2011 Francesca Mazzia Dipartimento di Matematica Università di Bari Francesca Mazzia (Univ. Bari) Introduzione al Calcolo Scientifico

Dettagli

JAIL: Javacard Abstract Interpretation-based Lifeguard

JAIL: Javacard Abstract Interpretation-based Lifeguard JAIL: Javacard Abstract Interpretation-based Lifeguard Pietro Ferrara Università Ca Foscari di Venezia Dipartimento di Informatica Ecole Polytechnique, Paris Pisa, 16 febbraio 2006 Obiettivi Abbiamo implementato

Dettagli

ELENCO DELLE ATTIVITA E DEI TITOLI DEL CANDIDATO VALUTABILI AI SENSI DELGLI ARTT. 10, 11 12 E 13 DEL BANDO (1)

ELENCO DELLE ATTIVITA E DEI TITOLI DEL CANDIDATO VALUTABILI AI SENSI DELGLI ARTT. 10, 11 12 E 13 DEL BANDO (1) ELENCO DELLE ATTIVITA E DEI TITOLI DEL CANDIDATO VALUTABILI AI SENSI DELGLI ARTT. 10, 11 12 E 13 DEL BANDO (1) COGNOME: NOME: PEPE VALENTINA Nato il: 04/08/1980 A) ATTIVITÀ DIDATTICA, DI DIDATTICA INTEGRATIVA

Dettagli

Laboratorio di Internet I Presentazione Gruppo Reti

Laboratorio di Internet I Presentazione Gruppo Reti Università di Roma Sapienza Sede di Latina 24 Aprile 2014 Laboratorio di Internet I Presentazione Gruppo Reti Luca Chiaraviglio Ingegneria dell Informazione Gruppo Reti @ Sapienza Università di Roma Sapienza

Dettagli

PROVA FINALE V. AULETTA G. PERSIANO ALGORITMI II - -MAGIS INFO

PROVA FINALE V. AULETTA G. PERSIANO ALGORITMI II - -MAGIS INFO PROVA FINALE V. AULETTA G. PERSIANO ALGORITMI II - -MAGIS INFO 1. Load Balancing Un istanza del problema del load balancing consiste di una sequenza p 1,..., p n di interi positivi (pesi dei job) e un

Dettagli

Specializzazione Elettronica ed Elettrotecnica Articolazione Elettrotecnica. Elettronica ed Elettrotecnica - Classe 3^

Specializzazione Elettronica ed Elettrotecnica Articolazione Elettrotecnica. Elettronica ed Elettrotecnica - Classe 3^ Specializzazione Elettronica ed Elettrotecnica Articolazione Elettrotecnica Elettronica ed Elettrotecnica - Classe 3^ 1- Reti elettriche in corrente continua Grandezze elettriche fondamentali e loro legami,

Dettagli

Curriculum Vitae et Studiorum Caterina Stoppato

Curriculum Vitae et Studiorum Caterina Stoppato Curriculum Vitae et Studiorum Caterina Stoppato Informazioni personali Nome Caterina Stoppato Data e luogo di nascita 14 novembre 1982, Firenze Nazionalità italiana e statunitense Stato civile sposata

Dettagli

Università degli Studi di Napoli Federico II

Università degli Studi di Napoli Federico II Università degli Studi di Napoli Federico II Ottimizzazione del traffico P2P nelle Wireless Community Network Stefano Avallone, Roberto Canonico, Giorgio Ventre, Francesco Paolo D'Elia Conferenza GARR

Dettagli

Anno Scolastico: 2014-2015. Indirizzo: Sistemi Informativi Aziendali. Classe: quinta. Disciplina: Informatica. prof. Silvia Tondo

Anno Scolastico: 2014-2015. Indirizzo: Sistemi Informativi Aziendali. Classe: quinta. Disciplina: Informatica. prof. Silvia Tondo Anno Scolastico: 2014-2015 Indirizzo: Sistemi Informativi Aziendali Classe: quinta Disciplina: Informatica prof. Silvia Tondo Competenze disciplinari: 1. Utilizzare le reti e gli strumenti informatici

Dettagli

Laurea Triennale in Informatica (F004) a.a. 2011/12. Insegnamenti complementari

Laurea Triennale in Informatica (F004) a.a. 2011/12. Insegnamenti complementari Laurea Triennale in Informatica (F004) a.a. 2011/12 Insegnamenti complementari Attivazioni e programmi Gli insegnamenti complementari del corso di laurea sono di norma erogati ad anni alterni. L effettiva

Dettagli

Durata in ore 1 Concetti di base e architettura di un computer 16

Durata in ore 1 Concetti di base e architettura di un computer 16 ISTITUTO DI ISTRUZIONE SUPERIORE STATALE IRIS VERSARI - Cesano Maderno (MB) PIANO DI LAVORO DEL PROFESSORE Indirizzo ISTITUTO TECNICO SISTEMI INFORMATIVI AZIENDALI MATERIA: Informatica PROF. C. Vassallo,

Dettagli

Corso di Laurea in Ingegneria Informatica e Biomedica. Fondamenti di Informatica II A.A. (2002-2003)

Corso di Laurea in Ingegneria Informatica e Biomedica. Fondamenti di Informatica II A.A. (2002-2003) Università degli Studi Magna Græcia di Catanzaro Corso di Laurea in Ingegneria Informatica e Biomedica Fondamenti di Informatica II A.A. (2002-2003) Docente: Prof. Mario Cannataro cannataro@unicz.it www.isi.cs.cnr.it/isi/cannataro

Dettagli