Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova
Livello superiore
Esporta come [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Vai a: | A | B | C | D | F | G | I | L | M | P | R | T | V | Z
Numero di documenti a questo livello: 27.

Pozza, Matteo (2014) BlueFall, a swarming protocols testbed: project, use and results. [Laurea triennale]

A

Angriman, Eugenio (2016) Efficient computation of Harmonic Centrality on large networks: theory and practice. [Magistrali biennali]

B

Bettiol, Marco (2010) Batch size estimate. [Laurea specialistica biennale]

Boscariol, Matteo (2013) On the Discovery of Significant Motifs in Genomic Sequences. [Magistrali biennali]

Brusaferro, Giulia (2016) Un calcolo formale per gli attori Scala Akka e i loro tipi. [Laurea specialistica biennale]

C

Calore, Enrico (2010) Optimization of the AGATA pulse shape analysis algorithm using graphics processing units. [Laurea specialistica biennale]

Ceccato, Alessia (2003) Analisi statica dello Spi-calcolo. [Laurea vecchio ordinamento]

Conforto, Nicola (2010) Studio del sistema di controllo di un rivelatore di ioni, realizzato in ambiente EPICS, per il progetto SPES. [Laurea specialistica biennale]

D

De Marchi, Stefano (1987) Un modello per la gestione automatica di carte tematiche mediante G.K.S. (Graphical Kernel System) e applicazioni ai frattali. [Laurea vecchio ordinamento]

Degan, Sebastiano (2012) Cryptanalysis of Hash Functions. [Magistrali biennali]

F

Franceschini, Andrea (2010) A practical approach to music theory on the Reactable. [Laurea specialistica biennale]

G

Gheda, Mattia (2010) LibEXI : Analisi e implementazione del formato EXI su reti di sensori wireless. [Laurea specialistica biennale]

Gianelle, Alessio (1996) Instradamento di messaggi sulla rete multibutterfly. [Laurea vecchio ordinamento]

Gonzato, Luisa (2004) Aggregazione non manipolabile di preferenze in sistemi multi-agente. [Laurea vecchio ordinamento]

I

Ialenti, Andrea (2015) Optimizing the positioning of medical facilities using linear programming techniques. [Magistrali biennali]

L

Lucio, Pierluigi (1991) Progetto e realizzazione di algoritmi per la didattica della geometria mediante visualizzazione interattiva a colori. [Laurea vecchio ordinamento]

M

Mancin, Roberto (1998) Un'applicazione per la predizione testuale, progettata per persone con disabilità neuromotoria. [Laurea vecchio ordinamento]

Martini, Andrea (2010) Le piattaforme Jadex e Jason per lo sviluppo di sistemi multiagente : analisi del funzionamento e studio comparativo delle prestazioni. [Laurea specialistica biennale]

Montesel, Paolo (2017) UserLoop: User-in-the-Loop verification for Privacy Protection in Mobile Applications. [Magistrali biennali]

P

Pini, Maria Silvia (2003) Integrazione di Programmazione con vincoli e Programmazione matematica per risolvere problemi di ottimizzazione combinatoria. [Laurea vecchio ordinamento]

Pozza, Matteo (2016) Solving Signaling Storms in LTE Networks: a Software-Defined Cellular Architecture. [Magistrali biennali]

R

Rigoni, Chiara (1997) Metodi aritimetici in crittografia: sistema RSA e frazioni continue. [Laurea vecchio ordinamento]

T

Tono, Raffaella (2010) Natural language processing e tecniche semantiche per il supporto alla diagnosi: un esperimento. [Laurea specialistica biennale]

Tuzzato, Serena (2011) L'utilizzo del software open-source nei sistemi bibliotecari integrati italiani. [Laurea triennale]

V

Valentini, Silvio (1977) L'uso del calcolo dei predicati per la scrittura di algoritmi. [Laurea vecchio ordinamento]

Venable, Kristen B. (2001) Soluzione e apprendimento automatico di vincoli temporali con preferenze. [Laurea vecchio ordinamento]

Z

Zago, Nicola (2010) Quadratic sieve e metodo di Lanczos a blocchi nella fattorizzazione di numeri interi. [Magistrali biennali]

Questa lista e' stata generata il Tue Nov 21 11:03:17 2017 CET.