• 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 ...
    • Secure End-to-End Communications in Mobile Networks 

      Petagna, Fabio (Universita degli studi di Salerno, 2011-05-06)
      Cellular communication has become an important part of our daily life. Besides using cell phones for voice communication, we are now able to access the Internet, conduct monetary transactions, send voice, video and ...
    • 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 ...
    • Flavor mixing in quantum field theory and quantum information 

      Di Mauro, Marco (Universita degli studi di Salerno, 2011-05-10)
      After reviewing the formalism for describing flavor mixing, both in Quantum Mechanics and Quantum Field Theory, some consequences along three different directions are studied. First, it is proposed that flavor mixing can ...
    • Magnetic orbital and transport properties in LaMnO3 based based heterostructures 

      Galdi, Alice (Universita degli studi di Salerno, 2011-05-13)
      This thesis work deals with the magnetic, orbital and transport properties of (LaMnO3)2N(SrMnO3)N digital superlattices and of LaxMnO3-d thin films, both deposited by molecular beam epitaxy (MBE) technique on SrTiO3 ...
    • Detailed study of local and regional seismicity recorded by the underground UNDERSEIS array at Gran Sasso (Central Italy) 

      Formisano, Luisa Anna (Universita degli studi di Salerno, 2011-05-13)
      In this work I analyzed seismic data recorded by two arrays installed in the area of Mt. Gran Sasso (Central Italy), one located at 1.4 km depth (UNDERSEIS), and the other at surface (Fontari). The aim is to compare the ...
    • Transport and proximity effect in unconventional ferromagnet/superconductor heterostructures 

      Annunziata, Gaetano (Universita degli studi di Salerno, 2011-05-30)
      This dissertation collects results of my own work about heterostructures with unconventional ferromagnets and superconductors. It both introduces the matter by reviewing part of the existing literature and it includes ...
    • Exact solutions in general relativity and alternative theories of gravity: mathematical and physical properties 

      Canonico, Rosangela (Universita degli studi di Salerno, 2011-06-06)
      In this thesis, we discuss several subjects connected with the framework of GR, in order to characterize astrophysical compact objects. The main purpose is to provide simple models describing gravitational fields generated ...
    • Uniqueness and partition of energy for thermomicrostretch elastic solids backward intime 

      D'Amato, Maria (Universita degli studi di Salerno, 2011-06-12)
      In questo lavoro, è mostrata l’unicità delle soluzioni per il problema a ritroso nel tempo della teoria lineare dei materiali elastici termomicrostretch, ed è provata l’impossibilità della localizzazione nel tempo della ...
    • 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 ...
    • Total synthesis of terpenoidic unsatured dialdehydes and evaluation of their activity towards TRP receptors 

      D'Acunto, Mariantonietta (Universita degli studi di Salerno, 2012-02-02)
      The aim of this PhD project has been to develop new synthetic strategies in enantioselective preparation of natural products. In particular my attention has been focused on preparation of some natural metabolite, ...
    • Polymorphism and co-crystalline phases of polymers 

      Fasano, Gianluca (Universita degli studi di Salerno, 2012-02-04)
      Crystalline phases are extremely relevant for properties and applications of many polymeric materials. In fact, their amount, structure and morphology constitute the main factors controlling physical properties of fibers, ...
    • Functionalized Syndiotactic Polystyrene 

      Califano, Rosa (Universita degli studi di Salerno, 2012-02-14)
      La sintesi di materiali polimerici da metodo di modificazione, per ottenere le proprietà desiderate in polimeri, è un argomento importante in chimica dei polimeri e tecnologia. Molto spesso, proprietà desiderate non sono ...
    • New catalysts for ring-opening polymerization of cyclic esters 

      D'Auria, Ilaria (Universita degli studi di Salerno, 2012-02-16)
      The Ring-Opening Polymerization of cyclic esters by metal complexes via coordination-insertion mechanism represents the most effective and versatile method for preparing aliphatic polyesters with a good control in terms ...
    • Materiali ibridi e nanostrutturati derivati da copolimeri multiblocco polistirene-polibutadiene: sintesi e applicazioni 

      Buonerba, Antonio (Universita degli studi di Salerno, 2012-02-16)
      Scopo della presente tesi di Dottorato di Ricerca in Chimica, avente ampio carattere di esplorazione e innovazione, è stato quello di sviluppare materiali ibridi di natura organica ed inorganica con controllo della morfologia ...
    • Nb nanoporous ultrathin films: matching effects and interconnected wires 

      Trezza, Michele (Universita degli studi di Salerno, 2012-03-03)
      When the applied magnetic field is higher than the lower critical field but below the upper critical field, a type-II superconductor allows magnetic flux to penetrate it in the form of vortices, a tiny normal area ...
    • Network anaomaly detection based on the observation of multi-scale traffic dynamics 

      Palmieri, Francesco (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 ...
    • Fuzzy concept analysis for semantic knowledge extraction 

      De Maio, Carmen (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 ...
    • Synthesis and properties of linear and cyclic peptoids 

      De Cola, Chiara (Universita degli studi di Salerno, 2012-03-26)
      Le strutture e le attività metaboliche di tutte le cellule si basano su una vasta gamma di molecole comprendenti: amminoacidi, carboidrati, lipidi e nucleotidi, insieme alle forme polimeriche di questi composti. Ognuna di ...
    • Designing usable mobile interfaces for spatial data 

      Romano, Marco (Universita degli studi di Salerno, 2012-03-29)
      This dissertation deals mainly with the discipline of Human-­‐Computer Interaction (HCI), with particular attention on the role that it plays in the domain of modern mobile devices. Mobile dev ...