Improving Offender Programming, Data Download, Iowa Department of Corrections, June 2012

In 2008, the Iowa Department of Corrections embarked on a comprehensive audit of all institutional andcommunity corrections offender programs that receive corrections funding. The audit focused on the degree towhich each program adheres to evidence-based practices principles (what works best). The audit areas are listedbelow along with some examples of the questions asked about each program:

New Violence Risk Assessment Aids Parole and Offender Programming Decisions, Data Download, Department of Corrections

In recent years, the Department of Corrections has made major strides in assessing offenders’ risk to reoffend, particularly in measuring changes in that risk over time. Earlier this year, the DOC worked with the Board of Parole to develop a risk assessment that focuses on assessing offenders’ risk to commit violent crimes.

A bio-inspired agent-based programming environment for pervasive platforms

Abstract in English : Ubiquitous Computing is the emerging trend in computing systems. Based on this observation this thesis proposes an analysis of the hardware and environmental constraints that rule pervasive platforms. These constraints have a strong impact on the programming of such platforms. Therefore solutions are proposed to facilitate this programming both at the platform and node levels. The first contribution presented in this document proposes a combination of agentoriented programming with the principles of bio-inspiration (Phylogenesys, Ontogenesys and Epigenesys) to program pervasive platforms such as the PERvasive computing framework for modeling comPLEX virtually Unbounded Systems platform. The second contribution proposes a method to program efficiently parallelizable applications on each computing node of this platform. Résumé en Français : Basée sur le constat que les calculs ubiquitaires vont devenir le paradigme de programmation dans les années à venir, cette thèse propose une analyse des contraintes matérielles et environnementale auxquelles sont soumises les plateformes pervasives. Ces contraintes ayant un impact fort sur la programmation des plateformes. Des solutions sont donc proposées pour faciliter cette programmation tant au niveau de l'ensemble des noeuds qu'au niveau de chacun des noeuds de la plateforme. La première contribution présentée dans ce document propose d'utiliser une alliance de programmation orientée agent avec les grands principes de la bio-inspiration (Phylogénèse, Ontogénèse et Épigénèse). Ceci pour répondres aux contraintes de programmation de plateformes pervasives comme la plateforme PERvasive computing framework for modeling comPLEX virtually Unbounded Systems . La seconde contribution propose quant à elle une méthode permettant de programmer efficacement des applications parallélisable sur chaque noeud de calcul de la plateforme

La programmmation foetale de la dysfonction vasculaire pulmonaire chez la souris : rôle des mécanismes épigénétiques = Fetal programming of pulmonary vascular dysfunction in mice : role of epigenetic mechanisms

Rapport de synthèseDes événements pathologiques survenant pendant la période foetale prédisposent la descendance aux maladies cardiovasculaires systémiques. Il existe peu de connaissances au sujet de la circulation pulmonaire et encore moins quant aux mécanismes sous-jacents. La sous-alimentation maternelle pendant la grossesse peut représenter un modèle d'investigation de ces mécanismes, parce que chez l'animal et l'homme elle est associée à une dysfonction vasculaire systémique chez la progéniture. Chez le rat, la diète restrictive pendant la grossesse induit une augmentation du stress oxydatif dans le placenta. Les dérivés de l'oxygène sont connus pour induire des altérations épigénétiques et peuvent traverser la barrière placentaire. Nous avons dès lors spéculé que chez la souris la diète restrictive pendant la grossesse induit une dysfonction vasculaire pulmonaire chez sa progéniture qui serait liée à un mécanisme épigénétique.Pour tester cette hypothèse, nous avons examiné la fonction vasculaire pulmonaire et la méthylation de l'ADN pulmonaire à la fin de 2 semaines d'exposition à l'hypoxie chez la progéniture de souris soumises à une diète restrictive pendant la grossesse et des souris contrôles. Nous avons trouvé que la vasodilatation endothélium-dépendante de l'artère pulmonaire in vitro était défectueuse, et que l'hypertension pulmonaire et l'hypertrophie ventriculaire droite induites par l'hypoxie in vivo étaient exagérées chez la progéniture de souris soumises à une diète restrictive pendant la grossesse. Cette dysfonction vasculaire pulmonaire était associée avec une altération de la méthylation de l'ADN pulmonaire. L'administration d'inhibiteurs de la déacétylase des histones, le Butyrate et la Trichostatine-A à la progéniture de souris soumises à une diète restrictive pendant la grossesse a normalisé la méthylation de l'ADN et la fonction vasculaire pulmonaire. Finalement, l'administration du nitroxyde Tempol aux mères durant la diète restrictive pendant la grossesse a prévenu la dysfonction vasculaire et la dysméthylation chez la progéniture.Ces découvertes démontrent que chez la souris la sous-alimentation pendant la gestation induit une dysfonction vasculaire chez la progéniture qui est causée par un mécanisme épigénétique. Il est possible qu'un mécanisme similaire soit impliqué dans la programmation foetale de la dysfonction vasculaire chez les humains.

