EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes

The logic BN4 was defined by R.T. Brady as a four-valued extension of Routley and Meyer’s basic logic B. The system EF4 is defined as a companion to BN4 to represent the four-valued system of (relevant) implication. The system Ł was defined by J. Łukasiewicz and it is a four-valued modal logic that validates what is known as strong Łukasiewicz-type modal paradoxes. The systems EF4-M and EF4-Ł are defined as alternatives to Ł without modal paradoxes. This paper aims to define a Belnap-Dunn semantics for EF4, EF4-M and EF4-Ł. It is shown that EF4, EF4-M and EF4-Ł are strongly sound and complete w.r.t. their respective semantics and that EF4-M and EF4-Ł are free from strong Łukasiewicz-type modal paradoxes

El proyecto Eskolaberri: evaluación de una experiencia de formación de directivos escolares para la integración de la nueva tecnología en centros de Educación Primaria

En este artículo presentamos los resultados de un análisis descriptivo de un estudio cualitativo con medidas pre y post tratamiento, sobre una experiencia de formación de directivos escolares para la integración de las TIC en las aulas. Actualmente estamos exprimentando este modelo de formación de profesores especialistas en integración curricular de TIC con maestros con responsabilid directiva o de coordinación de proyecto, pertenecientes a once escuelas de Educación Primaria del País Vasco (Spain).In this paper we present the most important conclusions of the in‐service training experience of school directors and selected faculty members on the use and integration of ICTs in Primary Education. Basing our study on the model of continuous improvement of academic quality, we hope to put forth technological, didactic and organizational tools to school directors and administrators permitting them to integrate ICT`s in their classrooms and develop the links and leadership necessary to assure the continuity of these changes in their institutions. Currently, we have developed this model of training in eleven Primary Schools of the Basque Country (Spain)

Compliance with the measures for preventing vascular risk factors in hospitalised patients with acute stroke. Analysis of a national multi-centre registry: EPICES registry (III)

Trabajo publicado por Blanco, M., Vivancos-Mora J. y Castillo J, en nombre de los investigadores del registro EPICESIntroducción. Medidas farmacológicas, dietéticas y de estilos de vida para controlar los factores de riesgo son eficaces para prevenir la enfermedad cerebrovascular; sin embargo, su implementación en la clínica no parece óptima. Objetivo. Identificar el cumplimiento de medidas de prevención en una muestra hospitalaria de 6.197 pacientes hospitalizados con ictus atendidos por neurólogos. Pacientes y métodos. Análisis de un objetivo secundario del registro EPICES. Se consideró prevención primaria en los pacientes sin antecedentes previos de ataque isquémico transitorio, ictus, enfermedad coronaria o enfermedad arterial periférica (n = 3.977); prevención secundaria, en pacientes con antecedentes de enfermedad coronaria o arterial periférica, pero sin antecedentes de enfermedad cerebrovascular (n = 1.047); y prevención secundaria neurológica, en pacientes con antecedentes de ataque isquémico transitorio o ictus, independientemente de que hubiesen presentado enfermedad coronaria o arterial periférica (n = 1.173). Resultados. La prevención secundaria y secundaria neurológica fue más eficaz que la prevención primaria (p = 0,028 y p < 0,0001, respectivamente). El control fue superior en los centros con algún tipo de estructura asistencial para la atención de los pacientes con ictus (p < 0,0001). La influencia de la edad en las decisiones terapéuticas siguió un patrón similar en los tres tipos de prevención, con una disminución significativa de la anticoagulación en los pacientes con más de 80 años. Conclusión. El registro EPICES confirma el mal control de los factores de riesgo cerebrovascular. Globalmente, se demuestra que los objetivos que implican la modificación de los estilos de vida se cumplimentan peor que las medidas preventivas farmacológicasIntroduction. Pharmacological and dietary measurements, as well as life style, to control risk factors are efficient procedures to prevent cerebrovascular diseases, though their implementation in the clinics seems not optimal. Aim. To identify the fulfillment of preventive measurements on a sample of 6197 hospitalized stroke patients, attended by neurologists. Patients and methods. Analysis of a secondary objective of the EPICES registry. Primary prevention was considered in patients without previous record of transitory ischemic attack, stroke, coronary diseases and/or peripheral arterial disease (n = 3977); secondary prevention was considered in patients with record of coronary and/or peripheral arterial disease, but without record of cerebrovascular disease (n = 1047); neurological secondary prevention was considered in patients with a record of transitory ischemic attack and/or stroke, independently of the presence of coronary and/or peripheral arterial disease (n = 1173). Results. Secondary prevention and neurological secondary prevention were more efficient than primary prevention (p = 0.028 and p < 0.0001, respectively). Control was higher in centers with some type of structure to assist stroke patients (p < 0.0001). Influence of age in the taking of therapeutic decisions followed a similar pattern in all three types of prevention, with a significant reduction on anticoagulation for patients older than 80 years. Conclusion. The EPICES registry confirms the poor control of risk factors for cerebrovascular diseases. Globally it demonstrated that the objectives that imply the modification of lifestyle are fulfilled worse than pharmacological preventive measurementsEl registro EPICES fue patrocinado por Pfizer España. J.C. y J.V.M. recibieron honorarios por la dirección del registr

Building initial models of rotating white dwarfs with SPH

A general procedure to build self-gravitational, rotating equilibrium structures with the Smoothed Particle Hydrodynamics (SPH) technique does not exist. In particular, obtaining stable rotating configurations for white dwarf (WD) stars is currently a major drawback of many astrophysical simulations. Rotating WDs with low internal temperatures are connected with both, explosive and implosive scenarios such as type Ia supernova explosions or neutron stars formation. Simulations of these events with SPH codes demand stable enough particle configurations as initial models. In this work we have developed and tested a relaxation method to obtain equilibrium configurations of rotating WDs. This method is straightforward and takes advantage of the excellent mass and angular momentum conservation properties of the SPH technique. Although we focus on rigid rotation and its potential applications to several Type Ia supernova scenarios, we also show that our proposal is also able to provide good initial models in differential rotation, which has the potential to benefit many other types of simulations where rotation plays a capital role, like disk evolution and stellar formation.Peer ReviewedPostprint (published version

Determinant factors of pull up performance in trainedathletes

Aim: to investigate the relationship among pull up and lat pull exercises and differentanthropometric dimensions in trained athletes. Methods: twenty-five males were evaluated for maximum number of pull ups, one-repetitionmaximum lat pull (1RM Lat Pull), lat pull repetitions at 80% 1RM (Lat Pull at 80% 1RM), latpull repetitions at a load equivalent to body mass (Lat Pull at BM-load), and differentanthropometric variables. Furthermore, the subjects were divided in higher (HPG, n = 12) andlower pull up performance (LPG, n = 13) to compare the differences in the variables analyzedbetween both levels. Results: pull ups were significantly correlated with Lat Pull at BM-load (r = .62, P < .01) butneither with 1RM Lat Pull (r = .09) nor with Lat Pull at 80% 1RM (r = -.15). Pull ups showed asignificant (P < .05) negative relationship with body mass (BM, r = -.55), lean body mass(LBM, r = -.51), and fat mass (FM, r = -.52), while BM and LBM were significantly correlatedwith 1RM Lat Pull (r = .55, P < .05). HPG showed significantly (P < .05) lower BM (0/3/97%),FM (1/3/97%) and LBM (1/4/95%) than LPG. Furthermore, HPG attained significantly (P < .05– .001) greater performance in Lat Pull at BM-load (100/0/0%) and 1RM Lat Pull•BM-1(96/3/2%) than LPG. Conclusion: these findings suggest that pull up and lat pull exercises have common elements.Moreover, the anthropometric dimensions seem to influence differently on both exercises,depending on the strength indicator evaluated

Uso de recursos online y rendimiento académico del alumnado

En los últimos años se ha generalizado el uso de plataformas de aprendizaje online como complemento a las clases presenciales. Estos entornos son utilizados para facilitar la comunicación con los estudiantes y poner a su disposición material para seguir las asignaturas, o profundizar en ellas, entregar trabajos, abrir foros de dudas, debates, etc. Hemos estudiado durante dos cursos la actividad de los estudiantes en el aula Moodle de la asignatura "Autómatas y Lenguajes Formales". Hemos analizado los accesos que hace cada estudiante, atendiendo especialmente al tipo de elementos que utilizan, distinguiendo usos básicos, complementarios y avanzados. La investigación realizada refuerza la hipótesis que desliga el logro de las competencias de la asignatura del uso de la plataforma online.Peer Reviewe

La integración de las cadenas de suministro y su implicación en la gestión del capital circulante. Un análisis mediante dinámica de sistemas.

La Dinámica de Sistemas se ha posicionado como una buena herramienta para impulsar la mejora de la gestión en las cadenas de suministro. Los modelos de Dinámica de Sistemas ayudan a comprender la relación entre estructura y patrones de compo

Conformación de equipos de estudiantes en el grado de ingeniería informática: una experiencia en asignaturas de Gestión de Proyectos

Como muchas otras competencias, la de trabajo en equipo sólo se desarrolla y acredita en situaciones donde es necesaria. Sin embargo, ésta no se puede practicar y demostrar fuera de un contexto de colaboración con otras personas. Es por este motivo que, en un trabajo o momento dado, las posibilidades de avance en esta competencia dependerán no sólo de la adecuación del encargo a abordar, de los métodos de trabajo a utilizar y del contexto organizativo, sino también –y de una forma determinante– de los compañeros de equipo. En este trabajo se analizan diferentes métodos y procesos utilizados para conformar equipos, y se reflexiona sobre sus características. Tras el análisis se plantea la conveniencia, en contextos donde el desarrollo del trabajo en equipo sea un objetivo significativo, de que el profesorado lidere los procesos de composición de los equipos y las etapas iniciales de formación de los mismos. Finalmente, se presenta un método que se ha demostrado viable, después de una experiencia de cinco cursos, en que el profesorado de la asignatura forma y orienta a los equipos durante los primeros pasos de su ciclo de vida.Teamwork skills are developed and accredited only in situations where teamwork is needed, but, unlike others competences, they cannot be practiced or demonstrated outside a context of collaboration with others. It is for this reason that, in a job or situation, the chances of progress in these skills will depend, not only on the working methods used and the organizational context, but also, and in a determinant way, of teammates. In this work different methods and processes used to form teams are analyzed. After that, we propose as a useful approach that teachers lead composition processes of the teams and the initial stages of formation thereof. Finally, a method that has been proven feasible, after an experience of five courses is presented. In this method, teachers of the subject form teams and provide guides to them through the first steps of its life cycle

Problemática socio-económica de la mano de obra en explotaciones radicadas en zonas marginales de la provincia de Córdoba

Se estudia la cifra de ventas por UTII en cuatro diferentes acllvidadcs que se realizan en las zonas marginales de la provincia de Córdoba, éstas son, cría de ovinos, caprinos, cotos de caza menor y cotos de cala mayor. Asimismo se considera el coste social de las actividades pastor, cabrero y g11arda