• On the Generalizations of Identity-Based Encryption 

      De Caro, Angelo (Universita degli studi di Salerno, 2013-04-16)
      Today public-key cryptographic is widely deployed and successfully used but still a major drawback exists. In fact, from encrypted data a party can either decrypt or cannot learn anything at all about the message other ...
    • On the solvability of linear PDEs in weighted Sobolev spaces 

      Salvato, Maria (Universita degli studi di Salerno, 2012-03-30)
      In this work we are interested in strong solutions of a Dirichlet problem for an elliptic linear operator... [edited by author]
    • 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 ...
    • On Vector-Valued Schrodinger Operators in Lp-spaces 

      Maichine, Abdallah (Universita degli studi di Salerno, 2018-04-06)
      ... We construct a realization Ap of A in the spaces Lp(Rd;Cm), 1 p < 1, that generates a contractive strongly continuous semigroup. First, by using form methods, we obtain generation of holomorphic semigroups when the ...
    • Oscillazioni meccaniche in sistemi biologici 

      Buccheri, Germana (Universita degli studi di Salerno, 2014-06-11)
      Lo scopo di questa attività di ricerca è quello di studiare il campo di vibrazioni meccaniche associato a due sistemi fisici naturali: l’ apparato fonatorio e il cuore. Le vibrazioni meccaniche della trachea e della ...
    • Ottimizzazione multi-obiettivo: scheduling delle attività di manutenzione delle reti elettriche. 

      Tufano, Vincenza (Universita degli studi di Salerno, 2014-05-16)
      In questo lavoro di tesi è stato introdotto un modello matematico per ottimizzare l’assegnazione dinamica di lavori di manutenzione delle reti elettriche. Il problema può essere così sintetizzato: dato un insieme di ...
    • Il paradigma della programmazione logica per supportare lo sviluppo di abilità deduttive attraverso l’uso di un artefatto 

      Lombardi, Laura (Universita degli studi di Salerno, 2016-04-19)
      The aim of this work is to explore the relationship between the manipulation of linguistic objects and the development of logical-deductive abilities, through teaching experiments in primary and secondary schools. Our ...
    • Particle mixing, two level systems and gauge theory 

      Raimondo, Gianluca (Universita degli studi di Salerno, 2012-04-26)
      In this thesis I will discuss the theory of two level systems and the theory of the oscillating particles in quantum eld theory. In the rst chapter I will consider the time evolution of a two level system, a qubit, ...
    • Performance analysis of queueing systems with resequencing 

      Caraccio, Ilaria (Universita degli studi di Salerno, 2016-02-24)
      The service sector lies at the heart of industrialized nations and continues to serve as a major contributor to the world economy. Over the years, the service industry has given rise to an enor- mous amount of technological, ...
    • Pharmacological potential and phytochemical profile of three unexplored medicinal plants 

      Faraone, Immacolata (Universita degli studi di Salerno, 2019-02-06)
      Nature is a wide source of biologically active compounds investigated with the purpose to be used as drugs due to their biological activity and also useful in pharmaceutical discovery and drug design. Nowadays, medicinal ...
    • Phase transitions in strongly correlated electronic systems 

      Guarnaccia, Giuseppe (Universita degli studi di Salerno, 2014-06-19)
      We studied the some type of phase transitions in Strongly Correlated Electronic Systems. In particular we rigorously established some exact properties of a multi-orbital Hubbard model, here formulated to describe a nematic ...
    • Phisical chemistry of plasmas and applications to cultural heritage and material science 

      Smaldone, Antonella (Universita degli studi di Salerno, 2018-03-04)
      In this project, the attention has been focused on the laser ablation process and on laser induced plasmas spectroscopic study for two different technological applications. First of all, the analytical LIBS (Lase Induced ...
    • Polyhedral analysis and branch and cut algorithms for some NP-hard spanning subgraph problems 

      Laureana, Federica (Universita degli studi di Salerno, 2020-01-07)
      There is a widespread need to use a quantitative approach for the solution of decision problems that arise in many different areas of real life. The goal is to choose which decisions to take to manage a real system as ...
    • Polymeric aerogels 

      Longo, Simona (Universita degli studi di Salerno, 2014-03-07)
      Aerogels are a unique class of materials characterized by a highly porous network, being attractive for many applications such as thermal and acoustic insulation, capacitors or catalysis. In more recent years, polymeric ...
    • Polymeric films with co-crystalline and nanoporous crystalline phases: orientations, chirality and possible applications in photonic crystals 

      Ianniello, Graziella (Universita degli studi di Salerno, 2015)
      Polymers can crystallize in different crystalline forms; polymorphism is the term to indicate this ability. It is known that processing and physical properties of polymer-based materials are strongly affected by the ...
    • 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, ...
    • 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 ...
    • Production of micro and nanoparticles of thermolabile compounds using supercritical assisted atomization 

      Liparoti, Sara (Universita degli studi di Salerno, 2015-04-20)
      Supercritical Assisted Atomization (SAA) is a very efficient process to micronize several kind of compounds, such as catalysts, polymers and active principles, also for pharmaceutical applications. The process is based ...
    • Progettazione e sperimentazione di un percorso didattico sperimentale in superconduttività. 

      Vanacore, Antonio (Universita degli studi di Salerno, 2014-07-31)
      Vengono presentate e discusse le fasi di progettazione, realizzazione e valutazione di efficacia di un percorso didattico di insegnamento/apprendimento incentrato sui materiali superconduttori partendo dalle loro proprietà ...
    • Lo pseudotensore energia-impulso in teorie estese della gravitazione 

      Capriolo, Maurizio (Universita degli studi di Salerno, 2018-07-12)
      The gravitational field’s energy and momentum definitions are treated in extensive gravitation theories, through the generalization of the energymomentum pseudotensor, defined by Einstein in general relativity. This ...