INTRODUZIONE ALLA PROGRAMMAZIONE LINEARE A NUMERI INTERI (PLI): RELAZIONE FRA PL E PLI, FORMULAZIONI EQUIVALENTI, RILASSAMENTI, MATRICI TOTALMENTE UNIMODULARI, TECNICHE STANDARD PER LA FORMULAZIONE DI PROBLEMI DI PLI. FORMULAZIONE DI TIPICI PROBLEMI DI OTTIMIZZAZIONE: LOCALIZZAZIONE DI IMPIANTI, SCELTA DI INVESTIMENTI, SEQUENZIAMENTO DI ATTIVITÀ, OTTIMIZZAZIONE SU RETI, TRASPORTI, SET COVERING, SET PARTITIONING, SET PACKING, TURNI DEL PERSONALE.SOLUZIONE ESATTA DI PROBLEMI DI PROGRAMMAZIONE LINEARE A NUMERI INTERI: BRANCH AND BOUND, IL PROBLEMA DI KNAPSACK, PIANI DI TAGLIO.METODI DI PROGRAMMAZIONE DINAMICA (PD): ALGORITMO DI PD PER IL KNAPSACK CAPACITATO, ALGORITMO DI PD PER IL KNAPSACK INTERO NON CAPACITATO.OTTIMIZZAZIONE SU GRAFI: MATCHING, MINIMO COVER, MASSIMO FLUSSO, MASSIMO STABILE. GRAFI EULERIANI E GRAFI BIPARTITI.UTILIZZO DI UN SOFTWARE COMMERCIALE PER LA SOLUZIONE DI PROBLEMI DI PROGRAMMAZIONE MATEMATICA.

[1] M. FISCHETTI, "LEZIONI DI RICERCA OPERATIVA", EDIZIONI LIBRERIA PROGETTO PADOVA, ITALIA, 1995. (CAP. 2, 5, PARTE DEL 6 E DEL 7).[2] R. AHUJA, T. MAGNANTI, J. ORLIN, "NETWORK FLOWS", PRENTICE HALL, 1993. (PG. 189-191, 473-475, 494-496)[3] DISPENSE FORNITE DAL DOCENTE E/O DISPONIBILI SUL WEB.

LO STANDARD UMTS. I CODICI E IL WCDMA. GESTIONE DEI CANALI FISICI, DI TRASPORTO E LOGICI. CAPACITÀ DEL SISTEMA E GESTIONE DELLA RISORSA RADIO. GESTIONE DELLA MOBILITÀ. GESTIONE DELLA SICUREZZA. GESTIONE DELLA COMUNICAZIONE. SERVIZI E APPLICAZIONI. LO STANDARD WI-MAX MOBILE (IEEE 802.16E). CONFRONTO TRA UMTS-HSDPA E WI-MAX MOBILE. LABORATORIO DIDATTICO ED ESERCITAZIONI SU RETI WIRELESS MOBILI PER TELECOMUNICAZIONI 3G E SUCCESSIVE (NGN).

G. COLUMPSI, M. LEONARDI, A. RICCI: “UMTS: TECNICHE E ARCHITETTURE PER LE RETI DI COMUNICAZIONI MOBILI MULTIMEDIALI”, SECONDA EDIZIONE; HOEPLI INFORMATICA; NOVEMBRE 2005.
LOUTFI NUAYMI: “WIMAX: TECHNOLOGY FOR BROADBAND WIRELESS ACCESS”; WILEY PUBL.; GENNAIO 2007.

IL LIVELLO DI APPLICAZIONE: IL PUNTO DI VISTA DELLE APPLICAZIONI; PAGINE WEB DINAMICHE (COMMON GATEWAY INTERFACE); PROGETTAZIONE DI ARCHITETTURE SCALABILI BASATE SUL WEB; ARCHITETTURA DI UN INTERNET DATA CENTER; CONTENT DELIVERY NETWORKS; MISURAZIONE E TUNING DELLE PRESTAZIONI DI UN SERVIZIO WEB.IL RAPPORTO TRA LIVELLO DI APPLICAZIONE E LIVELLO DI TRASPORTO: SOCKET, UN CLIENT; SOCKET, UN SERVER. IL LIVELLO DI TRASPORTO ED IL CONTROLLO DI CONGESTIONE: CONTROLLO DI CONGESTIONE; TECNICHE DI TRASPORTO; TCP E CONTROLLO DI CONGESTIONE; APPROFONDIMENTI SU TCP.LE METODOLOGIE E LE TECNOLOGIE DI ROUTING: ALGORITMI DI INSTRADAMENTO PER L'INFRASTRUTTURA DI RETE FISSA; ALGORITMI LINK-STATE-PACKET; PROTOCOLLI DI INSTRADAMENTO E LA RETE INTERNET; CALCOLO DELLO SPANNING TREE IN RETI CON SWITCH.IL ROUTING INTERDOMINIO: BORDER GATEWAY PROTOCOL; SCALABILITA' DI BGP; STRUTTURA DI INTERNET; STRUTTURA DI UN AS DI TRANSITO; STABILITA' DI BGP; LE PROSSIME SFIDE PER INTERNETIL ROUTING NELLE RETI PEER-TO-PEER: DISTRIBUTED HASH TABLES; ALCUNE RETI PEER-TO-PEER CON CARATTERISTICHE PARTICOLARILE RETI VIRTUALI: RETI LOCALI VIRTUALI; EVOLUZIONE DELLO SPANNING TREE PROTOCOL; RETI PRIVATE VIRTUALI BASATE SU MPLSGESTIONE DEGLI INDIRIZZI IP: NAT; CIDR.IPV6: INDIRIZZAMENTO E ASPETTI DI BASE DEL PROTOCOLLO; ICMPV6; SOURCE ADDRESS SELECTION E MULTIHOMING; TRANSIZIONE IPV4-IPV6.

