Cerca
Items 81-90 di 243
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 ...
Design e sintesi di analoghi delle azumammidi, potenti inibitori degli enzimi HDACs
(Universita degli studi di Salerno, 2011-03-07)
Le azumammidi sono cinque ciclopeptidi di origine marina, isolate nel 2003 da
Fusetani et al dalla spugna Mycale izuensis e brevettate dalla Yamanouchi Pharmaceutical.
L'interesse destato da questi metaboliti secondari ...
Detailed study of local and regional seismicity recorded by the underground UNDERSEIS array at Gran Sasso (Central Italy)
(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 ...
Le potenzialità dell’e-learning nell’apprendimento della matematica
(Universita degli studi di Salerno, 2011-02-18)
La tesi indaga e discute le potenzialità dell’e-learning nell’apprendimento della matematica. Oggi la tecnologia dell’informazione e della comunicazione non è più strettamente legata a qualche quadro teorico. In passato ...
Some topics in the theory of generalized fc-groups
(Universita degli studi di Salerno, 2011-02-15)
A finiteness condition is a group-theoretical property which is possessed
by all finite groups: thus it is a generalization of finiteness. This embraces an immensely wide collection of properties like, for example, ...
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 ...
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 ...
Highly Stable Multistage Numerical Methods for Functional Equations: Theory and Implementation Issues
(Universita degli studi di Salerno, 2010-08-06)
Functional equations provide the best and most natural way to describe evolution in time and space, also in presence of memory. In fact, the spread of diseases, the growth of biological populations, the brain dynamics, ...