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:

  • On the relations among product-form stochastic models 
    Marin, Andrea <1976> (Università Ca' Foscari Venezia, 2009-03-06)
  • On the solution of cooperating stochastic models 
    Dei Rossi, Gian-Luca <1981> (Università Ca' Foscari Venezia, 2013-12-13)
    Stochastic models are widely used in the performance evaluation community. In particular, Markov processes, and more precisely, Continuous Time Markov Chains (CTMCs), often serve as underlying stochastic processes for ...
  • Optimization of Steel Megastructures 
    Cacchi, Alessia <1994> (Università Ca' Foscari Venezia, 2023-01-27)
    Il progetto di una struttura in acciaio coinvolge un numero elevato di equazioni e relazioni in riferimento ai diversi aspetti di un progetto, dai materiali, alle geometrie, ai costi ecc. I metodi tradizionali di progettazione ...
  • PFA Camera Demosaicing and Applications 
    Fatima, Tehreem <1996> (Università Ca' Foscari Venezia, 2023-05-31)
    Polarization is one of the basic properties of light and it has been proved quite useful in numerous machine vision tasks. With the development of Polarization Filter Array (PFA) cameras the acquisition process of light ...
  • Philosophical aspects in pattern recognition research 
    Scantamburlo, Teresa <1981> (Università Ca' Foscari Venezia, 2014-03-18)
    Pattern recognition is the discipline which studies theories and methods to build machines that are able to discover regularities in noisy data. As many of its characterizations suggest, the field is usually considered as ...
  • Product-forms beyond quasi-reversibility 
    Cavallin, Filippo <1988> (Università Ca' Foscari Venezia, 2018-07-10)
    Assessing the performance and reliability of computer and telecommunication systems requires the development of stochastic models whose state space are very large. This problem is often known as "State Space Explosion". As ...
  • Property driven program slicing and watermarking in the abstract interpretation framework 
    Bhattacharya, Sukriti <1980> (Università Ca' Foscari Venezia, 2011-03-03)
    Interpretation theory formalizes the conservative approximation of the semantics of hardware and software computer systems. Abstract Interpretation approximates semantics according to some property of choice, this is ...
  • Quantum processes for structural analysis 
    Minello, Giorgia <1983> (Università Ca' Foscari Venezia, 2019-03-20)
    Many real systems can be modelled as networks, being characterized by a set of items and links between them. Systems taking the form of networks, also called graphs, appear in a wide range of scenarios, varying from ...
  • Query log based techniques to improve the performance of a web search engine 
    Broccolo, Daniele <1984> (Università Ca' Foscari Venezia, 2014-03-18)
    Every user leaves traces of her/his behaviour when she/he surfs the Web. All the usage data generated by users is stored in logs of several web applications, and such logs can be used to extract useful knowledge for enhancing ...
  • Regular partitions and their use in structural pattern recognition 
    Fiorucci, Marco <1981> (Università Ca' Foscari Venezia, 2019-03-20)
    The huge amount of data generated everyday by different interrelated entities calls for the development of new effective methods to store, retrieve and understand these massive network data. In this thesis, we tackle this ...
  • Secure and usable QR codes 
    Wahsheh, Heider Ahmad Mutleq <1987> (Università Ca' Foscari Venezia, 2019-03-20)
    Barcode is a universal technology that provides visual data representation using series of horizontal lines (1D), or matrix of squares and dots (2D), organized in a specific standard way. Barcodes are represented as images ...
  • Secure implementations of typed channel abstractions 
    Giunti, Marco <1973> (Università Ca' Foscari Venezia, 2007-03-01)
  • Semi-supervised learning and applications : a game-theoretic perspective 
    Vascon, Sebastiano <1982> (Università Ca' Foscari Venezia, 2020-01-31)
    This thesis is focused on semi-supervised learning (SSL) algorithms, a family of methods lying in between supervised and unsupervised learning. The main characteristic of SSL algorithms is that they exploit at the same ...
  • Simulation-based performance modeling of UML software architectures 
    Marzolla, Moreno <1974> (Università Ca' Foscari Venezia, 2004-02-05)
    L'analisi quantitativa di sistemi software viene riconosciuta come un aspetto importante nel processo di sviluppo del software. L'analisi quantitativa può aiutare a valutarne le prestazioni a partire dai primi passi del ...
  • Sparse and robust matching problem for 3D shape analysis 
    Rodolà, Emanuele <1984> (Università Ca' Foscari Venezia, 2012-03-12)
    In questa tesi affrontiamo diversi aspetti del dilagante problema della corrispondenza nella Visione Artificiale. I nostri risultati principali traggono vantaggio da sviluppi recenti nel campo emergente dei metodi basati ...
  • Static analysis of security properties in mobile ambients 
    Braghin, Chiara <1974> (Università Ca' Foscari Venezia, 2005-01-28)
  • Static analysis via abstract interpretation of multithreaded programs 
    Ferrara, Pietro <1981> (Università Ca' Foscari Venezia, 2009-05-22)
    The goal of this thesis is to present a generic static analysis of Java multithreaded programs. Multithreaded programs execute many task, called threads, in parallel. Threads communicate through the shared memory implicitly, ...
  • Static verification and enforcement of authorization policies 
    Calzavara, Stefano <1985> (Università Ca' Foscari Venezia, 2013-04-19)
    La tesi affronta il problema della verifica e dell'imposizione di politiche di autorizzazione tramite tecniche di analisi statica. I contributi principali sono tre: una semantica formale per grsecurity, che permette di ...
  • String analysis for software verification 
    Olliaro, Martina <1991> (Università Ca' Foscari Venezia, 2021-03-24)
    This thesis aims to investigate string manipulation with security implications in different programming languages and to improve the state-of-the-art by applying the abstract interpretation theory to string analysis. ...
  • Structured-light 3D reconstruction and applications 
    Pistellato, Mara <1991> (Università Ca' Foscari Venezia, 2020-01-31)
    An increasing number of modern Computer Vision applications rely on the usage of depth data, allowing the accomplishment of several tasks otherwise being complex or impractical. As a consequence, a large amount of 3D ...