STAN: analysis of data traces using an event-driven interval temporal logic

The increasing integration of systems into people’s daily routines, especially smartphones, requires ensuring correctness of their functionality and even some performance requirements. Sometimes, we can only observe the interaction of the system (e.g. the smartphone) with its environment at certain time points; that is, we only have access to the data traces produced due to this interaction. This paper presents the tool STAn, which performs runtime verification on data traces that combine timestamped discrete events and sampled real-valued magnitudes. STAn uses the Spin model checker as the underlying execution engine, and analyzes traces against properties described in the so-called event-driven interval temporal logic (eLTL) by transforming each eLTL formula into a network of concurrent automata, written in Promela, that monitors the trace. We present two different transformations for online and offline monitoring, respectively. Then, Spin explores the state space of the automata network and the trace to return a verdict about the corresponding property. We use the proposal to analyze data traces obtained during mobile application testing in different network scenarios.Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. // Funding for open access charge: Universidad de Málaga / CBU

Congenital insensitivity to pain with anhidrosis as a little prevalent disease. Updates for a comprehensive therapeutic approach

La ICD con anhidrosis está provocada por mutaciones del gen NTRK1 y se caracteriza por ausencia de dolor e incapacidad para sudar. Son importantes algunas consideraciones a tener en cuenta con respecto al manejo de pacientes en procedimientos anestésicos. Se plantea el abordaje terapéutico de los pacientes con ICD con anhidrosis, las principales evidencias científicas relacionadas con esta enfermedad, definir los problemas de salud de estos pacientes, estudiar cómo se lleva a cabo el diagnóstico de la misma y describir las diferentes precauciones a tener en cuenta ante procesos anestésicos. Se ha realizado una búsqueda bibliográfica entre los meses de diciembre y enero mediante diferentes bases de datos y fuentes documentales como: Pubmed, Cohcrane, LILACS y Cuiden, ORPHANET y el Registro Nacional de Enfermedades Raras. Se utilizaron repositorios como Google Scholar y SciELO. Se escogieron artículos redactados en Castellano o inglés y no superiores a los 5 años de antigüedad (a excepción de aquellos que contenían información para el objeto de estudio). Los registros se analizaron mediante la herramienta CASPe y atendieron a criterios de inclusión y exclusión para su selección. Las publicaciones escogidas se clasificaron en 2 categorías de análisis: La primera, en función de las manifestaciones, mutaciones y diagnóstico de la ICD con anhidrosis, y la segunda, relacionada con el manejo anestésico. El control de la temperatura corporal es importante ante procesos anestésicos. Además, se notifican nuevas mutaciones en el gen NTRK1, aunque aún queda mucho campo de investigación con respecto a esta enfermedad. La conclusión es que no existe un tratamiento para esta enfermedad por lo que el cuidado continuado de estos pacientes es de vital importancia, así como el aumento de estudios de casos que nos permitan ampliar nuestro conocimiento

Pattern Recognition in Brain Networks to Characterize Preictal States

