Robust probabilistic planning with ilao

In probabilistic planning problems which are usually modeled as Markov Decision Processes (MDPs), it is often difficult, or impossible, to obtain an accurate estimate of the state transition probabilities. This limitation can be overcome by modeling these problems as Markov Decision Processes with imprecise probabilities (MDP-IPs). Robust LAO* and Robust LRTDP are efficient algorithms for solving a special class of MDP-IPs where the probabilities lie in a given interval, known as Bounded-Parameter Stochastic-Shortest Path MDP (BSSP-MDP). However, they do not make clear what assumptions must be made to find a robust solution (the best policy under the worst model). In this paper, we propose a new efficient algorithm for BSSP-MDPs, called Robust ILAO* which has a better performance than Robust LAO* and Robust LRTDP, considered the-state-of-the art of robust probabilistic planning. We also define the assumptions required to ensure a robust solution and prove that Robust ILAO* algorithm converges to optimal values if the initial value of all states is admissible.     

Big Blue in the Bottomless Pit: The Early Years of IBM Chile

In examining the history of IBM in Chile, this article asks how IBM came to dominate Chile's computer market and, to address this question, emphasizes the importance of studying both IBM corporate strategy and Chilean national history. The article also examines how IBM reproduced its corporate culture in Latin America and used it to accommodate the region's political and economic changes.     

Gene expression changes in a transgenic mouse model overexpressing human wildtype and mutant torsinA

Primary torsion dystonia is an autosomal-dominantly inherited, neurodevelopmental movement disorder caused by a GAG deletion (ΔGAG) in the DYT1 gene, encoding torsinA. This mutation is responsible for approximately 70% of cases of early-onset primary torsion dystonia. The function of wildtype torsinA is still unknown, and it is unsolved how the deletion in the DYT1 gene contributes to the development of the disease. To better understand the molecular processes involved in torsinA pathology, we used genome-wide oligonucleotide microarrays to characterize gene expression patterns in the striatum of mouse models overexpressing the human wildtype and mutant torsinA. By this approach we were able to detect gene expression changes that seem to be specific for torsinA pathology. We found an impact of torsinA, independent from genotype, on vesicle trafficking, exocytosis, and neurotransmitter release in our mouse model. In addition, we were able to identify several new pathways and processes involved in the development of the nervous system that are affected by wildtype and mutant torsinA. Furthermore, we have striking evidence from our gene expression data that glutamate receptor mediated synaptic plasticity in the striatum is the affected underlying cellular process for impaired motor learning in human ΔGAG torsinA transgenic mice.     

Using OGRO and CertiVeR to improve OCSP validation for Grids

Authentication and authorization in many distributed systems rely on the use of cryptographic credentials that in most of the cases have a defined lifetime. This feature mandates the use of mechanisms able to determine whether a particular credential can be trusted at a given moment. This process is commonly named validation. Among available validation mechanisms, the Online Certificate Status Protocol (OCSP) stands out due to its ability to carry near real time certificate status information. Despite its importance for security, OCSP faces considerable challenges in the computational Grid (i.e. Proxy Certificate’s validation) that are being studied at the Global Grid Forum’s CA Operations Work Group (CAOPS-WG). As members of this group, we have implemented an OCSP validation infrastructure for the Globus Toolkit 4, composed of the CertiVeR Validation Service and our Open GRid Ocsp (OGRO) client library, which introduced the Grid Validation Policy. This paper summarizes our experiences on that work and the results obtained up to now. Furthermore we introduce the prevalidation concept, a mechanism analogous to the Authorization Push-Model, capable of improving OCSP validation performance in Grids. This paper also reports the results obtained with OGRO’s prevalidation rules for Grid Services as a proof of concept.

Central electron temperature estimations of TJ-II neutral beam injection heated plasmas based on the soft x ray multi-foil technique

The core electron temperature (T(e0)) of neutral beam heated plasmas is determined in TJ-II stellarator by using soft x ray detectors with beryllium filters of different thickness, based on the method known as the foil absorption technique. T(e0) estimations are done with the impurity code IONEQ, making use of complementary information from the TJ-II soft x ray tomography and the VUV survey diagnostics. When considering the actual electron density and temperature profile shapes, an acceptable agreement is found with Thomson scattering measurements for 8 different magnetic configurations. The impact of the use of both neutral beam injectors on the T(e0) measurements is addressed. Also, the behaviour of T(e0) during spontaneous profile transitions is presented.     

