Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania"

Transcript

1 Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania Alessio Cardillo Dipartimento di Fisica e Astronomia Università degli studi di Catania Corso di formazione sul Calcolo Parallelo ad Alte Prestazioni Catania 29 Settembre - 6 Ottobre 2008 A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 1/9

2 Introduzione Problema: Supponiamo di voler studiare un sistema le cui proprietà non appartengono ai suoi costituenti ma emergono dalle relazioni tra questi, come facciamo? A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 2/9

3 Introduzione Soluzione Possibile: Utilizzare il know-how delle Reti Complesse! A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 2/9

4 Alcuni concetti base sulle reti Consideriamo ad esempio un sistema sociale. Vediamo come viene trasformato in un grafo. A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 3/9

5 Alcuni concetti base sulle reti Consideriamo ad esempio un sistema sociale. Vediamo come viene trasformato in un grafo. Definizione Il grafo è composto da due insiemi: Quello dei nodi (individui); A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 3/9

6 Alcuni concetti base sulle reti Consideriamo ad esempio un sistema sociale. Vediamo come viene trasformato in un grafo. Definizione Il grafo è composto da due insiemi: Quello dei nodi (individui); Quello dei link (relazioni). A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 3/9

7 Studio di un sistema mediante il paradigma delle Reti Complesse A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 4/9

8 Studio di un sistema mediante il paradigma delle Reti Complesse Vantaggi: A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 4/9

9 Studio di un sistema mediante il paradigma delle Reti Complesse Vantaggi: Semplicità; A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 4/9

10 Studio di un sistema mediante il paradigma delle Reti Complesse Vantaggi: Semplicità; Facilità di manipolazione/studio. A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 4/9

11 Studio di un sistema mediante il paradigma delle Reti Complesse Vantaggi: Semplicità; Facilità di manipolazione/studio. Svantaggi: A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 4/9

12 Studio di un sistema mediante il paradigma delle Reti Complesse Vantaggi: Semplicità; Facilità di manipolazione/studio. Svantaggi: Perdita di informazioni. A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 4/9

13 Membri del Gruppo Università di Catania Vito Latora Jesus Gómez-Gardeñes (post-doctoral fellow) Alessio Cardillo Salvatore Scellato Roberta Sinatra Politecnico di Milano (HumanSpaceLab) Sergio Porta Emanuele Strano A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 5/9

14 Principali linee di ricerca Struttura Reti Complesse; Processi Dinamici su Reti Complesse; Studio di Sistemi Biologici basati su Reti; Meccanica Statistica Applicata alle Reti. A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 6/9

15 Di cosa mi occupo Struttura di Reti Complesse Reti spaziali reali; Reti sociali (Social Networks); Relazione tra proprietà topologiche ed attività commerciali; Dinamiche su Reti Complesse Diffusione e controllo di Epidemie; Giochi su Reti Complesse. A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 7/9

16 Calcolo parallelo Domanda: Perché utilizzare il Calcolo Parallelo? A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 8/9

17 Calcolo parallelo Risposta: La size dei sistemi studiati aumenta; = A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 8/9

18 Calcolo parallelo Risposta: È più facile migliorare le performance delle proprie applicazioni migliorando il software piuttosto che l hardware; A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 8/9

19 Calcolo parallelo Risposta: È più facile migliorare le performance delle proprie applicazioni migliorando il software piuttosto che l hardware; La complessità computazionale degli algoritmi non sempre è conveniente ; A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 8/9

20 Calcolo parallelo Risposta: È più facile migliorare le performance delle proprie applicazioni migliorando il software piuttosto che l hardware; La complessità computazionale degli algoritmi non sempre è conveniente ; Eventuali applicazioni commerciali necessitano di tempi di computazione quanto più brevi possibile. A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 8/9

21 Indirizzi Utili attric/lab_comp.php A. Cardillo Il gruppo di Reti Complesse del Dipartimento di Fisica e Astronomia dell Università di Catania 9/9

Parte II - Reti di Calcolatori ed Internet IL LIVELLO RETE

Parte II - Reti di Calcolatori ed Internet IL LIVELLO RETE Parte II - Reti di Calcolatori ed Internet IL LIVELLO RETE 3-1 Il Livello RETE Servizi del livello Rete Organizzazione interna Livello Rete basato su Circuito Virtuale Livello Rete basato su Datagram Algoritmi

Dettagli

Linee di programmazione

Linee di programmazione Ministero dell Istruzione, dell Università e della Ricerca Ufficio Scolastico regionale per il Lazio Istituto Tecnico Industriale A. Pacinotti ISTITUTO TECNICO TECNOLOGICO - LICEO SCIENTIFICO DELLE SCIENZE

Dettagli

SCHEMA DI COLLOCAZIONE delle monografie disposte a scaffale aperto

SCHEMA DI COLLOCAZIONE delle monografie disposte a scaffale aperto SCHEMA DI COLLOCAZIONE delle monografie disposte a scaffale aperto 00 OPERE DI CARATTERE GENERALE 00A Matematiche generali 00B Atti di convegni internazionali - Proceedings di interesse generale 00C Dizionari

Dettagli

Introduzione al Calcolo Scientifico

Introduzione al Calcolo Scientifico Introduzione al Calcolo Scientifico Francesca Mazzia Dipartimento di Matematica Università di Bari Francesca Mazzia (Univ. Bari) Introduzione al Calcolo Scientifico 1 / 14 Calcolo Scientifico Insieme degli

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

Minimizzazione a più livelli di reti combinatorie Cristina Silvano

Minimizzazione a più livelli di reti combinatorie Cristina Silvano Minimizzazione a più livelli di reti combinatorie Cristina Silvano Università degli Studi di Milano Dipartimento di Scienze dell Informazione Milano (Italy) Sommario Modello booleano e modello algebrico