La epilepsia es uno de los trastornos neurológicos más comunes que afecta a más de 50 millones de personas personas de todo el mundo. Se caracteriza por convulsiones recurrentes, que son el resultado de descargas eléctricas que generan alteraciones en la actividad cerebral. En la mayoría de los pacientes epilépticos las convulsiones son poco frecuentes y son de ocurrencia impredecible, el uso de medicamentos anticonvulsivos pueden reducir el número de incidencias de convulsiones en el paciente. Desafortunadamente, para el 30% de los pacientes con epilepsia, las convulsiones persisten a pesar del uso de este tratamiento, aumentando el riesgo de lesiones, muerte prematura y reduciendo su calidad de vida. El objetivo del presente trabajo es desarrollar una herramienta de IA específica para cada paciente. El pipeline desarrolado, integra análisis de conectividad funcional aplicado a las redes cerebrales epilépticas, para identificar con precisión el período sin convulsiones (interictal) y el intervalo de tiempo inmediatamente antes del inicio de la convulsión (estado preictal) y así, detectar un posible inicio de una convulsión. En el presente estudio, se utilizó información de 17 pacientes con epilepsia, tomados del DB "EPILEPSIAE", con registros disponibles de señal sEEG durante al menos 8-9 horas antes del inicio de la convulsión. Extracción de características, preprocesamiento de características, selección de características, aprendizaje automático y la Aplicación de Aprendizaje Profundo, y la Capacitación y Evaluación de Modelos, constituyen el principales bloques de tuberías. Se seleccionaron cinco algoritmos de Machine Learning y Deep Learning para la evaluación: Random Forest (RF), Support Vector Machines Classifier (SVC), XGBoost (XGB), redes neuronales convolucionales (CNN) y memoria a largo plazo (LSTM). Para mejorar el rendimiento de los algoritmos de clasificación a diferentes contextos, se evaluaron tres ventanas preictales de 40, 60 y 80 minutos. Un F1 puntuación superior al 60% fue alcanzada por 11/17 pacientes, con un periodo preictal de 80 minutos.Epilepsy is one of the most common neurological disorders that affects over 50 million people worldwide. It is characterized by recurrent seizures resulting from excessive electrical discharges that generate disruptions in brain activity. In most epileptic patients the seizures are infrequent and so they are of unpredictable occurrence. Therefore, antiseizure medicines can reduce the number of seizure incidences in the patient. Unfortunately, for 30% of people with epilepsy, seizures persist despite the use of this treatment, increasing the risk of injuries, and premature death and reducing the patient’s quality of life. The aim of the present work is to develop a patient-specific AI-based pipeline integrating functional connectivity analysis applied to epileptic brain networks, to accurately identify the non-seizure period (interictal) and the time interval immediately preceding the seizure onset (preictal state), and therefore detect a potential seizure onset. In the present study, 17 patients, from the EPILEPSIAE database, with recordings available for at least 8-9 hours before the seizure onset were selected. The patient’s recordings were sEEG. Feature Extraction, Feature Preprocessing, Feature Selection, Machine Learning and Deep Learning Applications, and Model training and Evaluation, constitute the main pipeline blocks. Five Machine Learning and Deep Learning algorithms were selected for evaluation: Random Forest (RF), Support Vector Machines Classifier (SVC), XGBoost (XGB), Convolutional Neural Networks (CNN), and Long Short-Term Memory (LSTM). To enhance the performance of the classification algorithms to different temporal contexts, three preictal windows of 40, 60, and 80 minutes were evaluated. An F1 score greater than 60% was achieved by 11/17 patients, and with the preferred preictal window among subjects being the 80-minute interval.Ingeniero (a) ElectrónicoMagíster en BioingenieríaPregrado0009-0009-1480-902

FLEXTORY: Flexible Software Factory of IoT Data Consumers.

The success of the Internet of Things (IoT) has driven the development, among others, of many different software architectures for producing, processing, and analyzing heterogeneous data. In many cases, IoT applications share common features, such as the use of a platform or middleware, also known as message broker, that collects and manages data traffic between endpoints. However, in general, data processing is very dependent on the case study (sensors that send temperature data, drones that send images, etc.). Thus, the applications responsible for receiving and processing data, which we call consumers, have to be built ad hoc, since some of their elements have to be specially configured to solve specific needs of the case study. This paper presents FLEXTORY, a software factory tool to make it easier for IoT developers to automatically construct configurable consumer applications, which we call FLEX-consumers. FLEXTORY guides developers through the process of generating Java consumers by selecting some desired features such as, for instance, the particular communication protocol to be used. This way, the developer only has to concentrate on designing the algorithm to process the data. In short, the use of FLEXTORY will result in consumer applications with configurable behavior, namely FLEX-consumers, that can connect to a messaging server (for example RabbitMQ) and process the received messages.This research was funded by the UNICO I+D Advanced 5G and 6G program (Spanish Ministry of Economy and Digital Transformation) grant number TSI-063000-2021-11 (5G+TACTILE) and the State Plan for Scientific, Technical and Innovation Research 2021-2023 (Spanish Ministry of Science, Innovation and Universities) grant number PID2022-142181OB-I00 (LearnFDT)

