Cerca
Items 1-10 di 81
Logit dynamics for strategic games mixing time and metastability
(2012-04-18)
A complex system is generally defined as a system emerging from the interaction of
several and different components, each one with their properties and their goals, usually
subject to external inuences. Nowadays, complex ...
Applicazioni di interfacce aptiche e realtà aumentata in ambiti di manutenzione industriale, formazione, medicina e beni culturali
(2011-03-14)
La Realtà Virtuale farà ancora molti passi avanti nell’abbattimento dei tempi di calcolo e
nel perfezionamento del fotorealismo (con l’introduzione di hardware dedicati, con
software di modellazione sempre più sofisticati ...
Discovering hidden structures in high dimensional data space
(2011-03-01)
Il grande volume di dati che viene attualmente collezionato nei vari campi di applicazione non può essere gestito usando le tecniche standard di data mining.
L’obiettivo principale del presente lavoro di tesi è quello di ...
From GeoVisualization to visual-analytics: methodologies and techniques for human-information discourse
(2012-04-03)
The objective of our research is to give support to decision makers when facing problems which require rapid solutions in spite of the complexity of scenarios under investigation. In order to achieve this goal our studies ...
On the verification of parametric and real-time systems
(2011-05-06)
Parametric and Real-Time Systems play a central role in the theory underlying
the Verification and Synthesis problems.
Real-time systems are present everywhere and are used in safety critical
applications, such as flight ...
Predicate encryption systems. No query left unanswered
(2011-05-09)
Predicate encryption is an important cryptographic primitive (see [7, 14, 28]) that enables
fine-grained control on the decryption keys. Let T be a class of binary predicates. Roughly speaking, in a predicate encryption ...
Supporting learning activities in virtual worlds: methods, tools and evaluation
(2013-02-27)
Continuing advances and reduced costs in computational power, graphics and network bandwidth let 3D immersive multi‐user Virtual Worlds (VWs) become increasingly accessible while offering an improved and engaging quality ...
Fuzzy concept analysis for semantic knowledge extraction
(2012-03-22)
Availability of controlled vocabularies, ontologies, and so on is enabling feature to provide some added values in terms of knowledge management. Nevertheless, the design, maintenance and construction of domain ontologies ...
Sequence analysis in bioinformatics: methodological and practical aspects
(2013-04-02)
My PhD research activities has focused on the development of new
computational methods for biological sequence analyses.
To overcome an intrinsic problem to protein sequence analysis, whose aim was
to infer homologies in ...
Secure computation under network and physical attacks
(2013-04-22)
This thesis proposes several protocols for achieving secure com-
putation under concurrent and physical attacks. Secure computation
allows many parties to compute a joint function of their inputs, while
keeping the privacy ...