Tracks from hell - when finding a proof may be easier than checking it

We consider the popular smartphone game Trainyard: a puzzle game that requires the player to lay down tracks in order to route colored trains from departure stations to suitable arrival stations. While it is already known [Almanza et al., FUN 2016] that the problem of finding a solution to a given Trainyard instance (i.e., game level) is NP-hard, determining the computational complexity of checking whether a candidate solution (i.e., a track layout) solves the level was left as an open problem. In this paper we prove that this verification problem is PSPACE-complete, thus implying that Trainyard players might not only have a hard time finding solutions to a given level, but they might even be unable to efficiently recognize them

West Nile virus; ecology and epidemiology of an emerging pathogen in Colombia

El virus del oeste del Nilo (VON) es mantenido en la naturaleza en un ciclo enzoótico ave-mosquito-ave. Los principales vectores son los mosquitos del genero Culex. Las aves son los huéspedes amplificadores primarios. Humanos y caballos son huéspedes incidentales finales. En humanos las infecciones por VON se presentan como enfermedad febril autolimitada. En los casos de enfermedad neurológica se puede presentar encefalitis, meningitis o meningoencefalitis, con mayor incidencia y mortalidad por encefalitis en personas de mayor edad y pacientes inmunocomprometidos. Se han reportado brotes en África, Medio Oriente, Europa y Asia. El virus apareció por primera vez en Estados Unidos en 1999 y se ha documentado su circulación en México, Islas Caimán, Jamaica, Republica Dominicana, Martinica, Guadalupe, Cuba, Puerto Rico, El Salvador y recientemente Colombia. La importancia en salud pública de VON si es introducido en áreas de Centro y Sur América dependerá del resultado de la interacción de múltiples factores. Colombia reúne las condiciones que favorecen su entrada y desarrollo. Se pueden postular dos hipótesis: el virus podría llegar a ser enzoótico y endémico y causar limitada enfermedad humana, o podría llegar a ser epidémico y causar brotes anuales que afecten humanos y animales. Esto dependerá de la susceptibilidad de las especies aviares colombianas al virus por las diferencias en su biología, y a las variaciones geográficas intraespecificas en la competencia de las diferentes especies de mosquito y los efectos de las condiciones medioambientales sobre su habilidad para transmitir el virus, y estos factores son determinantes en el ciclo de amplificación primario

Assessing the Utility of Restaurant Descriptors and Typologies for Advancing the Body of Knowledge in Restaurant Management

The study begins with a review of existing typologies in the restaurant management literature. Segment labels from three typologies are used as keywords to collect 251 empirical studies from nine relevant academic journals serving the restaurant management discipline. Content analysis of titles, abstracts, and methodology sections reveals inconsistent use of existing typologies and limited use of effective restaurant descriptors. Recommendations are offered to optimize the use of restaurant descriptors so that the content of empirical studies may be more effectively accessed, digested, and compared across, thereby enhancing the communication of advances in the restaurant management body of knowledge

Cuestiones pendientes en la metodología PIMS: un breve recuento

Se asume que una estrategia adecuada impactará positivamente las ganancias de la empresa y le llevará a expandirse. Recientes descubrimientos sugieren que sólo con la revisión y adecuación de los elementos más relevantes del plan estratégico es posible llevar los resultados económicos de la empresa a un punto óptimo. La metodología PIMS (que se traduce como Impacto de la Estrategia de Marketing sobre las Ganancias) constituye un modelo para lograrlo, sin embargo, subsisten problemas fundamentales en el mismo modelo que lo limitan. Así, en el presente trabajo se hace un estudio exploratorio y se muestra la evolución de la metodología PIMS lo cual permite desvelar los retos y el posible rumbo del tema. La definición de la estrategia, el diseño de la encuesta tipo PIMS, los problemas de multicolinearidad y el efecto de la participación de mercado se plantean como los más relevantes. Los resultados muestran la necesidad de definir con precisión la estrategia asumida por la empresa, el rediseño de la encuesta PIMS cuando se aplique a mercados incompletos y finalmente, se advierte un avance en el estudio econométrico sobre la metodología PIMS con énfasis en la variable Calidad Relativa del Producto para resolver el viejo dilema del efecto de la participación de mercado

Phylobioactive hotspots in plant resources used to treat Chagas disease

Globally, more than six million people are infected with Trypanosoma cruzi, the causative protozoan parasite of the vector-borne Chagas disease (CD). We conducted a cross-sectional ethnopharmacological field study in Bolivia among different ethnic groups where CD is hyperendemic. A total of 775 extracts of botanical drugs used in Bolivia in the context of CD and botanical drugs from unrelated indications from the Mediterranean De Materia Medica compiled by Dioscorides two thousand years ago were profiled in a multidimensional assay uncovering different antichagasic natural product classes. Intriguingly, the phylobioactive anthraquinone hotspot matched the antichagasic activity of Senna chloroclada, the taxon with the strongest ethnomedical consensus for treating CD among the Izoceño-Guaraní. Testing common 9,10-anthracenedione derivatives in T. cruzi cellular infection assays demarcates hydroxyanthraquinone as a potential antichagasic lead scaffold. Our study systematically uncovers in vitro antichagasic phylogenetic hotspots in the plant kingdom as a potential resource for drug discovery based on ethnopharmacological hypotheses