Anemia en gestantes en el primer trimestre y bajo peso del recién nacido, Hospital La Caleta – Chimbote, Enero 2021 – Diciembre 2022

Introducción: La anemia en la gestante es un problema de salud a nivel internacional y nacional, siendo aún más frecuente en países que se encuentran en vías de desarrollo. Además, se cree que puede causar complicaciones en el recién nacido, como el bajo peso al nacer, el cual es un factor de morbimortalidad infantil. Objetivos: Este trabajo tiene como objeto principal, establecer la asociación entre la anemia en el primer trimestre de gestación y el bajo peso del recién nacido en el Hospital la Caleta – Chimbote, Enero 2021 – Diciembre 2022. Materiales y Métodos: Se realizó un trabajo de investigación observacional, analítica y transversal. El estudio tuvo un diseño de casos y controles multivariante. Los datos obtenidos de las historias clínicas fueron registrados y codificados considerando la operacionalización de las variables a estudiar, en el programa Microsoft Excel 2019 y se tabularon en el programa de análisis estadístico SPSS v.28. Resultados: Nuestro estudio incluye a 162 pacientes en su muestra, los cuales se dividieron en casos (81) y controles (81), considerando la edad de la gestante como criterio de pareamiento 1:1. Luego del análisis multivariado mediante regresión logística binaria con el Modelo Stepwise Atrás/Adelante, obtuvimos que la anemia en el primer trimestre (ORa=3,315; IC 95%: 1,107-9,928), el estado civil soltera (ORa=3,939; IC 95%: 1,635-9,488) y el control prenatal inadecuado (ORa=2,790; IC 95%: 1,240-6,281) se asocian y son factores de riesgo para el bajo peso al nacimiento. Finalmente, no se encontró asociación significativa entre las demás variables y el bajo peso al nacer. Conclusiones: La anemia en el primer trimestre gestacional, el estado civil soltera y el control prenatal inadecuado son factores de riesgo para el bajo peso al nacer

Implicaciones psicosociales de la migración venezolana en Colombia

La presente investigación tuvo como objetivo describir el proceso migratorio a Colombia de venezolanos de distintas características sociodemográficas y las implicaciones psicosociales asociadas a éste. Se implementó un método cualitativo narrativo con una muestra de 9 personas provenientes de Venezuela en un rango de edad entre los 18 y 49 años y que llevaban entre 7 meses y más de 5 años viviendo en Colombia. Dichos participantes fueron contactados mediante una estrategia de bola de nieve y se aplicó una entrevista semiestructurada. Los resultados muestran que los participantes tuvieron experiencias disímiles en las distintas etapas del proceso migratorio teniendo en cuenta el motivo de la migración y que su integración y aculturación varía en función de éste, las redes de apoyo y el tiempo de residencia en Colombia. No obstante, todos sufrieron algún tipo de malestar subjetivo asociado a sentimientos de soledad y nostalgia.The objective of this research was to describe the migratory process to Colombia of Venezuelans of different sociodemographic characteristics and the associated psychosocial implications. We implemented a qualitative method and the narrative technique with a sample of 9 people from Venezuela in an age range between 18 and 49 who have been living in Colombia between 7 months and more than five years. These participants were contacted through a snowball strategy and a semi-structured interview was applied. The results show that the participants have as a result the process of migration and the integration and development of the activity in the function of this, the support networks and the residence time in Colombia. However, all suffered some kind of subjective discomfort associated with feelings of loneliness and nostalgia.Psicólogo (a)Pregrad

Enzimas del suelo: indicadores de salud y calidad

