Memory Usage Inference for Object-Oriented Programs

We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias annotations, our inference system will compute the amount of memory required by the methods to execute successfully as well as the amount of memory released when methods return. The obtained analysis results are useful for networked devices with limited computational resources as well as embedded software.

On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs

A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper provides two algorithms, one serial and one parallel, to maintain series-parallel (SP) relationships "on the fly" for fork-join multithreaded programs. The serial SP-order algorithm runs in O(1) amortized time per operation. In contrast, the previously best algorithm requires a time per operation that is proportional to Tarjan’s functional inverse of Ackermann’s function. SP-order employs an order-maintenance data structure that allows us to implement a more efficient "English-Hebrew" labeling scheme than was used in earlier race detectors, which immediately yields an improved determinacy-race detector. In particular, any fork-join program running in T₁ time on a single processor can be checked on the fly for determinacy races in O(T₁) time. Corresponding improved bounds can also be obtained for more sophisticated data-race detectors, for example, those that use locks. By combining SP-order with Feng and Leiserson’s serial SP-bags algorithm, we obtain a parallel SP-maintenance algorithm, called SP-hybrid. Suppose that a fork-join program has n threads, T₁ work, and a critical-path length of T[subscript ∞]. When executed on P processors, we prove that SP-hybrid runs in O((T₁/P + PT[subscript ∞]) lg n) expected time. To understand this bound, consider that the original program obtains linear speed-up over a 1-processor execution when P = O(T₁/T[subscript ∞]). In contrast, SP-hybrid obtains linear speed-up when P = O(√T₁/T[subscript ∞]), but the work is increased by a factor of O(lg n).

La Participació estudiantil a la universitat com a oferta docent. L'experiència pilot de la UPF en un context institucional de canvis

Aquesta ponència tracta sobre la baixa participació estudiantil a les universitats públiques catalanes i l’experiència d’una assignatura pilot sobre participació estudiantil a la Universitat Pompeu Fabra (UPF). Primer, es fa una diagnosi de l’estat de la participació estudiantil per plantejar, entre algunes de les mesures per intentar incrementar la participació, la formació en aquest àmbit. En segon lloc, s’explica l’experiència pilot de la realització d’una assignatura de lliure elecció sobre participació estudiantil a la universitat des del procés d’elaboració del programa fins la implementació en dos cursos acadèmics. Es conclou amb una avaluació de l’experiència docent destacant els aspectes positius i les seves limitacions

Implementation of training programs in self-regulated learning strategies in Moodle format : Results of a experience in higher education

Resumen tomado de la publicaci??n

The ISSA Pedagogical Standards: a tool to influence quality in early childhood programs

The ISSA Pedagogical Standards were first published in 2001 as a network-developed tool that defined quality in teaching practices and the classroom environment and captured the changes that had occurred in the region since 1994 when the Step by Step Program, an initiative to promote democratic principles in early childhood development and education, was launched. The Program was built on belief that each child has the right to receive maximum support for the development of his or her full potential, and this work should be done in partnership and close cooperation with families, communities and professionals

Abstraction: From Transistors to Computers and from Bits to Programs

Takes the Tanenbaum (Structured Computer Organisation) approach to show how application of successive levels of abstraction allow us to understand how computers are made from transitors and how they are programmed.

Efecto del flujo del dializado sobre la ganancia interdialítica en hemodiálisis crónica (Estudio FLUGAIN)