Dettagli

A proposito di informatica

A proposito di informatica A proposito di informatica Sguardo d insieme sulla disciplina: una mappa delle materie e delle loro relazioni Università degli Studi di Milano Dipartimento di Informatica Bootstrap Day - 26 settembre 2016

Dettagli

Esecuzione concorrente di transazioni

Esecuzione concorrente di transazioni Esecuzione concorrente di transazioni A L B E R T O B E L U S S I P A R T E I A N N O A C C A D E M I C O 2 0 1 0-2 0 1 1 Osservazione Per gestire con prestazione accettabili il carico di lavoro tipico

Dettagli

Autorità per le Garanzie nelle Comunicazioni

Autorità per le Garanzie nelle Comunicazioni Autorità per le Garanzie nelle Comunicazioni METODO PER IL RENDERING DEI DIAGRAMMI DI IRRADIAZIONE VERTICALI BASATO SUI DATI PREVISTI DALLE SPECIFICHE DI FORMATO DEL CATASTO AGCOM 1. Premessa Per calcolare

Dettagli

Dimostrazioni e programmi come oggetti geometrici. Simone Martini

Dimostrazioni e programmi come oggetti geometrici. Simone Martini Dimostrazioni e programmi come oggetti geometrici Simone Martini Dipartimento di Scienze dell Informazione Alma Mater Studiorum Università di Bologna 1 Dimostrazioni alla Hilbert Assiomi, che caratterizzano

Dettagli

Macchine Astratte. Nicola Fanizzi Dipartimento di Informatica Università degli Studi di Bari. Linguaggi di Programmazione feb, 2016

Macchine Astratte. Nicola Fanizzi Dipartimento di Informatica Università degli Studi di Bari. Linguaggi di Programmazione feb, 2016 Macchine Astratte Nicola Fanizzi Dipartimento di Informatica Università degli Studi di Bari Linguaggi di Programmazione 010194 29 feb, 2016 Sommario 1 Introduzione Macchina astratta Interprete Implementazione

Dettagli

INSEGNAMENTI/ ATTIVITÀ FORMATIVE CFU SEMESTRE SSD

INSEGNAMENTI/ ATTIVITÀ FORMATIVE CFU SEMESTRE SSD Scienze Laurea magistrale in Fisica 75 PIANI DI STUDIO (A) FISICA DELLA MATERIA Fisica Atomica e Molecolare 6 1 FIS/03 Fisica della Materia Condensata I 6 1 FIS/03 Laboratorio di Fisica Sperimentale 6

Dettagli

Ingegneria Elettrica Politecnico di Torino. Luca Carlone. ControlliAutomaticiI LEZIONE I

Ingegneria Elettrica Politecnico di Torino. Luca Carlone. ControlliAutomaticiI LEZIONE I Ingegneria Elettrica Politecnico di Torino Luca Carlone ControlliAutomaticiI LEZIONE I Sommario LEZIONE I Introduzione al concetto di sistema Notazione e tassonomia Rappresentazione in variabili di stato

Dettagli

Minimizzazione di Reti Logiche Combinatorie Multi-livello

Minimizzazione di Reti Logiche Combinatorie Multi-livello Minimizzazione di Reti Logiche Combinatorie Multi-livello Maurizio Palesi Maurizio Palesi 1 Introduzione I circuiti logici combinatori sono molto spesso realizzati come reti multi-livello di porte logiche

Dettagli

Elaborazione di Immagini e Suoni / Riconoscimento e Visioni Artificiali 12 c.f.u. Presentazione del corso

Elaborazione di Immagini e Suoni / Riconoscimento e Visioni Artificiali 12 c.f.u. Presentazione del corso Università degli Studi di Palermo Dipartimento di Ingegneria Informatica Elaborazione di Immagini e Suoni / Riconoscimento e Visioni Artificiali 12 c.f.u. Anno Accademico 2008/2009 Docente: ing. Salvatore

Dettagli

Analisi interazione domanda/offerta: modelli di assegnazione

Analisi interazione domanda/offerta: modelli di assegnazione Corso di Laurea Ingegneria Civile - AA 1112 Corso di: Fondamenti di Trasporti Lezione: Analisi interazione domanda/offerta: modelli di assegnazione Giuseppe Inturri Università di Catania Dipartimento di

Dettagli

Che cos e l Informatica. Informatica generale. Caratteristiche fondamentali degli algoritmi. Esempi di algoritmi. Introduzione

Che cos e l Informatica. Informatica generale. Caratteristiche fondamentali degli algoritmi. Esempi di algoritmi. Introduzione Che cos e l Informatica Scienza dell elaborazione dell informazione Informatica generale non si riduce all utilizzo di strumenti (e.g. linguaggi di programmazione e basi di dati); si occupa del trattamento

Dettagli

Organizzazione strutturata

Organizzazione strutturata Organizzazione strutturata Evoluzione storica a.a. 2002-03 L. Borrelli 1 Complessità dei Sistemi di Elaborazione Caratteristica dei Sistemi di Elaborazione: Complessità Per trattare sistemi complessi è

Dettagli

SVILUPPO DI TECNICHE DI MISURA PER L ISPEZIONE DI COMPONENTI AEROSPAZIALI

SVILUPPO DI TECNICHE DI MISURA PER L ISPEZIONE DI COMPONENTI AEROSPAZIALI UNIVERSITA DEGLI STUDI DI PADOVA Centro Interdipartimentale di Studi e Attività Spaziali «G. Colombo» Scuola di Dottorato in Scienze Tecnologie e Misure Spaziali (STMS) Curriculum: Misure Meccaniche per

Dettagli

