Timed Automata Semantics for Visual e-Contracts

C-O Diagrams have been introduced as a means to have a more visual representation of electronic contracts, where it is possible to represent the obligations, permissions and prohibitions of the different signatories, as well as what are the penalties in case of not fulfillment of their obligations and prohibitions. In such diagrams we are also able to represent absolute and relative timing constraints. In this paper we present a formal semantics for C-O Diagrams based on timed automata extended with an ordering of states and edges in order to represent different deontic modalities.Comment: In Proceedings FLACOS 2011, arXiv:1109.239

Stellar populations of galaxies in the ALHAMBRA survey up to z∼1z \sim 1. I. MUFFIT: A Multi-Filter Fitting code for stellar population diagnostics

We present MUFFIT, a new generic code optimized to retrieve the main stellar population parameters of galaxies in photometric multi-filter surveys, and we check its reliability and feasibility with real galaxy data from the ALHAMBRA survey. Making use of an error-weighted $\chi^2$-test, we compare the multi-filter fluxes of galaxies with the synthetic photometry of mixtures of two single stellar populations at different redshifts and extinctions, to provide through a Monte Carlo method the most likely range of stellar population parameters (mainly ages and metallicities), extinctions, redshifts, and stellar masses. To improve the diagnostic reliability, MUFFIT identifies and removes from the analysis those bands that are significantly affected by emission lines. We highlight that the retrieved age-metallicity locus for a sample of $z \le 0.22$ early-type galaxies in ALHAMBRA at different stellar mass bins are in very good agreement with the ones from SDSS spectroscopic diagnostics. Moreover, a one-to-one comparison between the redshifts, ages, metallicities, and stellar masses derived spectroscopically for SDSS and by MUFFIT for ALHAMBRA reveals good qualitative agreements in all the parameters. In addition, and using as input the results from photometric-redshift codes, MUFFIT improves the photometric-redshift accuracy by $\sim 10$-$20\%$, and it also detects nebular emissions in galaxies, providing physical information about their strengths. Our results show the potential of multi-filter galaxy data to conduct reliable stellar population studies with the appropiate analysis techniques, as MUFFIT.Comment: 31 pages, 18 figures, accepted for publication in A&

Expression of a barley cystatin gene in maize enhances resistance against phytophagous mites by altering their cysteine-proteases

Phytocystatins are inhibitors of cysteine-proteases from plants putatively involved in plant defence based on their capability of inhibit heterologous enzymes. We have previously characterised the whole cystatin gene family members from barley (HvCPI-1 to HvCPI-13). The aim of this study was to assess the effects of barley cystatins on two phytophagous spider mites, Tetranychus urticae and Brevipalpus chilensis. The determination of proteolytic activity profile in both mite species showed the presence of the cysteine-proteases, putative targets of cystatins, among other enzymatic activities. All barley cystatins, except HvCPI-1 and HvCPI-7, inhibited in vitro mite cathepsin L- and/or cathepsin B-like activities, HvCPI-6 being the strongest inhibitor for both mite species. Transgenic maize plants expressing HvCPI-6 protein were generated and the functional integrity of the cystatin transgene was confirmed by in vitro inhibitory effect observed against T. urticae and B. chilensis protein extracts. Feeding experiments impaired on transgenic lines performed with T. urticae impaired mite development and reproductive performance. Besides, a significant reduction of cathepsin L-like and/or cathepsin B-like activities was observed when the spider mite fed on maize plants expressing HvCPI-6 cystatin. These findings reveal the potential of barley cystatins as acaricide proteins to protect plants against two important mite pests

SOPHIE velocimetry of Kepler transit candidates XII. KOI-1257 b: a highly eccentric three-month period transiting exoplanet

In this paper we report a new transiting warm giant planet: KOI-1257 b. It was first detected in photometry as a planet-candidate by the ${\it Kepler}$ space telescope and then validated thanks to a radial velocity follow-up with the SOPHIE spectrograph. It orbits its host star with a period of 86.647661 d $\pm$ 3 s and a high eccentricity of 0.772 $\pm$ 0.045. The planet transits the main star of a metal-rich, relatively old binary system with stars of mass of 0.99 $\pm$ 0.05 Msun and 0.70 $\pm$ 0.07 Msun for the primary and secondary, respectively. This binary system is constrained thanks to a self-consistent modelling of the ${\it Kepler}$ transit light curve, the SOPHIE radial velocities, line bisector and full-width half maximum (FWHM) variations, and the spectral energy distribution. However, future observations are needed to confirm it. The PASTIS fully-Bayesian software was used to validate the nature of the planet and to determine which star of the binary system is the transit host. By accounting for the dilution from the binary both in photometry and in radial velocity, we find that the planet has a mass of 1.45 $\pm$ 0.35 Mjup, and a radius of 0.94 $\pm$ 0.12 Rjup, and thus a bulk density of 2.1 $\pm$ 1.2 g.cm$^{-3}$. The planet has an equilibrium temperature of 511 $\pm$ 50 K, making it one of the few known members of the warm-jupiter population. The HARPS-N spectrograph was also used to observe a transit of KOI-1257 b, simultaneously with a joint amateur and professional photometric follow-up, with the aim of constraining the orbital obliquity of the planet. However, the Rossiter-McLaughlin effect was not clearly detected, resulting in poor constraints on the orbital obliquity of the planet.Comment: 39 pages, 17 figures, accepted for publication in Astronomy & Astrophysic