Objetivos: Determinar si existe diferencia en la ganancia interdialítica entre los pacientes al ser tratados con flujo de dializado (Qd) de 400 mL/min y 500 mL/min. Diseño: Se realizó un estudio de intervención, cruzado, aleatorizado, doble ciego en pacientes con enfermedad renal crónica en hemodiálisis para determinar diferencias en la ganancia de peso interdialítica entre los pacientes tratados con flujo de dializado (Qd) de 400 ml/min y 500 ml/min. Pacientes: Se analizaron datos de 46 pacientes en hemodiálisis crónica con Qd de 400 ml/min y 45 con Qd de 500 ml/min. Análisis: La prueba de hipótesis para evaluar diferencias en la ganancia interdialítica y las otras variables entre los grupos se realizó mediante la prueba T para muestras pareadas. Para el análisis de correlación se calculó el coeficiente de Pearson. Resultados: No hubo diferencia significativa en ganancia interdialítica usando Qd de 400 ml/min vs 500 ml/min (2.37 ± 0.7 vs 2.41 ± 0.6, p=0.41) ni en Kt/V (1.57 ± 0.25 vs 1.59 ± 0.23, p = 0.45), potasio (4.9 ± 1.1 vs 5.1 ± 1.0, p=0.45), fosforo (4.5 ± 1.2 vs 4.4 ± 1.2, p=0.56) o hemoglobina (11.3 ± 1.8 vs 11.3 ± 1.6, p=0.96). Conclusiones: En pacientes con peso ≤ 65 Kg el uso de Qd de 400 ml/min no se asocia con menor ganancia interdialítica de peso. No hay diferencia en la eficiencia de diálisis lo que sugiere que es una intervención segura a corto plazo.

SIDUR: development of an information system, using controlled vocabulary designed to the characterization and sample of population with and without disability, attended by Rehabilitation programs, University of Rosario

Introduction: the statistical record used in the Field Academic Programs (PAC for it’s initials in Spanish) of Rehabilitation denotes generalities in the data conceptualization, which complicates the reliable guidance in making decisions and provides a low support for research in rehabilitation and disability. In response, the Research Group in Rehabilitation and Social Integration of Persons with Disabilities has worked on the creation of a registry to characterize the population seen by Rehabilitation PAC. This registry includes the use of the International Classification of Functioning, Disability and Health (ICF) of the WHO. Methodology: the proposed methodology includes two phases: the first one is a descriptive study and the second one involves performing methodology Methontology, which integrates the identification and development of ontology knowledge. This article contextualizes the progress made in the second phase. Results: the development of the registry in 2008, as an information system, included documentary review and the analysis of possible use scenarios to help guide the design and development of the SIDUR system. The system uses the ICF given that it is a terminology standardization that allows the reduction of ambiguity and that makes easier the transformation of health facts into data translatable to information systems. The record raises three categories and a total of 129 variables Conclusions: SIDUR facilitates accessibility to accurate and updated information, useful for decision making and research.

Community Health Managers: A Pilot Pedagogic Experience in the University of Rosario

The “Grupo de Estudios en Sistemas Tradicionales de Salud” from the School of Medicine of Universidad del Rosario, in agreement with the “Instituto de Etnobiología”, has designed a training course for a new health agent (the community health manager) meant to consider in its curriculum the difficulties, deficiencies and successes of the Primary Health Care Program. In particular, we have attended OMS suggestions in terms of adequate training of local leaders who should look for self-responsibility and selfdetermination in health care coverage. This training proposal is meant to take into account diverse cultures and traditions in order to offer health care models able to consider cultural particularities, epidemiological profiles, and contextual possibilities, with an intercultural point of view. Hence, the training course’s objective is to offer working tools so that community leaders be able to value and promote traditional health knowledge and practices; seek for food security by means of recovery of traditional productive systems or adaptation of appropriate technologies; environment conservation; use of medicinal plants especially in self-care, and stimulation of community and institutional health promotion activities. Preliminary evaluation suggests that this new health agent will be able to set bridges between communities and health care offers available, always looking for healthy ways of life, culturally and environmentally friendly.

