Admissibility in Finitely Generated Quasivarieties

Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable. However, since free algebras may be large even for small sets of small algebras and very few generators, this naive method for checking admissibility in Q is not computationally feasible. In this paper, algorithms are introduced that generate a minimal (with respect to a multiset well-ordering on their cardinalities) finite set of algebras such that the validity of a quasiequation in this set corresponds to admissibility of the quasiequation in Q. In particular, structural completeness (validity and admissibility coincide) and almost structural completeness (validity and admissibility coincide for quasiequations with unifiable premises) can be checked. The algorithms are illustrated with a selection of well-known finitely generated quasivarieties, and adapted to handle also admissibility of rules in finite-valued logics.

Description of the ERA-CLIM historical upper-air data

Historical, i.e. pre-1957, upper-air data are a valuable source of information on the state of the atmosphere, in some parts of the world dating back to the early 20th century. However, to date, reanalyses have only partially made use of these data, and only of observations made after 1948. Even for the period between 1948 (the starting year of the NCEP/NCAR (National Centers for Environmental Prediction/National Center for Atmospheric Research) reanalysis) and the International Geophysical Year in 1957 (the starting year of the ERA-40 reanalysis), when the global upper-air coverage reached more or less its current status, many observations have not yet been digitised. The Comprehensive Historical Upper-Air Network (CHUAN) already compiled a large collection of pre-1957 upper-air data. In the framework of the European project ERA-CLIM (European Reanalysis of Global Climate Observations), significant amounts of additional upper-air data have been catalogued (> 1.3 million station days), imaged (> 200 000 images) and digitised (> 700 000 station days) in order to prepare a new input data set for upcoming reanalyses. The records cover large parts of the globe, focussing on, so far, less well covered regions such as the tropics, the polar regions and the oceans, and on very early upper-air data from Europe and the US. The total number of digitised/inventoried records is 61/101 for moving upper-air data, i.e. data from ships, etc., and 735/1783 for fixed upper-air stations. Here, we give a detailed description of the resulting data set including the metadata and the quality checking procedures applied. The data will be included in the next version of CHUAN. The data are available at doi:10.1594/PANGAEA.821222

Modulation of anticipatory emotion and perception processing by cognitive control.

Strategies of cognitive control are helpful in reducing anxiety experienced during anticipation of unpleasant or potentially unpleasant events. We investigated the associated cerebral information processing underlying the use of a specific cognitive control strategy during the anticipation of affect-laden events. Using functional magnetic resonance imaging, we examined differential brain activity during anticipation of events of unknown and negative emotional valence in a group of eighteen healthy subjects that used a cognitive control strategy, similar to "reality checking" as used in psychotherapy, compared with a group of sixteen subjects that did not exert cognitive control. While expecting unpleasant stimuli, the "cognitive control" group showed higher activity in left medial and dorsolateral prefrontal cortex areas but reduced activity in the left extended amygdala, pulvinar/lateral geniculate nucleus and fusiform gyrus. Cognitive control during the "unknown" expectation was associated with reduced amygdalar activity as well and further with reduced insular and thalamic activity. The amygdala activations associated with cognitive control correlated negatively with the reappraisal scores of an emotion regulation questionnaire. The results indicate that cognitive control of particularly unpleasant emotions is associated with elevated prefrontal cortex activity that may serve to attenuate emotion processing in for instance amygdala, and, notably, in perception related brain areas.

Copula calibration

We propose notions of calibration for probabilistic forecasts of general multivariate quantities. Probabilistic copula calibration is a natural analogue of probabilistic calibration in the univariate setting. It can be assessed empirically by checking for the uniformity of the copula probability integral transform (CopPIT), which is invariant under coordinate permutations and coordinatewise strictly monotone transformations of the predictive distribution and the outcome. The CopPIT histogram can be interpreted as a generalization and variant of the multivariate rank histogram, which has been used to check the calibration of ensemble forecasts. Climatological copula calibration is an analogue of marginal calibration in the univariate setting. Methods and tools are illustrated in a simulation study and applied to compare raw numerical model and statistically postprocessed ensemble forecasts of bivariate wind vectors.

Scaleable Code Clone Detection

