How hard is a commercial puzzle: the eternity II challenge

Recently, edge matching puzzles, an NP-complete problem, have received, thanks to money-prized contests, considerable attention from wide audiences. We consider these competitions not only a challenge for SAT/CSP solving techniques but also as an opportunity to showcase the advances in the SAT/CSP community to a general audience. This paper studies the NP-complete problem of edge matching puzzles focusing on providing generation models of problem instances of variable hardness and on its resolution through the application of SAT and CSP techniques. From the generation side, we also identify the phase transition phenomena for each model. As solving methods, we employ both; SAT solvers through the translation to a SAT formula, and two ad-hoc CSP solvers we have developed, with different levels of consistency, employing several generic and specialized heuristics. Finally, we conducted an extensive experimental investigation to identify the hardest generation models and the best performing solving techniques.

Edge matching puzzles as hard SAT/CSP benchmarks

Recently, edge matching puzzles, an NP-complete problem, have rececived, thanks to money-prized contests, considerable attention from wide audiences. We consider these competitions not only a challenge for SAT/CSP solving techniques but also as an opportunity to showcase the advances in the SAT/CSP community to a general audience. This paper studies the NP-complete problem of edge matching puzzles focusing on providing generation models of problem instances of variable hardness and on its resolution through the application of SAT and CSP techniques. From the generation side, we also identify the phase transition phenomena for each model. As solving methods, we employ both; SAT solvers through the translation to a SAT formula, and two ad-hoc CSP solvers we have developed, with different levels of consistency, employing several generic and specialized heuristics. Finally, we conducted an extensive experimental investigation to identify the hardest generation models and the best performing solving techniques.

A Spanish version of the athens insomnia scale

Objectives To develop and validate a Spanish version of the Athens Insomnia Scale (AIS). Methods The AIS is designed to assess sleep difficulty and comprises eight items: the first five refer to the sleep disturbance and the last three to the daytime consequences. Either the full eight-item scale (AIS-8) or the brief form (AIS-5) can be administered. The adaptation used a backtranslation design. The validation process was based on a sample of 323 participants (undergraduates, community sample and psychiatric outpatients), which completed the AIS and other questionnaires: anxiety (BAI), depression (BDI) and psychological well-being (GHQ-12) scales. Results The internal consistency coefficients for both versions were above 0.80. The study of dimensionality revealed a single factor with high loadings and a percentage of explained variance above 50% in both versions. Test-retest reliability was above 0.70 (AIS-5) and over 0.80 (AIS-8) at a one-month interval. The correlation between the AIS and the previously mentioned scales was for both the AIS-5 and the AIS-8 above 0.40 and 0.50, respectively.

Psychometric properties and dimensional structure of the Spanish version of the Coping Responses Inventory - Adult Form