Programming of marginal zone B-cell fate by basic Kruppel-like factor (BKLF/KLF3).

Splenic marginal zone (MZ) B cells are a lineage distinct from follicular and peritoneal B1 B cells. They are located next to the marginal sinus where blood is released. Here they pick up antigens and shuttle the load onto follicular dendritic cells inside the follicle. On activation, MZ B cells rapidly differentiate into plasmablasts secreting antibodies, thereby mediating humoral immune responses against blood-borne type 2 T-independent antigens. As Krüppel-like factors are implicated in cell differentiation/function in various tissues, we studied the function of basic Krüppel-like factor (BKLF/KLF3) in B cells. Whereas B-cell development in the bone marrow of KLF3-transgenic mice was unaffected, MZ B-cell numbers in spleen were increased considerably. As revealed in chimeric mice, this occurred cell autonomously, increasing both MZ and peritoneal B1 B-cell subsets. Comparing KLF3-transgenic and nontransgenic follicular B cells by RNA-microarray revealed that KLF3 regulates a subset of genes that was similarly up-regulated/down-regulated on normal MZ B-cell differentiation. Indeed, KLF3 expression overcame the lack of MZ B cells caused by different genetic alterations, such as CD19-deficiency or blockade of B-cell activating factor-receptor signaling, indicating that KLF3 may complement alternative nuclear factor-κB signaling. Thus, KLF3 is a driving force toward MZ B-cell maturation.

Maximum likelihood Linear Programming Data Fusion for Speaker Recognition

Biometric system performance can be improved by means of data fusion. Several kinds of information can be fused in order to obtain a more accurate classification (identification or verification) of an input sample. In this paper we present a method for computing the weights in a weighted sum fusion for score combinations, by means of a likelihood model. The maximum likelihood estimation is set as a linear programming problem. The scores are derived from a GMM classifier working on a different feature extractor. Our experimental results assesed the robustness of the system in front a changes on time (different sessions) and robustness in front a change of microphone. The improvements obtained were significantly better (error bars of two standard deviations) than a uniform weighted sum or a uniform weighted product or the best single classifier. The proposed method scales computationaly with the number of scores to be fussioned as the simplex method for linear programming.

Hipertensión y edema pulmonar de altura. Rol de la disfunción endotelial y de la programación fetal [Pulmonary hypertension and lung edema at high altitude. Role of endothelial dysfunction and fetal programming].

High altitude constitutes an exciting natural laboratory for medical research. While initially, the aim of high-altitude research was to understand the adaptation of the organism to hypoxia and find treatments for altitude-related diseases, over the past decade or so, the scope of this research has broadened considerably. Two important observations led to the foundation for the broadening of the scientific scope of high-altitude research. First, high-altitude pulmonary edema (HAPE) represents a unique model which allows studying fundamental mechanisms of pulmonary hypertension and lung edema in humans. Secondly, the ambient hypoxia associated with high-altitude exposure facilitates the detection of pulmonary and systemic vascular dysfunction at an early stage. Here, we review studies that, by capitalizing on these observations, have led to the description of novel mechanisms underpinning lung edema and pulmonary hypertension and to the first direct demonstration of fetal programming of vascular dysfunction in humans.

Smooth height/age curves from stem analysis with linear programming

[Abstract]

A programming environment having three levels of complexity for mobile robotics = Entorno de programación con tres niveles de complejidad para robótica móvil

This paper presents a programming environment for supporting learning in STEM, particularly mobile robotic learning. It was designed to maintain progressive learning for people with and without previous knowledge of programming and/or robotics. The environment was multi platform and built with open source tools. Perception, mobility, communication, navigation and collaborative behaviour functionalities can be programmed for different mobile robots. A learner is able to programme robots using different programming languages and editor interfaces: graphic programming interface (basic level), XML-based meta language (intermediate level) or ANSI C language (advanced level). The environment supports programme translation transparently into different languages for learners or explicitly on learners’ demand. Learners can access proposed challenges and learning interfaces by examples. The environment was designed to allow characteristics such as extensibility, adaptive interfaces, persistence and low software/hardware coupling. Functionality tests were performed to prove programming environment specifications. UV BOT mobile robots were used in these tests