Slides provided by the teacher.

Logica classica: sintassi, semantica, sistema di deduzione naturale,
tableaux e risoluzione. Il linguaggio Prolog. Il Calcolo delle
situazioni e il linguaggio Golog. Metodi formali per la verifica di
sistemi software (logica temporale, automi).

M. CIALDEA MAYER. LOGICA. LINGUAGGIO, RAGIONAMENTO, CALCOLO. ESCULAPIO, 2002.

W. F. CLOCKSIN AND C. S. MELLISH. PROGRAMMARE IN PROLOG. FRANCO ANGELI, 1993

M.CIALDEA MAYER. IL CALCOLO DELLE SITUAZIONI E IL LINGUAGGIO GOLOG (DISPENSE)

D. A. PELED. SOFTWARE RELIABILITY METHODS. SPRINGER, 2001

M. CIALDEA MAYER. LOGICA TEMPORALE E VERIFICA DI PROPRIETÀ DEI PROGRAMMI (DISPENSE).

INTRODUZIONE ALLA PROGRAMMAZIONE LINEARE A NUMERI INTERI (PLI): RELAZIONE FRA PL E PLI, FORMULAZIONI EQUIVALENTI, RILASSAMENTI, MATRICI TOTALMENTE UNIMODULARI, TECNICHE STANDARD PER LA FORMULAZIONE DI PROBLEMI DI PLI. FORMULAZIONE DI TIPICI PROBLEMI DI OTTIMIZZAZIONE: LOCALIZZAZIONE DI IMPIANTI, SCELTA DI INVESTIMENTI, SEQUENZIAMENTO DI ATTIVITÀ, OTTIMIZZAZIONE SU RETI, TRASPORTI, SET COVERING, SET PARTITIONING, SET PACKING, TURNI DEL PERSONALE.SOLUZIONE ESATTA DI PROBLEMI DI PROGRAMMAZIONE LINEARE A NUMERI INTERI: BRANCH AND BOUND, IL PROBLEMA DI KNAPSACK, PIANI DI TAGLIO.METODI DI PROGRAMMAZIONE DINAMICA (PD): ALGORITMO DI PD PER IL KNAPSACK CAPACITATO, ALGORITMO DI PD PER IL KNAPSACK INTERO NON CAPACITATO.OTTIMIZZAZIONE SU GRAFI: MATCHING, MINIMO COVER, MASSIMO FLUSSO, MASSIMO STABILE. GRAFI EULERIANI E GRAFI BIPARTITI.UTILIZZO DI UN SOFTWARE COMMERCIALE PER LA SOLUZIONE DI PROBLEMI DI PROGRAMMAZIONE MATEMATICA.

[1] M. FISCHETTI, "LEZIONI DI RICERCA OPERATIVA", EDIZIONI LIBRERIA PROGETTO PADOVA, ITALIA, 1995. (CAP. 2, 5, PARTE DEL 6 E DEL 7).[2] R. AHUJA, T. MAGNANTI, J. ORLIN, "NETWORK FLOWS", PRENTICE HALL, 1993. (PG. 189-191, 473-475, 494-496)[3] DISPENSE FORNITE DAL DOCENTE E/O DISPONIBILI SUL WEB.

LO STANDARD UMTS. I CODICI E IL WCDMA. GESTIONE DEI CANALI FISICI, DI TRASPORTO E LOGICI. CAPACITÀ DEL SISTEMA E GESTIONE DELLA RISORSA RADIO. GESTIONE DELLA MOBILITÀ. GESTIONE DELLA SICUREZZA. GESTIONE DELLA COMUNICAZIONE. SERVIZI E APPLICAZIONI. LO STANDARD WI-MAX MOBILE (IEEE 802.16E). CONFRONTO TRA UMTS-HSDPA E WI-MAX MOBILE. LABORATORIO DIDATTICO ED ESERCITAZIONI SU RETI WIRELESS MOBILI PER TELECOMUNICAZIONI 3G E SUCCESSIVE (NGN).

G. COLUMPSI, M. LEONARDI, A. RICCI: “UMTS: TECNICHE E ARCHITETTURE PER LE RETI DI COMUNICAZIONI MOBILI MULTIMEDIALI”, SECONDA EDIZIONE; HOEPLI INFORMATICA; NOVEMBRE 2005.
LOUTFI NUAYMI: “WIMAX: TECHNOLOGY FOR BROADBAND WIRELESS ACCESS”; WILEY PUBL.; GENNAIO 2007.

