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 è ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 to ...

Macrolactones are a large and structurally diverse class of compounds. Natural products having a macrolactone structure have been isolated from many natural sources such as plants, insects, marine organism and bacteria. ...

The search for similarities in large data sets has a relevant role in many scientific fields. It permits to classify several types of data without an explicit information about them. Unfortunately, the experimental ...

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 ...