Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach

We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles. Our logic includes primitive constructors of least and greatest fixed points of predicate transformers, but contrary to the common approach, we do not restrict ourselves to positive operators to ensure monotonicity, instead we use the Mendler-style, motivated here by the concept of monotonization of an arbitrary operator on a complete lattice. We prove an adequacy theorem with respect to a realizability semantics based on saturated sets and saturated-valued functions and as a consequence we obtain the strong normalization property for the proof-term reduction, an important feature which is absent in previous related work.Comment: In Proceedings LSFA 2011, arXiv:1203.542

Cross-reactivity patterns in children with fruit allergy

Trabajo de fin de grado. Grado en Medicina. Curso académico 2021-2022Las alergias alimentarias son una de las principales causas de consulta en los Servicios de Alergología, suponiendo un 20% de los diagnósticos en primera consulta en los niños. La prevalencia de la alergia a frutas es mayor en la población pediátrica que en la adulta, siendo el melocotón el alimento más frecuentemente implicado en las reacciones alérgicas en los mayores de 7 años. Los principales alérgenos de las frutas son las proteínas PR-10, LTP y profilinas, proteínas que constituyen panalérgenos y que son responsables de la reactividad cruzada entre especies vegetales, responsables de los síndromes pólenes-frutas, o frutas-látex. El diagnóstico molecular puede realizarse con técnicas in vitro como el panel ISAC, con el cual estudiamos 112 alérgenos en una única muestra; además, nos permite determinar la cantidad de anticuerpos IgE específicos dirigidos contra esos panalérgenos. Objetivos: El objetivo principal de este proyecto es analizar la relación entre la gravedad clínica presentada por los pacientes pediátricos en la alergia a frutas y los patrones de reactividad detectados en la técnica molecular diagnóstica de ISAC. Como objetivo secundario, se realizará una descripción etiológica y clínica de la alergia a frutas entre los pacientes de las consultas de Alergología Infantil del Complejo Hospitalario de Salamanca. Material y método: Se analizaron las historias clínicas de los niños de la consulta con diagnóstico de alergia a frutas en los últimos 6 años, a los cuales se les realizó un diagnóstico molecular mediante el panel ISAC. Para el análisis estadístico se ha utilizado el programa SPSS for Windows, Version 26.0 (IBM Corp, Armonk, New York, USA). Resultados: Los resultados de las pruebas cutáneas fueron concordantes con el análisis molecular obtenido en el test ISAC. El patrón más prevalente fue el patrón LTP, el cual se asoció a la alergia al melocotón. El 77% de los niños con anafilaxia eran positivos para LTP en el ISAC. La profilina del látex fue la que mayores cifras de IgE alcanzó en la prueba de ISAC entre todos los pacientes sensibilizados a profilinas. Conclusiones: El estudio molecular, mediante el panel ISAC, en niños alérgicos a frutas, nos permite establecer unos patrones de reactividad que demuestran tener gran valor en el manejo de dichos niños. En nuestro estudio, la profilina de látex tiene mayor rentabilidad diagnóstica que la de Phleum, lo cual, de confirmarse en otras poblaciones, podría cambiar la actitud diagnóstica habitual

Status and conditions of small- and medium-sized enterprises as predictors in empowering rural communities in Samar Island, Philippines

Purpose - This study aims to determine the status and conditions of small and medium enterprises (SMEs) as predictors in empowering the rural communities of Samar Island, Philippines. Specifically, it aimed to describe SMEs’ organizational variables, and assess their conditions in terms of membership/ownership structure; leadership; policies, systems and procedures; resource mobilization; linkages and networking; communication systems; and awards and recognition; determine the level of empowerment of rural communities with SMEs along the aspects of material, perceptual and relational changes; and find out whether significant relationship exist between the organizational variables and the level of empowerment. Design/methodology/approach - The study is a descriptive survey that utilized structured survey questionnaires, personal interviews and dialogues with the respondents in the actual data collection. The survey involved 18 SMEs from the rural communities of the 12 municipalities from the 3 provinces of Samar Island, as study samples – 6 coming from each province with 2 SMEs in every sub-sector of trading, manufacturing and services. Out of 270 respondents, 256 (94.81 per cent) responded. All statistics were computed using the SPSS computer software. Findings - The organizational variables of the SMEs such as membership and ownership structure, leadership, policies, systems and procedures, resource mobilization, linkages and networking, communication systems and awards and recognition were assessed to be all “good” and were found to have significant relationship with the level of empowerment of rural communities with SMEs. Originality/value - The rural communities with SMEs were empowered along the aspects of material, perceptual and relational changes. The result of the study indicated that through SMEs, rural people experienced changes in their lives. The test about the relationship of the organizational variables such as nature and ownership of business enterprise, leadership, policies, systems and procedures, resource mobilization, linkages and networking, communication systems and awards and recognition and the level of empowerment of rural communities as determined by changes in the material, perceptual and relational aspects of rural life proved to have significant relationships

