Lipid-Based Nanosystems for the Topical Application of Ferulic Acid: A Comparative Study

In this study, we examined and compared two different lipid-based nanosystems (LBNs), namely Transferosomes (TFs) and Monoolein Aqueous Dispersions (MADs), as delivery systems for the topical application of Ferulic Acid (FA), an antioxidant molecule derived from natural sources. Our results, as demonstrated through Franz-cell experiments, indicate that the LBNs produced with poloxamer 188 in their composition create a multilamellar system. This system effectively controls the release of the drug. Nonetheless, we found that the type of non-ionic surfactant can impact the drug release rate. Regarding FA diffusion from the MAD, this showed a lower diffusion rate compared with the TF. In terms of an in vivo application, patch tests revealed that all LBN formulations tested were safe when applied under occlusive conditions for 48 h. Ad-ditionally, human skin biopsies were used to determine whether FA-containing formulations could influence skin tissue morphology or provide protection against O3 exposure. Analyses sug-gest that treatment with TFs composed of poloxamer 188 and MAD formulations might protect against structural skin damage (as observed in hematoxylin/eosin staining) and the development of an oxidative environment (as indicated by 4-hyroxinonenal (4HNE) expression levels) induced by O3 exposure. In contrast, formulations without the active ingredient did not offer protection against the detrimental effects of O3 exposur

Behavioral types in programming languages

A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to de- sign and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types

Microservice Transition and its Granularity Problem: A Systematic Mapping Study

Microservices have gained wide recognition and acceptance in software industries as an emerging architectural style for autonomic, scalable, and more reliable computing. The transition to microservices has been highly motivated by the need for better alignment of technical design decisions with improving value potentials of architectures. Despite microservices' popularity, research still lacks disciplined understanding of transition and consensus on the principles and activities underlying "micro-ing" architectures. In this paper, we report on a systematic mapping study that consolidates various views, approaches and activities that commonly assist in the transition to microservices. The study aims to provide a better understanding of the transition; it also contributes a working definition of the transition and technical activities underlying it. We term the transition and technical activities leading to microservice architectures as microservitization. We then shed light on a fundamental problem of microservitization: microservice granularity and reasoning about its adaptation as first-class entities. This study reviews state-of-the-art and -practice related to reasoning about microservice granularity; it reviews modelling approaches, aspects considered, guidelines and processes used to reason about microservice granularity. This study identifies opportunities for future research and development related to reasoning about microservice granularity.Comment: 36 pages including references, 6 figures, and 3 table

Intrinsic neutron background of nuclear emulsions for directional Dark Matter searches

Recent developments of the nuclear emulsion technology led to the production of films with nanometric silver halide grains suitable to track low energy nuclear recoils with submicrometric length. This improvement opens the way to a directional Dark Matter detection, thus providing an innovative and complementary approach to the on-going WIMP searches. An important background source for these searches is represented by neutron-induced nuclear recoils that can mimic the WIMP signal. In this paper we provide an estimation of the contribution to this background from the intrinsic radioactive contamination of nuclear emulsions. We also report the neutron-induced background as a function of the read-out threshold, by using a GEANT4 simulation of the nuclear emulsion, showing that it amounts to about 0.06 per year per kilogram, fully compatible with the design of a 10 kg × year exposure

Evidence for νμ→ντ\nu_\mu \to \nu_\tau appearance in the CNGS neutrino beam with the OPERA experiment

The OPERA experiment is designed to search for $\nu_{\mu} \rightarrow \nu_{\tau}$ oscillations in appearance mode i.e. through the direct observation of the $\tau$ lepton in $\nu_{\tau}$ charged current interactions. The experiment has taken data for five years, since 2008, with the CERN Neutrino to Gran Sasso beam. Previously, two $\nu_{\tau}$ candidates with a $\tau$ decaying into hadrons were observed in a sub-sample of data of the 2008-2011 runs. Here we report the observation of a third $\nu_\tau$ candidate in the $\tau^-\to\mu^-$ decay channel coming from the analysis of a sub-sample of the 2012 run. Taking into account the estimated background, the absence of $\nu_{\mu} \rightarrow \nu_{\tau}$ oscillations is excluded at the 3.4 $\sigma$ level.Comment: 9 pages, 5 figures, 1 table

Procedure for short-lived particle detection in the OPERA experiment and its application to charm decays

The OPERA experiment, designed to perform the first observation of $\nu_\mu \rightarrow \nu_\tau$ oscillations in appearance mode through the detection of the $\tau$ leptons produced in $\nu_\tau$ charged current interactions, has collected data from 2008 to 2012. In the present paper, the procedure developed to detect $\tau$ particle decays, occurring over distances of the order of 1 mm from the neutrino interaction point, is described in detail. The results of its application to the search for charmed hadrons are then presented as a validation of the methods for $\nu_\tau$ appearance detection

Determination of the muon charge sign with the dipolar spectrometers of the OPERA experiment

The OPERA long-baseline neutrino-oscillation experiment has observed the direct appearance of $\nu_\tau$ in the CNGS $\nu_\mu$ beam. Two large muon magnetic spectrometers are used to identify muons produced in the $\tau$ leptonic decay and in $\nu_\mu^{CC}$ interactions by measuring their charge and momentum. Besides the kinematic analysis of the $\tau$ decays, background resulting from the decay of charmed particles produced in $\nu_\mu^{CC}$ interactions is reduced by efficiently identifying the muon track. A new method for the charge sign determination has been applied, via a weighted angular matching of the straight track-segments reconstructed in the different parts of the dipole magnets. Results obtained for Monte Carlo and real data are presented. Comparison with a method where no matching is used shows a significant reduction of up to 40\% of the fraction of wrongly determined charges.Comment: 10 pages. Improvements in the tex