Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Derechos de participación e información en programas dirigidos a adolescentes en escuelas secundarias de la Ciudad de Córdoba: cumplimiento progresivo y estrategias de promoción. Participation and information rights in programs for adolescents in secondary schools in Cordoba City: progressive implementation and promotion strategies.

Abordar la infancia desde el enfoque de derechos (ED) implica una lectura de los derechos de los cuales los niños, niñas y adolescentes (NNA) son titulares y de las acciones estatales que se implementan para viabilizar el ejercicio concreto de ellos. Esta perspectiva exige comprender los contenidos de las políticas púb,el grado de participación que se les asigna y los sentidos que ellas toman en términos de progresividad de los derechos. Los cambios de concepción de la infancia desde la Convención Internacional de los Derechos del Niño (CIDN) y los cambios legislativos interpelan al Estado y la sociedad a modificar la visión hegemónica. Nuestra hipótesis gira alrededor de las siguientes considerac.: se han producido algunas modificaciones en las políticas y acciones estatales, aún no se dan las transformaciones necesarias de las lógicas institucionales y de los operadores que estimulen la participación de NNA en el ámbito escolar. Esto se visualiza en la ausencia de análisis cuali de los contenidos de las acc. y la falta de ftes estadísticas específicas, que muestren la orientac.de los contenidos en los principios de la protecc.integral. Estos presupuestos plantean interrogantes que delimitan el problema de investigación: ¿cómo se construye y reconstruye el ejercicio de la ciudadanía a través de la participación de los NNA, en su paso por la escuela, y cuáles son las lógicas institucionales que habilitan u obstaculizan ese ejercicio? Y ¿cuáles son los recursos institucionales que permitan que los programas y acciones redunden en el ejercicio efectivo de los derechos?.Obj.gral: Describir, analizar e interpretar la progresividad en el ejercicio de los derechos de participación e informacióin que tienen los adolescentes en escuelas secundarias de la cd de Cba, durante 2005 / 2010, para promover espacios públicos de construcción de ciudadanía. Se analizarán tres escuelas de Córdoba, escuela pública provincial, púb. nacional y privada. Obj. Espec.: Analizar las prácticas participativas formales e informales en las escuelas seleccionadas.- Aplicar indicadores cuanti y cualitativos del “Sistema de Indicadores para los derechos de la Infancia” Describir y analizar los recursos materiales y humanos. Elaborar y proponer procedim. para la confec. de registros de datos estadísticos - Elaborar y proponer lineamientos para la elaborac.e implementac.de acciones. Diseñar herramientas de difusión sobre los ds de participación e información.Esta investigac. es de carácter descriptivo e interpretativo, analizará diferentes ftes de informac.con técnicas cuanti y cualitativas, durante período la promulgación de la Ley 26061/05 y la adhesión prov. 9396/07. Se tomarán del Sistema de Indicadores, el derecho a la educación, el tema transversal “Acceso a la información y participación”, y las categorías de análisis “Recepción del Derecho y Capacidades estatales”. Se trabajaran indicadores cuanti y señales de progreso (cualitativos): estructurales, proceso y resultados. Serán analizados los Programas implementados durante el período de estudio. Estrategias cuali observac. participante, entrevistas, grupos focales, talleres de sensibilización, etc .Otras ftes de info: doc. institucionales, registros, evaluac, contenidos de programas y campañas y de difusión, prensa escrita, legislaciones, etc. La info se analizará a través Programa Atlas Ti, y del análisis estadístico. Algunos resultados esperados: Evaluac.y ajuste del Sistema de indicadores, la sensibilizac. desde el EF de autorid. escol. para la formulac. de planes y programas para el monitoreo adecuado de los mismos y para la rendic. de ctas de su gestión. Estimular la participac. de NNA en la escuela. Realizac.de documental. Brindar herramientas al Edo para superv de la aplicación progresiva del ejercicio de los derechos de participación e información de NNA Promov la continua evaluac. de los programas y acc.desde el ED para estimular el reconoc. de la nec.de ajuste de la política. The issue of children from the rights focus implies a reading of the rights in which children and adolescents are the holders and the state actions that are implemented to enable the exercise of them. This perspective requires understanding the contents of the public policies, the participation level that is assigned, and the senses that they take in terms of rights progressivity of. The conception changes about children since the International Convention on the Rights of the Child and legislative changes challenge to the State and society to modify hegemony vision. Our hypothesis revolves around the following considerations: there have been some public policies and state actions changes, but they not turn out, yet, transformations in logical institutional and actors whose are encourages children participation in school. This could be reflects in the absence of qualitative analysis in the actions contents and the lack of sources specific statistics, that will be showing the control of the principal contents of integral protection. These, raise the questions that delimit our problem research: how is built citizenship exercise through children and adolescent’s participation in the school, and what are the institutional logical that empowers or turns difficult that exercise? And What are the institutional resources that make possible the effective exercise of the rights, through different programs and actions?. General Objective: To describe, analyze and interpret exercise progressivity participation and information rights that have the adolescents in secondary schools in Córdoba City during 2005 / 2010, in order to promote public spaces for the construction of citizenship. It will analyze three schools in Cordoba, provincial public school, national public school and private school. . Obj. Specifics: To analyze the formal and informal participative practices in the schools selected. - To apply quantitative and qualitative indicators of the “Indicators System for Infa