Efecto de tres tipos de sustratos en la propagación asexual de aliso Alnus acuminata, Kunth en la fundación Inti Daquilema, cantón Riobamba, provincia de Chimborazo.

El presente estudio propuso evaluar tres tipos de sustratos en la propagación asexual de aliso (Alnus acuminata, Kunth) en la fundación Inti Daquilema, cantón Riobamba, provincia de Chimborazo, con la finalidad de ayudar a las comunidades en mejorar los suelos mediante la plantación de esta especie. Esta investigación se realizó en el cantón Colta con una pequeña implementación de vivero temporal, donde se estableció un diseño completamente al azar (DCA), conformado por 3 tratamientos, 3 repeticiones y un total de 108 unidades experimentales, para lo cual se utilizó 3 sustratos conformados de: T1 (Tierra negra 50% + cascarilla de arroz), T2 (Tierra negra 100%), T3 (Tierra negra 50% + humus 25% + cascarilla de arroz 25%). Las variables que fueron evaluadas tanto para el prendimiento y el desarrollo vegetativo fueron: número de plantas prendidas, altura total, diámetro a la altura del cuello y número de hojas. El análisis estadístico y la separación de medias para los datos obtenidos se utilizó la prueba te Tukey al 0,05% en el software InfoStat. Los resultados obtenidos mediante el análisis estadístico nos indicaron que el mejor tratamiento durante la investigación fue el T1 (Tierra negra 50% + cascarilla de arroz 50%) que alcanzó valores altamente significativos para el porcentaje de prendimiento y el desarrollo vegetativo en número de hojas frente al T2 y T3 que obtuvieron valores bajos. Se concluyó que el T1 (Tierra negra 50% + cascarilla de arroz 50%) es la mejor opción para la propagación asexual de aliso (Alnus acuminata, Kunth) debido a que presentó mejores resultados en este estudio. Se recomienda realizar investigaciones con un tiempo más prolongado para diferenciar el desarrollo vegetativo de la altura y diámetro a la altura del cuello de las estacas de esta especie.The study proposed to evaluate three types of substrates in the asexual propagation of alder (Alnus acuminata, Kunth) in the Inti Daquilema foundation, Riobamba canton, Chimborazo province, with the purpose of helping the communities to improve the soil by planting this specie. This research was carried out in Colta canton with a small implementation of a temporary nursery, where a completely randomized design (CRD) was established, consisting of 3 treatments, 3 replications and a total of 108 experimental units, for which 3 substrates were used: T1 (Black soil 50% + rice husk), T2 (Black soil 100%), T3 (Black soil 50% + humus 25% + rice husk 25%). The variables were evaluated for both the stand and vegetative development: number of plants set, total height, diameter at collar height and number of leaves. The statistical analysis and the separation of means for the data obtained used the Tukey test at 0.05% in the InfoStat software. The results obtained from the statistical analysis indicated that the best treatment during the research was T1 (black soil 50% + rice husk 50%), which reached highly significant values for the percentage of lodging and vegetative development in number of leaves compared to T2 and T3, which obtained low values. It was concluded that T1 (black soil 50% + rice husk 50%) is the best option for asexual propagation of alder (Alnus acuminata, Kunth) because it presented better results in this study. It is recommended to carry out research with a longer time to differentiate the vegetative development of the height and diameter at the height of the neck of the cuttings of these species

Identificación de cándidas en muestras de secreción vaginal en mujeres de edad fértil Centro Médico Sur Fundación Damas del Honorable Cuerpo Consular

