Gamow-Teller strength distributions in Fe and Ni stable isotopes

We study Gamow-Teller strength distributions in some selected nuclei of particular Astrophysical interest within the iron mass region. The theoretical framework is based on a proton-neutron Quasiparticle Random Phase Approximation built on a deformed selfconsistent mean field basis obtained from two-body density-dependent Skyrme forces. We compare our results to available experimental information obtained from (n,p) and (p,n) charge exchange reactions.Comment: 11 pages, 3 figure

Isospin mixing and Fermi transitions: Selfconsistent deformed mean field calculations and beyond

We study Fermi transitions and isospin mixing in an isotopic chain 70-78 Kr considering various approximations that use the same Skyrme-Hartree-Fock single particle basis. We study Coulomb effects as well as the effect of BCS and quasiparticle random phase approximation (QRPA) correlations. A measure of isospin mixing in the approximate ground state is defined by means of the expectation value of the isospin operator squared in N=Z nuclei (which is generalized to N different from Z nuclei). Starting from strict Hartree-Fock approach without Coulomb, it is shown that the isospin breaking is negligible, on the order of a few per thousand for (N-Z)=6, increasing to a few percent with Coulomb. Pairing correlations induce rather large isospin mixing and Fermi transitions of the forbidden type (beta- for NZ). The enhancement produced by BCS correlations is compensated to a large extent by QRPA correlations induced by isospin conserving residual interactions that tend to restore isospin symmetry.Comment: 14 pages, 5 figures, to be published in Phys. Rev.

A random number generator for continuous random variables

A FORTRAN 4 routine is given which may be used to generate random observations of a continuous real valued random variable. Normal distribution of F(x), X, E(akimas), and E(linear) is presented in tabular form

Knowledgezoom for java: A concept-based exam study tool with a zoomable open student model

This paper presents our attempt to develop a personalized exam preparation tool for Java/OOP classes based on a fine-grained concept model of Java knowledge. Our goal was to explore two most popular student model-based approaches: open student modeling and problem sequencing. The result of our work is a Java exam preparation tool, Knowledge Zoom. The tool combines an open concept-level student model component, Knowledge Explorer and a concept-based sequencing component, Knowledge Maximizer into a single interface. This paper presents both components of Knowledge Zoom, reports results of its evaluation, and discusses lessons learned. © 2013 IEEE

La emoción y otras emociones varias

La conferencia es el paulatino y emocionado descubrimiento de Quevedo por parte del autor. Se inicia de muy joven con el soneto «Amor constante más allá de la muerte», continúa con El Buscón y se confirma en ya relecturas de (casi) toda su poesía y prosa. Se insiste en el carácter existencialista de su concepto del paso del tiempo: ayer, hoy, mañana. En la vejez como enfermedad terminal. En el escepticismo sobre los remedios terapéuticos de la época, metaforización de su escepticismo sobre la condición humana. En la dignidad que encierra su famosa primera frase «Yo, señor, soy de Segovia». Y se insiste sobre todo en la emoción que palpita a lo largo de su obra, sea cual sea el tema a tratar, con la paradoja añadida de que la palabra emoción no existía en el castellano del Siglo de Oro

Testing M2T/T2M Transformations

Presentado en: 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). Del 29 de septiembre al 4 de octubre. Miami, EEUU.Testing model-to-model (M2M) transformations is becoming a prominent topic in the current Model-driven Engineering landscape. Current approaches for transformation testing, however, assume having explicit model representations for the input domain and for the output domain of the transformation. This excludes other important transformation kinds, such as model-to-text (M2T) and text-to-model (T2M) transformations, from being properly tested since adequate model representations are missing either for the input domain or for the output domain. The contribution of this paper to overcome this gap is extending Tracts, a M2M transformation testing approach, for M2T/T2M transformation testing. The main mechanism we employ for reusing Tracts is to represent text within a generic metamodel. By this, we transform the M2T/T2M transformation specification problems into equivalent M2M transformation specification problems. We demonstrate the applicability of the approach by two examples and present how the approach is implemented for the Eclipse Modeling Framework (EMF). Finally, we apply the approach to evaluate code generation capabilities of several existing UML tools.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Proyecto TIN2011-2379

Integrity static analysis of COTS/SOUP

This paper describes the integrity static analysis approach developed to support the justification of commercial off-the-shelf software (COTS) used in a safety-related system. The static analysis was part of an overall software qualification programme, which also included the work reported in our paper presented at Safecomp 2002. Integrity static analysis focuses on unsafe language constructs and “covert” flows, where one thread can affect the data or control flow of another thread. The analysis addressed two main aspects: the internal integrity of the code (especially for the more critical functions), and the intra-component integrity, checking for covert channels. The analysis process was supported by an aggregation of tools, combined and engineered to support the checks done and to scale as necessary. Integrity static analysis is feasible for industrial scale software, did not require unreasonable resources and we provide data that illustrates its contribution to the software qualification programme