Laboratorio software. A.A. 2009-2010 C. Brandolese

Laboratorio software. A.A. 2009-2010 C. Brandolese Laboratorio software A.A. 2009-2010 Hardware testing with software T1. RAM Testing Il progetto ha lo scopo di studiare e sviluppare alcune delle tecniche note per il testing della memoria RAM di un sistema

Dettagli

Apprendimento Automatico: Teoria e Applicazioni

Apprendimento Automatico: Teoria e Applicazioni Apprendimento Automatico: Teoria e Applicazioni Apprendimento Automatico Componenti strutturati del DI: Alberto Bertoni Paola Campadelli Elena Casiraghi Nicolò Cesa-Bianchi Dario Malchiodi Matteo Re Giorgio

Dettagli

Reti Neurali in Generale

Reti Neurali in Generale istemi di Elaborazione dell Informazione 76 Reti Neurali in Generale Le Reti Neurali Artificiali sono studiate sotto molti punti di vista. In particolare, contributi alla ricerca in questo campo provengono

Dettagli

UD7. Ho visto cose che voi umani

UD7. Ho visto cose che voi umani CORSO DI INFORMATICA UD6. Arcipelago Web 2.½ UD7. Ho visto cose che voi umani Bruno Ronsivalle Come funziona un motore di ricerca? Cosa sono i social software del Web? Cosa si intende per e-crime? Cosa

Dettagli

Arithmetic and Logic Unit e moltiplicatore

Arithmetic and Logic Unit e moltiplicatore Arithmetic and Logic Unit e moltiplicatore M. Favalli Engineering Department in Ferrara (ENDIF) ALU - multiplier Analisiesintesideicircuitidigitali 1 / 34 Sommario 1 Arithmetic and Logic Unit - ALU 2 Moltiplicatore

Dettagli

Elezione di un leader in una rete ad anello

Elezione di un leader in una rete ad anello Elezione di un leader in una rete ad anello Corso di Algoritmi Distribuiti Prof. Roberto De Prisco Lezione n a cura di Rosanna Cassino e Sergio Di Martino Introduzione In questa lezione viene presentato

Dettagli

Reti radio di sensori robuste e di facile installazione per il monitoraggio integrato di frane (PRIN 2009)

Reti radio di sensori robuste e di facile installazione per il monitoraggio integrato di frane (PRIN 2009) Reti radio di sensori robuste e di facile installazione per il monitoraggio integrato di frane (PRIN 2009) Andrea Giorgetti Emanuele Tavelli, Matteo Lucchi Davide Dardari, Marco Chiani Department of Electrical,

Dettagli

Simulazione. D.E.I.S. Università di Bologna DEISNet

Simulazione. D.E.I.S. Università di Bologna DEISNet Simulazione D.E.I.S. Università di Bologna DEISNet http://deisnet.deis.unibo.it/ Introduzione Per valutare le prestazioni di un sistema esistono due approcci sostanzialmente differenti Analisi si basa

Dettagli

Corso di BIOINFORMATICA Applicazioni BIO-Mediche

Corso di BIOINFORMATICA Applicazioni BIO-Mediche Corso di BIOINFORMATICA Applicazioni BIO-Mediche - Introduzione al Molecular Docking (algoritmi di ricerca e Moderni software) Pietro BUFFA Responsabile Unità Operativa di Bioinformatica Dipartimento di

Dettagli

PERCORSI DI FORMAZIONE DISCIPLINARE PER DOCENTI IN SERVIZIO. MATEMATICA

PERCORSI DI FORMAZIONE DISCIPLINARE PER DOCENTI IN SERVIZIO. MATEMATICA PERCORSI DI FORMAZIONE DISCIPLINARE PER DOCENTI IN SERVIZIO. MATEMATICA La proposta sarà personalizzata in relazione alle esigenze formative dei destinatari. Qualora il numero dei partecipanti sia sufficiente,

Dettagli

Corso di Informatica

Corso di Informatica Corso di Informatica CdL in Matematica e CdL in Matematica per le Applicazioni Prof. G. Nicosia Dipartimento di Matematica e Informatica Facoltà di Scienze MM.FF.NN. Università degli Studi di Catania A.

Dettagli

VLAN, Link Aggregation, Spanning tree. Orazio Battaglia

VLAN, Link Aggregation, Spanning tree. Orazio Battaglia VLAN, Link Aggregation, Spanning tree Orazio Battaglia Introduzione alle VLAN (Virtual LAN) Definizione di dominio di broadcast: Un dominio di broadcast è un insieme di computer in una rete che possono

Dettagli

Progettazione di circuiti integrati

Progettazione di circuiti integrati Architetture e reti logiche Esercitazioni VHDL a.a. 2007/08 Progettazione di circuiti integrati Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari

Dettagli

Calcolo e Quanti Una Brevissima Introduzione alla Computazione Quantistica

Calcolo e Quanti Una Brevissima Introduzione alla Computazione Quantistica Calcolo e Quanti Una Brevissima Introduzione alla Computazione Quantistica Ugo Dal Lago Collegio Superiore, Dicembre 202 Parte I Sistemi Classici e Probabilistici Preliminari Insiemi: A, B, C,...; Prodotto

Dettagli

Il Corso di Fisica per Scienze Biologiche

Il Corso di Fisica per Scienze Biologiche Il Corso di Fisica per Scienze Biologiche Ø Prof. Attilio Santocchia Ø Ufficio presso il Dipartimento di Fisica (Quinto Piano) Tel. 075-585 2708 Ø E-mail: attilio.santocchia@pg.infn.it Ø Web: http://www.fisica.unipg.it/~attilio.santocchia

Dettagli

Minimizzazione di Reti Logiche Combinatorie Multi-livello. livello

