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
Group by: Creators | Item Type | No Grouping
Number of items at this level: 35.

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

Simioni, Alberto (2017) Implementation and evaluation of a container-based software architecture. [Magistrali biennali]

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

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

Bortoluzzi, Riccardo (2018) Implementazione di un parser per il linguaggio di modellazione di automi ibridi SX. [Laurea triennale]

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]

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]

Ciaffi, Danilo (2018) A provably secure variant of NTRU cryptosystem. [Magistrali biennali]

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

De Marchi, Alessandro (2017) Uno studio sulla negazione in Programmazione Logica. [Laurea triennale]

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]

Di Pirro, Matteo (2018) How Solid is Solidity? An In-dept Study of Solidity’s Type Safety. [Magistrali biennali]

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

Genchi, Walter (2019) Design compact and efficient recurrent neural networks for natural language processing tasks. [Magistrali biennali]

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]

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

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

Malerba, Federico (2018) Machine learning for learning trader's behaviour. [Laurea triennale]

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]

Mazzetto, Alessio (2019) Distributed Clustering in General Metrics via Coresets. [Magistrali biennali]

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

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]

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

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]

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]

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

This list was generated on Sun Sep 22 04:06:33 2019 CEST.