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.

Diagnosis of the nutrient compositional space of fruit crops

Tissue analysis is a useful tool for the nutrient management of fruit orchards. The mineral composition of diagnostic tissues expressed as nutrient concentration on a dry weight basis has long been used to assess the status of 'pure' nutrients. When nutrients are mixed and interact in plant tissues, their proportions or concentrations change relatively to each other as a result of synergism, antagonism, or neutrality, hence producing resonance within the closed space of tissue composition. Ternary diagrams and nutrient ratios are early representations of interacting nutrients in the compositional space. Dual and multiple interactions were integrated by the Diagnosis and Recommendation Integrated System (DRIS) into nutrient indexes and by Compositional Nutrient Diagnosis into centered log ratios (CND-clr). DRIS has some computational flaws such as using a dry matter index that is not a part as well as nutrient products (e.g. NxCa) instead of ratios. DRIS and CND-clr integrate all possible nutrient interactions without defining an ad hoc interactive model. They diagnose D components while D-1 could be diagnosed in the D-compositional Hilbert space. The isometric log ratio (ilr) coordinates overcome these problems using orthonormal binary nutrient partitions instead of dual ratios. In this study, it is presented a nutrient interactive model as well as computation methods for DRIS and CND-clr and CND-ilr coordinates (CND-ilr) using leaf analytical data from an experimental apple orchard in Southwestern Quebec, Canada. It was computed the Aitchison and Mahalanobis distances across ilr coordinates as measures of nutrient imbalance. The effect of changing nutrient concentrations on ilr coordinates are simulated to identify the ones contributing the most to nutrient imbalance.

Innovative implementation by non-state actors in environment-related areas : towards a positive implementation gap ?

This contribution (presented in the first International Conference on Public Policy (ICPP) in Grenoble in June 2013) explores the phenomena of innovation in action ("innovative implementation"). To do so, we operationalize "innovative implementation" as a strategy by which (coalitions of) non-state actors seek to develop ad hoc solutions to address a given environmental issue, going beyond what is provided for in formal policy designs. Following an inductive research strategy, we elaborate a conceptual framework whose main advantage is to bring the actors and their coalition (in all their diversity) back in the analysis. More concretely, we state that perceiving implementation as broader 'social interaction processes' (De Boer & Bressers 2011) within which actors play strategic 'games' (Bardach 1977, Scharpf 1997) opens interesting lines of research to better account for their innovative and strategic behaviours. In a second step, we apply this framework to three strategies of innovative implementation in different contexts, and identify on this basis empirical regularities in the individual pathways related to the emergence and success (or failure) of these strategies.

Family Size Evolution in Drosophila Chemosensory Gene Families: A Comparative Analysis with a Critical Appraisal of Methods

Gene turnover rates and the evolution of gene family sizes are important aspects of genome evolution. Here, we use curated sequence data of the major chemosensory gene families from Drosophila-the gustatory receptor, odorant receptor, ionotropic receptor, and odorant-binding protein families-to conduct a comparative analysis among families, exploring different methods to estimate gene birth and death rates, including an ad hoc simulation study. Remarkably, we found that the state-of-the-art methods may produce very different rate estimates, which may lead to disparate conclusions regarding the evolution of chemosensory gene family sizes in Drosophila. Among biological factors, we found that a peculiarity of D. sechellia's gene turnover rates was a major source of bias in global estimates, whereas gene conversion had negligible effects for the families analyzed herein. Turnover rates vary considerably among families, subfamilies, and ortholog groups although all analyzed families were quite dynamic in terms of gene turnover. Computer simulations showed that the methods that use ortholog group information appear to be the most accurate for the Drosophila chemosensory families. Most importantly, these results reveal the potential of rate heterogeneity among lineages to severely bias some turnover rate estimation methods and the need of further evaluating the performance of these methods in a more diverse sampling of gene families and phylogenetic contexts. Using branch-specific codon substitution models, we find further evidence of positive selection in recently duplicated genes, which attests to a nonneutral aspect of the gene birth-and-death process.