Minimizzazione di Reti Logiche Combinatorie Multi-livello. livello Minimizzazione di Reti Logiche Combinatorie Multi-livello livello Maurizio Palesi Maurizio Palesi 1 Introduzione I circuiti logici combinatori sono molto spesso realizzati come reti multi-livello di porte

Dettagli

Corso di Perfezionamento

Corso di Perfezionamento Programmazione Dinamica 1 1 Dipartimento di Matematica e Informatica Università di Camerino 15 febbraio 2009 Tecniche di Programmazione Tecniche di progettazione di algoritmi: 1 Divide et Impera 2 Programmazione

Dettagli

Algoritmi di localizzazione, come funzionano e a cosa servono

Algoritmi di localizzazione, come funzionano e a cosa servono Algoritmi di localizzazione, come funzionano e a cosa servono WP Sensoristica Katarina Balac Mauro Prevostini (Università della Svizzera Italiana) 1 Algoritmi di localizzazione: a cosa servono? Sicurezza

Dettagli

Le previsioni meteorologiche in MAPVIC

Le previsioni meteorologiche in MAPVIC Le previsioni meteorologiche in MAPVIC Dott. Elenio Avolio * * CRATI S.c.r.l. - Università della Calabria, 87036 Rende - (CS) crati@crati.it - e.avolio@crati.it WP1: Le previsioni meteorologiche Obbiettivo:

Dettagli

RETI DI CALCOLATORI II

RETI DI CALCOLATORI II RETI DI CALCOLATORI II Facoltà di Ingegneria Università degli Studi di Udine Ing. DANIELE DE CANEVA a.a. 2009/2010 ARGOMENTI DELLA LEZIONE TEORIA DEL ROUTING ROUTING STATICO ROUTING DINAMICO o PROTOCOLLI

Dettagli

Università di Udine DIEG Dipartimento di Ingegneria Elettrica, Gestionale e Meccanica Laboratorio di Ingegneria Gestionale

Università di Udine DIEG Dipartimento di Ingegneria Elettrica, Gestionale e Meccanica Laboratorio di Ingegneria Gestionale Università di Udine DIEG Dipartimento di Ingegneria Elettrica, Gestionale e Meccanica Laboratorio di Ingegneria Gestionale 540054-LLP-L-2013-1-ES-ERASMUS-EKA VALS Virtual Alliances for Learning Society

Dettagli

Università degli Studi di Catania

Università degli Studi di Catania Università degli Studi di Catania Dipartimento di Ingegneria Industriale e Meccanica Corso di Laurea in Ingegneria Industriale DISEGNO TECNICO INDUSTRIALE LE QUOTATURE Docente: Prof. S. M. Oliveri La quotatura

Dettagli

Networking e Reti IP Multiservizio

Networking e Reti IP Multiservizio Networking e Reti IP Multiservizio Modulo : Introduzione alle reti per dati Livello (routing su IP) Gabriele i Stefano: gabriele@ing.univaq.it 4: Network Layer 4a- Livello : Network (Rete) Questa lezione:

Dettagli

Università degli Studi della Repubblica di San Marino Corso di laurea triennale in Design. Anno Accademico 2016/17. I anno primo semestre

Università degli Studi della Repubblica di San Marino Corso di laurea triennale in Design. Anno Accademico 2016/17. I anno primo semestre Università degli Studi della Repubblica di San Marino Corso di laurea triennale in Design Anno Accademico 2016/17 I anno primo semestre LABORATORIO DI DISEGNO PER IL PROGETTO lo studente acquisisce, attraverso

Dettagli

Corso di Applicazioni di Intelligenza Artificiale LS. Prof. Paola Mello Anno accademico 2008/2009

Corso di Applicazioni di Intelligenza Artificiale LS. Prof. Paola Mello Anno accademico 2008/2009 Università degli Studi di Bologna Facoltà di Ingegneria Corso di Applicazioni di Intelligenza Artificiale LS Corso di Laurea in Ingegneria Informatica Prof. Paola Mello Anno accademico 2008/2009 CONTENUTI

Dettagli

Metodi della conoscenza

Metodi della conoscenza SISTEMI COMPLESSI Metodi della conoscenza Analitico - Deduttivo Sintetico - Induttivo Probabilistico - Abduttivo Emergente - Selettivo Pierre Simon Laplace «Possiamo considerare lo stato attuale dell'universo

Dettagli

Operazioni sulle immagini digitali

Operazioni sulle immagini digitali Operazioni sulle immagini digitali Categorie di operatori L istogramma dei livelli di grigio Trasformazioni puntuali Equalizzazione Operazioni su immagini digitali I tipi di operazioni che si possono realizzare

Dettagli

Dipartimento di Informatica Scienza e Ingegneria LAUREA MAGISTRALE IN INFORMATICA A.A. 2015/2016

Dipartimento di Informatica Scienza e Ingegneria LAUREA MAGISTRALE IN INFORMATICA A.A. 2015/2016 Dipartimento di Informatica Scienza e Ingegneria LAUREA MAGISTRALE IN INFORMATICA A.A. 2015/2016 Laurea Magistrale in Informatica Primo Anno Il Corso di Laurea Magistrale in Informatica offre tre curricula

Dettagli

Corso di Laurea in Ingegneria Informatica

Corso di Laurea in Ingegneria Informatica Corso di Laurea in Ingegneria Informatica Manifesto degli Studi Anno Accademico 07-08 Approvato dal CdDip in data 30.03.07 Denominazione del Corso di Studio INGEGNERIA INFORMATICA Denominazione in inglese

Dettagli

Pag. 2. Somma binaria. Somma binaria. Somma binaria. Altre operazioni aritmetiche. La somma si può fare colonna per colonna

