Por la intensificación de la investigación científica y de la formación humanística en las universidades

La Unesco fue, desde su iniciación, y sigue siéndolo, una gran esperanza de la humanidad para ayudar a forjar un mundo mejor. Tal es el pensamiento y tal es el sentimiento de todos los señores embajadores, delegados y representantes ante esta reunión extraordinaria. El programa de nuestra Organización tiende, ante todo, a dignificar al hombre. ¿Cómo puede dignificarlo? Defendiendo sus derechos, luchando contra la miseria y la ignorancia, reafirmando la confianza en las ventajas de la democracia, contribuyendo a la liberación espiritual de los pueblos oprimidos, ampliando las posibilidades de la criatura humana. Pero, además, su programa de acción debe tender a asegurar a todos los pueblos su participación en el movimiento ascensional de la humanidad y, desde luego, en su progreso científico y cultural, propendiendo a la preparación de mentalidades capaces de asegurar, con inteligencia y noble afán, la participación de cada nación, de cada pueblo, en la gran empresa que caracteriza a esta hora de avances prodigiosos. Nuestros pueblos no quieren ser meros espectadores de esta gigantesca campaña, de esta verdadera cruzada por la conquista del orbe: éste es el aspecto del programa de la Unesco en Ciencias Exactas y Naturales, del que quiero ocuparme brevemente. Párrafo extraído del texto a modo de resumen Departamento de Ciencias de la Educació

The Tree Width of Separation Logic with Recursive Definitions

Separation Logic is a widely used formalism for describing dynamically allocated linked data structures, such as lists, trees, etc. The decidability status of various fragments of the logic constitutes a long standing open problem. Current results report on techniques to decide satisfiability and validity of entailments for Separation Logic(s) over lists (possibly with data). In this paper we establish a more general decidability result. We prove that any Separation Logic formula using rather general recursively defined predicates is decidable for satisfiability, and moreover, entailments between such formulae are decidable for validity. These predicates are general enough to define (doubly-) linked lists, trees, and structures more general than trees, such as trees whose leaves are chained in a list. The decidability proofs are by reduction to decidability of Monadic Second Order Logic on graphs with bounded tree width.Comment: 30 pages, 2 figure

Verifying linearizability on TSO architectures

Linearizability is the standard correctness criterion for fine-grained, non-atomic concurrent algorithms, and a variety of methods for verifying linearizability have been developed. However, most approaches assume a sequentially consistent memory model, which is not always realised in practice. In this paper we define linearizability on a weak memory model: the TSO (Total Store Order) memory model, which is implemented in the x86 multicore architecture. We also show how a simulation-based proof method can be adapted to verify linearizability for algorithms running on TSO architectures. We demonstrate our approach on a typical concurrent algorithm, spinlock, and prove it linearizable using our simulation-based approach. Previous approaches to proving linearizabilty on TSO architectures have required a modification to the algorithm's natural abstract specification. Our proof method is the first, to our knowledge, for proving correctness without the need for such modification

Differences in the Prevalence of Non-Communicable Disease between Slum Dwellers and the General Population in a Large Urban Area in Brazil.

Residents of urban slums are at greater risk for disease than their non-slum dwelling urban counterparts. We sought to contrast the prevalences of selected non-communicable diseases (NCDs) between Brazilian adults living in a slum and the general population of the same city, by comparing the age and sex-standardized prevalences of selected NCDs from a 2010 survey in Pau da Lima, Salvador Brazil, with a 2010 national population-based telephone survey. NCD prevalences in both populations were similar for hypertension (23.6% (95% CI 20.9⁻26.4) and 22.9% (21.2⁻24.6), respectively) and for dyslipidemia (22.7% (19.8⁻25.5) and 21.5% (19.7⁻23.4)). Slum residents had higher prevalences of diabetes mellitus (10.1% (7.9⁻12.3)) and of overweight/obesity (46.5% (43.1⁻49.9)), compared to 5.2% (4.2⁻6.1) and 40.6% (38.5⁻42.8) of the general population in Salvador. Fourteen percent (14.5% (12.1⁻17.0)) of slum residents smoked cigarettes compared to 8.3% (7.1⁻9.5) of the general population in Salvador. The national telephone survey underestimated the prevalence of diabetes mellitus, overweight/obesity, and smoking in the slum population, likely in part due to differential sampling inside and outside of slums. Further research and targeted policies are needed to mitigate these inequalities, which could have significant economic and social impacts on slum residents and their communities