PdfEn las últimas décadas, el impacto de las micosis en la salud pública mundial ha ido en aumento, debido entre otros factores a los tratamientos invasivos y las enfermedades debilitantes. Entre los microorganismos más comúnmente relacionados con las infecciones micóticas vaginales en mujeres en edad fértil están las Cándidas que es una de las infecciones más frecuentes en nuestro medio, por lo cual se considera de importancia conocer los factores que conllevan a la manifestación de dicha patología. Su diagnóstico en ocasiones resulta difícil, porque puede tener manifestaciones simples o combinaciones de síntomas de diferentes etiologías, siendo frecuente un comportamiento asintomático. El objetivo de esta investigación es la identificación de Cándidas que produce la infección y se contribuye con el mejoramiento de la paciente al proporcionar el diagnóstico certero para la elección del tratamiento adecuado. El universo estuvo constituido por 390 pacientes que acudieron al Laboratorio Clínico Sur de la Fundación Damas del Honorable Cuerpo Consular de la ciudad de Guayaquil a realizarse cultivos de secreción vaginal en el período comprendido desde noviembre del 2011 hasta abril del 2012, evidenciando 115 casos positivos para Cándidas que corresponden al 29.03% del total de pacientes. Dada la frecuencia significativa de las infecciones del tracto reproductivo en la mujer, así como, su repercusión biológica y social negativa es recomendable su pesquisa para su prevención y profilaxis desde el punto de vista epidemiológico y para su tratamiento. Los resultados fueron puestos a consideración del médico tratante, siendo un reporte viable porque la autora del proyecto labora en el departamento y tiene acceso a la información. In recent decades, the impact of mycosis in global public health has been increasing, due among other factors to the invasive and debilitating diseases. Among the microorganisms most commonly associated with vaginal yeast infections in women of childbearing age are the Candida which is one of the most common infections in our environment, so it is considered important to understand the factors that lead to the manifestation of this disease. Its diagnosis is sometimes difficult, because you can have simple expressions or combinations of symptoms of different etiologies, with frequent asymptomatic behavior. The objective of this research is the identification of the infecting Candida and contributes to the improvement of the patient by providing accurate diagnosis to appropriate treatment choice. The sample consisted of 390 patients who attended the Southern Clinical Laboratory Foundation Honorable Ladies of the Consular Corps of the city of Guayaquil to vaginal secretion cultures performed in the period from November 2011 to April 2012, 115 cases showing positive Candida corresponding to 29.03 % of patients. Given the significant frequency of reproductive tract infections in women, as well as their biological and negative social impact is recommendable to research for prevention and prophylaxis from the epidemiological point of view and for treatment. The results were submitted to the consideration of the treating physician, a report being viable because the author of the project works in the department and has access to information

Percepción de Calidad de Vida en Pacientes Adultas de 18 a 59 Años con Cáncer de Cuello Uterino Atendidas en el Servicio de Oncología del Hospital Goyeneche Arequipa, 2018.

La presente investigación tuvo como objetivo: Determinar la percepción de calidad de vida en pacientes adultas de 18 a 59 años con cáncer de cuello uterino atendidas en el Servicio de Oncología del Hospital Goyeneche- MINSA, - Arequipa, 2018. Identificar cuáles son las características sociodemográficas de las pacientes. El diseño de investigación fue de campo de tipo descriptivo, prospectivo y de corte transversal; Con una muestra de 68 pacientes que fueron atendidas durante el periodo del 5 de Mayo al 5 de Junio. Utilizando como instrumento el Cuestionario QLQC30 versión 3.0. Encontrándose como resultados que un 41.2% se encuentra en el rango de edad de 50 a 59 años, seguido de un 29.4% que se encuentra en el rango de 30 a 39 años, 35.3% de las pacientes refieren haber cursado el grado de instrucción de primaria mientras que solo el 17.6% de pacientes cursaron educación técnica o superior. El 45.6% se encontraron en el estadio II de cáncer de cuello uterino hallándose solo un 14.7% en estadio IV. Al aplicar el instrumento el 63.2% de las pacientes presentaron mala calidad de vida y un 36.8% presentaron percibir buena calidad de vida. El área de funcionamiento y de sintomatología presentó una relación significativa con el estadio de cáncer de cuello uterino. Se concluyó que la percepción de calidad de vida en pacientes adultas de 18 a 59 años con cáncer de cuello uterino fue de mala calidad de vida, relacionada significativamente con el estadio que se encuentra la neoplasia y el tratamiento que es recibido Palabras claves: Calidad de Vida – Cáncer de Cuello Uterino  Tesi

Perfeccionismo en niños de primaria en una institución educativa nacional de la ciudad de Lambayeque – Perú durante octubre – diciembre 2019

