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 LOCK-FREE
• TESTING DI APPLICAZIONI CONCORRENTI
• CENNI AL MODEL CHECKING

PAOLO ANCILOTTI, MAURELIO BOARI. "PROGRAMMAZIONE CONCORRENTE E DISTRIBUTA" - MCGRAW-HILL

CONTENUTI
• INTRODUZIONE ALLA ARCHITETTURE SOFTWARE. CONCETTI DI BASE. PUNTI DI VISTE E VISTE. PROSPETTIVE.
• DEFINIZIONE DELLE ARCHITETTURE SOFTWARE. REQUISITI FUNZIONALI E NON FUNZIONALI. SCENARI DI QUALITÀ. CREARE L’ARCHITETTURA SOFTWARE. VALIDARE L’ARCHITETTURA SOFTWARE.
• STILI ARCHITETTURALI. STILI ARCHITETTURALI POSA FONDAMENTALI. LAYERS. PIPES AND FILTERS. DOMAIN MODEL. DOMAIN OBJECT. MVC. MICRO-KERNEL.
• STILI ARCHITETTURALI PER SISTEMI DISTRIBUITI. CLIENT-SERVER. OGGETTI DISTRIBUITI. BROKER. MESSAGING. ARCHITETTURE BASATE SU COMPONENTI. ARCHITETTURE PER L’INTEGRAZIONE DI APPLICAZIONI. ARCHITETTURE ORIENTATE AI SERVIZI. CLOUD COMPUTING.
• PUNTI DI VISTA. PUNTO DI VISTA FUNZIONALE. PUNTO DI VISTA DELLE INFORMAZIONI. PUNTO DI VISTA DELLA CONCORRENZA. ALTRI PUNTI DI VISTA.
• TATTICHE ARCHITETTURALI. PROSPETTIVE.
• MIDDLEWARE: RPC E RMI. MESSAGING. COMPONENTI JAVA EE. WEB SERVICES.

• DISPENSE A CURA DEL DOCENTE
• TESTI DI CONSULTAZIONE
O LEN BASS, PAUL CLEMENTS, RICK KAZMAN, SOFTWARE ARCHITECTURE IN PRACTICE (2ND EDITION), ADDISON WESLEY, 2003.
O FRANK BUCHMANN, KEVLIN HENNEY, DOUGLAS C. SCHMIDT, PATTERN-ORIENTED SOFTWARE ARCHITECTURE – A PATTERN LANGUAGE FOR DISTRIBUTED COMPUTING, JOHN WILEY & SONS, 2007.
O 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.INTRODUZIONE

- METODI E STRATEGIE PER LA PERSONALIZZAZIONE SU INTERNET.

2. TECNICHE DI MODELLAZIONE SU WEB

- MODELLI DI INFORMATION RETRIEVAL E INFORMATION FILTERING.
- WEB DOCUMENT MODELING.
- AUTOMATIC TEXT CATEGORIZATION AND CLASSIFICATION.

3. TECNICHE DI PERSONALIZZAZIONE AUTOMATICA

- TECHNICHE DI USER MODELING.
- MODELLAZIONE UTENTE PER GLI ADAPTIVE HYPERMEDIA.
- MODELLAZIONE UTENTE PER I SISTEMI DI ACCESSO PERSONALIZZATO
ALLE INFORMAZIONI.

4. INTELLIGENT INFORMATION ACCESS

- RICERCA PERSONALIZZATA SU WEB.
- CONTENT-BASED SYSTEMS.
- ADAPTIVE FOCUSED-CRAWLING.
- COLLABORATIVE FILTERING E RECOMMENDER SYSTEMS.
- CASE-BASED RECOMMENDATION.

5. APPLICAZIONI

- MOTORI DI RICERCA PERSONALIZZATI.
- SISTEMI ADATTIVI DI E-COMMERCE.
- SISTEMI ADATTIVI DI E-GOVERNMENT.
- SISTEMI ADATTIVI DI E-LEARNING.

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.

• “LECTURE NOTES ON APPROXIMATION ALGORITHMS”, VOLUME I, R. MOTWANI.
• 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.

