Search
Now showing items 1-10 of 27
From GeoVisualization to visual-analytics: methodologies and techniques for human-information discourse
(Universita degli studi di Salerno, 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
(Universita degli studi di Salerno, 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
(Universita degli studi di Salerno, 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 ...
Discovering hidden structures in high
(Universita degli studi di Salerno, 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 ...
Forensic analysis for digital images
(Universita degli studi di Salerno, 2011-11-23)
Nowadays, taking and sharing digital pictures is becoming a very popular
activity. This is witnessed by the explosive growth of the digital cameras
market: e.g., more than one billion of digital cameras have been ...
Fuzzy concept analysis for semantic knowledge extraction
(Universita degli studi di Salerno, 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 ...
Automatic discovery of drug mode of action and drug repositioning from gene expression data
(Universita degli studi di Salerno, 2011-02-18)
The identification of the molecular pathway that is targeted by a compound,
combined with the dissection of the following reactions in the cellular environment,
i.e. the drug mode of action, is a key challenge in ...
Logit dynamics for strategic games mixing time and metastability
(Universita degli studi di Salerno, 2012-04-18)
A complex system is generally de_ned as a system emerging from the interaction of
several and di_erent components, each one with their properties and their goals, usually
subject to external inuences. Nowadays, complex ...
Efficient distributed load balancing for parallel algorithms
(Universita degli studi di Salerno, 2011-04-29)
With the advent of massive parallel processing technology, exploiting the power
offered by hundreds, or even thousands of processors is all but a trivial task.
Computing by using multi-processor, multi-core or many-core ...
Network anaomaly detection based on the observation of multi-scale traffic dynamics
(Universita degli studi di Salerno, 2012-03-03)
Con la sempre più rapida crescita in termini di dimensioni e complessità delle moderne
infrastrutture di rete, l’attività di individuazione e prevenzione di abusi e violazioni nell’uso di tali infrastrutture sta diventando ...