La presencia del perfeccionismo genera diversos malestares significativos en el desarrollo de la persona. En niños se ha demostrado que las constantes demandas de los padres aumentan la posibilidad de desarrollar el perfeccionismo, así mismo se encuentra asociado a variables clínicas como la depresión, síntomas de dependencia y trastornos alimenticios. La presente investigación de tipo descriptiva, tuvo como objetivo general determinar los niveles del perfeccionismo según sexo y edad en una institución educativa nacional en la ciudad de Lambayeque durante los meses de octubre a diciembre del 2019. Para ello, se trabajó con una población constituida por 126 alumnos pertenecientes al quinto y sexto grado de primaria con edades comprendidas entre 10 a 12 años (M= 11.2, DE= 0.665), quienes fueron evaluados mediante la Escala de Perfeccionismo Infantil de Oros (2003), validada en Lima-Perú por Ventura, Jara, García y O11rtiz en el año 2018. Los resultados evidencian que en la dimensión Autodemandas existen una tendencia media alta en los varones, así como en los grupos de edad de 10, 11 y 12. En la dimensión Reacción ante el Fracaso, las mujeres presentan una tendencia media alta, mientras que, por grupos de edad, los niños de 10 años evidencian una tendencia alta. Por otro lado, no se encuentran diferencias significativas entre las variables sexo y edad. Finalmente se concluye que existe la presencia del perfeccionismo en la población

Polyubiquitination and SUMOylation Sites Regulate the Stability of ZO-2 Protein and the Sealing of Tight Junctions

Tight junctions (TJs) regulate the transit of ions and molecules through the paracellular pathway in epithelial cells. Zonula occludens 2 (ZO-2) is a cytoplasmic TJ protein. Here, we studied the ubiquitination of hZO-2 employing mutants of SUMOylation site K730 present in the GuK domain and the putative ubiquitination residues K759 and K992 located at the GuK domain and proline-rich region, respectively. In immunoprecipitation experiments done with MDCK cells transfected with wild-type (WT) hZO-2 or the ubiquitination-site mutants hZO-2-K759R or -K992R, we observed diminished ubiquitination of the mutants, indicating that residues K759 and K992 in hZO-2 are acceptors for ubiquitination. Moreover, using TUBES, we found that residues K759 and K992 of hZO-2 are targets of K48 polyubiquitination, a signal for proteasomal degradation. Accordingly, compared to WT hZO-2, the half-life of hZO-2 mutants K759R and K992R augmented from 19.9 to 37.3 and 23.3 h, respectively. Instead, the ubiquitination of hZO-2 mutant K730R increased, and its half-life diminished to 6.7 h. The lack of these lysine residues in hZO-2 affects TJ sealing as the peak of TER decreased in monolayers of MDCK cells transfected with any of these mutants. These results highlight the importance of ZO-2 ubiquitination and SUMOylation to maintain a healthy and stable pool of ZO-2 molecules at the TJ

Inteligencia emocional en adolescentes de 4to de secundaria de una Institución Educativa pública/particular de Piura, 2021

El actual estudio que tiene por nombre “Inteligencia emocional en adolescentes de 4to de secundaria de una Institución Educativa pública/particular de Piura”, por cual partió con un objetivo general de determinar las diferencias de la inteligencia emocional en los adolescentes de 4to de secundaria de una Institución Educativa pública/ particular de Piura. Asimismo, esta investigación es de un diseño descriptivo comparativo, con muestra de 145 educandos del 4to grado del nivel secundario de ambas casas de estudio en el año escolar 2021, empleando el Inventario de Inteligencia Emocional de BarOn ICE NA- Forma Abreviada como instrumento evaluador. Luego de realizar el análisis de resultados, se pudo ultimar que las disimilitud entre el grado de inteligencia emocional en ambas casas de estudio son significativos por el hecho de que la institución educativa particular mostró un porcentaje mayor en cuanto a educandos con una inteligencia emocional muy desarrollada y no sólo a nivel general sino a nivel de dimensiones; en tal sentido se encuentra a un nivel diferente que el de la institución educativa pública y por ende se aceptó la hipótesis de investigación debido a que las diferencias entre estas dos casas de estudio fueron significativas.The current study called ""Emotional intelligence in adolescents of 4th grade of a public / private Educational Institution of Piura"", for which started with a general objective of determining the differences of emotional intelligence in adolescents of fourth grade of an Educational Institution public / private of Piura. Likewise, this research is of a comparative descriptive design, with a sample of 145 students of the fourth grade of the secondary level of both houses of study in the 2021 school year, using the Emotional Intelligence Inventory of BarOn ICE NA- Abbreviated Form as evaluation instrument. After carrying out the analysis of the results, it was possible to conclude that the dissimilarities between the level of emotional intelligence in both houses of study are significant due to the fact that the I.E., private showed a higher percentage in terms of students with highly developed emotional intelligence and not only at a general level but also at the level of dimensions; In this sense, it is at a different level than that of the I.E. The research hypothesis was therefore accepted because the differences between these two study houses were significantTesi