Newest Viewed Downloaded

Universities > Italy Showing 81 - 100 of 335 items

L'Università degli Studi dell'Aquila (The University of L'Aquila)

L'Università degli Studi dell'Aquila è la più antica università d'Abruzzo, il suo bacino di utenza si estende oltre la regione e include alcune zone del Lazio, del Molise e della Puglia. È una università con una forte caratterizzazione tecnico-scientifica legata alla presenza di importanti gruppi di ricerca e corsi di Laurea molto consolidati nel panorama nazionale.
The University of L'Aquila (Italian: Università degli Studi dell'Aquila) is a university located in L'Aquila, Italy. It was founded in 1964 and is organized in 9 Faculties. It is best known for its Engineering, Medicine and Science schools.
Algoritmi e Strutture Dati

Algoritmi e Strutture Dati

Capitolo 9 Il problema della gestione di insiemi disgiunti (Union-find)
Algoritmi e Strutture Dati

Algoritmi e Strutture Dati

Capitolo 11 Grafi e visite di grafi
Algoritmi e Strutture Dati Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano

Algoritmi e Strutture Dati Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano

Capitolo 8 Code con priorità
Algoritmi e Strutture Dati

Algoritmi e Strutture Dati

Capitolo 4 Ordinamento: Heapsort
Algoritmi e Strutture Dati

Algoritmi e Strutture Dati

Capitolo 13 Cammini minimi: Algoritmo di Dijkstra; Algoritmo di Floyd e Warshall

Algoritmo di Prim
Un albero è un grafo bipartito?

Un albero è un grafo bipartito?

SÌ! Ma un grafo bipartito è sempre un albero??
Algoritmi e Strutture Dati

Algoritmi e Strutture Dati

Capitolo 12 Minimo albero ricoprente: Algoritmo di Kruskal
Meccanismi one-parameter: il problema dell’albero dei cammini minimi a sorgente singola

Meccanismi one-parameter: il problema dell’albero dei cammini minimi a sorgente singola

Il problema del minimo albero ricoprente in un grafo con archi privati

Il problema del minimo albero ricoprente in un grafo con archi privati

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati

Capitolo 8 Code con priorità: Heap binomiali
Algoritmi e Strutture Dati

Algoritmi e Strutture Dati

Capitolo 11 Grafi e visite di grafi
Algoritmi e Strutture Dati

Algoritmi e Strutture Dati

Capitolo 8 Code con priorità
Algoritmi e Strutture Dati

Algoritmi e Strutture Dati

Capitolo 4 Ordinamento: Quicksort e metodi di ordinamento lineari

Algoritmi di ordinamento ottimali L’algoritmo Merge-Sort ha complessità O(n log n)  Algoritmo di ordinamento ottimale. A differenza degli algoritmi IS e SS, Merge-Sort non è però un algoritmo di ordinamento in loco. Infatti, la procedura Merge(A,p,q,r) richiede un vettore di appoggio di dimensione r-p+1 in cui effettuare la fusione  È facile convincersi del fatto che il Merge-Sort ha complessità spaziale S(n)=O(n log n) (infatti ho bisogno di O(n) spazio ausiliario per ognuno dei log n livelli dell’albero della ricorsione)  Ciò comporta (insieme alla gestione della struttura ricorsiva) anche una spesa in termini di tempo effettivo dell’esecuzione (infatti, lo spazio ausiliario richiesto non eccede O(n log n) e quindi non modifica l’andamento asintotico temporale, ma il tutto si riflette sulle costanti moltiplicative!)
Meccanismi one-parameter

Meccanismi one-parameter

Meccanismi one-parameter: il problema dell’albero dei cammini minimi a sorgente singola

Meccanismi one-parameter: il problema dell’albero dei cammini minimi a sorgente singola

Università degli Studi dell’Aquila Anno Accademico 2009/2010 Corso Integrato di Algoritmi e Strutture Dati con Laboratorio Modulo da 6 CFU di Algoritmi e Strutture Dati (Prof. Guido Proietti) Modulo da 6 CFU di Laboratorio di ASD (Prof.ssa Giovanna Melideo) Orario: Lunedì: 11.45 – 13.30 – Aula 2.4 Mercoledì: 9.45 – 11.30 – Aula 2.4 Mercoledì: 14.45 - 16.30 – Aula 2.4 Venerdì: 9.45 - 11.30 – Aula 2.4 Ricevimento: Mercoledì 16.30-17.30
Claudio Arbib Università dell’Aquila Ricerca Operativa Metodo del simplesso per problemi di distribuzione single-commodity

Claudio Arbib Università dell’Aquila Ricerca Operativa Metodo del simplesso per problemi di distribuzione single-commodity

SMV Symbolic Model Verifier Daniele Magazzeni www.di.univaq.it/magazzeni/students.php

SMV Symbolic Model Verifier Daniele Magazzeni www.di.univaq.it/magazzeni/students.php

<< Back 123456789 Next >>
Sitemap