4,269 research outputs found
Preliminary study of the 19F(7Li,7Be)19O reaction at 52 MeV with MAGNEX
The 19F(7Li, 7Be)19O charge-exchange reaction at 52.2MeV incident energy has been studied at the INFN-LNS laboratory in Catania (Italy) using the MAGNEX spectrometer. Thanks to an algebraic ray-reconstruction technique and to a high-performing focal plane detector, high-resolution 19O energy spectra and angular distributions have been extracted. A theoretical analysis of the reaction in the framework of the Charge-Exchange Quasiparticle Random Phase Approximation
(CEX-QRPA) has been done. The results of Distorted-Wave Born Approximation (DWBA) calculations in a double folding scheme have been compared to the experimental angular distribution of the transition to the 19O state at 1.47MeV state and show a remarkable agreement both in magnitude and shape
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
An important problem that arises during the execution of service-based
applications concerns the ability to determine whether a running service can be
substituted with one with a different interface, for example if the former is
no longer available. Standard Bounded Model Checking techniques can be used to
perform this check, but they must be able to provide answers very quickly, lest
the check hampers the operativeness of the application, instead of aiding it.
The problem becomes even more complex when conversational services are
considered, i.e., services that expose operations that have Input/Output data
dependencies among them. In this paper we introduce a formal verification
technique for an extension of Linear Temporal Logic that allows users to
include in formulae constraints on integer variables. This technique applied to
the substitutability problem for conversational services is shown to be
considerably faster and with smaller memory footprint than existing ones
Neutron decay of C 15 resonances by measurements of neutron time-of-flight
The neutron decay of the resonant states of light neutron-rich nuclei is an important and poorly explored property, useful to extract valuable nuclear structure information. In the present paper the neutron decay of the C15 resonances populated via the two-neutron transfer reaction C13(O18,O16n) at 84-MeV incident energy is reported for the first time using an innovative technique which couples the MAGNEX magnetic spectrometer and the EDEN neutron detector array. Experimental data show that the resonances below the one-neutron emission threshold decay to the C14 ground state via one-neutron emission with an almost 100% total branching ratio, whereas the recently observed C15 giant pairing vibration at 13.7 MeV mainly decays via two-neutron emission
Investigation of the Li 10 shell inversion by neutron continuum transfer reaction
This Letter reports a study of the highly debated Li10 structure through the d(Li9,p)Li10 one-neutron transfer reaction at 100 MeV. The Li10 energy spectrum is measured up to 4.6 MeV and angular distributions corresponding to different excitation energy regions are reported for the first time. The comparison between data and theoretical predictions, including pairing correlation effects, shows the existence of a p1/2 resonance at 0.45±0.03 MeV excitation energy, while no evidence for a significant s-wave contribution close to the threshold energy is observed. Moreover, two high-lying structures are populated at 1.5 and 2.9 MeV. The corresponding angular distributions suggest a significant s1/2 partial-wave contribution for the 1.5 MeV structure and a mixing of configurations at higher energy, with the d5/2 partial-wave contributing the most to the cross section
Safely dissolvable and healable active packaging films based on alginate and pectin
Extensive usage of long-lasting petroleum based plastics for short-lived application such as packaging has raised concerns regarding their role in environmental pollution. In this research, we have developed active, healable, and safely dissolvable alginate-pectin based biocomposites that have potential applications in food packaging. The morphological study revealed the rough surface of these biocomposite films. Tensile properties indicated that the fabricated samples have mechanical properties in the range of commercially available packaging films while possessing excellent healing effciency. Biocomposite films exhibited higher hydrophobicity properties compared to neat alginate films. Thermal analysis indicated that crosslinked biocomposite samples possess higher thermal stability in temperatures below 120 °C, while antibacterial analysis against E. coli and S. aureus revealed the antibacterial properties of the prepared samples against different bacteria. The fabricated biodegradable multi-functional biocomposite films possess various imperative properties, making them ideal for utilization as packaging material
Open borders, closed minds: the discursive construction of national identity in North Cyprus
The article investigates the discursive construction of a Turkish Cypriot national
identity by the newspapers in North Cyprus. It questions the representation and
reconstruction processes of national identity within the press and examines the
various practices employed to mobilize readers around certain national imaginings.
Using Critical Discourse Analysis, the article analyses news reports of the opening of
border crossings in Cyprus in 2003, based on their content, the strategies used in the
production of national identity and the linguistic means employed in the process. In this
way, the nationalist tendencies embedded in news discourses, as well as discriminatory
and exclusive practices, are sought out
Evaluation of on-line quality estimators for object tracking
Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. J. C. SanMiguel, A. Cavallaro, and J. M. Martínez, "Evaluation of on-line quality estimators for object tracking", in 17th IEEE International Conference on Image Processing, ICIP 2010, p. 825-828Failure of tracking algorithms is inevitable in real and on-line tracking systems. The online estimation of the track quality is therefore desirable for detecting tracking failures while the algorithm is operating. In this paper, we propose a taxonomy and present a comparative evaluation of online quality estimators for video object tracking. The measures are compared over a heterogeneous video dataset with standard sequences. Among other results, the experiments show, that the Observation Likelihood (OL) measure is an appropriate quality measure for overall tracking performance evaluation, while the Template Inverse Matching (TIM) measure is appropriate to detect the start and the end instants of tracking failures.Work partially supported by the Spanish Government (TEC2007- 65400 SemanticVideo), Cátedra Infoglobal-UAM for “Nuevas
Tecnologías de video aplicadas a la seguridad”, Consejería de Educación of the Comunidad de Madrid and European Social Fund. Part of
the work reported in this paper was done during a research stay of the first author under a research grant (funded by UAM) at Queen Mary
University of London (UK)
- …