Comparing Tag Scheme Variations Using an Abstract Machine Generator

In this paper we study, in the context of a WAM-based abstract machine for Prolog, how variations in the encoding of type information in tagged words and in their associated basic operations impact performance and memory usage. We use a high-level language to specify encodings and the associated operations. An automatic generator constructs both the abstract machine using this encoding and the associated Prolog-to-byte code compiler. Annotations in this language make it possible to impose constraints on the final representation of tagged words, such as the effectively addressable space (fixing, for example, the word size of the target processor /architecture), the layout of the tag and value bits inside the tagged word, and how the basic operations are implemented. We evaluate large number of combinations of the different parameters in two scenarios: a) trying to obtain an optimal general-purpose abstract machine and b) automatically generating a specially-tuned abstract machine for a particular program. We conclude that we are able to automatically generate code featuring all the optimizations present in a hand-written, highly-optimized abstract machine and we canal so obtain emulators with larger addressable space and better performance

The Ciao clp(FD) library. A modular CLP extension for Prolog

We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to achieve a highly modular design without compromising performance. We describe the interface, implementation, and design rationale of each modular component. The library meets several design goals: a high level of modularity, allowing the individual components to be replaced by different versions; highefficiency, being competitive with other TT> implementations; a glass-box approach, so the user can specify new constraints at different levels; and a Prolog implementation, in order to ease the integration with Ciao's code analysis components. The core is built upon two small libraries which implement integer ranges and closures. On top of that, a finite domain variable datatype is defined, taking care of constraint reexecution depending on range changes. These three libraries form what we call the TT> kernel of the library. This TT> kernel is used in turn to implement several higher-level finite domain constraints, specified using indexicals. Together with a labeling module this layer forms what we name the TT> solver. A final level integrates the CLP (J7©) paradigm with our TT> solver. This is achieved using attributed variables and a compiler from the CLP (J7©) language to the set of constraints provided by the solver. It should be noted that the user of the library is encouraged to work in any of those levels as seen convenient: from writing a new range module to enriching the set of TT> constraints by writing new indexicals

Neutral current (anti)neutrino scattering: relativistic mean field and superscaling predictions

We evaluate the neutral current quasi-elastic neutrino cross section within two nuclear models: the SuSA model, based on the superscaling behavior of electron scattering data, and the RMF model, based on relativistic mean field theory. We also estimate the ratio $(\nu p \to \nu p)/(\nu N \to \nu N)$ and compare with the MiniBooNE experimental data, performing a fit of the parameters $M_A$ and $g_A^{(s)}$ within the two models. Finally, we present our predictions for antineutrino scattering.Comment: 15 pages, 4 figure

SnS thin films grown by sulfurization of evaporated Sn layers: Effect of sulfurization temperature and pressure

SnS thin films were grown by sulfurization of Sn layers evaporated by electron beam. The effect of sulfurization parameters, such as temperature and pressure, on the properties of tin sulfide layers has been investigated. Ar pressure used during the sulfurization has a strong impact on the development of a proper SnS/Mo back interface. However, the sulfurization temperature is the parameter that regulates the formation of an orthorhombic single phase SnS thin film with the optimum properties to be used as absorber for solar cell devices. Sulfurization temperature of 220 °C for 240 min led to the formation of single phase tin sulfide layers. Direct band gap energy about 1.2 eV has been determinedRC acknowledges financial support from Spanish MINECO within the Ramón y Cajal programme (RYC-2011-08521

Chemical abundances of late-type pre-main sequence stars in the σ\sigma-Orionis cluster

The young $\sigma$-Orionis cluster is an important location for understanding the formation and evolution of stars, brown dwarfs, and planetary-mass objects. Its metallicity, although being a fundamental parameter, has not been well determined yet. We present the first determination of the metallicity of nine young late-type stars in $\sigma$-Orionis. Using the optical and near-infrared broadband photometry available in the literature we derive the effective temperatures for these nine cluster stars, which lie in the interval 4300--6500 K (1--3 \Msuno). These parameters are employed to compute a grid of synthetic spectra based on the code MOOG and Kurucz model atmospheres. We employ a $\chi^2$-minimization procedure to derive the stellar surface gravity and atmospheric abundances of Al, Ca, Si, Fe, Ni and Li, using multi-object optical spectroscopy taken with WYFFOS+AF2 at at the William Herschel Telescope ($\lambda/\delta\lambda\sim7500$). The average metallicity of the $\sigma$-Orionis cluster is [Fe/H] $= -0.02\pm0.09\pm0.13$ (random and systematic errors). The abundances of the other elements, except lithium, seem to be consistent with solar values. Lithium abundances are in agreement with the "cosmic" $^7$Li abundance, except for two stars which show a $\log \epsilon(\mathrm{Li})$ in the range 3.6--3.7 (although almost consistent within the error bars). There are also other two stars with $\log \epsilon(\mathrm{Li})\sim 2.75$. We derived an average radial velocity of the $\sigma$-Orionis cluster of $28\pm4$km/s. The $\sigma$-Orionis metallicity is roughly solar.Comment: Accepted for publication in Astronomy and Astrophysic

Interactions between nutrition and gastrointestinal infections with parasitic nematodes in goats

Parasitic nematodes of the digestive tract remain one of the main constraints to goat production both in temperate and tropical countries. The usual mode of control of these gastrointestinal nematodes (GIN) based on the repeated use of anthelmintics is now strongly questioned because of the increasing development of resistance to these molecules. Among the alternative methods to anthelmintics currently available, the manipulation of host nutrition in order to improve the host resistance and/or resilience to parasitic infections seems to represent one of the most promising options to reduce the dependence on conventional chemotherapy and to favour the sustainable control of gastro intestinal nematode infections. This paper will review the available information on the interactions between nutrition and nematode parasitism in dairy or meat goats both in temperate and tropical conditions. It will refer to quantitative aspects of the diet (influence of the protein and/or energy parts) as well as to qualitative components (effects of plant secondary metabolites on worm biology) and will discuss the specificities of goats in regard of theses interactions