Code clone detection helps connect developers across projects, if we do it on a large scale. The cornerstones that allow clone detection to work on a large scale are: (1) bad hashing (2) lightweight parsing using regular expressions and (3) MapReduce pipelines. Bad hashing means to determine whether or not two artifacts are similar by checking whether their hashes are identical. We show a bad hashing scheme that works well on source code. Lightweight parsing using regular expressions is our technique of obtaining entire parse trees from regular expressions, robustly and efficiently. We detail the algorithm and implementation of one such regular expression engine. MapReduce pipelines are a way of expressing a computation such that it can automatically and simply be parallelized. We detail the design and implementation of one such MapReduce pipeline that is efficient and debuggable. We show a clone detector that combines these cornerstones to detect code clones across all projects, across all versions of each project.

Age-dependent visual exploration during simulated day- and night driving on a motorway: a cross-sectional study

BACKGROUND: Central and peripheral vision is needed for object detection. Previous research has shown that visual target detection is affected by age. In addition, light conditions also influence visual exploration. The aim of the study was to investigate the effects of age and different light conditions on visual exploration behavior and on driving performance during simulated driving. METHODS: A fixed-base simulator with 180 degree field of view was used to simulate a motorway route under daylight and night conditions to test 29 young subjects (25-40 years) and 27 older subjects (65-78 years). Drivers' eye fixations were analyzed and assigned to regions of interests (ROI) such as street, road signs, car ahead, environment, rear view mirror, side mirror left, side mirror right, incoming car, parked car, road repair. In addition, lane-keeping and driving speed were analyzed as a measure of driving performance. RESULTS: Older drivers had longer fixations on the task relevant ROI, but had a lower frequency of checking mirrors when compared to younger drivers. In both age groups, night driving led to a less fixations on the mirror. At the performance level, older drivers showed more variation in driving speed and lane-keeping behavior, which was especially prominent at night. In younger drivers, night driving had no impact on driving speed or lane-keeping behavior. CONCLUSIONS: Older drivers' visual exploration behavior are more fixed on the task relevant ROI, especially at night, when driving performance becomes more heterogeneous than in younger drivers.

Introduction to the Maïdo Lidar Calibration Campaign dedicated to the validation of upper air meteorological parameters

The first operations at the new High-altitude Maïdo Observatory at La Réunion began in 2013. The Maïdo Lidar Calibration Campaign (MALICCA) was organized there in April 2013 and has focused on the validation of the thermodynamic parameters (temperature, water vapor, and wind) measured with many instruments including the new very large lidar for water vapor and temperature profiles. The aim of this publication consists of providing an overview of the different instruments deployed during this campaign and their status, some of the targeted scientific questions and associated instrumental issues. Some specific detailed studies for some individual techniques were addressed elsewhere. This study shows that temperature profiles were obtained from the ground to the mesopause (80 km) thanks to the lidar and regular meteorological balloon-borne sondes with an overlap range showing good agreement. Water vapor is also monitored from the ground to the mesopause by using the Raman lidar and microwave techniques. Both techniques need to be pushed to their limit to reduce the missing range in the lower stratosphere. Total columns obtained from global positioning system or spectrometers are valuable for checking the calibration and ensuring vertical continuity. The lidar can also provide the vertical cloud structure that is a valuable complementary piece of information when investigating the water vapor cycle. Finally, wind vertical profiles, which were obtained from sondes, are now also retrieved at Maïdo from the newly implemented microwave technique and the lidar. Stable calibrations as well as a small-scale dynamical structure are required to monitor the thermodynamic state of the middle atmosphere, ensure validation of satellite sensors, study the transport of water vapor in the vicinity of the tropical tropopause and study their link with cirrus clouds and cyclones and the impact of small-scale dynamics (gravity waves) and their link with the mean state of the mesosphere.

A Confirmatory Factor Analytic Study Examining the Dimensionality of Educational Achievement Tests

It is important to check the fundamental assumption of most popular Item Response Theory models, unidimensionality. However, it is hard for educational and psychological tests to be strictly unidimensional. The tests studied in this paper are from a standardized high-stake testing program. They feature potential multidimensionality by presenting various item types and item sets. Confirmatory factor analyses with one-factor and bifactor models, and based on both linear structural equation modeling approach and nonlinear IRT approach were conducted. The competing models were compared and the implications of the bifactor model for checking essential unidimensionality were discussed.

Lessons learned from nationwide vaccine programs: Comparing human papillomavirus, poliomyelitis vaccine, and swine flu

