Browsing Archivio delle tesi by Ph.D. or Bachelor Series "Informatica - computer science"

DSpace/Manakin Repository

Browsing Archivio delle tesi by Ph.D. or Bachelor Series "Informatica - computer science"

Sort by: Order: Results:

  • Image-Based Detection of Nutrient Deficiency in Vine Leaves 
    Damatar, Maria <1991> (Università Ca' Foscari Venezia, 2016-11-03)
    This thesis is the first step of a larger exploration study that aims to exploit Image Analysis in order to detect the presence of pathological conditions affecting vine plants. Vines can suffer different kinds of diseases, ...
  • Implicit Neural Representation of volumes for high-resolution space carving 
    Murador, Marco <1996> (Università Ca' Foscari Venezia, 2023-10-17)
    Implicit Neural Representation of points has become an increasingly popular method for representing 3D objects in a continuous function that maps any point in 3D space to a feature vector. However, the representation has ...
  • Improving the trust model of Self-Sovereign Identity on blockchain 
    De Biasi, Alessio <1998> (Università Ca' Foscari Venezia, 2023-07-13)
    In the digital world, when users want to prove something about their identities (e.g., age, or degree grade), they need to provide pictures of physical documents (e.g., ID cards, or degree certificates). However, these ...
  • Intent Flow Analysis in Android Application 
    Salvia, Rocco <1990> (Università Ca' Foscari Venezia, 2016-11-03)
    L'analisi implementata è un'integrazione dell'analizzatore statico Julia, con lo scopo di individuare flussi di Intent in applicazioni Android. Un intent è un messaggio al quale possono essere allegati dei dati e può ...
  • Interactive Image Segmentation using Graph Transduction Games 
    Bernardi, Riccardo <1997> (Università Ca' Foscari Venezia, 2021-04-27)
    We are going to explore the current state of art in the field of interactive image segmentation and to produce an improvement. This topic is of interest because it can be applied, for example, to the extraction of sub-images ...
  • Intrusion detection models based on data mining techniques in high density attacks scenario 
    Pistolato, Michele <1981> (Università Ca' Foscari Venezia, 2020-03-13)
    Intrusion detection systems represent a fundamental component at the basis of the information security of a computer network. The increasing improvements in the field of data mining, due to the capabilities of the modern ...
  • Investigating the Bitcoin blockchain through the analysis of empty blocks 
    Sina, Andrea <1993> (Università Ca' Foscari Venezia, 2019-07-10)
    In the recent years cryptocurrencies have become more and more pervasive in everyday life. Bitcoin is the most famous and the most used one. This technology is based on the Blockchain, a continuously growing public list ...
  • Kairos: a P2P End-To-End verifiable voting system framework 
    Bisconcin, Filippo <1995> (Università Ca' Foscari Venezia, 2021-07-16)
    End-to-end verifiable voting systems are commonly based on the security offered by cryptographic operations. Popular voting systems make use of cryptosystems like ElGamal which allows to anonymize votes both through Mix ...
  • Kernelized Convolutional Operator for Graph Neural Networks 
    Crosariol, Daniele <1993> (Università Ca' Foscari Venezia, 2022-10-21)
    In recent years the very application on machine learning involve Neural Network model based on tensor, but there exists many fields of research that are suited with data structure based on graph, like proteins and chemistry ...
  • LB-Networks: A model for dynamic load balancing in queuing networks 
    Njie, Momodou <1982> (Università Ca' Foscari Venezia, 2018-03-21)
    Dynamic load balancing plays an important role in the management of data centers where a fair workload distribution may be hard to achieve. Dynamic load balance algorithms are usually clustered into two families: A receiver ...
  • Learning how to perform on stage: design and evaluation of an educational virtual reality application. 
    Pagini, Veronica <1993> (Università Ca' Foscari Venezia, 2018-03-21)
    This thesis is focused on the design of a virtual reality application for helping actors during the training phase of a play. The project starts from the results of a previous project developed at the University Ca’ Foscari ...
  • Life Redune Project: data acquisition and dissemination. Design and implementation of an off-grid sensors network and design of a public playful tangible user interface for data presentation 
    Brutti, Lorenzo <1980> (Università Ca' Foscari Venezia, 2018-03-21)
    The thesis will illustrate the design and implementation process of a network of off-grid environmental sensors stations aimed to collect meteorological data along with CO2 levels in the context of Life Redune Project. Moreover, ...
  • Lisa and rospy: Static Analysis for Robotics 
    Zanatta, Giacomo <1996> (Università Ca' Foscari Venezia, 2023-07-21)
    In this thesis, we will show how a static analysis tool can be used to extract meanings from rospy source code. After a brief introduction about the theories that underlie static analysis we will talk about liSA, a static ...
  • LLDBagility: practical macOS kernel debugging 
    Cagnin, Francesco <1991> (Università Ca' Foscari Venezia, 2020-03-13)
    The effectiveness of debugging software issues depends largely on the capabilities of the tools available to aid in such task. To debug the macOS kernel there is at present no real alternative other than the basic debugger ...
  • Load balancing and fault early detection for Apache Kafka clusters 
    Burato, Dario <1993> (Università Ca' Foscari Venezia, 2019-07-10)
    Apache Kafka is a publish-subscribe message system, producers publish data to a cluster and clients subscribes to receive data. The messages are sent by their producers and stored in partitions, the load balancing is ...
  • Market basket analysis 
    Verma, Nikhil <1989> (Università Ca' Foscari Venezia, 2017-07-06)
    The field of market basket analysis, the search for meaningful associations in customer purchase data, is one of the oldest areas of data mining. The typical solution involves the mining and analysis of association rules, ...
  • Matching hypergraphs with game theory 
    Sandi, Giulia <1982> (Università Ca' Foscari Venezia, 2018-07-11)
    The problem of finding isomorphisms, or matching partitions, in hypergraphs has gained increasing interest from the scientific community in the last years, particularly in the Computer Vision field. This is due to the ...
  • MetaWalks: an application to visualize metabolic pathways at different levels 
    Donadi, Martina <1992> (Università Ca' Foscari Venezia, 2024-03-19)
    Metabolic pathways are quite difficult to visualize as a whole and to visually compare them across organisms, due to their data dimension and fragmentation. In this thesis, we propose a tool called MetaWalks to visually ...
  • MetDraftBuilder: a tool for automatic metabolic network reconstruction 
    Benassai, Alessio <1995> (Università Ca' Foscari Venezia, 2024-03-19)
    Metabolism is the organism’s machinery that breaks down complex organic molecules to produce the energy and building blocks needed for the organism’s normal functioning. It comprises all chemical and physical processes ...
  • Mining for vulnerabilities in embedded TCP/IP stacks with a set of static analysis queries 
    Acerbi, Gabriele <1996> (Università Ca' Foscari Venezia, 2020-11-04)
    In this thesis, we focus on helping the process of finding vulnerabilities in software. Even though it is a widely addressed topic, insecure code is still one of the main causes of security issues in in software because a ...