Breaking Organizational Eggs to Make an Innovation Cake: One Library\u27s Experience with Reorganization

This poster describes a major service realignment that integrated Instructional Designers, Media Specialists, Librarians, and Digital Scholarship Specialists into a new unit oriented around providing cutting edge technologies and services to students, faculty and staff. Highlighted is the digital assignment lifecycle, which serves as the philosophical underpinning to the structure of the unit, as well as illustration of new makerspace oriented facilities

The Effects of Institutional Factors on the Success of Community College Students

Community colleges are the gateway to higher education for many students who would otherwise have limited access to college, particularly those who are from low-income households or are ethnic minorities, first generation college students, or immigrants. Yet only about one-third of all community college students receives any degree or certificate even eight years after initial college enrollment. And credit accumulation and completion rates are even lower for minority and low-income students. Meanwhile, community college student outcomes, as measures of college effectiveness, are of increasing concern for institutional accountability. The Bush administration and many legislators in Congress would like to hold postsecondary institutions to higher standards of accountability, just as they have done with elementary and secondary schools. Institutional reporting requirements to the Department of Education now include data for graduation rates overall and broken out by gender and race/ethnicity. More than half of all states take into account the performance of public colleges when determining higher education appropriations

Building a Prediction Model for Vacuum-Assisted Operative Vaginal Delivery Risk

Aim: The objective of this study was to evaluate the risk factors for operative vaginal delivery and to propose a new nomogram for predicting the risk. Methods: We retrospectively analyzed the data of 1,955 pregnancies that occurred in our clinic between the years 2007 and 2008. Included were singleton pregnancies with labor diagnosis after the 36th gestational week in which spontaneous or operative vaginal deliveries occurred. In this study, the operative delivery was carried out exclusively by vacuum extraction. Results: After univariate analysis and multivariate logistic regression stepwise model selection, maternal age, nulliparity, medically assisted procreation, gestational age at birth, male fetus, epidural analgesia and medical induction of labor were found to be the most predictive variables for operative vaginal delivery. Considering these factors we propose a new nomogram for an objectified determination of the risk of operative vaginal delivery. Conclusions: The new nomogram we propose could be an important tool for an objectified determination of the risk of operative vaginal delivery by vacuum extraction in individualized patient counseling

Beyond Student Right-to-Know Data: Factors That Can Explain Community College Graduation Rates

Policymakers, educators, and researchers recognize the importance of community colleges as open door institutions that provide a wide range of students with access to college. At the same time, competing demands for the state funds that would support community colleges have resulted in reduced public allocations and higher student tuition fees. Understandably, therefore, both state policymakers and parents are increasingly focused on the returns to their public or private investments in education, and the outcomes of community college attendance are now under greater scrutiny. To facilitate the evaluation of the colleges, there are now available data, through the Student Right-to-Know and Campus Security Act (1990), which amended the Higher Education Act, on every college’s graduation rate for fall semester cohorts of first-time, fulltime (FTFT) students in degree programs. This information is known as the Student Right-to-Know (SRK) data. A related public concern is how the outcomes of community college students can be improved. Therefore, attempts are now being made to clarify the way that specific students define success and to identify the college policies and practices that can promote success for all students. For some community college students, college completion, defined as earning a degree or certificate, is the appropriate measure of success. For other students, success is demonstrated by transferring to a baccalaureate institution. Still others are satisfied with completing courses that increase their knowledge or skill level in a particular area even though their educational experience is not considered successful as defined by traditional educational outcomes