This assessment compares the human papillomavirus (HPV) nationwide vaccine to the poliomyelitis vaccine and the swine flu vaccine with the purpose of finding parallels and lessons in the controversies faced by the development and use of the vaccines. There are a number of great barriers that are facing the HPV vaccine to date. These controversies lie in dealing with the risk involved in taking the vaccine, how much control the government should have in administering the vaccine, how to communicate the risk to the public, and the cost-effectiveness of the vaccine versus treatment for cervical cancer. The lessons for the HPV vaccine that were learned after comparison and assessment of the controversies were: (1) plan ahead of time on how to inform the public if a risk develops from taking the HPV vaccination and it may be better to provide some information while the event is occurring, always being as truthful as possible, and later dispensing more information once all of the facts are known, (2) the human papillomavirus is not something that will become a pandemic in a short amount of time because the virus takes a long time to develop into cervical cancer, so if a major risk begins to show after continuing to develop and administer the vaccine for an amount of time, it may be better to take it off the market for a while and possibly reconfigure it to help eliminate some of the risks, (3) if side reactions and risks do develop and the government assumes liability for these reactions, the cost-effectiveness can be greatly affected, so it is important to be constantly checking to see if all the monetary and health benefits of the vaccine are outweighing any of the negative costs of the vaccine, and lastly, (4) the public must feel that every aspect of the vaccine, both good and bad, has been thought over and the benefits of taking the vaccine prevail over the negatives and that politics and commercial interests have nothing to do with the production and administration of the vaccine. ^

La memoria en escena. Identidad, memoria y política en el teatro comunitario argentino contemporáneo. Los casos : Patricios Unidos de Pie, Catalinas Sur, Los Dardos de Rocha y Teatro Popular Sansinena

El proyecto se propone estudiar los procesos de identificación y ejercicio de la memoria colectiva involucrados en la práctica del teatro comunitario contemporáneo. En esta perspectiva se examinarán las lógicas de producción artística en cuatro experiencias de teatro comunitario: Patricios Unidos de Pie /del pueblo de Patricios), Teatro Popular Sansinena (del pueblo de Sansinena), Los Dardos de Rocha (de la ciudad de La Plata) y el Grupo Catalinas Sur (del barrio de La Boca). analizando especialmente los procesos de resignificación del espacio público y el pasado compartido puestos en juego por dichos colectivos artísticos. Por otra parte, la investigación buscará indagar en las tensiones que se pueden presentar tanto en la producción y armado de las obras, como en las relaciones que los grupos mantienen entre sí, a raíz de su funcionamiento en forma de red. Para el desarrollo de esta investigación se tomarán dos campos de estudio a modo de que los mismos proporcionen miradas divergentes en torno al fenómeno: autores del campo de la memoria y del campo del teatro. El teatro comunitario, al ser una práctica inédita y reciente en la Argentina, cuenta con muy pocos trabajos teóricos que lo analicen, por lo tanto es una actividad en constante construcción, que se va resignificando y armando con la práctica a medida en que los grupos se van multiplicando. Para llevar adelante este proyecto de investigación se tendrá en cuenta la relación existente entre teoría, objetivos y metodología. Las instancias de trabajo son: revisar la bibliografía existente sobre el tema a investigar (estado del arte), confeccionar un marco teórico sobre el cuál basarse para el trabajo cualitativo, construir una metodología para el análisis, realizar el trabajo de campo, sistematizar la información, elaborar el análisis y finalmente las conclusiones. El análisis se realizará sobre los cuatro grupos de teatro comunitario elegidos por sus características poblacionales, el nivel socio-económico de los habitantes y la particularidad de su historia.

Fases en la derivación e interpretación semántico pragmática