Transfer of radionuclides from soil to vegetation in selected Irish ecosystems

This thesis details the findings of a study relating the transfer of 238U, 228Ra (232Th), 226Ra, and 137Cs from soil to vegetation in an Atlantic blanket bog, upland blanket bog and semi-natural grassland situated along the north-west coast of Ireland. The results of this study provide information on the uptake of these radionuclides by the indigenous vegetation found present in these ecosystems. The ecosystems chosen are internationally recognizable ecosystems and provide a wide variety of vegetation species and contrasting soil physiochemical properties which allow the influence of these parameters on radionuclide uptake to be assessed. The levels of radionuclides in the soil and vegetation were measured using gamma spectrometry, alpha spectrometry and ICP-MS. The nutrient status of the vegetation and soil physiochemical properties were measured using atomic absorption, flame photometry and other analytical techniques. The results of the study indicate that the uptake of 238U and 228Ra (232Th) by vegetation from all three ecosystems was negligible as the levels in all vegetation was below the limits of detection for the methods used in this study. These results appear to indicate that the vegetation studied do not possess the ability to accumulate significant levels of these radionuclides however this assumption cannot be upheld in the case of the Atlantic blanket bog as the levels in the soil of this ecosystem were too low for detection. Similar results were obtained for 226Ra uptake in both the Atlantic blanket bog and grassland for all vegetation with the exception of H. lanatus from the grassland ecosystem. Radium-226 uptake in upland blanket bog was higher and was detectable in the majority of vegetation indigenous to this ecosystem. Transfer factor values ranged from 0.07 to 2.35 and the TF values for E. tetralix were significantly higher than all other vegetation studied. This species of heather demonstrated the ability to accumulate 226Ra to a greater extent than all other vegetation. The uptake of 226Ra by upland blanket bog vegetation appears to be significantly influenced by a range of soil physiochemical properties. The nutrient status of the vegetation, in particular the calcium content in the vegetation appears to have a negative impact on the uptake of this radionuclide. Potassium-40 was detectable in all vegetation present in the three ecosystems and the levels in the grassland soil were significantly higher than the levels in both bogland soils. Transfer factor values for Atlantic blanket bog vegetation ranged from 0.9 to 13 .8 and were significantly higher in E. vaginatum in comparison to C. vulgaris. Potassium-40 TF values for upland blanket bog vegetation on average ranged from 1.4 for C. vulgaris (stems) to 5.2 for E. vaginatum and were statistically similar for all species of vegetation. Transfer factor values for grassland vegetation ranged from 0.7 to 3.8 and were also statistically similar for all species of vegetation indicating that the transfer of 40K to vegetation within the upland bog and grassland ecosystem is not dependent on plant species. Comparisons of 40K TF values for all three ecosystems indicate that the uptake in E. vaginatum from the Atlantic blanket bog was statistically higher than all other vegetation studied. This appears to indicate that E. vaginatum has the ability to accumulate 40K, however, this species of vegetation was also present in the upland blanket and did not demonstrate the same behaviour. The uptake of 40K by vegetation from all three ecosystems was significantly affected by a range of soil physiochemical properties and in some cases the results were contradictory in nature possibly indicating that the affect of these parameters on 40K uptake is species dependent. The most obvious trend in the data was the influence of soil CEC and magnesium levels in vegetation on 40K TF values. A positive correlation was apparent between the CEC of the soil and 40K uptake in vegetation from both the Atlantic blanket bog and grassland ecosystem. A similar trend was apparent between magnesium levels in vegetation and 40K TF values for the upland blanket bog and grassland vegetation. Caesium-13 7 levels were found to be significantly higher in the two bogland soils in comparison to the grassland soil and levels of 137Cs decreased with increasing soil depth. Transfer factor values for Atlantic blanket bog vegetation ranged from 1.9 to 9.6 and TF values were significantly higher in the leaves o f C. vulgaris in comparison to all other vegetation from this ecosystem. Caesium-13 7 TF values for the upland blanket bog vegetation on average ranged from 0.29 for E. tetralix to 1.6 for C. vulgaris. Uptake by the leaves of C. vulgaris was significantly higher than all other vegetation present thereby supporting the trend found within the Atlantic blanket bog vegetation. These results appear to indicate that the leaves of C. vulgaris have the ability to accumulate significant quantities of 137Cs and also that the uptake of 137Cs by this vegetation is dependent on plant compartment as the stems of this vegetation contained significantly lower levels than the leaves in both ecosystems. The uptake of 137Cs by grassland vegetation was very low and was only detectable in a fraction of the vegetation sampled. Caesium-137 TF values for grassland vegetation were in general lower than 0.02. The impact of soil physiochemical properties and nutrient status of vegetation on 137Cs uptake by vegetation appears to be complex and in some cases contradictory. The most apparent trend in the data was the positive influence of vegetation nutrients on 137Cs uptake in particular the magnesium levels present in the vegetation and to a lesser extent the calcium levels present. The results in general indicate that the uptake of 226Ra, 40K and 137Cs by the chosen vegetation is varied and complex and is significantly dependent on the species of vegetation, soil radionuclide concentration, soil physiochemical properties and the nutrient status of the vegetation.