One of the goals of psychological assessment focuses on the adaptation of its instruments to different populations. The objective of this study is to establish the psychometric properties and dimensional structure of the Spanish version of the Coping Responses Inventory- Adult Form (CRI-Adult, Moos, 1993). The following criteria were analyzed: a) descriptive statistics; b) internal consistency reliability (Cronbach"s alpha, and intercorrelations between scales); c) test-retest reliability (4-week interval); d) dimensionality of CRI-Adult (exploratory factor analysis); e) construct validity (confirmatory factor analysis); f) convergent criterion validity (correlations between CRI-Adult and Coping Strategies Indicator, CSI, Amirkhan, 1990), and g) predictive criterion validity (correlations between CRI-Adult, and SCL-90-R, Derogatis, 1983). The results, obtained with 800 adults from Barcelona and surrounding area (334 men and 466 women, aged between 18 to 76 years) indicate that the Spanish version of CRIAdult has satisfactory psychometric properties that allow using this test with guarantee.

Market Index Biases and Minimum Risk Indices

Markets, in the real world, are not efficient zero-sum games where hypotheses of the CAPM are fulfilled. Then, it is easy to conclude the market portfolio is not located on Markowitz"s efficient frontier, and passive investments (and indexing) are not optimal but biased. In this paper, we define and analyze biases suffered by passive investors: the sample, construction, efficiency and active biases and tracking error are presented. We propose Minimum Risk Indices (MRI) as an alternative to deal with to market index biases, and to provide investors with portfolios closer to the efficient frontier, that is, more optimal investment possibilities. MRI (using a Parametric Value-at-Risk Minimization approach) are calculated for three stock markets achieving interesting results. Our indices are less risky and more profitable than current Market Indices in the Argentinean and Spanish markets, facing that way the Efficient Market Hypothesis. Two innovations must be outlined: an error dimension has been included in the backtesting and the Sharpe"s Ratio has been used to select the"best" MRI

Psychometric Properties of the Spanish Human System Audit Short-Scale of Transformational Leadership

The aim of this research is to examine the psychometric properties of a Spanish version of the Human System Audit transformational leadership short-scale (HSA-TFL-ES). It is based on the concept of Bass developed in 1985. The HSA-TFL is a part of the wider Human System Audit frame. We analyzed the HSA-TFL-ES in five different samples with a total number of 1,718 workers at five sectors. Exploratory Factor Analysis corroborated a single factor in all samples that accounted for 66% to 73% of variance. The internal consistency in all samples was good (α = .92 - .95). Evidence was found for the convergent validity of the HSA-TFL-ES and the Multifactor Leadership Questionnaire. These results suggested that the HSA-TFL short-scale is a psychometrically sound measure of this construct and can be used for a combined and first overall measurement.

Elaboración de un sistema de categorías para el análisis sociométrico: su aplicación en aulas multiculturales

That contribution shows a categorisation system in order to analyse the psicosocial setup of people inside a group. It implies a kind of information analysis more qualitative and dinamic than the traditional and well known sociometric indexes. The categories present not only the quantity of recieved choices, rejections and perceptions, but the quality of established relations. Studied the intern consistency by different analistds, the elaborated categorical system can by applied to the study of sociometric tests to the primary students in multicultural classroom, in order to study the level and nature of integration among different ethnic minorities. A least, that contribution ofers the outcomes from the analysis of the integration of a simple of 95 students (girls and boys) from several ethnic minorities and describes their limits and conclusions.

The Besançon Galaxy Model renewed. I. Constraints on the Galactic thin disc evolution from Tycho data

Context. The understanding of Galaxy evolution can be facilitated by the use of population synthesis models, which allow to test hypotheses on the star formation history, star evolution, as well as chemical and dynamical evolution of the Galaxy. Aims. The new version of the Besanc¸on Galaxy Model (hereafter BGM) aims to provide a more flexible and powerful tool to investigate the Initial Mass Function (IMF) and Star Formation Rate (SFR) of the Galactic disc. Methods. We present a new strategy for the generation of thin disc stars which assumes the IMF, SFR and evolutionary tracks as free parameters. We have updated most of the ingredients for the star count production and, for the first time, binary stars are generated in a consistent way. We keep in this new scheme the local dynamical self-consistency as in Bienayme et al (1987). We then compare simulations from the new model with Tycho-2 data and the local luminosity function, as a first test to verify and constrain the new ingredients. The effects of changing thirteen different ingredients of the model are systematically studied. Results. For the first time, a full sky comparison is performed between BGM and data. This strategy allows to constrain the IMF slope at high masses which is found to be close to 3.0, excluding a shallower slope such as Salpeter"s one. The SFR is found decreasing whatever IMF is assumed. The model is compatible with a local dark matter density of 0.011 M pc−3 implying that there is no compelling evidence for significant amount of dark matter in the disc. While the model is fitted to Tycho2 data, a magnitude limited sample with V<11, we check that it is still consistent with fainter stars. Conclusions. The new model constitutes a new basis for further comparisons with large scale surveys and is being prepared to become a powerful tool for the analysis of the Gaia mission data.

Microquasar models for 3EG J1828+0142 and 3EG J1735-1500

Microquasars are promising candidates to emit high-energy gamma-rays. Moreover, statistical studies show that variable EGRET sources at low galactic latitudes could be associated with the inner spiral arms. The variable nature and the location in the Galaxy of the high-mass microquasars, concentrated in the galactic plane and within 55 degrees from the galactic center, give to these objects the status of likely counterparts of the variable low-latitude EGRET sources. We consider in this work the two most variable EGRET sources at low-latitudes: 3EG J1828+0142 and 3EG J1735-1500, proposing a microquasar model to explain the EGRET data in consistency with the observations at lower energies (from radio frequencies to soft gamma-rays) within the EGRET error box.

Factors affecting hospital admission and recovery stay duration of in-patient motor victims in Spain

Hospital expenses are a major cost driver of healthcare systems in Europe, with motor injuries being the leading mechanism of hospitalizations. This paper investigates the injury characteristics which explain the hospitalization of victims of traffic accidents that took place in Spain. Using a motor insurance database with 16.081 observations a generalized Tobit regression model is applied to analyse the factors that influence both the likelihood of being admitted to hospital after a motor collision and the length of hospital stay in the event of admission. The consistency of Tobit estimates relies on the normality of perturbation terms. Here a semi-parametric regression model was fitted to test the consistency of estimates, concluding that a normal distribution of errors cannot be rejected. Among other results, it was found that older men with fractures and injuries located in the head and lower torso are more likely to be hospitalized after the collision, and that they also have a longer expected length of hospital recovery stay.

Diferències en l'estil de joc ofensiu entre un equip consolidat a la 1a divisió i un equip d'ascens recent

L’objectiu del següent treball és buscar les diferències en l’estil de joc ofensiu (en els gols aconseguits) entre un equip consolidat a la 1a divisió espanyola (F.C Barcelona) i un equip d’ascens recent (Elx C.F). Per aconseguir-ho, s’analitzen els gols a favor per part dels dos equips durant les primeres 25 jornades de lliga 2013/2014. A través d’un full d’observació i tangent en compte totes les seves categories, es classifiquen cada un dels gols segons l’estil de joc ofensiu al qual pertany (Joc Combinatiu, Joc Directe o Joc Contraatac). Els resultats obtinguts demostren com existeixen diferències significatives en la utilització dels diferents estils de joc entre els dos equips. A més també es mostren diferències rellevants pel que fa al nombre total de gols aconseguits, en la presència d’una regularitat temporal (durant les 25 jornades) d’utilització d’un estil o altre i en la relació temporal (durant el partit) dels gols aconseguits entre els dos equips analitzats.