Stability and Complexity of Minimising Probabilistic Automata

We consider the state-minimisation problem for weighted and probabilistic automata. We provide a numerically stable polynomial-time minimisation algorithm for weighted automata, with guaranteed bounds on the numerical error when run with floating-point arithmetic. Our algorithm can also be used for "lossy" minimisation with bounded error. We show an application in image compression. In the second part of the paper we study the complexity of the minimisation problem for probabilistic automata. We prove that the problem is NP-hard and in PSPACE, improving a recent EXPTIME-result.Comment: This is the full version of an ICALP'14 pape

Biomimetic magnetic sensor for electrochemical determination of scombrotoxin in fish

This work addresses a novel, rapid and cost-effective approach for the electrochemical sensing of scombrotoxin (histamine) in fish based on magnetic molecularly imprinted polymer (magnetic-MIP). The histamine magnetic-MIP was synthesized by the core-shell method using histamine as a template, and 2-vinyl pyridine as functional monomer. The magnetic-MIP was characterized by TEM, SEM, and confocal microscopy. Additionally, the binding capacity of magnetic-MIP towards histamine was investigated and compared with magnetic non-molecularly imprinted polymer (magnetic-NIP). This biomimetic material merged the advantages of MIPs and magnetic particles (MPs), including low cost of production, stability, high binding capacity and can be easily separated by the aid of a permanent magnet. The magnetic-MIP was integrated into magneto-actuated electrodes for the direct electrochemical detection of histamine preconcentrated from fish samples. The results revealed that this approach succeeded in the preconcentration and determination of histamine with a LOD as low as 1.6 × 10−6 mg L−1, much lower than the index for fish spoilage (50 mg kg−1) accordingly to the legislation. Furthermore, the analytical performance was validated for the determination of histamine in scombroid fish samples with recovery values ranging from 96.8 to 102.0 %, confirm so it can be applied easily for routine food examination.Fil: Hassan, Amal H. A.. Universitat Autònoma de Barcelona; España. Beni suef University; EgiptoFil: Sappia, Luciano David. Universitat Autònoma de Barcelona; España. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto de Investigaciones Fisicoquímicas Teóricas y Aplicadas. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Instituto de Investigaciones Fisicoquímicas Teóricas y Aplicadas; ArgentinaFil: Moura, Silio Lima. Universitat Autònoma de Barcelona; EspañaFil: Ali, Fatma H. M.. Beni Suef University; EgiptoFil: Moselhy, Walaa A.. Beni Suef University; EgiptoFil: Sotomayor, María del Pilar Taboada. Universidade Estadual Paulista Julio de Mesquita Filho. Faculdade de Engenharia.; BrasilFil: Pividori, María Isabel. Universitat Autònoma de Barcelona; Españ

CoastColour Round Robin datasets: A data base to evaluate the performance of algorithms for the retrieval of water quality parameters in coastal waters

The use of in situ measurements is essential in the validation and evaluation of the algorithms that provide coastal water quality data products from ocean colour satellite remote sensing. Over the past decade, various types of ocean colour algorithms have been developed to deal with the optical complexity of coastal waters. Yet there is a lack of a comprehensive intercomparison due to the availability of quality checked in situ databases. The CoastColour Round Robin (CCRR) project, funded by the European Space Agency (ESA), was designed to bring together three reference data sets using these to test algorithms and to assess their accuracy for retrieving water quality parameters. This paper provides a detailed description of these reference data sets, which include the Medium Resolution Imaging Spectrometer (MERIS) level 2 match-ups, in situ reflectance measurements, and synthetic data generated by a radiative transfer model (HydroLight). These data sets, representing mainly coastal waters, are available from doi:10.1594/PANGAEA.841950. The data sets mainly consist of 6484 marine reflectance (either multispectral or hyperspectral) associated with various geometrical (sensor viewing and solar angles) and sky conditions and water constituents: total suspended matter (TSM) and chlorophyll a (CHL) concentrations, and the absorption of coloured dissolved organic matter (CDOM). Inherent optical properties are also provided in the simulated data sets (5000 simulations) and from 3054 match-up locations. The distributions of reflectance at selected MERIS bands and band ratios, CHL and TSM as a function of reflectance, from the three data sets are compared. Match-up and in situ sites where deviations occur are identified. The distributions of the three reflectance data sets are also compared to the simulated and in situ reflectances used previously by the International Ocean Colour Coordinating Group (IOCCG, 2006) for algorithm testing, showing a clear extension of the CCRR data which covers more turbid waters.JRC.H.1-Water Resource

