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

DSpace/Manakin Repository

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

Sort by: Order: Results:

  • 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 ...
  • Un po' di algoritmi per Zigbee 
    Ginevra, Alberto <1972> (Università Ca' Foscari Venezia, 2013-03-01)
    In questa tesi vengono applicati a dei sensori zigbee vari algoritmi, comunemente usati in intelligenza articiale. Vengono trattati due tipologie di macro-situazioni con o senza apprendimento. 1. In prima analisi i problemi ...
  • Potenzialità e limiti degli Intrusion Detection System 
    Salce, Licia <1973> (Università Ca' Foscari Venezia, 2014-06-26)
    Si effettua un'analisi dell'efficacia delle regole di un Intrusion Detection System per il rilevamento di attacchi informatici rivolti a servizi web. Si studia l'elaborazione di un insieme di regole per scoprire i tentativi ...
  • 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 ...
  • Replicated open source databases for web applications: architecture and performance analysis 
    Silvestrini, Gianpaolo <1987> (Università Ca' Foscari Venezia, 2014-03-11)
    Database system are currently used by thousands of web applications. Some of these applications serve critical services and have very high demands for high availability and fast real-time responses. Open source database ...
  • Retina-inspired random forest for semantic image labelling 
    Lak, Kameran Majeed Mohammed <1985> (Università Ca' Foscari Venezia, 2015-03-12)
    One of the most challenging problem in computer vision community is semantic image labeling, which requires assigning a semantic class to each pixel in an image. In the literature, this problem has been effectively addressed ...
  • 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 ...
  • Simulazione di reti di Petri Stocastiche in forma prodotto: applicazione e criteri di arresto 
    Panzetta, Pasquale <1985> (Università Ca' Foscari Venezia, 2013-06-28)
    Nel corso della valutazione di un sistema mediante un modello di simulazione si è di solito interessati al comportamento a regime del sistema stesso, ovvero all’analisi dello stato stazionario e questo può comportare che ...
  • Simulazione di reti di Petri Stocastiche in forma prodotto: sviluppo e analisi 
    Mariuzzo, Massimo <1985> (Università Ca' Foscari Venezia, 2013-06-28)
    La valutazione delle prestazioni di un sistema rappresenta un carattere fondamentale nel progetto, nello sviluppo e nella configurazione di un sistema di elaborazione. In informatica, lo studio delle prestazioni di sistemi ...
  • 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 ...