Ante la creciente demanda de alimentos, fibras y protección ambiental de una sociedad urbanizada en constante expansión, el empobrecimiento de los recursos naturales no renovables y las alteraciones que ha sufrido la calidad ambiental global, se plantean los conceptos de salud y calidad del suelo como parte del conjunto de herramientas para definir y asignar sostenibilidad, es decir, el mantenimiento de sus funciones dentro de los límites de un ecosistema. Los indicadores de salud  y calidad son un conjunto de parámetros (propiedades físicas, químicas y biológicas) que buscan establecer estándares de calidad para el recurso suelo; dentro de este conjunto se consideran las actividades enzimáticas por estar muy relacionadas con las demás propiedades y por ser sensibles a los cambios generados por el uso del suelo. La presente revisión pretende ilustrar que el seguimiento de la catálisis biológica del suelo a través de los usos o las alteraciones que pueda experimentar un ecosistema, puede proveer información para el entendimiento de por qué los procesos responsables de mantener funciones como la producción de biomasa, la remediación de contaminantes y el ciclaje de nutrientes, sufren cambios, y si estos son positivos, negativos o iterativos.In the presence of a crescent demand of food, fibres, environmental protection for an urban society in constant expansion, impoverishment of the natural non renewable resources and the serious alterations that the environmental global quality has suffered, concepts of health and quality of soils are exposed as part of the whole of tools used todefine sustainability, in other words, the maintenance of their functions inside the limits of an ecosystem. The health and quality indicators are a set of measurements (physical, chemical and biological properties) that pretend to establish quality standards for this resource; the enzymatic activity is placed inside this set because of its close relationship with the other properties and because of its sensibleness to the changes due to handling and use. The present review pretends to illustrate how the tracking of the biological catalysis of the soil through uses and alterations that an ecosystem may suffer, may supply information for the understanding of how the processes responsible for the maintenance of functions such as biomass production, pollutant remediation and cycling of nutrients, suffer changes and if these are positive, negative or iterative

Responsabilidad penal adolescente : estudio critico tras la reforma incorporada por la ley 20.084

100 p.La responsabilidad penal adolescente constituía un tema pendiente en nuestra legislación desde la ratificación de la Convención de los Derechos del Niño en el año 1990, pues la normativa vigente en ese entonces, contenida básicamente en la ley Nº 16.618, no se adecuó a los lineamientos impuestos por el derecho internacional, quedando al descubierto una serie de infracciones. Por lo anterior,luego de 15 años, se promulgó la ley 20.084 con vigencia desde junio de 2007. Los objetivos de esta ley son básicamente: el interés superior del niño, el reconocimiento de éste como sujeto de derechos y su consecuente responsabilidad, la especialidad del sistema de justicia y de sanciones y demás garantías procesales y penales. Por lo tanto, el objeto de la presente investigación es determinar si, a un año del funcionamiento de esta ley, tales postulados han sido completamente satisfechos

Influence of metabolic state and body composition on the action of pharmacological treatment of migraine

Diabetes mellitus; Metabolic disorders; MigraineDiabetis mellitus; Trastorns metabòlics; MigranyaDiabetes mellitus; Trastornos metabólicos; MigrañaMigraine is a disabling neurovascular disorder among people of all ages, with the highest prevalence in the fertile years, and in women. Migraine impacts the quality of life of affected individuals tremendously and, in addition, it is associated with highly prevalent metabolic diseases, such as obesity, diabetes mellitus and thyroid dysfunction. Also, the clinical response to drugs might be affected in patients with metabolic disease due to body composition and metabolic change. Therefore, the efficacy of antimigraine drugs could be altered in patients with both migraine and metabolic disease. However, knowledge of the pharmacology and the related clinical effects of antimigraine drugs in patients with metabolic disease are limited. Therefore, and given the clinical relevance, this article provides a comprehensive overview of the current research and hypotheses related to the influence of metabolic state and body composition on the action of antimigraine drugs. In addition, the influence of antimigraine drugs on metabolic functioning and, vice versa, the influence of metabolic diseases and its hormonal modulating medication on migraine activity is outlined. Future exploration on personalizing migraine treatment to individual characteristics is necessary to enhance therapeutic strategies, especially given its increasing significance in recent decades