Pag. 2. Somma binaria. Somma binaria. Somma binaria. Altre operazioni aritmetiche. La somma si può fare colonna per colonna 1 Università degli studi di Parma Dipartimento di Ingegneria dell Informazione a.a. 2012/13 Rappresentazione di Numeri Naturali Facoltà di Medicina Veterinaria La Rappresentazione e la Codifica delle informazioni

Dettagli

Docente: Prof. Marco Patella Tutor: Vincenzo Lomonaco

Docente: Prof. Marco Patella Tutor: Vincenzo Lomonaco Università di Bologna Facoltà di Ingegneria C.d.L. in Ing. Gestionale Fondamenti di Informatica T-1 (A-K) A.A. 2015/16 Docente: Prof. Marco Patella Tutor: Vincenzo Lomonaco 1 Obiettivi del corso Il corso

Dettagli

CONTROLLI ESSENZIALI DI CYBERSECURITY

CONTROLLI ESSENZIALI DI CYBERSECURITY CONTROLLI ESSENZIALI DI CYBERSECURITY Definizione di Essenziale una pratica relativa alla cybersecurity che, qualora ignorata oppure implementata in modo non appropriato, causa un aumento considerevole

Dettagli

Prof. Luca Iuliano Prof. Paolo Minetola e Ing. Eleonora Atzeni Ingg. Manuela Galati e Alessandro Salmi

Prof. Luca Iuliano Prof. Paolo Minetola e Ing. Eleonora Atzeni Ingg. Manuela Galati e Alessandro Salmi Advanced Manufacturing Technologies Research Group Additive manufacturing di componenti metallici: impiego delle potenzialità dell'ottimizzazione topologica per incremento delle prestazioni meccaniche

Dettagli

Programma del corso. Introduzione Rappresentazione delle Informazioni Calcolo proposizionale Architettura del calcolatore Reti di calcolatori

Programma del corso. Introduzione Rappresentazione delle Informazioni Calcolo proposizionale Architettura del calcolatore Reti di calcolatori Programma del corso Introduzione Rappresentazione delle Informazioni Calcolo proposizionale Architettura del calcolatore Reti di calcolatori Evoluzione dei sistemi informatici Cos è una rete? Insieme di

Dettagli

Corso di Calcolo Numerico

Corso di Calcolo Numerico Corso di Calcolo Numerico Dott.ssa M.C. De Bonis Università degli Studi della Basilicata, Potenza Facoltà di Ingegneria Corso di Laurea in Ingegneria Meccanica Risoluzione di Equazioni Algebriche Le equazioni

Dettagli

REGISTRI D'ESAME CODICE ESAME CORSO DI LAUREA NOME DEL CORSO LAUREA CFU

REGISTRI D'ESAME CODICE ESAME CORSO DI LAUREA NOME DEL CORSO LAUREA CFU REGISTRI D'ESAME Con "" si intende la Triennale del Nuovo Ordinamento (Legge 270) Con "" si intende la Specialistica di due anni del Nuovo Ordinamento (Legge 270) CODICE ESAME CORSO DI LAUREA NOME DEL

Dettagli

L Affidabilità dei Sistemi di Input-Output ad Elevate Prestazioni

L Affidabilità dei Sistemi di Input-Output ad Elevate Prestazioni 1 tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Generoso Paolillo candidato Emanuele Di Pascale Matr. 534/789 2 Il Contesto Le moderne applicazioni scientifiche

Dettagli

Università degli studi di Milano Bicocca Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Triennale in INFORMATICA

Università degli studi di Milano Bicocca Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Triennale in INFORMATICA Offerta formativa Università degli studi di Milano Bicocca Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Triennale in INFORMATICA Il Corso di Laurea in Informatica ha, di norma, una

Dettagli

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati Analisi di algoritmi Maria Rita Di Berardini 2, Emanuela Merelli 1 1 Dipartimento di Matematica e Informatica Università di Camerino 2 Polo di Scienze Università di Camerino ad Ascoli Piceno Parte I Analisi

Dettagli

Corso di INFORMATICA PER LA COMUNICAZIONE DIGITALE (CLASSE L-31)

Corso di INFORMATICA PER LA COMUNICAZIONE DIGITALE (CLASSE L-31) Corso di INFORMATICA PER LA COMUNICAZIONE DIGITALE (CLASSE L-31) Appelli d'esame (dal 30/07/2017 al 30/07/2018) ALGORITMI E STRUTTURE DATI 19/09/2017 00:00 FORESTI SARA A Z Scritto + Orale 01/08/2017 12/09/2017

Dettagli

RETI SOCIALI: analisi e statistiche per profili sociali integrati

RETI SOCIALI: analisi e statistiche per profili sociali integrati POLITECNICO DI MILANO Polo Regionale di Como Facoltà di Ingegneria dell Informazione Corso di Laurea Specialistica in Ingegneria Informatica RETI SOCIALI: analisi e statistiche per profili sociali integrati

Dettagli

La Politica Agraria Comune (PAC) e l applicazione del. regime di Condizionalità novità 2011/2013

La Politica Agraria Comune (PAC) e l applicazione del. regime di Condizionalità novità 2011/2013 La Politica Agraria Comune (PAC) e l applicazione del regime di Condizionalità novità 2011/2013 SEMINARIO TECNICO Giovedì 7 Aprile 2011 ore 09:30 Sala Verde - Palazzo Leopardi Via Gentile da Fabriano -

Dettagli

Alberi di copertura. Mauro Passacantando. Dipartimento di Informatica Largo B. Pontecorvo 3, Pisa