Turnos de 7 horas versus 12 horas en enfermería intensiva: vivir a contratiempo

Resumen Los turnos de trabajo tienen repercusión sobre el bienestar de los profesionales sanitarios influyendo en su calidad de vida. El objetivo principal de este estudio es describir las consecuencias que tiene el turno de trabajo diurno de 12 h respecto al de 7 h en los profesionales de enfermería que trabajan en Unidades de Cuidados Intensivos. Se trata así de un estudio descriptivo transversal en 2 hospitales de tercer nivel de Barcelona: Hospital Clínico y Hospital Vall d"Hebron (turnos de 7 h y 12 h respectivamente). La recogida de datos se ha realizado mediante cuestionario ad hoc de 29 preguntas cerradas, anónimo y autoadministrado, basado en 2 escalas: Standard Shiftwork Index y Shiftwork locus of control. Dichos datos fueron procesados a través del programa SPSS V.18.0. De las 85 encuestas realizadas 52 fueron válidas: 22 en el Hospital Clínico de Barcelona y 30 en el Hospital Vall d"Hebron. Cabe destacar que los profesionales encuestados que trabajan en turno de 12 h expresan niveles superiores de conciliación laboral y personal, concretamente en tiempo de ocio a disfrutar (× 2: 10,635; p = 0,031) y tiempo de dedicación familia-amigos, así como niveles más bajos de percepción de fatiga. No se han encontrado diferencias entre el tipo de turno y facilidad de desarrollo del trabajo profesional, a pesar de que el turno de 12 h presenta niveles más altos.

Empresas militares y de seguridad y el derecho internacional humanitario

Este es el objeto de la presente investigación: analizar de qué manera y hasta qué punto el fenómeno EMSP queda cubierto y le son aplicables las normas de derecho internacional humanitario. Para ello, dividimos el trabajo en tres grandes partes. La primera, de carácter introductorio, hace un repaso sobre el fenómeno clásico del mercenarismo y cómo la respuesta que le ha dado el derecho internacional no solo ha sido tardía, sino que no resulta de excesiva utilidad para los modernos contratistas privados. En la segunda parte abordamos el origen, proliferación y funciones de las empresas militares y de seguridad privadas, así como las diferencias que las caracterizan en comparación con el mercenarismo clásico. Asimismo, tratamos de dilucidar cuál debería ser el estatuto jurídico de estas personas en el contexto de su participación en conflictos armados, cuestión que no tiene una respuesta clara y que seguramente se encuentra entre los más claros argumentos a favor de una regulación ad hoc del fenómeno. Finalmente, el segundo capítulo se cierra con un breve análisis de las distintas iniciativas de regulación a las que hemos hecho referencia en el párrafo anterior. La tercera parte del estudio analiza de forma pormenorizada los principios y normas de derecho internacional humanitario que se ven afectadas por la presencia y participación de EMSP en conflictos armados. Tomando como base normativa el derecho humanitario consuetudinario que ha sido identificado por el CICR (Henckaerts y Doswald Beck 2007), y teniendo en cuenta tanto la práctica conocida como las propuestas regulatorias mencionadas, este capítulo identifica los grados de exigibilidad de las principales normas de derecho humanitario a las EMSP. Terminamos con las pertinentes conclusiones, de las que se va a desprender un deber genérico de respeto del derecho internacional humanitario tanto por la empresa como por sus empleados; un principio que solo se exceptúa en aquellas normas de derecho humanitario que solo corresponde aplicar al estado soberano en tanto que tal y que cabe matizar en algunas otras. Observaremos sin embargo que la inmensa mayoría de los principios y normas de derecho internacional humanitario son perfectamente aplicables y deberían ser exigibles a las EMSP y sus empleados.

Välimiesmenettely, yrityksen vaihtoehtoinen riidanratkaisumenetelmä