Experimental study of local heat transfer during quenching of metals by spray and multiple jets

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2011

Mass transfer effects on reactive separation processes - discovery of reactive arrheotropes

Membrane reactor, reactive membrane separation, arrheotrope, azeotrope, dusty gas model, esterification, residue curve map, distillation, kinetics, singular point, bifurcation

Experimental investigation of heat transfer characteristics from arrays of free impinging circular jets and hole channels

Free Tube Jet - Impingemenet - Heat Transfer - Arrary - Infrared Techuique - Hole Channels - Heat Transfer Uniformaty

Heat and mass transfer in tubular inorganic membranes

Inorganic membranes, permeation, diffusion, heat transfer, mass transfer, axial dispersion

Regenerative action of the wall on the heat transfer for directly and indirectly heated rotary kilns

Rotary kilns, Regenerative wall, heat transfer, directly fired, indirectly fired

Möglichkeiten und Grenzen des Distance Learning am Beispiel des Alberta Distance Learning Centre in Kanada : Analyse und Transfer auf den Schulkontext Sachsen-Anhalts

Distance learning, Canadian educational system, institution, medial learning, school system Saxony-Anhalt, system theory, qualitative research

Impuls und Transfer : literarische Feldbildungsprozesse in Magdeburg im 17. und 18. Jahrhundert

Magdeburg, Univ., Fak. für Geistes-, Sozial- und Erziehungswiss., Diss., 2007

Pulmonary Embolism Mortality in Brazil from 1989 to 2010: Gender and Regional Disparities

Abstract Background: A significant variation in pulmonary embolism (PE) mortality trends have been documented around the world. We investigated the trends in mortality rate from PE in Brazil over a period of 21 years and its regional and gender differences. Methods: Using a nationwide database of death certificate information we searched for all cases with PE as the underlying cause of death between 1989 and 2010. Population data were obtained from the Brazilian Institute of Geography and Statistics (IBGE). We calculated age-, gender- and region-specific mortality rates for each year, using the 2000 Brazilian population for direct standardization. Results: Over 21 years the age-standardized mortality rate (ASMR) fell 31% from 3.04/100,000 to 2.09/100,000. In every year between 1989 and 2010, the ASMR was higher in women than in men, but both showed a significant declining trend, from 3.10/100,000 to 2.36/100,000 and from 2.94/100,000 to 1.80/100,000, respectively. Although all country regions showed a decline in their ASMR, the largest fall in death rates was concentrated in the highest income regions of the South and Southeast Brazil. The North and Northeast regions, the lowest income areas, showed a less marked fall in death rates and no distinct change in the PE mortality rate in women. Conclusions: Our study showed a reduction in the PE mortality rate over two decades in Brazil. However, significant variation in this trend was observed amongst the five country regions and between genders, pointing to possible disparities in health care access and quality in these groups.

Influence of the wall on the heat transfer process in rotary kiln

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2010

Objectives of social entrepreneurs and federal lending programs, and the optimal allocation of external funds

Magdeburg, Univ., Fak. für Wirtschaftswiss., Diss., 2010

Measuring and predicting non-functional properties of customizable programs

Magdeburg, Univ., Fak. für Informatik, Diss., 2012

Mathematical model to analyze the heat transfer in tunnel kilns for burning of ceramics

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2013