Browsing by Ph.D. or Bachelor Series "Informatica"

DSpace/Manakin Repository

Browsing 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 ...
  • A model for the power management of the cpus via frequency control 
    Golfetto, Simone <1985> (Università Ca' Foscari Venezia, 2013-03-01)
    Il Dynamic voltage and frequency scaling (Dvfs) rappresenta una delle tecniche più conosciute ed utilizzate per tentare di ridurre il consumo energetico di una Cpu. L’efficacia di questo approccio è tuttavia, strettamente ...
  • ANALISI STATICA DELLA SICUREZZA DEI PROTOCOLLI DI VOTO 
    Barletta, Massimiliano <1981> (Università Ca' Foscari Venezia, 2013-03-01)
  • 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 ...
  • An Information Flow Type System for Android 
    Frazza, Alessandro <1988> (Università Ca' Foscari Venezia, 2013-03-01)
    La crescente adozione da parte di dispositivi mobili del sistema operativo Android ha accresciuto l'interesse in meccanismi capaci di garantire la segretezza e l'integrità delle informazioni sensibili presenti all'interno ...
  • 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 ...
  • A statistical model of Riemmannian metric variation for deformable shape analysis 
    Gasparetto, Andrea <1987> (Università Ca' Foscari Venezia, 2013-03-01)
    Non-rigid transformations problems have been largely addressed recently by the researchers community due to their importance in various areas, such as medical research and automatic information retrieval systems. In this ...