Towards an ontology-based retrieval of UML Class Diagrams

Context

Software Reuse has always been an important area amongst software companies in order to increase their productivity and the quality of their products, but code reuse is not the only answer for this. Nowadays, reuse techniques proposals include software designs or even software specifications. Therefore, this research focuses on software design, specifically on UML Class Diagrams. A semantic technology has been applied to facilitate the retrieval process for an effective reuse.

Objective

This research proposes an ontology-based retrieval technique by semantic similarity in order to support effective retrieval process for UML Class Diagrams. Since UML Class Diagrams are a de facto standard in the design stages of a Software Development Process, a good technique is needed to reuse them, i.e. reusing during the design stage instead of just the coding stages.

Method

An application ontology modeled using UML specifications was designed to compare UML Class Diagram element types. To measure their similarity, a survey was conducted amongst UML experts. Query expansion was improved by a domain ontology supporting the retrieval phase. The calculus of minimal distances in ontologies was solved using a shortest path algorithm.

Results

The case study shows the domain ontology importance in the UML Class Diagram retrieval process as well as the importance of an element type expansion method, such as an application ontology. A correlation between the query complexity and retrieved elements has been identified, by analyzing results. Finally, a positive Return of Investment (ROI) was estimated using Poulin’s Model.

Conclusion

Because Software Reuse has not to be limited to the coding stage, approaches to reuse design stage must be developed, i.e. UML Class Diagrams reuse. This approach proposes a technique for UML Class Diagrams retrieval, which is one important step towards reuse. Semantic technology combined with information retrieval improves the retrieval results.     

Gammagraphy of the carotid glomus

Using the colorant proteic complex labell with Tc-99 m. we visualize--by the first time--the carotideal glomus in the human in 6 volunteers and one patient with tumor. The results are very encorageous: the method was simple and safe (one single dose endovenously) and hardless (no radiotoxicity presents in 3 months of clinical and laboratory controls) and there is a good visualization by scan of carotideal bodies "in vivo", in human being. We think this new method and labell compound could be useful in research and medical diagnoses.     

Model of Precipitation Kinetics Induced by Strain for Microalloyed Steels

In microalloyed steels, static recrystallisation is temporarily inhibited by precipitation which is occurring at the same time. A high number of microalloyed steels containing various combinations of carbon, nitrogen and precipitate forming elements like V, Nb and Ti were recrystallised at different temperatures and strain rates. From these results recrystallisation‐precipitation–time‐temperature (RPTT) diagrams were established. The influence of grain size and strain rate on the RPTT diagrams was studied. The precipitation kinetics were mathematically described for isothermal conditions and converted to cooling conditions, which enables an application to hot rolling. Under cooling conditions, completion of recrystallisation is prevented, especially for Nb alloyed steels.     

Transmission electron microscopy and theoretical analysis of AuCu nanoparticles: atomic distribution and dynamic behavior

Though the application of bimetallic nanoparticles is becoming increasingly important, the local atomistic structure of such alloyed particles, which is critical for tailoring their properties, is not yet very clearly understood. In this work, we present detailed study on the atomistic structure of Au-Cu nanoparticles so as to determine their most stable configurations and the conditions for obtaining clusters of different structural variants. The dynamic behavior of these nanoparticles upon local heating is investigated. AuCu nanoparticles are characterized by high resolution transmission electron microscopy (HRTEM) and energy filtering elemental composition mapping (EFECM), which allowed us to study the internal structure and the elemental distribution in the particles. Quantum mechanical approaches and classic molecular dynamics methods are applied to model the structure and to determine the lowest energy configurations, the corresponding electronic structures, and understand structural transition of clusters upon heating, supported by experimental evidences. Our theoretical results demonstrate only the core/shell bimetallic structure have negative heat of formation, both for decahedra and octahedral, and energetically favoring core/shell structure is with Au covering the core of Cu, whose reverse core/shell structure is not stable and may transform back at a certain temperature. Experimental evidences corroborate these structures and their structural changes upon heating, demonstrating the possibility to manipulate the structure of such bimetallic nanoparticles using extra stimulating energy, which is in accordance with the calculated coherence energy proportions between the different configurations.