Browsing Artículos by Title
Now showing items 144-163 of 200
-
A pair production telescope for medium-energy gamma-ray polarimetry
(2014)We describe the science motivation and development of a pair production telescope for medium-energy (∼5–200 MeV) gamma-ray polarimetry. Our instrument concept, the Advanced Energetic Pair Telescope (AdEPT), takes advantage ... -
Pensar y calcular
(2014)Pensamos. Y pensamos que pensar es una de las características distintivas de los bípedos implumes, distinción que ha provocado un salto evolutivo incalculable. A veces tratamos de calcular distintas cosas, por ejemplo ... -
A performance evaluation of oscillation based test in continuous time filters
(2014)This work evaluates the ability of OBT for detecting parametric faults in continuous-time filters. To this end, we adopt two filters with quite different topologies as cases of study and a previously reported statistical ... -
Permutation entropy applied to the characterization of the clinical evolution of epileptic patients under pharmacological treatment
(2014)Different techniques originated in information theory and tools from nonlinear systems theory have been applied to the analysis of electro-physiological time series. Several clinically relevant results have emerged from ... -
Plasmatic biochemical variables associated with polymorphisms in the endothelin-1 and endothelin-1 receptor a genes in hypertensive patients : pilot study
(2016)Aims: Endothelin-1 (ET-1) is a potent vasoconstrictive peptide, and its activity is mediated by the type A receptor (EDNRA). This action may play a significant role in the etiology of hypertension. There are different works ... -
Playing against fair adversaries in stochastic games with total rewards
(2022)We investigate zero-sum turn-based two-player stochastic games in which the objective of one player is to maximize the amount of rewards obtained during a play, while the other aims at minimizing it. We focus on games in ... -
Positivity results for indefinite sublinear elliptic problems via a continuity argument
(2017)We establish a positivity property for a class of semilinear elliptic problems involving indefinite sublinear nonlinearities. Namely, we show that any nontrivial nonnegative solution is positive for a class of problems the ... -
A posteriori error estimates for elliptic problems with Dirac measure terms in weighted spaces
(2014)In this article we develop a posteriori error estimates for second order linear elliptic problems with point sources in two- and three-dimensional domains. We prove a global upper bound and a local lower bound for the error ... -
Las potencialidades de la narrativa en la formación de profesores
(2014)Este artículo tiene como objetivo argumentar en relación con la potencialidad de los textos narrativos para la formación de profesores. Para sustentar nuestra argumentación tomaremos aportes teóricos de diversos autores ... -
Problem of quantifying quantum correlations with non-commutative discord
(2017)In this work we analyze a non-commutativity measure of quantum correlations recently proposed by Y. Guo [Sci. Rep. 6, 25241 (2016)]. By resorting to a systematic survey of a two-qubit system, we detected an undesirable ... -
Properties of NiMnGa alloys ultra rapidly solidified by suction casting
(2015)Ni2MnGa alloys are obtained by suction casting in water chilled cylindrical copper moulds 50 mm long and 1-4 mm in diameter; the microstructure and the magnetic properties are then investigated as functions of the cylinder ... -
Propiedades de un hilorama clásico
(2016)Un hilorama es una figura formada mediante hilos o cuerdas que unen dos segmentos y se van cruzando entre sí. El efecto visual de estas figuras es llamativo y se utiliza en el arte, el diseño y la arquitectura. En este ... -
Proving correctness of a compiler using step-indexed logical relations
(2016)In this paper we prove the correctness of a compiler for a call-by-name language using step-indexed logical relations and biorthogonality. The source language is an extension of the simply typed lambda-calculus with ... -
Pure type systems with explicit substitutions
(2015)We introduce a new formulation of pure type systems (PTSs) with explicit substitution and de Bruijn indices and formally prove some of its meta-theory. Using techniques based on Normalisation by Evaluation, we prove that ... -
Rare event simulation with fully automated Importance splitting
(2015)Probabilistic model checking is a powerful tool for analysing probabilistic systems but it can only be efficiently applied to Markov models. Monte Carlo simulation provides an alternative for the generality of stochastic ... -
Reaction rate in an evanescent random walkers system
(2015)Diffusion mediated reaction models are particularly ubiquitous in the description of phys-ical, chemical or biological processes. The random walk schema is a useful tool for formu-lating these models. Recently, evanescent ... -
La realidad de los átomos
(2015)En este trabajo nos proponemos reconsiderar, desde una perspectiva histórica, la contribución de Albert Einstein a la de la teoría molecular de la realidad con sus trabajos sobre el movimiento Browniano. -
Recent developments in GEANT 4
(2016)GEANT4 is a software toolkit for the simulation of the passage of particles through matter. It is used by a large number of experiments and projects in a variety of application domains, including high energy physics, ... -
Resonance states in a cylindrical quantum dot with an external magnetic field
(2014)Bound and resonance states of quantum dots play a significant role in photo-absorption processes. In this work, we analyze a cylindrical quantum dot, its spectrum and, in particular, the behaviour of the lowest resonance ... -
Search for gravitational radiation from intermediate mass black hole binaries in data from the second LIGO-Virgo joint science run
(2014)This paper reports on an unmodeled, all-sky search for gravitational waves from merging intermediate mass black hole binaries (IMBHB). The search was performed on data from the second joint science run of the LIGO and Virgo ...