En trabajos anteriores (Romero, 2008a y b, Alabart Lago, L., P. Díaz y G. Herrera, 2012, Alabart Lago, L. y Herrera, G., 2013) se intentó mostrar que el mecanismo interpretativo que propone la TR podría resultar adecuado como uno de los sistemas externos (también interpretativos) postulados por la GG, más precisamente, el sistema llamado CI. La relación que intentamos establecer tendrá en cuenta lo siguiente como marco teórico: a) En TR se afirma que la interpretación de un enunciado se deriva de las estructuras sintácticas, y esta derivación se realiza "en paralelo" con la derivación de estructuras llevada a cabo por las operaciones del componente sintáctico. b) En las últimas propuestas de la GG, extensiones y revisiones del PM propuesto en Chomsky (1995) no solo se dejan de lado los niveles de representación internos SP y ES sino también se considera prescindible la interfaz FL (Chomsky, 2005). Las estructuras generadas se transfieren a los sistemas externos en cuanto rasgos formales de las Categorías Funcionales son valorados. Mantendremos la noción de que el sistema computacional es relativamente irrestricto y que sus operaciones son condicionadas solo por Atracción y las llamadas "condiciones de legibilidad" impuestas por los sistemas externos, fundamentalmente el Principio de Interpretación Completa (PIC). c) Tendremos en cuenta la propuesta de Leonetti y Escandell Vidal (2004), que sostiene que las CCFF de la GG pueden considerarse equivalentes a las Categoría Procedimentales propuestas por la TR. En este sentido consideraremos válida la afirmación de Chomsky (1998) acerca de que las CCFF centrales (C, T, v y D) tienen propiedades semánticas. d) Otro factor que tendremos en cuenta es la noción de fase en la derivación, considerándola correcta en los términos expuestos en Chomsky (2001 y 2005) y Gallego (2007 y 2009), con ciertas modificaciones. Nuestra hipótesis puede resumirse en lo siguiente: Las operaciones de extracción de inferencias propuestas por TR se aplican durante la derivación sintáctica independientemente de que se haya transferido o no una fase. Es más, esperamos poder demostrar que algunos mecanismos inferenciales imponen ciertas condiciones que afectan a la valoración de los rasgos de las CCFF. Pretendemos también intentar mostrar que además de los núcleos de fase reconocidos, C y v, debe considerarse fase a SD, porque contiene rasgos específicos de cuyo cotejo y valoración se desprende el valor que recibirán otros rasgos en el curso de la derivación. Con estos fundamentos esperamos poder elaborar una descripción de cómo interactúan ambos sistemas en la derivación de una oración y la asignación (casi simultánea) de significado

Estrategias de aprendizaje y rendimiento académico según el género en estudiantes universitarios

El presente trabajo tiene como objetivo identificar las estrategias de aprendizaje que utilizan los estudiantes universitarios según el género, y analizar la relación entre el uso de esas estrategias y el promedio académico obtenido. Para tal fin, se realizó un estudio de carácter descriptivo correlacional. Para la recolección de los datos, se aplicó la Escala de Estrategias de Aprendizaje ACRA-Abreviada (de la Fuente Arias y Justicia Justicia, 2003). El cuestionario se administró a 364 estudiantes de ambos sexos de la Universidad Nacional de La Plata. Las estrategias utilizadas con mayor frecuencia corresponden a las dimensiones de apoyo al aprendizaje y hábitos de estudio. Se observó una utilización limitada de las estrategias cognitivas y de control del aprendizaje. Considerando el tiempo de su trayecto educativo, los resultados mostraron que los estudiantes con calificaciones más elevadas no utilizan necesariamente mayor cantidad de estrategias durante el aprendizaje que los alumnos con promedios más bajos. Continuando estudios anteriores de este mismo equipo de investigación, se analizó el uso de estrategias según la variable género . Se observaron usos diferentes de algunas estrategias entre varones y mujeres

Estrategias de aprendizaje y rendimiento académico según el género en estudiantes universitarios

El presente trabajo tiene como objetivo identificar las estrategias de aprendizaje que utilizan los estudiantes universitarios según el género, y analizar la relación entre el uso de esas estrategias y el promedio académico obtenido. Para tal fin, se realizó un estudio de carácter descriptivo correlacional. Para la recolección de los datos, se aplicó la Escala de Estrategias de Aprendizaje ACRA-Abreviada (de la Fuente Arias y Justicia Justicia, 2003). El cuestionario se administró a 364 estudiantes de ambos sexos de la Universidad Nacional de La Plata. Las estrategias utilizadas con mayor frecuencia corresponden a las dimensiones de apoyo al aprendizaje y hábitos de estudio. Se observó una utilización limitada de las estrategias cognitivas y de control del aprendizaje. Considerando el tiempo de su trayecto educativo, los resultados mostraron que los estudiantes con calificaciones más elevadas no utilizan necesariamente mayor cantidad de estrategias durante el aprendizaje que los alumnos con promedios más bajos. Continuando estudios anteriores de este mismo equipo de investigación, se analizó el uso de estrategias según la variable género . Se observaron usos diferentes de algunas estrategias entre varones y mujeres

La memoria en escena. Identidad, memoria y política en el teatro comunitario argentino contemporáneo. Los casos : Patricios Unidos de Pie, Catalinas Sur, Los Dardos de Rocha y Teatro Popular Sansinena