Preliminary population study of Methylenetetrahydrofolate Reductase (MTHFR) C677T polymorphism determination in a pilot group of students from the University of Rosario

 Introduction: the 5, 10-methylenetetrahydrofolate reductase (MTHFR) is an essential enzyme in folate metabolism; their polymorphisms have been associated with heart disease risk increase, obstetric problems, neural tube defects in fetuses and cancer susceptibility. This gene has a single nucleotide polymorphism, a C-T change at nucleotide 677, which affects significantly its enzymatic activity. Objective: because of the biological importance of this enzyme and the Colombian population genetic heterogeneity characteristic, a study was performed to determine allele and genotype frequencies of MTHFR C677T polymorphism in healthy individuals, taking into account that in Colombia there are only studies that have involved case-control methodology. Methods: we analyzed this polymorphism trough the amplification of the DNA of a 206 students sample population. Additionally, Colombian overall frequencies were calculated, using data from healthy controls reported in other studies. Results: a Hardy-Weinberg disequilibri m was found in the sample tested. For the Colombian data, we found that the global population was in equilibrium. Conclusion: T allele population frequency seems to be under positive selection pressure, which is reflected in the population allele increase, despite its deleterious effect. A Spanish study reported similar results and identified folic acid supplementation on expectant mothers as a probably cause of this change. 

Excessive work or addiction to work: workaholism in a Colombian company. Pilot study trough application of DUWAS test

This paper examines the workaholism phenomenon in different work situations in Colombian company. Workaholism was defined as the individual’s steady and considerable allocation of time to work, which is not derived from external necessities (1). The research studies about workaholics and workaholism have been increasing a lot in the last years (2). Workaholism is an addiction that actually is affecting a lot of people around the world and has serious consequences in personal life, in the community and also in economy. Some of these researches are directed to explore ways to diagnose when a person is workaholic and when this situation may affect the performanceof the individual in work, daily life activities and especially in psychosocial area. Objective: this pilot study contributes to identify if Colombian workers present the main characteristicsof workaholism and if the job they perform is related to the presence of the characteristics of this addiction. Materials and method: for this pilot study used the Dutch Work Addiction Scale(DUWAS), this test suggests when a person has work addiction, trough the evaluation of two main components working excessively and working compulsively. Results: the study find differences for the two groups: the 67% of the AE group are over the average while only the 33% of the members of the O group are over it. Conclusions: these percentages show that the combinations of the components of workaholism are more evident in the population belonging to the administrative/executive jobs group, giving evidence that workaholism is presented in greater proportion in the population performance management positions.

Performance indicators for the physical therapy program’s field academic programs at the Universidad del Rosario for 2004-2007.

Introducción: El programa de Fisioterapia de la Universidad del Rosario, en su responsabilidad social de generar un impacto positivo en la comunidad y en su propósito de formar profesionales, cuenta con los Programas Académicos de Campo (PAC) que se consideran una fuerte estrategia de extensión de la Universidad. Los PAC contribuyen a la adquisición de competencias para el desarrollo de procesos de acción-actuación-creación en los estudiantes para que resuelvan problemas en un espacio real de ejercicio profesional. Bajo esta perspectiva los PAC del programa de Fisioterapia muestran su comportamiento a través de la medición de indicadores de proceso y resultados propuestos desde el Programa con el fin de proveer información útil para la reorientación y permanente actualización de los contenidos programáticos en las asignaturas y en los mismos PAC. Materiales y métodos: En el siguiente artículo se presenta un análisis de los indicadores de demanda por género, régimen de Seguridad Social en Salud, procedimiento y morbilidad de los Programas Académicos de Campo Integral Pediátrico, Integral de Adultos y Rehabilitación cardíaca y/o pulmonar, con el fin de establecer las características de la población objeto de la prestación de los servicios y procurar información verificable que dé soporte para la construcción de procesos de cambio dentro de la dinámica de mejoramiento continuo que debe tener cualquier institución. Este seguimiento es útil para la toma de decisiones de planeación académica que contribuye a mejorar los procesos de planeación y a facilitar el cumplimiento de los propósitos de formación para cada práctica, y de esta manera ayuda a ser elemento de análisis para directivas, instructores y estudiantes en la orientación del proceso de gestión académico-administrativo, y a retroalimentar los procesos de planeación y programación académica. Resultados: Los resultados arrojados en el análisis de los datos de la morbilidad en los programas académicos de campo muestran el siguiente comportamiento durante los años 2004, 2005, 2006 y 2007. Conclusiones: En el PAC pediátrico la mayor incidencia es de asma con un 37,2% y la más baja incidencia es para luxación congénita de cadera y enfermedad mental de origen central con un 0,1%. El 58% de los usuarios es de género masculino, y el 81% del total pertenece al régimen contributivo. En la morbilidad del PAC de adultos la mayor incidencia es de EPOC, con un 23,2%, y la menor incidencia es de lumbalgia, con un 2,4%. La mayoría de usuarios atendidos (58%) son hombres, y el 58% de los usuarios pertenece al régimen contributivo. En el PAC de rehabilitación cardíaca y/o pulmonar la mayor incidencia fue de EPOC, con un 40%; seguido de neumonía, con 17%; y con una menor incidencia para asma, con un 2%. El 54% de los usuarios son hombres y el 91% del total pertenece al régimen subsidiado.

