Informatica: Recent submissions

Items 21-27 di 27

    • From GeoVisualization to visual-analytics: methodologies and techniques for human-information discourse 

      De Chiara, Davide (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 ...

    • Logit dynamics for strategic games mixing time and metastability 

      Ferraioli, Diodato (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 ...

    • Predicate encryption systems. No query left unanswered 

      Iovino, Vincenzo (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 ...

    • Forensic analysis for digital images 

      Cembalo, Maurizio (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 ...

    • Efficient distributed load balancing for parallel algorithms 

      Cosenza, Biagio (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 ...

    • On the verification of parametric and real-time systems 

      Di Giampaolo, Barbara (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 ...

    • Discovering hidden structures in high 

      Murino, Loredana (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 ...