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:

  • 3D acquisition and analysis with applications in interaction and contactless measurement 
    Cosmo, Luca <1986> (Università Ca' Foscari Venezia, 2016-02-04)
    Negli ultimi anni la Computer Vision è diventata una presenza costante nella vita quotidiana di ognuno di noi. Grazie alla riduzione del prezzo degli apparati e all'aumento della potenza di calcolo, le tecniche basate sulla ...
  • A decision support system for the assessment and management of surface waters 
    Zabeo, Alex <1976> (Università Ca' Foscari Venezia, 2011-03-03)
    Water protection is one of the priorities in the preservation of human health and environmental sustainable conditions. Since 2000, the European Union Water Framework Directive (EU-WFD), which establishes a framework for ...
  • A framework for trajectory data warehousing and visual OLAP analysis 
    Leonardi, Luca <1983> (Università Ca' Foscari Venezia, 2012-03-12)
    Questo lavoro di tesi vuole definire un framework per un data warehouse di traiettorie, ovvero un data warehouse capace di contenere informazioni aggregate relative a traiettorie di oggetti, e che offra operazioni OLAP ...
  • A game-theoretic approach to matching and robust inlier selection 
    Albarelli, Andrea <1975> (Università Ca' Foscari Venezia, 2010-03-02)
    In questa tesi la nostra attenzione è rivolta alla classe di problemi di matching dove qualche funzione di compatibilità e definibile su un insieme di due o più coppie corrispondenti. Nello specifico proponiamo un approccio ...
  • A game-theoretic framework for similarity-based data clustering 
    Rota Bulò, Samuel <1981> (Università Ca' Foscari Venezia, 2009-03-06)
  • A generic framework for multilanguage analysis 
    Negrini, Luca <1993> (Università Ca' Foscari Venezia, 2023-01-27)
    L'analisi statica di programmi scritti in più linguaggi di programmazione è impegnativa. Gli analizzatori tradizionali analizzano un singolo linguaggio, o un gruppo di linguaggi simili, per adattare l'analisi alle sue (o ...
  • Algebraic structures for the lambda calculus and the propositional logic 
    Favro, Giordano <1985> (Università Ca' Foscari Venezia, 2016-02-04)
    Nella prima parte della tesi definiamo due famiglie di insiemi, Mn e Gn, dove n è un indice sui naturali, costituiti da termini muti detti rispettivamente restricted regular mute e regular mute e definiti induttivamente. ...
  • Algorithms for graph compression : theory and experiments 
    Nourbakhsh, Farshad <1979> (Università Ca' Foscari Venezia, 2015-02-13)
    Graphs and networks are everywhere, from social networks to the World Wide Web. Since the last decade, massive graphs has become the center attention of an intense research activity, both industrial and academic research ...
  • Algorithms for stationary analysis of stochastic Petri nets 
    Stojic, Ivan <1982> (Università Ca' Foscari Venezia, 2017-03-01)
    Stochastic Petri nets (SPN) are a Markovian formalism for qualitative and quantitative analysis of discrete event dynamic systems. Among other uses, they have been used extensively in performance evaluation of telecommunication ...
  • Analysis and fast querying of mobility data 
    Lettich, Francesco <1983> (Università Ca' Foscari Venezia, 2015-02-13)
    Mobility data represents a widely used term to indicate sources of information, possibly structured in many different ways - depending on technologies and formats used - describing the localization or the movement, in time ...
  • Analysis and optimisations in depth-based routing for underwater sensor networks 
    Jafri, Muhammad Mohsin Raza <1988> (Università Ca' Foscari Venezia, 2019-03-20)
    Underwater Sensor Networks (UWSNs) employ sensor nodes and acoustic communication to detect physical attributes of water such as temperature, pressure, etc. Research on UWSNs has emerged thanks to their wide spectrum of ...
  • Analysis and prevention of security threats in web and cryptographic applications 
    Squarcina, Marco <1984> (Università Ca' Foscari Venezia, 2018-03-05)
    In recent years we have faced a multitude of security flaws posing a serious threat to the whole society, ranging from individuals to national critical infrastructures. For this reason, it is of crucial importance to ...
  • Analysis of the transaction confirmation process and fairness in Proof-of-Work blockchains 
    Malakhov, Ivan <1996> (Università Ca' Foscari Venezia, 2023-05-31)
    Lo scopo principale di questo lavoro è riassumere i risultati del dottorato di ricerca di Ivan Malakhov. La sua ricerca è incentrata sull'esame e la valutazione delle reti blockchain con meccanismo di consenso Proof-of-Work ...
  • Analysis of threats and design flaws in hardware and software cryptographic systems 
    Palmarini, Francesco <1986> (Università Ca' Foscari Venezia, 2019-03-20)
    In the past two decades the use of cryptography in computer systems has constantly increased. Ranging from personal devices to critical infrastructures, cryptography is pervasive and variegated. It is crucial to perform ...
  • APACHE Decision Support System: sensor data intelligence for cultural heritage preventive conservation 
    Chiarot, Giacomo <1995> (Università Ca' Foscari Venezia, 2023-05-31)
    The majority of the cultural objects in museums stay in storage areas, placed inside different types of open and closed containers. A common problem, especially for small and middle-size museums, is to understand if objects ...
  • Application-level security for robotic networks 
    Caiazza, Gianluca <1991> (Università Ca' Foscari Venezia, 2021-03-17)
    Cyber-physical systems (CPS) are increasingly deployed as part of the interconnected robotic cyber-infrastructures which are known as the Industrial Internet of Things (IIoT) network. Those pervasive devices are capable ...
  • Beyond linear chain: a journey through conditional random fields for information extraction from text 
    Marcheggiani, Diego <1983> (Università Ca' Foscari Venezia, 2014-06-12)
    Natural language, spoken and written, is the most important way for humans to communicate information to each other. In the last decades \emph{natural language processing} (NLP) researchers have studied methods aimed at ...
  • Bringing instruments to a service-oriented interactive grid 
    Lelli, Francesco <1977> (Università Ca' Foscari Venezia, 2007-03-01)
  • Casanova 2, a domain specific language for general game development 
    Abbadi, Mohamed <1988> (Università Ca' Foscari Venezia, 2017-03-10)
    In today's society, the pervasiveness and sales of video games is at an all-time high. Video games are used in a variety of application scenarios, from pure entertainment to supporting research, raising social awareness, ...
  • Casanova: a language for game development 
    Maggiore, Giuseppe <1985> (Università Ca' Foscari Venezia, 2013-04-19)
    In this work we present Casanova, a programming language. Its novelty lies in the fact that it was designed with an exclusive focus on making games. The goal of Casanova is to change the landscape of game development, ...