Tämän tutkielman tavoitteena on tutkia yrityksen näkökulmasta niin kansallista kuin kansainvälistä ad hoc välimiesmenettelyä, välimiesmenettelylain ja YK:n kansainvälisen kauppaoikeuden toimikunnan UNCITRAL:in sääntöjen pohjalta. Tutkielmassa käsitellään välimiesmenettelyn käynnistymisen edellytyksiä ja itse menettelyä välimiesoikeudessa sekä ulkomaisen välitystuomion tunnustamista ja täytäntöönpanoa Suomessa. Tutkimuksessa käytettävä tutkimusmetodologia on käsiteanalyyttinen. Välimiesmenettely on lisännyt suosiotaan vaihtoehtoisena riidanratkaisumenetelmänä ja sitä käytetään varsinkin kaupan, teollisuuden ja rakennustoiminnan piirissä. Välimiesmenettelyn merkitys on suuri kansainvälisen kaupan alalla ja se on vakiinnuttanut asemansa yritysten välisten riitojen ratkaisukeinona sen tuomien etuuksien, kuten joustavuuden, nopeuden ja kansainvälisyyden johdosta.

Strategy Formulation and Implementation Case of High Tech Instruments

The strategy process is a method for strategy formulation and implementation. The strategy process is commonly used especially within bigger companies. It is important to link the strategy formulation and implementation. The objective of this thesis has been to find out improvement areas for the case company’s strategy process. The theoretical framework based on literature emphasizes on strategy process as a method for strategy formulation and implementation. The theoretical framework, several mainly ad hoc interviews and author’s observation were used as tools to analyze the case company’s strategy process. The hierarchy in between the various corporate levels provides the foundation to formulate and implement the strategies. These strategies include the corporate and strategic business area level strategies. The recommendations to improve the case company’s strategy process were formulated at corporate and strategic business area levels. These recommendations were formulated based on research and experience gained throughout the work. The role of strategic projects to implement the strategies more efficiently and organizational control over distribution were found as potential improvement areas. The resource allocation prioritizing towards the most important strategic projects was also an important improvement area.

Satisfacción con la vida: predictores y moderadores

Este trabajo presenta un estudio sobre el nivel de satisfacción general en la vida. Basándoseen la literatura existente, se propone que ésta depende a la vez de la satisfacción experimentadaen áreas específicas bien delimitadas y además de rasgos de personalidadintrínsecos a la persona. Concretamente se examina la hipótesis de que la satisfacción en la vidapuede predecirse en base a tres variables experienciales: satisfacción en el trabajo, satisfaccióncon el entorno, y satisfacción con uno mismo, y una variable de personalidad: lainteligencia emocional de rasgo. Se examina también la hipótesis de que la inteligencia emocionalpueda moderar la relación entre la satisfacción experimentada en esas tres áreas concretasy la satisfacción general en la vida. Para comprobar estas hipótesis se realizó un estudiocon 2.185 adultos y universitarios participantes en diversos cursos en Cataluña y Aragón. Losparticipantes respondieron el cuestionario de satisfacción en la vida (SWLS; Diener, Emmons,Larsen & Griffin, 1985), el cuestionario de desarrollo emocional para adultos (CDE-A; Pérez-Escoda, Bisquerra, Filella & Soldevila, 2010), y un cuestionario ad-hoc para medir las variablesexperienciales. El análisis de regresión paso a paso (stepwise) mostró que las tres dimensionesparciales de la satisfacción y la inteligencia emocional explican el 53% de la varianza en la satisfacciónen la vida. Sin embargo, la inteligencia emocional sólo modera la relación entre la satisfaccióncon uno mismo y la satisfacción en la vida. Las conclusiones ofrecen una interpretaciónde los resultados y sugerencias para futura investigación.

Conocimiento y satisfacción de la aprobación de la prescripción enfermera (Ley 28/2009) en enfermeras de formación máster y especialidad de la Universidad de Barcelona

