A Compilation Strategy for Numerical Programs Based on Partial Evaluation

This work demonstrates how partial evaluation can be put to practical use in the domain of high-performance numerical computation. I have developed a technique for performing partial evaluation by using placeholders to propagate intermediate results. For an important class of numerical programs, a compiler based on this technique improves performance by an order of magnitude over conventional compilation techniques. I show that by eliminating inherently sequential data-structure references, partial evaluation exposes the low-level parallelism inherent in a computation. I have implemented several parallel scheduling and analysis programs that study the tradeoffs involved in the design of an architecture that can effectively utilize this parallelism. I present these results using the 9- body gravitational attraction problem as an example.

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).

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

Diagnostic value of the Dominic Interactive Assessment with children exposed to intimate partner violence

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.

Análisis de los programas de la agencia española de cooperación internacional para el desarrollo dirigidos a las mujeres en la lucha contra el vih/sida en mozambique (2005-2010)

En este estudio de caso pretende dar respuesta a que factores vitalizan la cooperación Española en Mozambique a través del análisis de programas como el VITA, dirigidos específicamente al desarrollo y mejoramiento de la salud en el continente Africano. Este estudio de caso se centra en el investigación de los discursos de desarrollo que se fundamentan en las políticas internacionales de cooperación , basadas en la existencia de una enfermedad como el VIH que ha puesto en manifiesto la interacción entre la esfera biológica y social , social e individual entre el fenómeno existencial y cultural, lo que fundamenta su importancia y estudio. Se ha escogido esta herramienta de investigación social, en este estudio de caso, para abordar la forma en que funciona y opera la AECID en Mozambique a través de los programas con enfoque de género encaminados al problema del VIH. Se pretende dar a conocer el desarrollo en materia de la cooperación internacional de una organización tan importante como la AECID, cuyos proyectos gozan de una gran credibilidad en cuanto a la ejecución de sus acciones y que en general dichos proyectos se adecuan a las necesidades de la población, a los objetivos de desarrollo nacionales y a las prioridades de la cooperación española.

Prevalencia y factores asociados al embarazo y su reincidencia en adolescentes colombianas

Introducción: El embarazo en adolescentes es uno de los problemas de salud pública más relevantes a nivel mundial. En Colombia, las políticas no han sido efectivas para disminuir la tasa de embarazo en edades tempranas, ni para impedir la reincidencia de la gestación. Este estudio caracteriza esta problemática determinando la prevalencia y los factores asociados tanto del embarazo en adolescentes como de su reincidencia. Métodos: Estudio de corte transversal comparativo a partir de 13,313 adolescentes colombianas respondientes de la Encuesta Nacional de Demografía y Salud, 2010. Se realizaron regresiones multinomiales para comparar el grupo de adolescentes no embarazadas con las que tuvieron uno o varios embarazos y regresión logística para comparar el grupo de embarazo único y el reincidente. Resultados: El 13.3% tuvieron un embarazo y el 3.5% más de uno. Al comparar con las adolescentes que no se embarazaron: a) las adolescentes que tuvieron un embarazo fueron mayores, convivían con su pareja, vivían con más personas, fuera de la familia de origen y habían sido víctimas de abuso sexual y maltrato físico. La probabilidad de embarazo disminuyo en aquellas adolescentes que tenían más recursos económicos, deseaban un menor número de hijos, asistían al colegio, habían usado planificación familiar y recibido educación sexual. b) En las adolescentes que tuvieron más de un embarazo se asociaron los mismos factores sin embargo no hubo diferencias regionales ni asociación con el número deseado de hijos, se encontraron otros factores como el menor nivel educativo y las mujeres de raza negra. La reincidencia también se asocio con la edad mayor del primer compañero sexual, la ausencia de control prenatal y haber tenido un recién nacido prematuro. Conclusiones: Este estudio utilizó una muestra representativa de las adolescentes colombianas. Demuestra tanto las dimensiones del problema como los factores que se encuentran asociados al mismo con lo cual se podrán direccionar programas de prevención adecuados

Regarding the classification of a partner or shareholder as a dependant employee

This article analyzes the juridical controversy related to whether a person that providesservices to a company in which is partner, can be qualified or considered as adependent employee of it. In order to accomplish that purpose, the article providesa critical study of the doctrine of the Chilean Department of Labor (Dirección deTrabajo) in contrast to the jurisprudence of the Chilean courts of justice. From there,the author develops criteria that can serve as guidance towards the resolution of disputesof this nature. To this end, an interdisciplinary study is done, which combinesboth the essential elements of the contract of employment, mainly the element ofalienation, with the characteristics of each type of company.

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.

Description and analysis of pulmonary rehabilitation care programs current state in four cities of Colombia

Purpose: there are many studies reporting the benefits of pulmonary rehabilitation, but few of them exhibit the behavior and activities of these services. This article presents the characteristics of services, parts management and training level of team members, in addition to the variables or instruments used to measure the effectiveness and impact in these programs. Method: it was made a cross sectional convenience sample which included seven pulmonary rehabilitation services in four Colombian cities (Bogotá, Medellín, Manizales and Cali), selected by the coverage, for having at least one year of experience and for being formally established and recognized nationwide. The interdisciplinary team of each service answered a survey that was validated through a pilot test and expert consensus. Participation was voluntary. Results: labor onset pulmonary rehabilitation services correspond to an average of a decade, with COPD and asthma pathologies of attention. The programs are characterized by an outpatient treatment with an average duration of eight to twelve weeks, with a frequency of an hour three times a week. Also, the director of the service is regularly a pulmonologist and the coordinator a physiotherapist (57.14%). The posgradual training of these professionals is notable, and they report to have procedural, administrative and communicative skills, but qualify regular there research skills. The physical and technological resources are well tested. 71.42% have done impact studies, but only 28.57% have been published. All have in common training in upper limbs, lower limbs, respiratory muscles, counseling, functional assessment and quality of life. The effectiveness and impact of programs is measured by the walking test, quality of life questionnaires and activities of daily living.