2,856 research outputs found

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

    Full text link
    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

    An Application of SVM to Lost Packets Reconstruction in Voice-Enabled Services

    Get PDF
    Voice over IP (VoIP) is becoming very popular due to the huge range of services that can be implemented by integrating different media (voice, audio, data, etc.). Besides, voice-enabled interfaces for those services are being very actively researched. Nevertheless the impoverishment of voice quality due to packet losses severely affects the speech recognizers supporting those interfaces ([8]). In this paper, we have compared the usual lost packets reconstruction method with an SVM-based one that outperforms previous results

    Factores de riesgo que influyen en las quemaduras en menores de 11 años internados en el Hospital Marcial Quiroga de la provincia de San Juan

    Get PDF
    A nivel mundial las quemaduras en la infancia son una causa importante de morbilidad y mortalidad, representan la segunda causa de muerte, después de los accidentes de tráfico. El propósito de este trabajo es determinar e identificar cuáles son los factores de riesgos más frecuentes que ocasionan quemaduras en menores de 11 años que ingresaron al Servicio General de Quemados del Hospital Marcial Quiroga de la Provincia de San Juan, en durante los años 2013-2015. En esta investigación también se habla de cómo desde el punto de vista la enfermería contribuirá a educar a las personas, para aumentar la toma de conciencia de las misma y puedan evitar este tipo de accidentes. Es un estudio de tipo cuantitativo, descriptivo, de corte transversal exploratorio. Se tomó como muestra a todos los menores de 11 años ingresados al Servicio de Quemado de dicho hospital en los años 2013 al 2015 (143 en total). Los datos fueron obtenidos por medio de reportes de internados y altas hospitalarias proporcionadas por el personal administrativo del nosocomio.Fil: Miranda, Olga del Carmen. Universidad Nacional de Cuyo. Facultad de Ciencias Médicas. Escuela de Enfermería..Fil: Quiroga, Analía Yanina. Universidad Nacional de Cuyo. Facultad de Ciencias Médicas. Escuela de Enfermería.

    Plan de intervención para lograr la cobertura del calendario de vacunación en niños menores de 5 años que asiste al puesto de salud de Huinchos Andahuaylas, Apurimac - 2020

    Get PDF
    El estudio tuvo como objetivo, proponer el plan de intervención para lograr la cobertura del calendario de vacunación en niños menores de 5 años, Sensibilizar a las madres de los niños menores de 5 años sobre la importancia del cumplimiento del esquema de vacunación ,garantizar el cumplimiento del calendario de vacunas por parte de las madres en el niño menor de 5 años, implementar un consultorio diferenciado para inmunizaciones ,establecer un cronograma de visitas domiciliarias a las madres que no asisten con sus niños para la vacunación en la fecha indicada Considerando que la madre representa significativamente una de las bases primordiales para el cumplimiento de las vacunas dependerá de la información que reciba para que ella se sienta segura o insegura de la efectividad de las vacunas y pueda tomar una decisión respecto a la vacunación. Durante la atención ocurre una interacción entre enfermera y paciente donde la enfermera brinda información sobre la importancia, beneficios, contraindicaciones, reacciones adversas de la vacuna y cuidados post colocación de las vacunas

    Vermicomposting of biological sludge for coliforms reduction

    Get PDF
    Indexación: Web of Science; ScieloEn este trabajo se buscó establecer el efecto de la densidad inicial de lombrices en la remoción de patógenos, mediante vermicomposteo de lodo, usando como indicador el número más probable de coliformes fecales (NMPCF). El lodo utilizado se generó en una planta de aireación extendida, se trabajó con 4 densidades: alta con 0,2 kg lombrices/kg lodo, media con 0,1 kg lombrices/ kg lodo, baja con 0,05 kg lombrices/kg lodo y un blanco sin la adición de lombrices al lodo. Al segundo día de experimentación con la densidad media se logró una mayor remoción, estadísticamente significativa, del NMPCF que la obtenida con la densidad alta. El mismo día, todas las densidades lograron la clasificación de lodo clase B según United States Enviroment Protection Agency. Entre el día 13 y el 20 las muestras con densidades alta, baja y media lograron la clasificación clase A, no así el blanco. Al día 20 tanto la densidad media como la alta lograron el 100% de remoción de los coliformes fecales.The aim of the present study was to investigate the effect of stoking density on the pathogens reduction, through the sludge vermicomposting, using the most probable number of fecal coliforms as indicator. The sludge used was generated at an extended aeration system; the stoking density was investigated at 0.2, 0.1 and 0.05 kg-worms/kg-sludge plus a control without worms. At the second day of experimentation the 0.1 kg/kg density achieved a significantly higher removal than the 0.2 kg/kg density. In the same day, all the stoking densities achieved the United States Environment Agency class B sludge standards. Between the 13 and 20 day all the stoking densities, with the exception of the control, achieved the USEPA class A standards. On day 20 the removal in the two biggest stoking densities was 100%.https://aprendeenlinea.udea.edu.co/revistas/index.php/ingenieria/article/view/1596

    The Impact of Inattention, Hyperactivity/Impulsivity Symptoms, and Executive Functions on Learning Behaviors of Children with ADHD

    Get PDF
    Children diagnosed with attention deficit/hyperactivity disorder (ADHD) are at risk of experiencing lower academic achievement compared to their peers without ADHD. However, we have a limited understanding of the mechanisms underlying this association. Both the symptoms of the disorder and the executive functions can negatively influence learning behaviors, including motivation, attitude toward learning, or persistence, key aspects of the learning process. The first objective of this study was to compare different components of learning behaviors in children diagnosed with ADHD and typically developing (TD) children. The second objective was to analyze the relationships among learning behaviors, executive functioning, and symptoms of hyperactivity/impulsivity in both groups. Participants were 35 children diagnosed with ADHD and 37 with TD (7–11 years old), matched on age and IQ. The teachers filled out the Behavior Rating Inventory of Executive Function (BRIEF) and the Learning Behaviors Scale, which evaluates Competence/motivation, Attitude toward learning, Attention/persistence, and Strategy/flexibility. In addition, parents and teachers filled out the DSM-5 diagnostic criteria for ADHD. ANOVAs showed significant differences between children with ADHD and TD children on all the learning behaviors. Moreover, in both the ADHD and TD groups, the behavioral regulation index of the BRIEF predicted the search for strategies, and the metacognition index was a good predictor of motivation. However, attitude toward learning was predicted by metacognition only in the group with ADHD. Therefore, the executive functions had greater power than the typical symptoms of inattention and hyperactivity/impulsivity in predicting learning behaviors of children with ADHD. The findings are in line with other studies that support the influence of the executive functions on performance, highlighting the importance of including their development as a top priority from early ages in the school setting in order to strengthen learning behaviors.This work is supported by the Spanish State Research Agency (Agencia Española de Investigación, AEI) and the European Regional Development Fund (Fondo Europeo de Desarrollo Regional, FEDER) through the Project PSI2016-78109 (AEI/FEDER, UE) and by the University of Valencia (UV-INVPREDOC15- 265889)
    • …
    corecore