El proyecto se propone estudiar los procesos de identificación y ejercicio de la memoria colectiva involucrados en la práctica del teatro comunitario contemporáneo. En esta perspectiva se examinarán las lógicas de producción artística en cuatro experiencias de teatro comunitario: Patricios Unidos de Pie /del pueblo de Patricios), Teatro Popular Sansinena (del pueblo de Sansinena), Los Dardos de Rocha (de la ciudad de La Plata) y el Grupo Catalinas Sur (del barrio de La Boca). analizando especialmente los procesos de resignificación del espacio público y el pasado compartido puestos en juego por dichos colectivos artísticos. Por otra parte, la investigación buscará indagar en las tensiones que se pueden presentar tanto en la producción y armado de las obras, como en las relaciones que los grupos mantienen entre sí, a raíz de su funcionamiento en forma de red. Para el desarrollo de esta investigación se tomarán dos campos de estudio a modo de que los mismos proporcionen miradas divergentes en torno al fenómeno: autores del campo de la memoria y del campo del teatro. El teatro comunitario, al ser una práctica inédita y reciente en la Argentina, cuenta con muy pocos trabajos teóricos que lo analicen, por lo tanto es una actividad en constante construcción, que se va resignificando y armando con la práctica a medida en que los grupos se van multiplicando. Para llevar adelante este proyecto de investigación se tendrá en cuenta la relación existente entre teoría, objetivos y metodología. Las instancias de trabajo son: revisar la bibliografía existente sobre el tema a investigar (estado del arte), confeccionar un marco teórico sobre el cuál basarse para el trabajo cualitativo, construir una metodología para el análisis, realizar el trabajo de campo, sistematizar la información, elaborar el análisis y finalmente las conclusiones. El análisis se realizará sobre los cuatro grupos de teatro comunitario elegidos por sus características poblacionales, el nivel socio-económico de los habitantes y la particularidad de su historia.

Fases en la derivación e interpretación semántico pragmática

En trabajos anteriores (Romero, 2008a y b, Alabart Lago, L., P. Díaz y G. Herrera, 2012, Alabart Lago, L. y Herrera, G., 2013) se intentó mostrar que el mecanismo interpretativo que propone la TR podría resultar adecuado como uno de los sistemas externos (también interpretativos) postulados por la GG, más precisamente, el sistema llamado CI. La relación que intentamos establecer tendrá en cuenta lo siguiente como marco teórico: a) En TR se afirma que la interpretación de un enunciado se deriva de las estructuras sintácticas, y esta derivación se realiza "en paralelo" con la derivación de estructuras llevada a cabo por las operaciones del componente sintáctico. b) En las últimas propuestas de la GG, extensiones y revisiones del PM propuesto en Chomsky (1995) no solo se dejan de lado los niveles de representación internos SP y ES sino también se considera prescindible la interfaz FL (Chomsky, 2005). Las estructuras generadas se transfieren a los sistemas externos en cuanto rasgos formales de las Categorías Funcionales son valorados. Mantendremos la noción de que el sistema computacional es relativamente irrestricto y que sus operaciones son condicionadas solo por Atracción y las llamadas "condiciones de legibilidad" impuestas por los sistemas externos, fundamentalmente el Principio de Interpretación Completa (PIC). c) Tendremos en cuenta la propuesta de Leonetti y Escandell Vidal (2004), que sostiene que las CCFF de la GG pueden considerarse equivalentes a las Categoría Procedimentales propuestas por la TR. En este sentido consideraremos válida la afirmación de Chomsky (1998) acerca de que las CCFF centrales (C, T, v y D) tienen propiedades semánticas. d) Otro factor que tendremos en cuenta es la noción de fase en la derivación, considerándola correcta en los términos expuestos en Chomsky (2001 y 2005) y Gallego (2007 y 2009), con ciertas modificaciones. Nuestra hipótesis puede resumirse en lo siguiente: Las operaciones de extracción de inferencias propuestas por TR se aplican durante la derivación sintáctica independientemente de que se haya transferido o no una fase. Es más, esperamos poder demostrar que algunos mecanismos inferenciales imponen ciertas condiciones que afectan a la valoración de los rasgos de las CCFF. Pretendemos también intentar mostrar que además de los núcleos de fase reconocidos, C y v, debe considerarse fase a SD, porque contiene rasgos específicos de cuyo cotejo y valoración se desprende el valor que recibirán otros rasgos en el curso de la derivación. Con estos fundamentos esperamos poder elaborar una descripción de cómo interactúan ambos sistemas en la derivación de una oración y la asignación (casi simultánea) de significado