Continuous improvement programs as processes for organizational learning: a case study of a company in the food products industry

This article intends to show the relationships between quality practices and the process of organizational learning. When we look at the literature about programs of continuous improvement we see that theoreticians consider that the process of organizational learning is a superior stage in the quality culture adopted by companies. To investigate this possibility, we put together a series of indicators taken from classic authors who have written about organizational learning. Adopting a multiple methodology, we applied these indicators to two plants belonging to the Nestlé food product company which have introduced continuous improvement programs over the last two years.

Ejercicio y resultados clínicos en pacientes con enfermedad de Parkinson: una revisión sistemática y metaanálisis

Antecedentes. La enfermedad de Parkinson (EP) es la segunda enfermedad neurodegenerativa más común en el mundo, la cual afecta el componente físico, psicológico y social de los individuos que la padecen. Numerosos estudios han abordado los beneficios de diferentes programas de ejercicio, llegando a ser una estrategia no-farmacológica efectiva para aminorar el deterioro funcional de los pacientes con EP. Objetivo. Determinar los efectos de las diferentes modalidades de ejercicio físico en los principales desenlaces clínicos en pacientes con EP. Métodos. Se consultaron las bases de datos MEDLINE, EMBASE, Scopus, CENTRAL y PEDro desde febrero de 1990 hasta febrero de 2014 para identificar Ensayos Clínicos Aleatorizados (ECA) publicados. Además, se examinaron las listas de referencias de otras revisiones y de estudios identificados. La extracción de datos se realizó por dos autores independientes. Se empleó un modelo de efectos aleatorios en presencia de heterogeneidad estadística (I2>50%). El sesgo de publicación fue evaluado mediante el gráfico de embudo. Resultados: Un total de 18 estudios fueron incluidos. Se encontraron diferencias estadísticamente significativas en las intervenciones con ejercicio y las siguientes medidas de resultado, severidad de los síntomas motores (MDS-UPDRS) DME 1.44, IC 95% [-2.09 a -0.78] (p<0.001) I2= 87,9% y el equilibrio DME 0,52 IC 95% [0,30 a 0,74] (p<0.001) I2= 85,6%. En el análisis de subgrupos en la modalidad de ejercicio aeróbico, en MDS-UPDRS DME -1,28, IC 95% [-1,98 a -0,59] (p<0.001), 3 calidad de vida DME -1,91 IC 95% [-2,76 a -1,07] (p<0.001), equilibrio DME 0,54 IC 95% [0,31 a 0,77] (p<0.001), 10-m WT DME 0,15 IC 95% [0,06 a 0,25] (p<0.001) y Vo2 máximo DME -1,09 IC 95% [-1,31 a -0,88] (p=0.001), 6MWT DME 40,46 IC 95% [11,28 a 69,65] (p=0.007). Conclusiones: El ejercicio aeróbico produjo mejoras significativas en MDS UPDRS, equilibrio, calidad de vida, 10-m WT y y Vo2 máximo; mientras que el ejercicio combinado mejoró la fuerza.