• FONDAMENTI DI PROGRAMMAZIONE CONCORRENTE
• PROCESSI SEQUENZIALI E PARALLELI
• ASSUNZIONE DI PROGRESSO FINITO, FAIRNESS E STALLO
• INTERFERENZA E CONDIZIONI DI BERNSTEIN
• SEMAFORI DI DIJKSTRA
• REGIONI CRITICHE CONDIZIONALI
• MONITOR
• PROBLEMI CLASSICI
• PROCESSI E THREAD IN C SOTTO LINUX
• CREAZIONE DEI PROCESSI: FORK() & EXEC()
• MECCANISMI IPC: SEGNALI, PIPES, SHARED MEMORY, SEMAFORI
• CREAZIONE DEI THREAD POSIX: PTHREAD_CREATE()
• STRUMENTI DI SINCRONIZZAZIONE PER THREAD: MUTEX, VARIABILI CONDIZIONE, SEMAFORI
• THREAD SPECIFIC DATA
• PROGRAMMAZIONE CLIENT / SERVER IN C SOTTO LINUX (RIEPILOGO)
• SOCKET
• PROGRAMMAZIONE DI PROTOCOLLI CONNESSI
• PROGRAMMAZIONE DI PROTOCOLLI NON-CONNESSI
• RISOLUZIONE DI PROBLEMI DI COMPETIZIONE LATO SERVER
• JAVA THREAD
• CREAZIONE THREAD IN JAVA
• JAVA MONITOR
• COOPERAZIONE E SINCRONIZZAZIONE THREAD IN JAVA CON WAIT() & NOTIFY()
• TECNICHE DI PROGRAMMAZIONE THREAD-SAFE
• IL PACKAGE JAVA.UTIL.CONCURRENT
• ARGOMENTI AVANZATI
• ALGORITMI NON-BLOCKING
• TESTING DI APPLICAZIONI CONCORRENTI
• CENNI AL MODEL CHECKING

BRIAN GOETZ JAVA CONCURRENCY IN PRACTICE - ADDISON WESLEY
DOUG LEA. CONCURRENT PROGRAMMING IN JAVA SECONDA ED. - ADDISON WESLEY
MAURICE HERLIHY, NIR SHAVIT THE ART OF MULTIPROCESSOR PROGRAMMING - MORGAN KAUFMANN

* ARCHITETTURE SOFTWARE:
- INTRODUZIONE E CONCETTI DI BASE
- PROCESSO DI DEFINIZIONE DELL'ARCHITETTURA SOFTWARE
- PARTI INTERESSATE E INTERESSI - REQUISITI E QUALITÀ
- DESCRIVERE L'ARCHITETTURA - PUNTI DI VISTA E VISTE
- PROGETTARE PER LE QUALITÀ - TATTICHE ARCHITETTURALI - STILI ARCHITETTURALI
- VALUTAZIONE DI ARCHITETTURE SOFTWARE (CENNI)
* ARCHITETTURE DEI SISTEMI DISTRIBUITI
- ARCHITETTURE DISTRIBUITE: CLIENT/SERVER, ARCHITETTURA A OGGETTI DISTRIBUITI, MESSAGING E INTEGRAZIONE DI APPLICAZIONI, ARCHITETTURE A COMPONENTI, WEB SERVICES, ARCHITETTURA ORIENTATA AI SERVIZI, CLOUD COMPUTING
* MIDDLEWARE E TECNOLOGIE PER SISTEMI DISTRIBUITI
TECNOLOGIE A OGGETTI DISTRIBUITI, MESSAGING, COMPONENTI, WEB SERVICES, TECNOLOGIE PER IL CLOUD COMPUTING

DISPENSE A CURA DEL DOCENTE
TESTI DI CONSULTAZIONE AGGIUNTIVI:
- LEN BASS, PAUL CLEMENTS, RICK KAZMAN, SOFTWARE ARCHITECTURE IN PRACTICE (2ND EDITION), ADDISON WESLEY, 2003.
- FRANK BUCHMANN, KEVLIN HENNEY, DOUGLAS C. SCHMIDT, PATTERN-ORIENTED SOFTWARE ARCHITECTURE – A PATTERN LANGUAGE FOR DISTRIBUTED COMPUTING, JOHN WILEY & SONS, 2007.
- NICK ROZANSKI, EOIN WOODS, SOFTWARE SYSTEMS ARCHITECTURE, ADDISON WESLEY, 2005.

- I SISTEMI INFORMATIVI E LA GOVERNANCE DELL'ICT
- PIANIFICAZIONE DEI SISTEMI INFORMATIVI
- REINGEGNERIZZAZIONE DEI PROCESSI
- STUDI DI FATTIBILITÀ E STIMA DEI COSTI
- FORNITURE ICT: STRATEGIE DI ACQUISIZIONE, CONTRATTI E SELEZIONE DEL FORNITORE
- SEMINARI DI ESPERTI

