Immissioni Recenti

  • Synthesis of recursive state machines from libraries of game modules 

    De Crescenzo, Ilaria (Universita degli studi di Salerno, 2016-05-18)
    This thesis is focused on synthesis. In formal veri cation synthesis can be referred to the controller synthesis and the system synthesis. This work combines both this area of research. First we focus on synthesizing ...
  • The Role of Distributed Computing in Big Data Science: Case Studies in Forensics and Bioinformatics 

    Roscigno, Gianluca (Universita degli studi di Salerno, 2016-05-24)
    The era of Big Data is leading the generation of large amounts of data, which require storage and analysis capabilities that can be only ad- dressed by distributed computing systems. To facilitate large-scale distributed ...
  • MV-algebras, Grothendieck toposes and applications 

    Russo, Anna Carla (Universita degli studi di Salerno, 2016-05-31)
    This thesis is a contribution to the research program ‘toposes as bridges’ introduced in [12], which aims at developing the unifying potential of the notion of Grothendieck topos as a means for relating different ...
  • Models and Algorithms for Some Covering Problems on Graphs 

    Silvestri, Selene (Universita degli studi di Salerno, 2016-05-12)
    Several real-life problems as well as problems of theoretical importance within the field of Operations Research are combinatorial in nature. Combinatorial Optimization deals with decision-making problems defined on a ...
  • Environmental and catalytic applications of alkaline oxides 

    Cucciniello, Raffaele (Universita degli studi di Salerno, 2015-04-20)
    Alkaline oxides are widely used in industrial processes involving removal of gaseous compounds as unwanted by-products such as CO2, hydrogen sulphide and nitric oxides. Traditional processes generally involve Ca-based ...
  • Superconductivity in S/F hybrids: a Scanning Probe Microscopy study of orbital interaction 

    Di Giorgio, Cinzia (Universita degli studi di Salerno, 2016-04-14)
    In the framework of the Ginzburg-Landau (G-L) theory [1], conventional superconductors are classified in type I and type II, based on the value the G-L parameter... [edited by author]
  • Cardiovascular System: Modelling and Optimization 

    D'Arienzo, Maria Pia (Universita degli studi di Salerno, 2016-02-24)
    A conservation law is a partial di_erential equation, in which the variable is a quantity which remains constant in time, that is it cannot be created and destroyed. Thanks to the conservation laws it is possible to de_ne ...
  • Cavity Filling and Chirality Effects in Calixarene Threading 

    Concilio, Gerardo (Universita degli studi di Salerno, 2016-03-16)
    In 2010, the Prof. Neri’s group showed that the calix[6]arene hosts were able to recognize dialkylammonium axles when they were coupled with the weakly coordinating Tetrakis[3,5 bis(triFluoromethyl)Phenyl]Borate (TFPB−) ...
  • New insights into peptoids' chemistry: synthesis, characterization and properties 

    Meli, Alessandra (Universita degli studi di Salerno, 2016-05-11)
    My PhD research activity aimed to enrich the realm of peptoids1 with novel compounds and new insights into their behavior and properties, investigating their potential applications. A new class of cyclic “arylopeptoids” ...
  • Influence of grains on the electromagnetic ac response of superconducting materials 

    Mancusi, Davide (Universita degli studi di Salerno, 2016-04-20)
    Type II superconducting materials are technologically interesting since they are characterized by the existence of a superconducting phase even after the penetration of the magnetic field inside them. In fact, while type ...
  • Small organic molecules for next generation electronics 

    Velardo, Amalia (Universita degli studi di Salerno, 2016-03-16)
    In this PhD thesis attention has been focused on the theoretical design of organic small molecules for next generation electronics. The task of this thesis has concerned with the theoretical analysis of the operational ...
  • 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 ...
  • Josephson junctions, quantum interference devices and applications in the field of dark matter search 

    Giordano, Alessandro (Universita degli studi di Salerno, 2016-04-13)
    In questa Tesi di Dottorato, io e il mio supervisor, il Prof. Roberto De Luca, abbiamo analizzato alcuni particolari dispositivi superconduttori, le giunzioni Josephson e gli SQUIDs (Superconducting Quantum Interference ...
  • Non-markovian quantum dynamics 

    Torre, Gianpaolo (Universita degli studi di Salerno, 2016-04-28)
    Quantum systems can necessarily be viewed as open systems. As in classical physics, any realistic description of a system must take into account the cou- pling to an environment that strongly in uences the system itself. ...
  • Synthesis of calixarene derivatives active towards proteic targets involved in tumor pathologies 

    Tommasone, Stefano (Universita degli studi di Salerno, 2016-03-15)
    Over the last 30 years a growing interest has been direct toward the biomolecular recognition of calixarene derivatives and more in particular to the interaction with druggable target(s).1,2 The aim of this PhD thesis was ...
  • Sustainable catalysis by polymer supported gold nanoparticles 

    Noschese, Annarita (Universita degli studi di Salerno, 2016-03-16)
    Gold Nanoparticles are nanomaterials whose properties are completely different from the ones of the bulk material. Nowadays many chemists have been using them as catalysts which work under mild conditions and respect the ...
  • Fluorescence-based sensors for the detection of biologically and environmentally relevant molecules 

    Mirra, Silvia (Universita degli studi di Salerno, 2016-03-15)
    Hydrogen sulfide (H2S) has been known for long time as a toxic molecule in biological systems. More recent studies have shown that mammals can produce H2S in a controlled fashion, suggesting that it’s important in maintaining ...
  • Signatures of quantumness: identification, quantification and dynamical preservation 

    Cianciaruso, Marco (Universita degli studi di Salerno, 2016-04-14)
    The quanti cation of quantumness is necessary to assess how much a physical system departs from a classical behaviour and thus gauge the quantum enhancement in opera- tional tasks such as information processing and ...
  • 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, ...
  • Interface effects in superconducting heterostructures 

    Catapano, Marilena (Universita degli studi di Salerno, 2016-04-14)
    This work debates a theoretical investigation of the interfacial effects about heterostructures with normal metals and superconductors. At the beginning we will introduce the basic physical phenomena our calculations deal ...

Visualizza piu' informazioni