Validation of the Spanish Version of the ICECAP-O for Nursing Home Residents with Dementia

Background Measurement of health-related quality of life (HRQoL) is important for a chronic disease, such as dementia, which impairs the quality of life of affected patients in addition to their length of life. This is important in the context of economic evaluations when interventions do not (only) affect HRQoL and these other factors also affect overall quality of life. Objective To validate the Spanish translation of the ICECAP-O's capability to measure Health-related quality of life in elderly with dementia who live in nursing homes. Method Cross-sectional study. For 217 residents living in 8 Spanish nursing homes, questionnaires were completed by nursing professionals serving as proxy respondents. We analyzed the internal consistency and other psychometric properties. We investigated the convergent validity of the ICECAP-O with other HRQoL instruments, the EQ-5D extended with a cognitive dimension (EQ-5D+C), the Alzheimer's Disease Related Quality of Life (ADRQL) measures, and the Barthel Index measure of activities of daily living (ADL). Results The ICECAP-O presents satisfactory internal consistency (alpha 0.820). The factorial analysis indicated a structure of five principal dimensions that explain 66.57% of the total variance. Convergent validity between the ICECAP-O, EQ-5D+C, ADRQL, and Barthel Index scores was moderate to good (with correlations of 0.62, 0.61, and 0.68, respectively), but differed between dimensions of the instruments. Discriminant validity was confirmed by finding differences in ICECAP-O scores between subgroups based on ADL scores (0.70 low, 0.59 medium, and 0.39 high level care), dementia severity (0.72 mild, 0.63 medium, and 0.50 severe), and ages (0.59 below 75 years and 0.84 above 75 years). Conclusions This study presented the first use of a Spanish version of the ICECAP-O. The results indicate that the ICECAP-O appears to be a reliable Health-related quality of life measurement instrument showing good convergent and discriminant validity for people with dementia

Genotype by environment interaction for carcass traits and intramuscular fat content in heavy Iberian pigs fattened in two different free-range systems

Genotype by environment interaction (G×E) is a potential source of reduced efficiency in genetic improvement programs in livestock. The objective of the current work consisted of checking the existence of G×E interaction in carcass traits and in intramuscular fat content (IMF) in Iberian pigs fattened in two free-range systems. Genetic component and estimated breeding values (EBV) of the percentage of hams, shoulders and loins and IMF in loin were obtained from records of 4,348 and 1,818 pigs fattened in campo (C) and montanera (M) systems, respectively. A multitrait model where the performances of each system are considered as different traits was implemented. Three selection indexes were built with different treatments about the quality trait, two of them based in the optimal trait theory. The Pearson correlation between EBV and indexes and the Spearman correlation between the rankings of progenies of 21 boars fattened in both systems were calculated. Heritability results were different in both systems (h2 range from 0.43 to 0.66 and from 0.24 to 0.33 in C and M system, respectively) and genetic correlation of same traits expressed in the two systems also pointed out to a weak G×E interaction (0.64, 0.67 and 0.66 in hams, shoulders and IMF, respectively). Pearson and Spearman correlations were always significantly different to 1. The obtained results advised to consider this G×E interaction in the analysis model of a breeding program focused on free range production system and to include IMF in the index selection assuming an optimum range for this quality trait, in order to avoid negative effects of selection for carcass performances