Alberi di copertura. Mauro Passacantando. Dipartimento di Informatica Largo B. Pontecorvo 3, Pisa Alberi di copertura Mauro Passacantando Dipartimento di Informatica Largo B. Pontecorvo, Pisa mpassacantando@di.unipi.it M. Passacantando TFA 0/ - Corso di Ricerca Operativa Università di Pisa / 9 Definizioni

Dettagli

Modelli e complessità di calcolo

Modelli e complessità di calcolo Modelli e complessità di calcolo Prof. Giorgio Ausiello Orario delle lezioni: Martedi, Mercoledi, Giovedi ore 8.30 10.00 Orario di ricevimento: Lunedi ore 17.00 19.00 Via Ariosto 25 II piano - Ufficio

Dettagli

Settore Economico. Indirizzi: amministrazione finanza e marketing ; turismo

Settore Economico. Indirizzi: amministrazione finanza e marketing ; turismo ISTITUTI TECNICI. Il curricolo in ambito statistico negli istituti tecnici della nuova scuola secondaria superiore, secondo le evidenze che emergono dalle linee guida per il passaggio al nuovo ordinamento

Dettagli

Sistemi di Elaborazione dell Informazione. Cosa sono i dati spaziali? Acquisizione dei Dati Spaziali. Modelli per Dati Spaziali. Livelli di Astrazione

Sistemi di Elaborazione dell Informazione. Cosa sono i dati spaziali? Acquisizione dei Dati Spaziali. Modelli per Dati Spaziali. Livelli di Astrazione Università degli Studi di Udine Facoltà di Agraria CORSO DI LAUREA IN SCIENZE E TECNOLOGIE DELL AMBIENTE E DEL TERRITORIO Sistemi di Elaborazione dell Informazione DatiSpazialied Estensione del Modello

Dettagli

INSEGNAMENTO DI: FONDAMENTI DI INFORMATICA C - IEI

INSEGNAMENTO DI: FONDAMENTI DI INFORMATICA C - IEI INSEGNAMENTO DI: FONDAMENTI DI INFORMATICA C - IEI Docente: Prof. Giacomo Cabri Come Contattarmi: E-mail (consigliato) Giacomo.cabri@unimore.it Telefono 059-2056190 Ricevimento Lunedì pomeriggio dalle

Dettagli

IL DIRETTORE DEL DIPARTIMENTO DI INGEGNERIA INFORMATICA, MODELLISTICA, ELETTRONICA E SISTEMISTICA UNIVERSITA DELLA CALABRIA

IL DIRETTORE DEL DIPARTIMENTO DI INGEGNERIA INFORMATICA, MODELLISTICA, ELETTRONICA E SISTEMISTICA UNIVERSITA DELLA CALABRIA unical AOO45 e Sistemistica D.D. n.123 del 13/09/2017 IL DIRETTORE DEL DIPARTIMENTO DI INGEGNERIA INFORMATICA, MODELLISTICA, ELETTRONICA E SISTEMISTICA UNIVERSITA DELLA CALABRIA il D.L.vo n 165 del 30

Dettagli

Introduzione ai network. Misael Mongiovì

Introduzione ai network. Misael Mongiovì Introduzione ai network Misael Mongiovì Big Network Data Social Transportation Biological, Chemical Communication Information Economics, Trade Network (graph) ingredients Node Edge (arco) Represents an

Dettagli

Verifica e validazione: introduzione

Verifica e validazione: introduzione : introduzione Contenuti : introduzione 2001-9 Corso di Ingegneria del Software V. Ambriola, G.A. Cignoni, C. Montangero, L. Semini Con aggiornamenti di: T. Vardanega (UniPD) Dipartimento di Informatica,

Dettagli

Intelligenza Artificiale A (lezione introduttiva parte di teoria)

Intelligenza Artificiale A (lezione introduttiva parte di teoria) Intelligenza Artificiale A (lezione introduttiva parte di teoria) Prof. Alfonso E. Gerevini Dipartimento di Elettronica per l Automazione Facoltà di Ingegneria Università degli Studi di Brescia Testo di

Dettagli

Lezioni di Ricerca Operativa

