Cerca
Items 31-40 di 137
Lukasiewicz logic: algebras and sheaves
(Universita degli studi di Salerno, 2011-02-21)
Classical logic arose from the need to study forms and laws of the human
reasoning. But soon, it came out the di culties of classical logic to formalize
uncertain events and vague concepts, for which it is not possible ...
Macrobio e la filosofia: i Commentarii in Somnium Scipionis
(Universita degli studi di Salerno, 2011-07-18)
Il Commentario macrobiano si divide in due libri e compie un’accurata esegesi del Somnium Scipionis che si trova nel sesto libro della Repubblica di Cicerone: qui Scipione Emiliano rievoca, in un sogno fatto precedentemente, ...
L'orientamento informativo dei principi IPSAS. Gli heritage assets nell'IPSAS 17
(Universita degli studi di Salerno, 2011-05-17)
L’introduzione dei principi contabili internazionali nei Paesi appartenenti all’Unione Europea ha
prodotto diversi riflessi ed importanti cambiamenti sia nel settore privato sia nel settore pubblico.
La problematica del ...
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 ...
Improvements in the acoustical modelling of traffic noise prediction: theoretical and experimental results
(Universita degli studi di Salerno, 2011-04-21)
Traffic acoustical noise is one of the most important component of the urban environmental pollution in densely populated areas all over the world.
A very recent ACI-Censis study [1] on Italian urban areas shows that car ...
The neutrino interaction analysis chain in OPERA
(Universita degli studi di Salerno, 2011-04-20)
The aim of the OPERA experiment is to provide a “smoking-gun” proof of neutrino oscillations, through the detection of the appearance signal of ντ’s in an initially pure νμ beam. The beam is produced at CERN, 732 Km far ...
Stability of Peak-Current-Controlled fourth order StepUp/Down DC/DC converters
(Universita degli studi di Salerno, 2011-05-09)
The topic of this dissertation is the development of models and design methods for non-isolated Switch-Mode Power Supply (SMPS). Of particular interest are DC/DC converters characterized by step up/down conversion ratio ...
In Patagonia: viaggi, movimenti, scritture. Alcuni percorsi
(Universita degli studi di Salerno, 2011-04-19)
La tesi, scandita in cinque capitoli, dopo un inquadramento teorico della letteratura di viaggio, che configura quest’ultimo come metafora di un percorso di conoscenza, si concentra sulle origini del mito letterario ...
Trapianto d’organi e identità personale. Profili bioetici
(Universita degli studi di Salerno, 2011-03-30)
Era il 1954 quando Joseph Murray eseguì il primo trapianto di rene, da vivente, tra due gemelli, circostanza che evitò il rigetto, con esito positivo.
24 anni dopo, con l'introduzione della Ciclosporina A, la prima molecola ...
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 ...