Objetivo: Identificar el nivel de conocimiento, satisfacción y capacitación de las enfermeras con relación a la prescripción enfermera tras la aprobación de la Ley 28/2009. Método: Estudio observacional descriptivo transversal realizado en la Escuela de Enfermería de la Universidad de Barcelona. Los sujetos a estudio fueron 485 enfermeras en formación máster o especialización y docentes de dicha escuela. Las variables principales de estudio fueron: satisfacción, conocimiento e información de la aprobación de la Ley, conocimiento de los elementos autorizados a prescribir, percepción de capacidad prescriptora de las enfermeras y opinión de la necesidad formativa e informativa respecto a la Ley. Como secundarias: años de experiencia profesional, ámbito laboral, curso formativo y sociodemográficas. La recogida de datos se realizó entre los meses de marzo y abril de 2010 mediante un cuestionario autoaplicable ad hoc de 29 ítems, probado previamente. Resultados: Participaron 345 enfermeras, el 87,2% (301) alumnas en formación máster. El 72,3% (238) de las enfermeras conocían la aprobación de la ley, pero un 95,9% (303) indicó tener insuficiente información. La satisfacción media con la aprobación de la Ley se situó en 6,24 ± 2,08. El 57,6% (189) de las enfermeras opinaron estar capacitadas para prescribir productos sanitarios y un 41,3% (134), para prescribir fármacos. Conclusiones: Hay satisfacción con la aprobación de la Ley 28/2009. Actualmente muchas enfermeras prescriben productos farmacológicos y sanitarios de forma autónoma.

Ensayo clínico aleatorizado sobre el control del dolor en las fracturas pertrocantéreas de fémur mediante el uso o no de tracción cutánea

Objetivo: Evaluar el grado de control del dolor de los pacientes afectos de fracturas pertrocantéreas de fémur en función de la aplicación o no de tracción cutánea. Método: Ensayo clínico aleatorizado unicéntrico, paralelo, controlado y abierto realizado en el ámbito hospitalario. Los sujetos a estudio fueron pacientes que acudieron al servicio de urgencias por fractura pertrocantérea de fémur. Muestra de 40 pacientes (potencia 80% IC: 95%). Muestreo no probabilístico consecutivo. Pacientes asignados de manera aleatoria (1:1) a tratamiento con tracción cutánea o sin tracción. La asignación fue realizada mediante sobres cerrados. La variable principal de estudio fue la evaluación del dolor a las 48 horas de ingreso. La recogida de datos se realizó durante febrero a octubre de 2008 mediante cuaderno de registro de datos ad hoc, siendo evaluadas basalmente, a las 2 h, 24 h y 48 h del ingreso del paciente. Resultados: A la 48 horas del ingreso el dolor basal medio de la muestra mejoró en 4,4 puntos (DE: 1,8) (p < 0,001), el efecto diferencial del nivel de dolor entre los dos grupos de estudio fue de 0,7 puntos de la escala EVA (IC: 95% -0,7 a 0,6), el efecto de la tracción no demostró diferencias estadísticamente significativas (p = 0,721). Fue retirado un paciente por reacción cutánea al adhesivo de la tracción. Conclusiones: El tratamiento con tracción cutánea en los pacientes con fractura pertrocantérea de fémur no produce cambios en la evolución del dolor en comparación con los pacientes sin tracción cutánea.

Identifying Specific Cues and Contexts Related to Smoking Craving for the Development of Effective Virtual Environments

Craving is considered the main variable associated with relapse after smoking cessation. Cue Exposure Therapy (CET) consists of controlled and repeated exposure to drug-related cues with the aim of extinguishing craving responses. Some virtual reality (VR) environments, such as virtual bars or parties, have previously shown their efficacy as tools for eliciting smoking craving. However, in order to adapt this technology to smoking cessation interventions, there is a need for more diverse environments that enhance the probability of generalization of extinction in real life. The main objective of this study was to identify frequent situations that produce smoking craving, as well as detecting specific craving cues in those contexts. Participants were 154 smokers who responded to an ad hoc self-administered inventory for assessing craving level in 12 different situations. Results showed that having a drink in a bar/pub at night, after having lunch/dinner in a restaurant and having a coffee in a cafe or after lunch/dinner at home were reported as the most craving-inducing scenarios. Some differences were found with regard to participants' gender, age, and number of cigarettes smoked per day. Females, younger people, and heavier smokers reported higher levels of craving in most situations. In general, the most widely cited specific cues across the contexts were people smoking, having a coffee, being with friends, and having finished eating. These results are discussed with a view to their consideration in the design of valid and reliable VR environments that could be used in the treatment of nicotine addicts who wish to give up smoking.