O INTRODUZIONE AL CORSO: OBIETTIVI, MODALITÀ E PROVE FINALI
O ALGORITMI PARAMETRIZZATI
O ALGORITMI RANDOMIZZATI E ANALISI PROBABILSTICA DI ALGORITMI DETERMINISTICI
O ALGORITMI CACHE-OBLIVIOUS
O IL METODO PROBABILISTICO IN COMPUTER SCIENCE
O STRUTTURE DATI PER GRAFI PLANARI
O ALGORITMI PER VALUTARE LA STABILITÀ DEL ROUTING
O ALGORITMI, GRAFI E GEOMETRIA IN GRAPH DRAWING

O PER GRAN PARTE DEL CORSO SI FARÀ RIFERIMENTO AL MATERIALE (SLIDE, APPUNTI) RESO DISPONIBILE DURANTE IL CORSO. E’ INOLTRE CONSIDERATO RISORSA UTILE IL SEGUENTE TESTO:
O GIUSEPPE DI BATTISTA, PETER EADES, ROBERTO TAMASSIA, IOANNIS G. TOLLIS, "GRAPH DRAWING ALGORITHMS FOR THE VISUALIZATION OF GRAPHS", 1999. PRENTICE HALL.

• MODEL MANAGEMENT
OPERATORI MATCH, MERGE, DIFF
COMPOSIZIONE DI OPERATORI
• SCHEMA (AND DATA) TRANSLATION
UN OPERATORE SPECIALE: MODELGEN
SCHEMA EVOLUTION
• DATA EXCHANGE
SCHEMA MAPPINGS
SISTEMI PER LA GENERAZIONE DI MAPPINGS
SEMANTICA E PROPRIETÀ NOTEVOLI
• DATA INTEGRATION
GENERAZIONE DI SCHEMI MEDIATI
QUERY REWRITING
• DATASPACES
SISTEMI FLESSIBILI
“BEST EFFORT” E “PAY AS YOU GO”

NON PREVISTO

PROGRAMMA SINTETICO DELL’INSEGNAMENTO
O INTRODUZIONE AL CORSO: OBIETTIVI, MODALITÀ E PROVE FINALI
O ILLUSTRAZIONE DELLE APPARECCHIATURE DI LABORATORIO (ROUTER, SWITCH, APPARATI DI MISURA) E DIMOSTRAZIONE DI UTILIZZO
O TECNICHE AVANZATE DI ROUTING: I SERVIZI DI VPN OFFERTI DAGLI INTERNET SERVICE PROVIDER; TECNOLOGIE REALIZZATIVE E PROBLEMI DI MONITORAGGIO
O SISTEMI DI COMUNICAZIONE UNIFICATA PER LE GRANDI AZIENDE
O STRUMENTI AVANZATI DI MONITORAGGIO DELLA RETE E LORO UTILIZZO PER IL SUPPORTO ALLE DECISIONI DEGLI ISP
O METODI PER LA MISURA DELLE PRESTAZIONI NELLE RETI DI CALCOLATORI; APPLICAZIONE DEI METODI ALLA RETE DI UN ISP
O TECNOLOGIE PER LA VIRTUALIZZAZIONE DELLE RETI DI CALCOLATORI
O NUOVO RAPPORTO TRA RETI E DATA CENTER; GREEN NETWORKS
O TECNICHE PER LA VERIFICA DELLE RETI: STANDARD E PRATICHE COMUNI, LIMITI, APPROCCI DI RICERCA
O SICUREZZA NELLE RETI DI CALCOLATORI

O PER GRAN PARTE DEL CORSO SI FARÀ RIFERIMENTO AL MATERIALE (SLIDE, APPUNTI) RESO DISPONIBILE DURANTE IL CORSO. SONO INOLTRE CONSIDERATE RISORSE UTILI I SEGUENTI TESTI:
O L. DE GHEIN. MPLS FUNDAMENTALS. CISCO PRESS. 2006.
O J. DIKE. USER MODE LINUX. PRENTICE HALL. 2006.

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