Lezioni di Ricerca Operativa Lezioni di Ricerca Operativa Massimo Paolucci Dipartimento di Informatica, Sistemistica e Telematica (DIST) Università di Genova paolucci@dist.unige.it Anno accademico 2000/2001 La Ricerca Operativa (Operation

Dettagli

Cammini minimi fra tutte le coppie

Cammini minimi fra tutte le coppie Capitolo 12 Cammini minimi fra tutte le coppie Consideriamo il problema dei cammini minimi fra tutte le coppie in un grafo G = (V, E, w) orientato, pesato, dove possono essere presenti archi (ma non cicli)

Dettagli

Metodologia di implementazione del sistema per la spazializzazione dei dati meteo

Metodologia di implementazione del sistema per la spazializzazione dei dati meteo Metodologia di implementazione del sistema per la spazializzazione dei dati meteo Metodologia di implementazione del sistema per la spazializzazione dei dati meteo . Metodologia Le reti di monitoraggio

Dettagli

Introduzione. Il routing permette la comunicazione tra due nodi differenti anche se non sono collegati direttamente

Introduzione. Il routing permette la comunicazione tra due nodi differenti anche se non sono collegati direttamente Routing Introduzione Il livello 3 della pila ethernet ha il compito di muovere i pacchetti dalla sorgente attraversando più sistemi Il livello di network deve quindi: Scegliere di volta in volta il cammino

Dettagli

Trust Predator Manuale dell'utente

Trust Predator Manuale dell'utente Trust Predator Manuale dell'utente IT-1 Copyright Nessuna parte del presente manuale può essere riprodotta o trasmessa con qualsiasi mezzo e in qualsiasi forma (elettronica o meccanica, compresa la fotocopia,

Dettagli

Informatica A - Gestionali

Informatica A - Gestionali Informatica A - Gestionali Docente: Vito Perrone (perrone@elet.polimi.it) Esercitatore: Roberto Tedesco (tedesco@elet.polimi.it) Politecnico di Milano Ingegneria Gestionale Laboratorio: Sabrina Cecilia

Dettagli

società di assicurazioni

società di assicurazioni società di assicurazioni Domenico Danilo Catania 786755 June 23, 2015 Università degli Studi di Milano-Bicocca Corso di LM in Informatica Architettura del Software e dei Dati A.A. 2014/2015 assunzioni

Dettagli

Corso di INFORMATICA PER LA COMUNICAZIONE (CLASSE LM-18)

Corso di INFORMATICA PER LA COMUNICAZIONE (CLASSE LM-18) 1/31/17 8:48 PM Corso di INFORMATICA PER LA COMUNICAZIONE (CLASSE LM-18) Appelli d'esame (dal 31/01/2017 al 31/01/2018) AMBIENTI VIRTUALI IMMERSIVI E INTERATTIVI 07/02/2017 00:00 GADIA DAVIDE A Z Scritto

Dettagli

Sommario. Caratterizzazione alternativa di NP: il verificatore polinomiale esempi di problemi in NP

Sommario. Caratterizzazione alternativa di NP: il verificatore polinomiale esempi di problemi in NP Sommario Caratterizzazione alternativa di NP: il verificatore polinomiale esempi di problemi in NP I conjecture that there is no good algorithm for the traveling salesman problem. My reasons are the same

Dettagli

TEORIE E TECNICHE PER LA COMUNICAZIONE DIGITALE

TEORIE E TECNICHE PER LA COMUNICAZIONE DIGITALE TEORIE E TECNICHE PER LA COMUNICAZIONE DIGITALE Riccardo Dondi Dipartimento di Scienze dei linguaggi, della comunicazione e degli studi culturali Università degli Studi di Bergamo Informazione sul corso

Dettagli

Problemi, istanze, soluzioni

Problemi, istanze, soluzioni lgoritmi e Strutture di Dati II 2 Problemi, istanze, soluzioni Un problema specifica una relazione matematica tra dati di ingresso e dati di uscita. Una istanza di un problema è formata dai dati di un

Dettagli

AMPL Problemi su Reti

AMPL Problemi su Reti Dipartimento di Matematica Università di Padova Corso di Laurea Informatica Outline Problemi su Reti Cammino Minimo Molti problemi di ottimizzazione combinatoria possono essere modellati ricorrendo ai

Dettagli

Gli errori nella risoluzione di un problema

Gli errori nella risoluzione di un problema LABORATORIO DI PROGRAMMAZIONE Corso di laurea in matematica 13 GLI ERRORI DI ROUND-OFF Marco Lapegna Dipartimento di Matematica e Applicazioni Universita degli Studi di Napoli Federico II wpage.unina.it/lapegna

Dettagli

Tecnologie Informatiche (TIN)

Tecnologie Informatiche (TIN) ISTITUTO STATALE ISTRUZIONE SECONDARIA SUPERIORE Osvaldo Conti Via E. De Nicola, 6 81031 AVERSA ( Caserta) Tel. 081/ 8141345 Fax 081/8141043 Distretto Scolastico N. 15 Cod. Fiscale : 90030630611 e mail:

Dettagli

Ingegneria elettronica e informatica

Ingegneria elettronica e informatica ANNO ACCADEMICO 2017/2018 LAUREA TRIENNALE 3 ANNI elettronica e informatica INGEGNERIA A FERRARA RAPPORTI CON LE IMPRESE ESPERIENZE INTERNAZIONALI FACILITÀ DI OCCUPAZIONE A MISURA DI STUDENTE Il Dipartimento

Dettagli

UNIVERSITA DEGLI STUDI DI MILANO-BICOCCA FACOLTA DI SCIENZE MATEMATICHE, FISICHE E NATURALI

UNIVERSITA DEGLI STUDI DI MILANO-BICOCCA FACOLTA DI SCIENZE MATEMATICHE, FISICHE E NATURALI UNIVERSITA DEGLI STUDI DI MILANO-BICOCCA FACOLTA DI SCIENZE MATEMATICHE, FISICHE E NATURALI Manifesto degli Studi A.A. 2001-2002 CORSO DI LAUREA IN INFORMATICA DIPLOMA UNIVERSITARIO IN INFORMATICA (Vecchio

Dettagli

INTELLIGENZA ARTIFICIALE (elementi) 6 cfu

INTELLIGENZA ARTIFICIALE (elementi) 6 cfu INTELLIGENZA ARTIFICIALE (elementi) 6 cfu Docente: prof.ssa Stefania Bandini Esercitatore: dr. Matteo Palmonari Dipartimento di Informatica, Sistemistica e Comunicazione Università di Milano-Bicocca www.lintar.disco.unimib.it

Dettagli

Un approccio sistemico allo Sviluppo Sostenibile Il caso di Ingegneria

Un approccio sistemico allo Sviluppo Sostenibile Il caso di Ingegneria Un approccio sistemico allo Sviluppo Sostenibile Il caso di Ingegneria Energetica @POLIMI Emanuela Colombo, Lorenzo Mattarolo, Jacopo Barbieri UNESCO Chair in Energy for Sustainable Development Dipartimento

Dettagli

INTELLIGENZA ARTIFICIALE (elementi) 6 cfu

INTELLIGENZA ARTIFICIALE (elementi) 6 cfu INTELLIGENZA ARTIFICIALE (elementi) 6 cfu Prof.ssa Stefania Bandini Dott. Alessandro Mosca Dipartimento di Informatica, Sistemistica e Comunicazione Università di Milano-Bicocca www.lintar.disco.unimib.it

Dettagli

BASI DI DATI E INGEGNERIA DEL SOFTWARE BILANCIO CONTABILE E FINANCIAL REPORTING DELLE IMPRESE 6 DI ASSICURAZIONE

BASI DI DATI E INGEGNERIA DEL SOFTWARE BILANCIO CONTABILE E FINANCIAL REPORTING DELLE IMPRESE 6 DI ASSICURAZIONE CODICE CORSO CFU 1023899 ACCELERATORI 12 1015886 ALGEBRA 9 1021723 ALGEBRA 6 1031314 ALGORITMI AVANZATI 6 1017210 ALGORITMI DI CLASSIFICAZIONE E RETI NEURALI 6 1017211 ALGORITMI DI OTTIMIZZAZIONE 6 1027643

Dettagli

SCHEDULING ALGORITHMS FOR TIMETABLE-DEPENDENT RAILWAY CAPACITY EVALUATION

SCHEDULING ALGORITHMS FOR TIMETABLE-DEPENDENT RAILWAY CAPACITY EVALUATION Nicola COVIELLO Politecnico di Torino & Università di Roma «La Sapienza» Bruno DALLA CHIARA Politecnico di Torino Stefano RICCI Università di Roma «La Sapienza» SCHEDULING ALGORITHMS FOR TIMETABLE-DEPENDENT

Dettagli

INTRODUZIONE INTRODUZIONE TABELLE HASH FUNZIONE HASH

INTRODUZIONE INTRODUZIONE TABELLE HASH FUNZIONE HASH INTRODUZIONE INTRODUZIONE Una tabella hash è una struttura dati che permette operazioni di ricerca e inserimento molto veloci: in pratica si ha un costo computazionale costante O(1). Si ricorda che la

Dettagli

Ottimizzazione nella Gestione dei Progetti - Esercitazione 1: calcolo degli schedule ottimi

Ottimizzazione nella Gestione dei Progetti - Esercitazione 1: calcolo degli schedule ottimi Università degli Studi di Roma La Sapienza Ottimizzazione nella Gestione dei Progetti - Esercitazione : calcolo degli schedule ottimi di FABIO D ANDREAGIOVANNI Dipartimento di Informatica e Sistemistica

Dettagli

- 5 - Controllo a finestra

- 5 - Controllo a finestra Politecnico di Milano Dipartimento di Elettronica e Informazione - 5 - Controllo a finestra Laboratorio di Reti di Telecomunicazione 1 Controllo della velocità di trasmissione della sorgente di traffico

Dettagli

L AUTO ELETTRICA E LE RETI CHE GUIDANO IL FUTURO

L AUTO ELETTRICA E LE RETI CHE GUIDANO IL FUTURO NUOVA MOBILITÀ: ESPERIENZE, RETI E PROSPETTIVE Focus sul mercato elettrico L AUTO ELETTRICA E LE RETI CHE GUIDANO IL FUTURO Monica CLEMENTE, Walter UKOVICH Dipartimento di Ingegneria e Architettura Università

Dettagli

Possibile applicazione

Possibile applicazione p. 1/4 Assegnamento Siano dati due insiemi A e B entrambi di cardinalità n. Ad ogni coppia (a i,b j ) A B è associato un valore d ij 0 che misura la "incompatibilità" tra a i e b j, anche interpretabile

Dettagli

COMPOSTE PROGETTAZIONE DI STRUTTURE ACCIAIO-CALCESTRUZZOALCESTRUZZO. Corso di STRUTTURE SPECIALI A.A. 2008/09 - PRIMA PARTE - Prof.

COMPOSTE PROGETTAZIONE DI STRUTTURE ACCIAIO-CALCESTRUZZOALCESTRUZZO. Corso di STRUTTURE SPECIALI A.A. 2008/09 - PRIMA PARTE - Prof. Corso di STRUTTURE SPECIALI A.A. 2008/09 PROGETTAZIONE DI STRUTTURE COMPOSTE ACCIAIO-CALCESTRUZZOALCESTRUZZO - PRIMA PARTE - Prof. Emidio NIGRO Dipartimento di Analisi e Progettazione Strutturale Università

Dettagli

Informatica 3. Informatica 3. Lezione 1- Modulo 1. LEZIONE 1: Introduzione. Concetti di linguaggi di programmazione. Introduzione

Informatica 3. Informatica 3. Lezione 1- Modulo 1. LEZIONE 1: Introduzione. Concetti di linguaggi di programmazione. Introduzione Informatica 3 Informatica 3 LEZIONE 1: Introduzione Lezione 1- Modulo 1 Modulo 1: Introduzione al corso Modulo 2: Introduzione ai linguaggi di Introduzione al corso Politecnico di Milano - Prof. Sara Comai

Dettagli

Orientamento in ingresso Laurea triennale Indice delle FAQ

Orientamento in ingresso Laurea triennale Indice delle FAQ Orientamento in ingresso Laurea triennale Indice delle FAQ Il Corso di Laurea in Matematica è a numero programmato? Pag. Per iscriversi al Corso di Laurea in Matematica è previsto un test? Quali requisiti

Dettagli

INTERNET e RETI di CALCOLATORI A.A. 2015/2016 Capitolo 4 Instradamento e Algoritmi di instradamento Fausto Marcantoni

INTERNET e RETI di CALCOLATORI A.A. 2015/2016 Capitolo 4 Instradamento e Algoritmi di instradamento Fausto Marcantoni Laurea in INFORMATICA INTERNET e RETI di CALCOLATORI A.A. 2015/2016 Capitolo 4 Instradamento e Algoritmi di instradamento fausto.marcantoni@unicam.it Che cosa fa il livello di rete? Il ruolo dello strato

Dettagli