Valoració de la qualitat de vida dels familiars de pacients amb fibromiàlgia

Fonament i objectiu: La Fibromiàlgia (FM) és una malaltia reumàtica caracteritzada per dolor generalitzat, que afecta a un tant per cent elevat de la població general , majoritàriament dones i d’etiologia desconeguda, i que pensem que no afecta tan sols als qui la pateixen, sinó que també als seus familiars. En aquest estudi s’han avaluat diferents variables com l’impacte emocional, la vida social, aspectes econòmics i laborals i altres activitats en familiars de primer grau de pacients amb FM. L’objectiu principal és determinar quin és el grau d’afectació negativa en la seva qualitat de vida. Material i mètodes: Es va fer un estudi observacional clínic a un grup de 27 familiars de 1er grau que convivien a la mateixa casa que els respectius afectats per FM. Se’ls va passar un qüestionari ad- hoc de 16 preguntes tancades, basades en estudis previs , i també una entrevista oberta amb l’objectiu de reforçar les dades estadístiques. Les entrevistes es varen fer a la Unitat de Fibromiàlgia de l’Hospital Santa Maria de Lleida. Resultats: Es va entrevistar a 27 familiars, 85’2 % homes, la majoria de entre 51 – 70 anys (63%). El 85’2 % eren casats, amb estudis primaris el 59’3% i el 88% tenien coneixements sobre la malaltia del familiar afectat. El percentatge de familiars que van opinar que hi havia una minva del grau de felicitats amb la malaltia era del 74’1%. El 85% no havia pensat mai en trencar la relació familiar. El 70% referien canvis en la vida social i relacional arrel del diagnòstic de FM , un 88’9% havien tingut que augmentar l’ajut en tasques domèstiques i el 70’4% patien efectes econòmics negatius arrel de la malaltia. La relació sexual es va veure afectada en un 85% dels casos, en canvi no es varen veure alteracions del son ni de la percepció de salut. Conclusions: El fet de conviure amb una persona afectada de FM suposa pèrdua del grau de felicitat i canvis en la vida social, relacional i sexual amb empitjorament del nivell econòmic.

Autoevaluación del aprendizaje en enfermería con ejercicios interactivos del programa Hot Potatoes

Los ejercicios interactivos de autoevaluación son una herramienta muy útil para fomentar el aprendizaje autónomo del estudiante. El programa Hot Potatoes permite el diseño de actividades interactivas para la evaluación formativa, con la incorporación de un sistema de retroacción que refuerza los contenidos no asimilados cuando la respuesta no es correcta. El objetivo de estudio es averiguar la opinión de los estudiantes sobre la utilización del programa Hot Potatoes. Materiales y métodos: Estudio descriptivo transversal en la promoción 2006-2007 de la asignatura Enfermería Maternal II. Los datos se recogieron a través de un cuestionario diseñado ad hoc. Resultados: Los ejercicios mejor valorados y considerados de menor dificultad fueron los de opción múltiple; los más difíciles fueron los textos desordenados y los ejercicios de rellenar huecos. Todos los estudiantes consideraron que el método motivó su interés por la asignatura y facilitó su aprendizaje. El 71% considera que el método le ha servido para adquirir conocimientos y ha sido muy útil como herramienta de estudio. Los aspectos que consideran más interesantes incluyen que: son un método de repaso y estudio, facilitan el aprendizaje de una forma amena y permiten conocer el nivel de conocimientos y corregir los errores durante el aprendizaje. Entre los aspectos que mejorarían destacan que incluirían más ejercicios y un número de preguntas más elevado. Conclusiones: El método ha tenido una buena aceptación y ha fomentado el aprendizaje autónomo. Consideramos que se trata de una estrategia de autoevaluación adecuada para la adaptación a los nuevos créditos europeos (ECTS).