961 research outputs found
Probing the Spatial and Spectral Distribution of Galactic Cosmic Rays with High-Energy Gamma-Rays
Gamma-ray astronomy provides a unique tool to study Galactic cosmic rays far from Earth. Cosmic rays in fact, during their propagation, interact with the interstellar medium, producing high-energy gamma rays that can be detected from Earth. These gamma rays carry the information on the origin and the energetics of the parent cosmic rays at the location of interaction. The detection is facilitated in regions with enhanced gas density, like giant molecular clouds, or in regions with enhanced cosmic-ray flux, for example near an accelerator. In this thesis, I studied both scenarios by analyzing the data accumulated by the Fermi Large Area Telescope between a few tens of MeV up to almost 1 TeV. Firstly, the gamma-ray emission arising from giant molecular clouds, distributed all over the Milky Way, has been investigated, obtaining an unprecedented mapping of the cosmic-ray distribution in the Galaxy. Secondly, the emission that originates in the medium surrounding the supernova remnant W44 has been studied, confirming the presence of recently accelerated particles and unveiling evidence for anisotropic escape. Finally, the potential of the current and future gamma-ray instruments in detecting the radiation emitted from the interstellar medium, both in correspondence of clouds and in the vicinity of accelerators, is evaluated and discussed
Checking Interval Properties of Computations
Model checking is a powerful method widely explored in formal verification.
Given a model of a system, e.g., a Kripke structure, and a formula specifying
its expected behaviour, one can verify whether the system meets the behaviour
by checking the formula against the model.
Classically, system behaviour is expressed by a formula of a temporal logic,
such as LTL and the like. These logics are "point-wise" interpreted, as they
describe how the system evolves state-by-state. However, there are relevant
properties, such as those constraining the temporal relations between pairs of
temporally extended events or involving temporal aggregations, which are
inherently "interval-based", and thus asking for an interval temporal logic.
In this paper, we give a formalization of the model checking problem in an
interval logic setting. First, we provide an interpretation of formulas of
Halpern and Shoham's interval temporal logic HS over finite Kripke structures,
which allows one to check interval properties of computations. Then, we prove
that the model checking problem for HS against finite Kripke structures is
decidable by a suitable small model theorem, and we provide a lower bound to
its computational complexity.Comment: In Journal: Acta Informatica, Springer Berlin Heidelber, 201
Recombinant 60-kda Heat Shock Protein From Paracoccidioides Brasiliensis: Is It A Good Antigen For Serological Diagnosis Of Paracoccidioidomycosis?
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Paracoccidioides brasiliensis and P. lutzii are fungi that cause paracoccidioidomycosis (PCM), the most prevalent systemic mycosis in South America. For serological diagnosis, although 43-kDa glycoprotein (gp43) is regarded as highly specific for PCM, the occurrence of false negative reactions in sera from patients infected with P. lutzii suggests that preparation with only one antigen is not recommended. Heat shock proteins are feasible alternatives as a second antigen because they are often highly immunogenic. In this study, we evaluated the usefulness of recombinant 60-kDa heat shock protein from P. brasiliensis (rPbHsp60) for the serological diagnosis of PCM. Using western blotting assay, we observed that 77.3% of the sera from PCM patients were positive to rPbHsp60, with 90.9% positivity to recombinant gp43 (rgp43). More importantly, sera from healthy subjects had 27% positivity to rPbHsp60 and none to rgp43. When rPbHsp60 was used in ELISA, we did not observe significant differences between the reactions with sera from PCM patients and healthy subjects, while the difference was clearly evident when the antigen was rgp43. Furthermore, rPbHsp60 was recognized by sera from patients with histoplasmosis, aspergillosis, sporotrichosis or tuberculosis in an ELISA test. These results show that rPbHsp60 is not a good antigen for PCM diagnosis.504Sao Paulo Research Foundation (FAPESP) [2013/12278-3]FAPESP [2012/07924-0, 2009/03235-3, 2012/08552-0]Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP
A case of post–traumatic cervicogenic headache treated by cervical cord stimulation
The case of a 26–year–old woman suffering from cervical trauma with disc herniation presenting with arm and neck pain is presented. She underwent cervical discectomy with fusion because the pain did not improve with medical therapies; as the neck pain resumed after surgery, a cervical cord neurostimulator was implanted, with improvement for cervicogenic headache. This report underlines the presence of two pathologies and the relationship between C2 and trigeminal pathways
Periodic thermal behavior of walls: an experimental approach
The need for testing methods that could verify the performance of building components is continuously
increasing, as it is mandatory to reduce the overall energy need of the buildings. This work provides a method that
determines the dynamic behavior of walls. The time-shift due to the thermal and physical properties of the component is
measured using infrared thermography. A case study on a typical wall sample is proposed, validating the technique
Chemical Composition and Antioxidant Activity of Essential Oil from the Aerial Parts of Teucrium luteum (Mill.) Degen subsp. flavovirens (Batt.) Greuter & Burdet Growing Wild in Tunisia
Essential oils (EOs), the odorous and volatile products of a plant's secondary metabolism, have wide applications in folk medicine, in food flavoring and preservation, and in fragrance industries. The aim of this study was to analyze the chemical composition of the EO from the aerial parts (including the inflorescences) of wild Teucrium luteum subsp. flavovirens from Tunisia. The EO obtained by the hydrodistillation of air-dried plant material in a Clevenger-type apparatus was analyzed using gas chromatography coupled with mass spectrometry (GC-MS). Fifty-three components representing 83.9% of the total constituents were identified. The EO of T. luteum subsp. flavovirens is characterized by the presence of beta-elemol (7.2%), (+)-alpha-pinene (6%), beta-eudesmol (5.5%), guaiol (4.2%), alpha-bisabolol (4.2%), and beta-caryophyllene (4.1%) as principal chemical components. In vitro (DPPH and beta-carotene bleaching assays), it showed significantly higher radical scavenging and antioxidant properties than the reference compound, BHT. To the best of our knowledge, this is the first report describing the composition and antioxidant properties of the EO from Tunisian T. luteum subsp. flavovirens. Our preliminary data will help to valorize this potentially useful plant species from Tunisia and represent a starting point for further studies on its volatile fraction
Structural and Thermal Behaviour of a Timber-concrete Prefabricated Composite Wall System
Abstract Wood is the oldest building materials and still now it plays an important role in the construction sector. There are many general advantages in using timber for building purposes. First of all, it is an environmentally friendly, easily recyclable material; it has a low weight in relation to strength, which is advantageous for transport, handling and production; moreover wood has aesthetic qualities, which give great possibilities in architectural design. Lastly wooden structures have an excellent performance in case of earthquake if compared to traditional structures. In Europe the development of the timber-concrete composite structures (TCC) began during a shortage of steel for reinforcement in concrete in the beginning of XX century. TCC application was primarily a refurbishment technique for old historical buildings, during the last 50 years interest in TCC systems has increased, resulting in the construction also of new buildings. This paper presents the analysis of the structural and thermal behaviour of an timber-concrete prefabricated composite wall system, the Concrete Glulam Framed Panel (CGFP) which is a panel made of a concrete slab and a structural glulam frame. The research analyses the structural performance with quasi-static in-plane tests, focused on the in-plane strength and stiffness of individual panels, and the thermal behaviour of the system with steady state tests using an hot box apparatus. The results validate the efficacy of proposed system ensuring the resistance and the dissipative structural behaviour through the hierarchy response characterized by the wood frame, the braced reinforced concrete panel of the singular module and by the rocking effects of global system. On the other side hot-box measures demonstrated a high level of thermal resistance of the system reaching U-values around 0,20 W m -2 K -1 . Moreover experimental data permitted to calibrate a FEM model with which will be possible to study and analyse the panels in different conditions and configuration in both mechanical and thermal field
DYNAMICAL SIMULATION OF A VALVETRAIN MECHANISM: AN ENGINEERING EDUCATION APPROACH
The present work aims to present a valvetrain model considering the dynamics functioning aspects of an Otto’s engine. The model will be constructed using Adams/View® software, which is a powerful modeling and simulating environment of dynamic systems. It allows building, simulating, refining and optimizing any mechanical system. In fact, the model will help engineering students to understand how the mechanism works, in terms of displacement, velocity and acceleration of the valve as a function of the time. It is also possible to know the behavior of the force in the spring as a function of the time and, finally, the torque applied in the cam due to a angular velocity input. Relative to spring force, during the Otto engine cycle, the cam lobe must be able to open and close the valve as fast and as smoothly as possible. The force responsible to close the valve is applied by the valve spring, which is also responsible for keeping contact between the cam lobe and the valve. Dynamic forces impose limits on cam and valve lift. Thus, the simulation model allows determining these forces and displacements through the cam rotation. As main objectives the authors wish to make available a model which is capable to show in 3D the animation of a valvetrain mechanism of an Otto engine, obtaining the main curves for analysis and evaluation of this mechanism performance
[sup]1H NMR quantification of spray dried and spray freeze-dried saccharide carriers in dry powder inhaler formulations
Quantitative analysis using proton NMR (1H qNMR) has been employed in various areas such as pharmaceutical analysis (e.g., dissolution study), vaccines, natural products analysis, metabolites, and macrolide antibiotics in agriculture industry. However, it is not routinely used in the quantification of saccharides in dry powder inhaler (DPI) formulations. The aim of this study was to develop a 1H NMR method for the quantification of saccharides employed in DPI formulations. Dry powders as DPI carriers were prepared by spray drying (SD) and spray freeze drying (SFD) using three saccharides: namely D-mannitol, D-sorbitol and D-(+)-sucrose. The calibration curves constructed for all three saccharides demonstrated linearity with R2 value of 1. The 1H qNMR method produced accurate (relative error %: 0.184-3.697) and precise data with high repeatability (RSD %: 0.517-3.126) within the calibration curve concentration range. The 1H qNMR method also demonstrated significant sensitivity with low values of limit of detection (0.058 mM for D-mannitol, 0.045 mM for D-(+)-sucrose, and 0.056 mM for D-sorbitol) and limit of quantitation (0.175 mM for D-mannitol, 0.135 mM for D-(+)-sucrose, and 0.168 mM for D-sorbitol). Pulmonary deposition via impaction experiments of the three saccharides was quantified using the developed method. It was found that SFD D-mannitol (68.99%) and SFD D-(+)-sucrose (66.62%) exhibited better delivered dose (total saccharide deposition in throat and all impactor stages) than SD D-mannitol (49.03%) and SD D-(+)-sucrose (57.70%) (p< 0.05). The developed 1H qNMR methodology can be routinely used as an analytical method to assess pulmonary deposition in impaction experiments of saccharides employed as carriers in DPI formulations
An Integrated NMR, LC-DAD-MS, LC-QTOF Metabolomic Characterization of Sartoria hedysaroides: Correlation of Antioxidant and Enzyme Inhibitory Activity with Chemical Composition by Multivariate Data Analysis
Sartoria hedysaroides Boiss and Heldr. (Fabaceae) is an endemic plant of Turkey that has received little scientific consideration so far. In the present study, the chemical profiles of extracts from the aerial part and roots of S. hedysaroides obtained using solvents with different polarities were analyzed combining integrated NMR, LC-DAD-MSn, and LC-QTOF methods. In vitro antioxidant and enzyme inhibitory activities were evaluated, and the results were combined with chemical data using multivariate approaches. Phenolic acids, flavonoids, ellagitannins, and coumarins were identified and quantified in the extracts of aerial part and roots. Methanolic extract of S. hedysaroides aerial part showed the highest phenolic content and the highest antioxidant activity and cupric ion reducing antioxidant capacity. Dichloromethane extract of S. hedysaroides roots showed the highest inhibition of butyryl cholinesterase, while methanolic extract of S. hedysaroides aerial part was the most active tyrosinase inhibitor. Multivariate data analysis allowed us to observe a good correlation between phenolic compounds, especially caffeoylquinic derivatives and flavonoids and the antioxidant activity of extracts. Acetylcholinesterase inhibition was correlated with the presence of caffeoylquinic acids and coumarins. Overall, the present study appraised the biological potential of understudied S. hedysaroides, and provided a comprehensive approach combining metabolomic characterization of plant material and multivariate data analysis for the correlation of chemical data with results from multi-target biological assays
- …