Browsing Tesi di dottorato by MIUR Discipline "INF/01 INFORMATICA"

DSpace/Manakin Repository

Browsing Tesi di dottorato by MIUR Discipline "INF/01 INFORMATICA"

Sort by: Order: Results:

  • Information extraction by type analysis 
    Spanò, Alvise <1977> (Università Ca' Foscari Venezia, 2013-04-19)
    This thesis investigates an alternative use of type reconstruction, as a tool for extracting knowledge from programs written in weakly typed language. We explore this avenue along two different, but related directions. In ...
  • Information flow analysis by abstract interpretation 
    Zanioli, Matteo <1984> (Università Ca' Foscari Venezia, 2012-03-12)
    Protecting the confidentiality of information stored in a computer system or transmitted over a public network is a relevant problem in computer security. The goal of this thesis is to provide both theoretical and experimental ...
  • Information retrieval and extraction from forums, complaints and technical reviews 
    Quintavalle, Bruno <1966> (Università Ca' Foscari Venezia, 2019-07-18)
    Complaints and technical reviews often describe complex problems, most of the times in very articulated ways. Over that kind of corpora, we are considering here three classical tasks: Information Retrieval, Text Classification ...
  • In-line industrial computed tomography applications and developments 
    Ursella, Enrico <1970> (Università Ca' Foscari Venezia, 2021-07-06)
    La possibilità di ispezionare tramite tomografia computazionale tutti gli oggetti che passano in una linea di produzione industriale ha aperto la strada ad innumerevoli applicazioni pratiche. Negli anni c’è stato un costante ...
  • Jigsaw Puzzle Solving as a Consistent Labeling Problem 
    Khoroshiltseva, Marina <1979> (Università Ca' Foscari Venezia, ND)
    The thesis aims to develop a methodology for solving complex puzzle problems. In the first part of the research, we explore the idea of abstracting the jigsaw puzzle problem as a consistent labeling problem, a classical ...
  • Lexical and numerical domains for abstract interpretation 
    Costantini, Giulia <1985> (Università Ca' Foscari Venezia, 2013-12-13)
    The goal of this thesis is to contribute to the field of formal methods employed for the static verifi cation of computer program properties. The context is the Abstract Interpretation framework, one of the various possible ...
  • Manuzio: an object language for annotated text collections 
    Maurizio, Marek <1978> (Università Ca' Foscari Venezia, 2010-03-02)
    Traditionally, collections of texts are digitally represented as a set of documents containing the text along with some kind of markup to define extra information, like metadata, annotations, etc. We propose a different ...
  • Metacasanova : a high-performance meta-compiler for domain-specific languages 
    Di Giacomo, Francesco <1985> (Università Ca' Foscari Venezia, 2018-11-19)
    Programming languages are at the foundation of computer science, as they provide abstractions that allow the expression of the logic of a program independent from the underlying hardware architecture. In particular scenarios, ...
  • Mitigating Unfairness and Adversarial Attacks in Machine Learning 
    Abebe, Seyum Assefa <1987> (Università Ca' Foscari Venezia, 2022-07-28)
    Gli algoritmi di apprendimento automatico (machine learning) come gli alberi di decisione ed gli ensamble di alberi di decisione sono ampiamente utilizzati, ed ottengono prestazioni all'avanguardia in diverse applicazioni, ...
  • Modeling, classification and analysis of graph structures 
    Rossi, Luca <1985> (Università Ca' Foscari Venezia, 2013-12-13)
    Graph-based representations have become increasingly popular due to their ability to characterize in a natural way a large number of systems which are best described in terms of their structure. Concrete examples include ...
  • Models and theories of lambda-calculus 
    Manzonetto, Giulio <1980> (Università Ca' Foscari Venezia, 2008-02-18)
  • Models and theories of pure and resource lambda calculi 
    Carraro, Alberto <1983> (Università Ca' Foscari Venezia, 2011-03-03)
    Parte I: Un problema aperto da lungo tempo è se esiste un modello del lambda calcolo non tipato nella categoria CPO degli ordinamenti parziali completi e funzioni Scott-continue, la cui teoria equazionale è esattamente la ...
  • Multisensory feedback for interactive surfaces 
    Del Piccolo, Alan <1977> (Università Ca' Foscari Venezia, 2018-03-05)
    L'esperienza dell’ambiente circostante coinvolge tutti i nostri sensi. La vista guida molte delle nostre attività quotidiane, tuttavia gli altri sensi contribuiscono a completare il percepito degli oggetti con cui interagiamo. ...
  • 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 ...
  • Per un'edizione critica digitale : il caso di Massimiano elegiaco 
    Spinazze', Linda <1978> (Università Ca' Foscari Venezia, 2012-04-26)
    Il nostro studio presenta l’edizione critica digitale dei distici elegiaci del poeta tardo antico Massimiano Etrusco realizzata all'interno del corpus testuale di poesia latina Musisque Deoque (< www.mqdq.it >). La nostra ...
  • 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 ...