The ALHAMBRA Survey: Bayesian Photometric Redshifts with 23 bands for 3 squared degrees

The ALHAMBRA (Advance Large Homogeneous Area Medium Band Redshift Astronomical) survey has observed 8 different regions of the sky, including sections of the COSMOS, DEEP2, ELAIS, GOODS-N, SDSS and Groth fields using a new photometric system with 20 contiguous ~ $300\AA$ filters covering the optical range, combining them with deep $JHKs$ imaging. The observations, carried out with the Calar Alto 3.5m telescope using the wide field (0.25 sq. deg FOV) optical camera LAICA and the NIR instrument Omega-2000, correspond to ~700hrs on-target science images. The photometric system was designed to maximize the effective depth of the survey in terms of accurate spectral-type and photo-zs estimation along with the capability of identification of relatively faint emission lines. Here we present multicolor photometry and photo-zs for ~438k galaxies, detected in synthetic F814W images, complete down to I~24.5 AB, taking into account realistic noise estimates, and correcting by PSF and aperture effects with the ColorPro software. The photometric ZP have been calibrated using stellar transformation equations and refined internally, using a new technique based on the highly robust photometric redshifts measured for emission line galaxies. We calculate photometric redshifts with the BPZ2 code, which includes new empirically calibrated templates and priors. Our photo-zs have a precision of $dz/(1+z_s)=1$ for I<22.5 and 1.4% for 22.5<I<24.5. Precisions of less than 0.5% are reached for the brighter spectroscopic sample, showing the potential of medium-band photometric surveys. The global $P(z)$ shows a mean redshift =0.56 for I=0.86 for I<24.5 AB. The data presented here covers an effective area of 2.79 sq. deg, split into 14 strips of 58.5'x15.5' and represents ~32 hrs of on-target.Comment: The catalog data and a full resolution version of this paper is available at https://cloud.iaa.csic.es/alhambra

Single neutral pion production by charged-current νˉμ\bar{\nu}_\mu interactions on hydrocarbon at ⟨Eν⟩=\langle E_\nu \rangle = 3.6 GeV

Single neutral pion production via muon antineutrino charged-current interactions in plastic scintillator (CH) is studied using the \minerva detector exposed to the NuMI low-energy, wideband antineutrino beam at Fermilab. Measurement of this process constrains models of neutral pion production in nuclei, which is important because the neutral-current analog is a background for $\bar{\nu}_e$ appearance oscillation experiments. The differential cross sections for $\pi^0$ momentum and production angle, for events with a single observed $\pi^0$ and no charged pions, are presented and compared to model predictions. These results comprise the first measurement of the $\pi^0$ kinematics for this process.Comment: 6 pages, 5 figures, submitted to Physics Letters

Observation of the Crab Nebula with the HAWC Gamma-Ray Observatory

The Crab Nebula is the brightest TeV gamma-ray source in the sky and has been used for the past 25 years as a reference source in TeV astronomy, for calibration and verification of new TeV instruments. The High Altitude Water Cherenkov Observatory (HAWC), completed in early 2015, has been used to observe the Crab Nebula at high significance across nearly the full spectrum of energies to which HAWC is sensitive. HAWC is unique for its wide field-of-view, nearly 2 sr at any instant, and its high-energy reach, up to 100 TeV. HAWC's sensitivity improves with the gamma-ray energy. Above $\sim$1 TeV the sensitivity is driven by the best background rejection and angular resolution ever achieved for a wide-field ground array. We present a time-integrated analysis of the Crab using 507 live days of HAWC data from 2014 November to 2016 June. The spectrum of the Crab is fit to a function of the form $\phi(E) = \phi_0 (E/E_{0})^{-\alpha -\beta\cdot{\rm{ln}}(E/E_{0})}$. The data is well-fit with values of $\alpha=2.63\pm0.03$, $\beta=0.15\pm0.03$, and log$_{10}(\phi_0~{\rm{cm}^2}~{\rm{s}}~{\rm{TeV}})=-12.60\pm0.02$ when $E_{0}$ is fixed at 7 TeV and the fit applies between 1 and 37 TeV. Study of the systematic errors in this HAWC measurement is discussed and estimated to be $\pm$50\% in the photon flux between 1 and 37 TeV. Confirmation of the Crab flux serves to establish the HAWC instrument's sensitivity for surveys of the sky. The HAWC survey will exceed sensitivity of current-generation observatories and open a new view of 2/3 of the sky above 10 TeV.Comment: Submitted 2017/01/06 to the Astrophysical Journa