LIBRI DI TESTO:
“PARALLEL AND DISTRIBUTED COMPUTATION: NUMERICAL METHODS”, DIMITRI P. BERTSEKAS, JOHN N. TSITSIKLIS, ATHENA SCIENTIFIC, 1997. (FORMATO PDF DA 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. CENNI SUL CIFRARIO DI RABIN.

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.

STINSON, CRYPTOGRAPHY: THEORY AND PRACTICE
LANGUASCO, ZACCAGNINI: INTRODUZIONE ALLA CRITTOGRAFIA
BALDONI, CILIBERTO, PIACENTINI: ARITMETICA, CRITTOGRAFIA E CODICI
STALLINGS: CRITTOGRAFIA E SICUREZZA DELLE RETI

0. RICHIAMI SUI NUMERI COMPLESSI.
1.1 ONDE.1.2 ONDE ELETTROMAGNETICHE.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/HOMEDIDATTICA.HTML

PER LA BIBLIOGRAFIA DETTAGLIATA HTTP://WEBUSERS.FIS.UNIROMA3.IT/~SILVA/HOMEDIDATTICA.HTML

DATI BIOMEDICI
DNA E CODICE GENETICO, ANATOMIA, DATI DI LABORATORIO, IMMAGINI BIOMEDICHE, SISTEMI PACS, IMMAGINI DICOM. AMBIENTI EMR (ELECTRONIC MEDICAL RECORD).
CONOSCENZA BIOMEDICA SIMBOLICA
INTRODUZIONE ALLA PROGRAMMAZIONE COMMON LISP. CENNI AL CALCOLO DEI PREDICATI E ALLA LOGICA DEL PRIMO ORDINE; FRAMES, RETI SEMANTICHE E ONTOLOGIE; LINGUAGGI LOGICI DI DESCRIZIONE. ONTOLOGIE COME SPECIFICA FORMALE ED ESPLICITA DI OGGETTI, PROPRIETÀ E RELAZIONI NELLA ORGANIZZAZIONE DI DATI BIOMEDICI IN SCHEMI SPECIALIZZATI. IL MODELLO ANATOMICO UW FMA (DIGITAL ANATOMIST-FOUNDATIONAL MODEL OF ANATOMY);
CALCOLO BIOMEDICO
CENNI DI GENOMICA: CALCOLO CON SEQUENZE DNA, MAPPING DI GENI E PROTEINE, CENNI DI PROTEOMICA: STRUTTURA PRIMARIA, SECONDARIA, TERZIARIA. PATHWAYS BIOCHIMICI. UTILIZZO DI CLUSTER E GRID COMPUTAZIONALI.
MODELLAZIONE E SIMULAZIONE BIOMEDICA
CENNI AI MODELLI FISIOLOGICI. VIRTUAL PHYSIOLOGICAL HUMAN; MODELLI GEOMETRICI DI PROTEINE, CELLULE, TESSUTI E SISTEMI. ESEMPI: MODELLI DEL CUORE E DEL SISTEMA CIRCOLATORIO, MODELLI GEOMETRICI DI NEURONI, ASSONI E DENDRITI E DELLINTERFACCIA NEUROMUSCOLARE.
LINGUAGGI DI PROGRAMMAZIONE
COMMON LISP, PROTOPLASM

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
EVOLUZIONI
ESTRAZIONE DI INFORMAZIONI DA WEB
SOCIAL NETWORK
METODOLOGIE E TECNOLOGIE PER LA REALIZZAZIONE DI SISTEMI SAAS
IL PARADIGMA SAAS
CLOUD COMPUTING
SAAS, PAAS, IAAS
GOOGLE APP-ENGINE, AMAZON ECS

IL CORSO PRESENTA UN PERCORSO FORMATIVO CHE PROMUOVE E FAVORISCE LA CULTURA, LE POLITICHE E LE PRASSI DI PARI OPPORTUNITÀ TRA DONNE E UOMINI NELLA SOCIETÀ E NEL MONDO DEL LAVORO, FORNENDO LE CONOSCENZE NECESSARIE PER ENTRARE CON MAGGIORI COMPETENZE NELLE ISTITUZIONI E NELLE PROFESSIONI E STIMOLANDO UNA PARTECIPAZIONE DI TUTTI ALLA VITA PUBBLICA, SECONDO IL DETTATO DELLA COSTITUZIONE ITALIANA.

DISPENSA PROPOSTA DAL DOCENTE.