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:

  • High performance: closed frequent itemsets mining inspired by emerging computer architectures 
    Lucchese, Claudio <1980> (Università Ca' Foscari Venezia, 2008-02-18)
  • HYPERSPECTRAL BASED INDUSTRIAL INSPECTION SYSTEMS 
    Boschetti, Marco <1973> (Università Ca' Foscari Venezia, 2022-03-04)
    I processi industriali richiedono sempre di più l'esatta e precisa conoscenza del materiale in lavorazione, al fine di affinare, automatizzare e ottimizzare il flusso produttivo, massimizzare il valore e la qualità del ...
  • Improving the quality of text clustering and cluster labeling 
    Pourvali, Mohsen <1984> (Università Ca' Foscari Venezia, 2017-03-01)
    The abundance of available electronic information is rapidly increasing with the advancements in digital processing. Furthermore, huge amounts of textual data have given rise to the need for efficient techniques that can ...
  • 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 ...
  • Large scale data access: architectures and performance 
    Furano, Fabrizio <1969> (Università Ca' Foscari Venezia, 2006-03-21)
  • 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 ...
  • Logics for distributed resources 
    Macedonio, Damiano <1973> (Università Ca' Foscari Venezia, 2006-03-21)
  • 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 cryptographic weaknesses related to elliptic curves 
    Sedláček, Vladimír <1992> (Università Ca' Foscari Venezia, 2022-02-09)
    Thissis esplora la sicurezza dei sistemi crittografici relativi alle curve ellittiche da varie angolazioni. Discutiamo di un modo per sfruttare uno speciale metodo di fattorizzazione basato su curve ellittiche per inserire ...
  • On performance of data mining: from algorithms to management systems for data exploration 
    Palmerini, Paolo <1971> (Università Ca' Foscari Venezia, 2004-02-05)
    II Data Mining (DM) è la disciplina che si occupa dell'estrazione di informazioni utili e non banali dall'immensa mole di dati che è possibile collezionare in vari campi della scienza e del mondo industriale e commerciale. ...