• C. BATINI ET AL.: SISTEMI INFORMATIVI (VOLUMI I E III) FRANCO ANGELI 2001
• DISPENSE A CURA DEL DOCENTE (LA VERSIONE DEL 2009-2010 È DISPONIBILE IN RETE: HTTP://WWW.DIA.UNIROMA3.IT/~ATZENI/DIDATTICA/SINF/20092010/PROGRAMMA.HTML)

• INTRODUZIONE AL CORSO
• INTRODUZIONE ALLA SICUREZZA INFORMATICA E TERMINOLOGIA
• VULNERABILITÀ E MINACCE
• VULNERABILITÀ DEL SOFTWARE INPUT FIDATO E NON FIDATO, VALIDAZIONE DELL'INPUT. VULNERABILITÀ DI APPLICAZIONI SCRITTE IN LINGUAGGI INTERPRETATI, CODE INJECTION.
• ESEMPIO DI SITO VULNERABILE A SQL INJECTION
• ATTACCHI DI TIPO BUFFER OVERFLOW. EXPLOITATION: PRIVILEGE EXCALATION, INTRUSIONI VIA RETE TRAMITE SERVIZI APERTI, INTRUSIONE VIA DOCUMENTI NON FIDATI (VIA EMAIL, VIA WEB O ALTRO).
• ESEMPIO DI CODICE VULNERABILE A BUFFER OVERFLOW E RELATIVO EXPLOIT
• SECURE PROGRAMMING.
• MALAWARE E SCOCIAL ENGINEERING: VIRUS, WORM, TROJAN, ROOTKIT, BACKDORS, SNIFFER, SPYWARE, ADWARE, ECC. SCRIPT KIDDIES. PHISHING E CROSS-SITE SCRIPTING.
• VULNERABILITÀ DELLE RETI: SNIFFING, MAC FLOOD, ARP POISONING, VULNERABILITÀ DEL DNS. TCP SESSION HIJECKING, ATTACCHI MITM, DOS E DISTRIBUTED DOS, ROUTE HIJECKING.
• ESERCIZI SU VULNERABILITÀ
• CONTROMISURE
• PRINCIPI DI PROGETTAZIONE DI POLITICHE E MECCANISMI
• MODELLI: AAA, CONFINAMENTO, DAC, MAC, ACCESS CONTROL MATRIX,
• SICUREZZA DEI SISTEMI:
• PRINCIPI GENERALI (PASSWORDS E VULNERABILITÀ, METODOLIGA DI HARDENING, ASSESSMENT E AUDITING)
• UNIX (CONTROLLO DI ACCESSO DISCREZIONARIO, SICUREZZA NEL FILESYSTEM, AUTENTICAZIONE, PAM, HARDENING, SYSLOG)
• CONFINAMENTO IN SISTEMI DAC (JAILING E VIRTUALIZZAZIONE), SELINUX
• WINDOWS: NTFS
• SICUREZZA DEI SISTEMI RFID
• ESERCIZI SU ACCESS CONTROL E SICUREZZA DI SISTEMA.
• SICUREZZA DELLE RETI:
• SICUREZZA A LIVELLO 1 E 2, FIREWALL STATELESS E STATEFULL, LINUX NETFILTER ED ESEMPI DI CONFIGURAZIONI, PROXY E LORO VULNERABILITÀ. SUDDIVISIONI DI CARICO E FULL HIGH-AVAILABILITY. INTRUSION DETECTION SYSTEMS DI RETE.
• ESERCIZI SULLA SICUREZZA DELLE RETI.
• TECNICHE CRITTOGRAFICHE:
• RICHIAMI DI CRITTOGRAFIA (HASH, SIMMETRICA, ASIMMETRICA, MAC, FIRMA DIGITALE), ATTACCHI BIRTHDAY, RAINBOW, QUALITÀ DELLE CHIAVI, GENERAZIONE DI NUMERI PESUDO-CASUALI.
• PROTOCOLLI DI AUTENTICAZIONE E DI SCAMBIO DI CHIAVI. ATTACCHI REPLAY E REFLECTION. NONCES.
• ESERCIZI SU PROTOCOLLI DI AUTENTICAZIONE E SCAMBIO DI CHIAVI.
• CERTIFICATI, CERTIFICATION AUTHORITY, PUBLIC KEY INFRASTRUCTURE E LORO VULNERABILITÀ. APPLICAZIONI: POROTOCOLLI SSL, TLS, SSH, VIRTUAL PRIVATE NETWORK, IPSEC, PPTP. PROTOCOLLI DI AUTENTICAZIONE PUNTO-PUNTO PAP, CHAP, MS-CHAP, EAP. AUTENTICAZIONE DEGLI UTENTI IN RETE LOCALE 802.1X, RADIUS E VULNERABILITÀ.
• ASPETTI GESTIONALI: PIANIFICAZIONE, PROGETTAZIONE E NORMATIVA.
• STANDARD E CERTIFICAZIONE: TCSEC, ITSEC, COMMON CRITERIA, ISO17799, ISO27001
• PIANIFICAZIONE DELLA SICUREZZA: OBBLIGHI NORMATIVI RELATIVI AL DLGS 196/2003 E IL DPS, IL PIANO DI SICUREZZA AZIENDALE (CONTENUTI, VANTAGGI ORGANIZZATIVI, POLICY, STATO ATTUALE, ANALISI DEI RISCHI, REQUISITI, CONTROMISURE, RISPOSTA AGLI INCIDENTI, BUSSINES CONTINUITY, DISASTER RECOVERY).
• ESERCIZI SU PIANIFICAZIONE, PROGETTO E NORMATIVA (SOLUZIONI).
• ARGOMENTI SOLO PER GLI STUDENTI DELL'ORDINAMENTO DM270.
• STRUTTURE DATI AUTENTICATE
• SICUREZZA DI SISTEMA - WINDOWS

MATERIALE FORNITO DAL DOCENTE.
TESTI DI RIFERIMENTO
• M. BISHOP, "COMPUTER SECURITY: ART AND SCIENCE", ADDISON-WESLESY.
• C. KAUFMAN, R. PERLMAN, M. SPECINER, "NETWORK SECURITY: PRIVATE COMUNICATION IN A PUBLIC WORLD (SECOND EDITION)", PRENTICE HALL.
• C. PFLEEGER, S. PFLEEGER, "SICUREZZA IN INFORMATICA", PEARSON - PRENTICE HALL.
• M. E. RUSSINOVICH, D. A. SOLOMON, "MICROSOFT WINDOWS INTERNALS, FOURTH EDITION", MICROSOFT PRESS.

1. RICHIAMI: NUMERI COMPLESSI; ONDE.
2. ESPERIMENTI BASE DELLA MECCANICA QUANTISTICA E CONSEGUENZE CONCETTUALI.
3. EQUAZIONE DI SCHROEDINGER E BASI FORMALI DELLA MQ.
4. ARGOMENTI AVANZATI.
http://webusers.fis.uniroma3.it/~silva/

PER LA BIBLIOGRAFIA DETTAGLIATA PARTIRE DA HTTP://WEBUSERS.FIS.UNIROMA3.IT/~SILVA/
SEGUIRE IL LINK "SISTEMI QUANTISTICI"

1. Introduzione ai Sistemi Intelligenti per Internet
• Adaptive Web
• Processi di Information Seeking

2. Information Retrieval nella Pratica
• Architettura dei Motori di Ricerca
• Metodi di elaborazione di documenti testuali
• Tecniche di Ranking dei documenti
• Modelli di Retrieval
• Caso di studio: Il motore di ricerca open-source Galago

3. Machine Learning e Information Retrieval
• Classificazione e Categorizzazione
• Support Vector Machines
• Clustering

4. User Modeling e Personalized Search
• Tipologie di Modelli Utente
• Tecniche di Modellazione Utente
• Accesso personalizzato alle informazioni
• Content-based Information Filtering

5. Social Search e Recommender Systems
• User Tags e Manual Indexing
• Searching with Communities
• Collaborative Filtering
• Recommender Systems

6. Metodi di Valutazione Sperimentale
• Metriche per la valutazione sperimentale dei SII
• Metodi statistici di hypothesis testing
• Casi di studio

7. Seminari
• Seminari di approfondimento su temi trattati a lezione

BRUSILOVSKY, KOBSA E NEJDL
"THE ADAPTIVE WEB: METHODS AND STRATEGIES FOR WEB PERSONALIZATION"
SPRINGER, 2007.

DISPENSE INTEGRATIVE A CURA DEL DOCENTE.

INTRODUZIONE AI PROBLEMI DI OTTIMIZZAZIONE COMBINATORIA. ALGORITMI DI OTTIMIZZAZIONE. ANALISI DI COMPLESSITÀ DEGLI ALGORITMI. PROBLEMI IN FORMA DI RICONOSCIMENTO E DI OTTIMIZZAZIONE. CLASSI P E NP. RIDUZIONE FRA PROBLEMI. PROBLEMI NP-COMPLETI. ALGORITMI PSEUDO-POLINOMIALI.
ALGORITMI DI APPROSSIMAZIONE. CLASSI DI APPROSSIMAZIONE (NPO, APX, PTAS, FPTAS, PO).
ALGORITMI DI APPROSSIMAZIONE PER IL VERTEX COVER: ALGORITMI GREEDY, ALGORITMO DFS, ALGORITMI BASATI SULLA PL (ARROTONDAMENTO E PRIMALE DUALE).
PROBLEMI DI KNAPSACK. NP-COMPLETEZZA. ALGORITMI DI PROGRAMMAZIONE DINAMICA. ALGORITMO GREEDY PER IL KNAPSACK 0-1. SCHEMA DI APPROSSIMAZIONE PER IL KNAPSACK 0-1. SCHEMA DI APPROSSIMAZIONE COMPLETAMENTE POLINOMIALE PER IL KNAPSACK 0-1.
IL PROBLEMA DEL COMMESSO VIAGGIATORE (TSP). NP-COMPLETEZZA. NON-APPROSSIMABILITÀ DEL TSP. ESEMPI DI APPLICAZIONI. IL -TSP. UN ALGORITMO 2-APPROSSIMATO PER IL -TSP. ALGORITMO DI CHRISTOFIDES. ALGORITMO 5/3-APPROSSIMATO PER IL TSPP. EURISTICHE PER IL TSP: A INSERIMENTO CON DIVERSI CRITERI DI SCELTA; MIGLIORATIVE (2-OPT EXCHANGE, 3-OPT, K-OPT, OR-OPT, LIN-KERNIGAN, TABU SEARCH, SIMULATED ANNEALING, ALG.GENETICI); ALGORITMI PER ISTANZE GEOMETRICHE (INVILUPPO CONVESSO, A SEZIONI, SWEEP).
IL PROBLEMA DI SCHEDULING SU MACCHINE PARALLELE. IL PROBLEMA DI BIN-PACKING.

1.
“LECTURE NOTES ON APPROXIMATION ALGORITHMS”, VOLUME I, R. MOTWANI.

2.
G. AUSIELLO, P. CRESCENZI, G. GAMBOSI, V. KANN, A. MARCHETTI-SPACCAMELA, M. PROTASI, "COMPLEXITY AND APPROXIMATION,COMBINATORIAL OPTIMIZATION PROBLEMS AND THEIR APPROXIMABILITY PROPERTIES", SPRINGER VERLAG, 1999.

3.
SLIDES DELLE LEZIONI

TECNOLOGIA DELLE BASI DI DATI ATTUALI: STRUTTURE FISICHE, GESTIONE DELLE TRANSAZIONI, ARCHITETTURE DISTRIBUITE. LINEE DI EVOLUZIONE: BASI DI DATI A OGGETTI, DATA WAREHOUSING. GESTIONE DI DATI XML: WWW E LINGUAGGI DI MARK-UP; XML E NAMESPACES. LINGUAGGI DI SCHEMI PER XML; XPATH; XSLT; XQUERY; XML PROGRAMMING. SEMINARI SULLE RECENTI EVOLUZIONE DELLE BASI DI DATI.

P. ATZENI, S. CERI, P. FRATERNALI, S. PARABOSCHI, R. TORLONE. BASI DI DATI: ARCHITETTURE E LINEE DI EVOLUZIONE. MCGRAW-HILL, SECONDA EDIZIONE 2007. DISPENSE A CURA DEI DOCENTI. UTILE PER LA CONSULTAZIONE: ANDERS MØLLER AND MICHAEL I. SCHWARTZBACH. AN INTRODUCTION TO XML AND WEB TECHNOLOGIES, ADDISON-WESLEY, 2006. TRADUZIONE ITALIANA: "INTRODUZIONE ALLE TECNOLOGIE WEB", PEARSON EDUCATION ITALIA EDITORE, 2007.

PROGRAMMAZIONE GEOMETRICA
INTRODUZIONE AL LINGUAGGIO PYTHON, AL LINGUAGGIO PLASM, LIBRERIA PYPLASM.

ELEMENTI DI ALGEBRA LINEARE, GEOMETRIA POLIEDRALE E DIFFERENZIALE
SPAZI VETTORIALI E AFFINI, INSIEMI CONVESSI, COMPLESSI SIMPLICIALI E POLIEDRALI, CAMPI E OPERATORI DIFFERENZIALI.

ELEMENTI DI COMPUTER GRAPHICS
TRASFORMAZIONI AFFINI, PRIMITIVE GRAFICHE, STRUTTURE GERARCHICHE, PIPELINE 3D, PROIEZIONI, TEXTURE MAPPING, RICOSTRUZIONE 3D

ELEMENTI DI GEOMETRIC COMPUTING
CURVE, SUPERFICI E SOLIDI PARAMETRICI SIA POLINOMIALI CHE RAZIONALI. PATCHES RETTANGOLARI, SIMPLICIALI E MULTIVARIATE. MODELLAZIONE GEOMETRICA TRANSFINITA.

•ALBERTO PAOLUZZI, "GEOMETRIC PROGRAMMING FOR COMPUTER-AIDED DESIGN", WILEY, 2003

•HTTP://WWW.PYTHON.ORG/

•HTTP://WWW.PLASM.NET/

1. INTRODUZIONE:

- GLI AGENTI INTELLIGENTI.
- L'IA COME "REPRESENTATION AND SEARCH".

2. SOLUZIONE DI PROBLEMI MEDIANTE RICERCA NELLO SPAZIO DEGLI STATI:

- RICERCA NON INFORMATA (IN AMPIEZZA, GUIDATA DAL COSTO, IN PROFONDITÀ,
ITERATIVE DEEPENING).
- RICERCA EURISTICA (BEST FIRST, A*, IDA*, FUNZIONI EURISTICHE).
- ALGORITMI APPROSSIMATI (HILL CLIMBING, SIMULATED ANNEALING, ECC.).
- RICERCA IN PRESENZA DI AVVERSARI (MINIMAX, ALFA-BETA PRUNING).

3. RAPPRESENTAZIONE DELLA CONOSCENZA E RAGIONAMENTO AUTOMATICO:

- CALCOLO PROPOSIZIONALE.
- CALCOLO DEI PREDICATI.
- FRAMES, RETI SEMANTICHE, SISTEMI DI PRODUZIONE, ECC.
- CASE-BASED REASONING.
- SISTEMI BASATI SULLA CONOSCENZA.

4. APPRENDIMENTO AUTOMATICO:

- SIMBOLICO (APPRENDIMENTO INDUTTIVO, ALBERI DI DECISIONE).
- CONNESSIONISTA (RETI NEURALI ARTIFICIALI).
- SOCIALE ED EMERGENTE (ALGORITMI GENETICI, ECC.).


5. COMUNICAZIONE, PERCEZIONE E AZIONE:

- ELABORAZIONE DEL LINGUAGGIO NATURALE.
- VISIONE ARTIFICIALE.
- ROBOTICA.

"STUART RUSSELL, PETER NORVIG
""INTELLIGENZA ARTIFICIALE - UN APPROCCIO MODERNO (VOL. 1 E 2)""
PEARSON EDUCATION ITALIA, 2005.


DISPENSE INTEGRATIVE A CURA DEL DOCENTE.

"

Logica classica: sintassi, semantica, sistema di deduzione naturale,
tableaux e risoluzione. Il linguaggio Prolog. Il Calcolo delle
situazioni e il linguaggio Golog. Metodi formali per la verifica di
sistemi software (logica temporale, automi).

M. CIALDEA MAYER. LOGICA. LINGUAGGIO, RAGIONAMENTO, CALCOLO. ESCULAPIO, 2002.

W. F. CLOCKSIN AND C. S. MELLISH. PROGRAMMARE IN PROLOG. FRANCO ANGELI, 1993

M.CIALDEA MAYER. IL CALCOLO DELLE SITUAZIONI E IL LINGUAGGIO GOLOG (DISPENSE)

D. A. PELED. SOFTWARE RELIABILITY METHODS. SPRINGER, 2001

M. CIALDEA MAYER. LOGICA TEMPORALE E VERIFICA DI PROPRIETÀ DEI PROGRAMMI (DISPENSE).

1. INTRODUZIONE AL CALCOLO PARALLELO
2. PIATTAFORME PER IL CALCOLO PARALLELO
A. ARCHITETTURE A MEMORIA CONDIVISA E DISTRIBUITA
B. COMUNICAZIONI INTER-PROCESSO
C. MODELLI ALGORITMICI (DATA-PARALLEL, MASTER-SLAVE, PIPELINE, IBRIDO)
3. OPERAZIONI PER IL MESSAGE PASSING
A. BROADCAST E REDUCTION
B. SCATTERING E GATHERING
C. COMUNICAZIONI SPECIALIZZATE (MESH, RING, HYPERCUBE, CIRCULAR TOPOLOGY)
4. METRICHE PER LE PRESTAZIONI DI ALGORITMI PARALLELI
5. LIBRERIE E LINGUAGGI PER IL CALCOLO PARALLELO
A. MESSAGE PASSING INTERFACE
B. OPENMP E MULTI-THREADING
C. CUDA E OPENCL
6. ALGORITMI PER MATRICI DENSE
A. MOLTIPLICAZIONE VETTORE-MATRICE
B. MOLTIPLICAZIONE MATRICE-MATRICE (NAIVE, CANNON, DNS)
C. INVERSIONE DI MATRICI
D. RISOLUZIONE DI SISTEMI DI EQUAZIONI LINEARI
7. ALGORITMI PER L’ORDINAMENTO
A. RETI ORDINANTI
B. VARIANTI DEL BUBBLE SORT (ODD-EVEN, SHELL)
C. QUICKSORT
D. BUCKET SORT
8. ALGORITMI SU GRAFI (DIJKSTRA, FLOYD, PRIM)
9. ARGOMENTI AVANZATI
A. RICERCA NELLO SPAZIO DELLE SOLUZIONI
B. PROGRAMMAZIONE DINAMICA
C. FAST FOURIER TRANSFORM
D. METODO DEL GRADIENTE CONIUGATO

"PARALLEL AND DISTRIBUTED COMPUTATION: NUMERICAL METHODS", DIMITRI P. BERTSEKAS, JOHN N. TSITSIKLIS, ATHENA SCIENTIFIC, 1997. (FREE PDF: DSPACE@MIT, MIT LIBRARIES)

"INTRODUCTION TO PARALLEL COMPUTING", ANANTH GRAMA, GEORGE KARYPIS, VIPIN KUMAR, ANSHUL GUPTA, ADDISON WESLEY (2ND EDITION), 2003.

INTRODUZIONE ALLA CRITTOGRAFIA. CENNI STORICI. DEFINIZIONE DI CRITTOSISTEMA. CIFRARI CLASSICI: CIFRARI ADDITIVI, CIFRARI A SOSTITUZIONE, CIFRARI AFFINI, CIFRARI A TRASPOSIZIONE, CIFRARIO DI VIGENÈRE, CIFRARIO DI HILL, CIFRARI AFFINI LINEARI.

INTRODUZIONE ALLA CRITTOANALISI. CRITTOANALISI. TIPI DI ATTACCO. CRITTOANALISI DI CIFRARI AFFINI, A SOSTITUZIONE, DI VIGENÈRE, DI HILL.

CENNI DI TEORIA DI SHANNON. SEGRETEZZA PERFETTA. CARATTERIZZAZIONE DEI CRITTOSISTEMI A SEGRETEZZA PERFETTA. ONE-TIME PAD. CIFRARI A FLUSSO. REGISTRI A SCORRIMENTO LINEARI.

CRITTOSISTEMI PRODOTTO. RETI A SOSTITUZIONE-PERMUTAZIONE. CIFRARI DI FEISTEL. DATA ENCRYPTION STANDARD. TRIPLO DES. ADVANCED ENCRYPTION STANDARD (AES).
MODALITÀ DI FUNZIONAMENTO.

INTRODUZIONE ALLA CRITTOGRAFIA A CHIAVE PUBBLICA. CENNI DI TEORIA DELLA COMPLESSITÀ. PROBLEMA DELLO ZAINO. CIFRARIO DI MERKLE-HELLMAN.

IL CRITTOSISTEMA RSA. L'ALGORITMO SQUARE AND MULTIPLY. TEST DI PRIMALITÀ. RSA E FATTORIZZAZIONE. ALCUNI ATTACCHI ALL'RSA.

IL PROBLEMA DEL LOGARITMO DISCRETO. SCAMBIO DELLA CHIAVE DI DIFFIE-HELLMAN. IL CRITTOSISTEMA DI ELGAMAL.

FIRMA DIGITALE. SCHEMI DI FIRMA. LO SCHEMA RSA. LO SCHEMA DI ELGAMAL.

ARITMETICA MODULARE. DEFINIZIONE DI GRUPPO. GRUPPI CICLICI. PERMUTAZIONI. CONGRUENZE, FUNZIONE DI EULERO, ELEMENTI INVERTIBILI IN ZN. CENNI SUI CAMPI FINITI. TEOREMA DI EULERO, PICCOLO TEOREMA DI FERMAT. CENNI SULL' ALGORITMO DI EUCLIDE PER IL CALCOLO DEL MCD.

D. STINSON, CRYPTOGRAPHY: THEORY AND PRACTICE, CHAPMAN AND HALL.
A. LANGUASCO, A. ZACCAGNINI, INTRODUZIONE ALLA CRITTOGRAFIA, HOEPLI.
W. STALLINGS, CRITTOGRAFIA E SICUREZZA DELLE RETI, MCGRAW HILL.

INTRODUZIONE ALLA PROGRAMMAZIONE WEB CON JAVASCRIPT
PERCHÉ JAVASCRIPT? SETUP DELL'AMBIENTE: CHROME, GIT, GITHUB.
FLUSSO DEL CONTROLLO, FUNZIONI, CHIUSURE; OGGETTI, OGGETTI PREDEFINITI; PROTOTIPI, EREDITARIETÀ; GUIDA ALLO STILE DI CODIFICA, L'ECOSISTEMA JAVASCRIPT, COFFEESCRIPT.


VITA E BIOMOLECOLE
INTRODUZIONE ALLA GENOMICA: DNA E CODICE GENETICO, RNA, MAPPING DI GENI E PROTEINE. INTRODUZIONE ALLA PROTEOMICA: STRUTTURE PRIMARIA, SECONDARIA, TERZIARIA E QUATERNARIA. PATHWAYS BIOCHIMICI. SISTEMA NERVOSO, NEURONI, INTERFACCIA NEURO-MUSCOLARE.


REGISTRAZIONI BIOMEDICHE, DATI E IMMAGINI
AMBIENTI EMR (ELECTRONIC MEDICAL RECORD). DATI DI LABORATORIO, DATI ANATOMICI, IMMAGINI BIOMEDICHE, SISTEMI PACS, IMMAGINI DICOM. FORMATI PDB (PROTEIN DATA BANK), SERVIZI WEB EBI (EUROPEAN BIOINFORMATICS INSTITUTE).


CONOSCENZA BIOMEDICA SIMBOLICA
WEB 3.0. ONTOLOGIE COME SPECIFICHE FORMALI DI OGGETTI, PROPRIETÀ E RELAZIONI NELL'ORGANIZZAZIONE DEI DATI BIOMEDICI. IL MODELLO ANATOMICO FMA DELL'UNIVERSITÀ DI WASHINGTON (DIGITAL ANATOMIST-FOUNDATIONAL MODEL OF ANATOMY);


MODELLAZIONE E SIMULAZIONE BIOMEDICA
MODELLI FISIOLOGICI. VIRTUAL PHYSIOLOGICAL HUMAN (VPH); MODELLI GEOMETRICI DI PROTEINE, CELLULE, TESSUTI, ORGANI E SISTEMI. MODELLI GEOMETRICI DI NEURONI, ASSONI E DENDRITI. MODELLI DELL'INTERFACCIA NEURO-MUSCOLARE.


PROGETTI DEGLI STUDENTI
AGLI STUDENTI SI RICHIEDE DI COLLABORARE AL PROGETTO E ALLO SVILUPPO DI STRUMENTI WEB INTERATTIVI PER L'INFOGRAFICA BIOMEDICA.

• I.J. KALET, "PRINCIPLES OF BOMEDICAL INFORMATICS", ELSEVIER, 2009.
• A. PAOLUZZI, "GEOMETRIC PROGRAMMING FOR CAD", WILEY, 2003

METODOLOGIE E TECNOLOGIE PER LA CONDIVISIONE DI DATI E SERVIZI SU WEB
PRINCIPI BASE DEI SISTEMI DI CRAWLING
PRINCIPI BASE DEI SISTEMI DI INDICIZZAZIONE DEI DOCUMENTI
DATA EXTRACTION
CLOUD COMPUTING E SAAS
MAP REDUCE

CHRISTOPHER D. MANNING, PRABHAKAR RAGHAVAN AND HINRICH SCHÜTZE: INTRODUCTION TO INFOMATION RETRIEVAL

JIMMY LIN AND CHRIS DYER: DATA INTENSIVE TEXT PROCESSING WITH MAP-REDUCE