Browsing Tesi di dottorato by Ph.D. or Bachelor Series "Informatica"

DSpace/Manakin Repository

Browsing Tesi di dottorato by Ph.D. or Bachelor Series "Informatica"

Sort by: Order: Results:

  • Challenging RSA cryptosystem implementations 
    Nemec, Matus <1992> (Università Ca' Foscari Venezia, 2020-03-12)
    In questo lavoro di tesi abbiamo studiato le proprietà di sicurezza delle implementazioni del cifrario RSA. Nella prima parte, analizziamo i metodi per la generazioni di chiavi RSA di diverse librerie crittografiche. ...
  • Computational tools for the safety assessment of engineered nanomaterials 
    Basei, Gianpietro <1987> (Università Ca' Foscari Venezia, 2019-03-20)
    The increasing use of engineered nanomaterials (NMs) in nano-enabled products (NEPs) has raised societal concerns about their possible health and ecological implications. Indeed, despite their clear benefits, NMs may pose ...
  • Constrained dominant sets and its applications in computer vision 
    Alemu, Leulseged Tesfaye <1991> (Università Ca' Foscari Venezia, 2020-01-31)
    In this thesis, we present new schemes which leverage a constrained clustering method to solve several computer vision tasks ranging from image retrieval, image segmentation and co-segmentation, to person re-identification. ...
  • Convolutional Neural Networks Compression for Embedded Industrial Applications 
    Ressi, Dalila <1991> (Università Ca' Foscari Venezia, 2022-05-26)
    Convolutional Neural Networks have proved to be a powerful tool to solve a wide range of Computer Vision tasks, especially where is difficult to implement a solution in a purelyalgorithmic way. In the industry, the ...
  • Digital publishing and research infrastructure for cultural heritage : an institutional roadmap 
    Klic, Lukas <1983> (Università Ca' Foscari Venezia, 2019-07-18)
    The burgeoning field of Digital Humanities has seen a great deal of interest in methodologies that support the exploration, cross-pollination, and programmatic analysis of heritage collections across the web of data. ...
  • Disciplined techniques for the analysis and protection of security-critical systems 
    Tempesta, Mauro <1990> (Università Ca' Foscari Venezia, 2019-03-20)
    In the last years most of our daily activities have moved to the digital world, including sensitive operations related to health data management and financial processes. Security flaws in the systems running these critical ...
  • Dissecting continual learning: a structural and data analysis 
    Pelosin, Francesco <1992> (Università Ca' Foscari Venezia, ND)
    Continual Learning (CL) è un campo della ricerca dell'intelligenza artificiale dedicata al progetto di algoritmi capaci di superare il problema del catastrofic forgetting nelle reti neurali, il fenomeno per il quale si ha ...
  • Distributed and stream data mining algorithms for frequent pattern discovery 
    Silvestri, Claudio <1974> (Università Ca' Foscari Venezia, 2006-03-21)
  • Dynamic typing for security protocols 
    Maffei, Matteo <1978> (Università Ca' Foscari Venezia, 2006-03-21)
  • Efficient security analysis of administrative access control policies 
    Steffinlongo, Enrico <1987> (Università Ca' Foscari Venezia, 2018-03-05)
    In recent years access control has been a crucial aspect of computer systems, since it is the component responsible for giving users specific permissions enforcing a administrator-defined policy. This lead to the formation ...
  • Enhancing web search user experience : from document retrieval to task recommendation 
    Tolomei, Gabriele <1980> (Università Ca' Foscari Venezia, 2011-11-17)
    Il World Wide Web è la più grande sorgente dati mai realizzata dall’uomo. Ciò ha fatto sì che il Web divenisse sempre più il “luogo” di riferimento per accedere a qualsiasi tipo di informazione, attraverso l’uso dei motori ...
  • Evolutionary game theoretic models for natural language processing 
    Tripodi, Rocco <1982> (Università Ca' Foscari Venezia, 2016-02-04)
    This thesis is aimed at discovering new learning algorithms inspired by principles of biological evolution, which are able to exploit relational and contextual information, viewing clustering and classification problems ...
  • Exploiting contextual information with deep neural networks 
    Elezi, Ismail <1991> (Università Ca' Foscari Venezia, 2020-07-29)
    Context matters! Nevertheless, there has not been much research in exploiting contextual information in deep neural networks. For the most part, the entire usage of contextual information has been limited to recurrent ...
  • Extending abstract interpretation to new applicative scenarios 
    Halder, Raju <1981> (Università Ca' Foscari Venezia, 2012-03-12)
    The aim of this thesis is to extend the Abstract Interpretation framework to the broader context of Information Systems. In particular, we address issues related to security properties. We formalize a complete denotational ...
  • Extensions of dominant sets and their applications in computer vision 
    Mequanint, Eyasu Zemene <1984> (Università Ca' Foscari Venezia, 2018-03-05)
    Many problems in computer vision can be formulated as a clustering problem, a problem that aims to organize a collection of data objects into groups or clusters, such that objects within a cluster are more “similar” to ...
  • Formal models for qualitative and quantitative analysis of mobile ad hoc and sensor networks 
    Gallina, Lucia <1984> (Università Ca' Foscari Venezia, 2013-04-19)
    Mobile ad-hoc networks (MANETs) are systems of mobile devices communicating with each other through wireless links without a pre-established networking infrastructure. The absence of a central infrastructure, together with ...
  • Generative models for non-vectorial data 
    Gasparetto, Andrea <1987> (Università Ca' Foscari Venezia, 2017-03-01)
    In questa tesi presentiamo diversi approcci per la costruzione di modelli generativi utilizzati sia su grafi sia su modelli. Il problema principale su cui questo lavoro verte riguarda il problema di processare dati che ...
  • Grid and peer-to-peer resource discovery systems 
    Mordacchini, Matteo <1975> (Università Ca' Foscari Venezia, 2007-03-01)
  • Hardware execution of constraint handling rules 
    Triossi, Andrea <1979> (Università Ca' Foscari Venezia, 2012-03-12)
    In this thesis we want to investigate the compiling of the well-established language Constraint Handling Rule (CHR) to a low level hardware description language (HDL). The benefit introduced by a CHR-based hardware synthesis ...
  • High-accuracy camera calibration and scene acquisition 
    Bergamasco, Filippo <1985> (Università Ca' Foscari Venezia, 2015-02-13)
    In this thesis we present some interesting new approaches in the field of camera calibration and high-accuracy scene acquisition. The first part is devoted to the camera calibration problem exploiting targets composed by ...