Fetal programming of pulmonary vascular dysfunction in mice: role of epigenetic mechanisms.

Insults during the fetal period predispose the offspring to systemic cardiovascular disease, but little is known about the pulmonary circulation and the underlying mechanisms. Maternal undernutrition during pregnancy may represent a model to investigate underlying mechanisms, because it is associated with systemic vascular dysfunction in the offspring in animals and humans. In rats, restrictive diet during pregnancy (RDP) increases oxidative stress in the placenta. Oxygen species are known to induce epigenetic alterations and may cross the placental barrier. We hypothesized that RDP in mice induces pulmonary vascular dysfunction in the offspring that is related to an epigenetic mechanism. To test this hypothesis, we assessed pulmonary vascular function and lung DNA methylation in offspring of RDP and in control mice at the end of a 2-wk exposure to hypoxia. We found that endothelium-dependent pulmonary artery vasodilation in vitro was impaired and hypoxia-induced pulmonary hypertension and right ventricular hypertrophy in vivo were exaggerated in offspring of RDP. This pulmonary vascular dysfunction was associated with altered lung DNA methylation. Administration of the histone deacetylase inhibitors butyrate and trichostatin A to offspring of RDP normalized pulmonary DNA methylation and vascular function. Finally, administration of the nitroxide Tempol to the mother during RDP prevented vascular dysfunction and dysmethylation in the offspring. These findings demonstrate that in mice undernutrition during gestation induces pulmonary vascular dysfunction in the offspring by an epigenetic mechanism. A similar mechanism may be involved in the fetal programming of vascular dysfunction in humans.

Python as a programming language for the introductory programming courses

Tämä kandidaatintyö tutkii tietotekniikan perusopetuksessa keskeisen aiheen,ohjelmoinnin, alkeisopetusta ja siihen liittyviä ongelmia. Työssä perehdytään ohjelmoinnin perusopetusmenetelmiin ja opetuksen lähestymistapoihin, sekä ratkaisuihin, joilla opetusta voidaan tehostaa. Näitä ratkaisuja työssä ovat mm. ohjelmointikielen valinta, käytettävän kehitysympäristön löytäminen sekä kurssia tukevien opetusapuvälineiden etsiminen. Lisäksi kurssin läpivientiin liittyvien toimintojen, kuten harjoitusten ja mahdollisten viikkotehtävien valinta kuuluu osaksitätä työtä. Työ itsessään lähestyy aihetta tutkimalla Pythonin soveltuvuutta ohjelmoinnin alkeisopetukseen mm. vertailemalla sitä muihin olemassa oleviin yleisiin opetuskieliin, kuten C, C++ tai Java. Se tarkastelee kielen hyviä ja huonoja puolia, sekä tutkii, voidaanko Pythonia hyödyntää luontevasti pääasiallisena opetuskielenä. Lisäksi työ perehtyy siihen, mitä kaikkea kurssilla tulisi opettaa, sekä siihen, kuinka kurssin läpivienti olisi tehokkainta toteuttaa ja minkälaiset tekniset puitteet kurssin toteuttamista varten olisi järkevää valita.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Simulation Supported Robot Programming using XML

The main objective of this master's thesis is to study robot programming using simulation software, and also how to embed the simulation software into company's own robot controlling software. The further goal is to study a new communication interface to the assembly line's components -more precisely how to connect the robot cell into this new communication system. Conveyor lines are already available where the conveyors use the new communication standard. The robot cell is not yet capable of communicating with to other devices using the new communication protocols. The main problem among robot manufacturers is that they all have their own communication systems and programming languages. There has not been any common programming language to program all the different robot manufacturers robots, until the RRS (Realistic Robot Simulation) standards were developed. The RRS - II makes it possible to create the robot programs in the simulation software and it gives a common user interface for different robot manufacturers robots. This thesis will present the RRS - II standard and the robot manufacturers situation for the RRS - II support. Thesis presents how the simulation software can be embedded into company's own robot controlling software and also how the robot cell can be connected to the CAMX (Computer Aided Manufacturing using XML) communication system.