The CONEstrip algorithm

Uncertainty models such as sets of desirable gambles and (conditional) lower previsions can be represented as convex cones. Checking the consistency of and drawing inferences from such models requires solving feasibility and optimization problems. We consider finitely generated such models. For closed cones, we can use linear programming; for conditional lower prevision-based cones, there is an efficient algorithm using an iteration of linear programs. We present an efficient algorithm for general cones that also uses an iteration of linear programs

Estrategias de enseñanza del Sistema Sol-Tierra

En este artículo se presentan las actividades diseñadas para promover un cambio conceptual con relación a las ideas previas de los alumnos de primer curso de magisterio en el aprendizaje del sistema Sol- Tierra. Se considera que algunas de las estrategias de enseñanza que se proponen podrían adaptarse a otros niveles educativos, tanto en la educación primaria como en la enseñanza secundaria obligatoria, con el objetivo de que se aprenda significativamente el modelo Sol-Tierra vigente e incorporarlo a la cultura científica de los ciudadanos.In this paper we present teaching activities for pre-service primary school teachers, designed within a conceptual change learning framework on the topic of Earth-Sun system. Some of the teaching strategies proposed could be easily adapted to different educative levels, from primary school to secondary school. These teaching and learning strategies would be helpful for a meaningful learning of the Sun-Earth system for students, necessary for a scientific literate society

New neighborhood based rough sets

Neighborhood based rough sets are important generalizations of the classical rough sets of Pawlak, as neighborhood operators generalize equivalence classes. In this article, we introduce nine neighborhood based operators and we study the partial order relations between twenty-two different neighborhood operators obtained from one covering. Seven neighborhood operators result in new rough set approximation operators. We study how these operators are related to the other fifteen neighborhood based approximation operators in terms of partial order relations, as well as to seven non-neighborhood-based rough set approximation operators

Control of Drosophila imaginal disc development by rotund and roughened eye: differentially expressed transcripts of the same gene encoding functionally distinct zinc finger proteins

The Drosophila rotund gene is required in the wings, antenna, haltere, proboscis and legs. A member of the Rac family of GTPases, denoted the rotund racGAP gene, was previously identified in the rotund region. However, previous studies indicated that rotund racGAP was not responsible for the rotund phenotypes and that the rotund gene had yet to be identified. We have isolated the rotund gene and show that it is a member of the Kruppel family of zinc finger genes. The adjacent roughened eye locus specifically affects the eye and is genetically separable from rotund. However, roughened eye and rotund are tightly linked, and we have therefore also isolated the roughened eye transcript. Intriguingly, we show that roughened eye is part of the rotund gene but is represented by a different transcript. The rotund and roughened eye transcripts result from the utilization of two different promoters that direct expression in non-overlapping domains in the larval imaginal discs. The predicted Rotund and Roughened Eye proteins share the same C-terminal region, including the zinc finger domain, but differ in their N-terminal regions. Each cDNA can rescue only the corresponding mutation and show negative effects when expressed in each others domain of expression. These results indicate that in addition to the differential expression of rotund and roughened eye, their proteins have distinct activities. rotund and roughened eye act downstream of early patterning genes such as dachshund and appear to be involved in Notch signaling by regulating Delta, scabrous and Serrate

A desirability-based axiomatisation for coherent choice functions

Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the set-valued choices that typically arise from applying decision rules to imprecise-probabilistic uncertainty models. We provide them with a clear interpretation in terms of attitudes towards gambling, borrowing ideas from the theory of sets of desirable gambles, and we use this interpretation to derive a set of basic axioms. We show that these axioms lead to a full-fledged theory of coherent choice functions, which includes a representation in terms of sets of desirable gambles, and a conservative inference method

A Desirability-Based Axiomatisation for Coherent Choice Functions

Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the set-valued choices that typically arise from applying decision rules to imprecise-probabilistic uncertainty models. We provide them with a clear interpretation in terms of attitudes towards gambling, borrowing ideas from the theory of sets of desirable gambles, and we use this interpretation to derive a set of basic axioms. We show that these axioms lead to a full-fledged theory of coherent choice functions, which includes a representation in terms of sets of desirable gambles, and a conservative inference method

Spanish Conference on Electron Devices (CDE 2018)

Producción CientíficaElectronic devices operating in harsh radiation environments must withstand high radiation levels with minimal performance degradation. Recent experiments on the radiation hardness of a new vertical p-type JFET power switch have shown a significant reduction of forward drain current under non-ionizing conditions. In this work, atomistic simulations are used to study the impact of irradiation-induced displacement damage on forward characteristics. Damage models have been updated to produce a better description of damage-dopant interactions at RT. Our results show that excess self-interstitials produced by irradiation deactivate a significant amount of B atoms, thus reducing the effective dopant concentration.Ministerio de Ciencia e Innovación (Project TEC2014-60694-P)Junta de Castilla y León (programa de apoyo a proyectos de investigación - Ref. VA119G18