Browsing Artículos 2015 by Title
Now showing items 25-41 of 41
-
Narrow-band search of continuous gravitational-wave signals from Crab and Vela pulsars in Virgo VSR4 data
(2015)In this paper we present the results of a coherent narrow-band search for continuous gravitational-wave signals from the Crab and Vela pulsars conducted on Virgo VSR4 data. In order to take into account a possible small ... -
Neutrinos
(2015)En este artículo vamos a repasar brevemente el Modelo Estándar de Partículas, luego haremos una revisión cronológica del descubrimiento del neutrino. Por último mencionaremos el Observatorio de Neutrinos de Sudbury y ... -
Normal holonomy of orbits and Veronese submanifolds
(2015)It was conjectured, twenty years ago, the following result that would generalize the so-called rank rigidity theorem for homogeneous Euclidean submanifolds: let Mn, n ≥ 2, be a full and irreducible homogeneous submanifold ... -
On Dirichlet problems with singular nonlinearity of indefinite sign
(2015)Let Ω be a smooth bounded domain in RN , N ≥ 1, let K, M be two nonnegative functions and let α, γ > 0. We study existence and nonexistence of positive solutions for singular problems of the form −Δu = K(x)u−α − λM (x)u−γ ... -
On structural completeness versus almost structural completeness problem : a discriminator varieties case study
(2015)We study the following problem: determine which almost structurally complete quasivarieties are structurally complete. We propose a general solution to this problem and then a solution in the semisimple case. As a consequence, ... -
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 ... -
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. -
Searches for continuous gravitational waves from nine young supernova remnants
(2015)We describe directed searches for continuous gravitational waves (GWs) in data from the sixth Laser Interferometer Gravitational-wave Observatory (LIGO) science data run. The targets were nine young supernova remnants not ... -
Smart sampling for lightweight verification of Markov decision processes
(2015)Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To verify MDPs with efficient Monte Carlo techniques requires that their nondeterminism be resolved by a scheduler. Recent ... -
Solid-state studies of the crystalline/amorphous character in linear Poly(ethylenimine hydrochloride) (PEI-HCl) polymers and their copper complexes
(2015)Linear poly(ethylenimine hydrochloride) (PEI-HCl) polymers with different molecular weights (22, 87, and 217 kDa) and their copper complexes (Cu−PEI) were studied with particular attention to the crystalline/amorphous ... -
A statistical study of heterogeneous nucleation of ice by molecular dynamics
(2015)We studied the stochastic nature of heterogeneous nucleation of supercooled liquid water by molecular dynamics simulations. The systems were composed of 768 molecules; M of them had their positions restricted forming a ... -
Strong cosmic censorship and Misner spacetime
(2015)Misner spacetime is among the simplest solutions of Einstein's equation that exhibits a Cauchy horizon with a smooth extension beyond it. Besides violating strong cosmic censorship, this extension contains closed timelike ... -
Time and band limiting for matrix valued functions, an example
(2015)The main purpose of this paper is to extend to a situation involving matrix valued orthogonal polynomials and spherical functions, a result that traces its origin and its importance to work of Claude Shannon in laying the ... -
Weighted estimates for integral operators on local BMO type spaces
(2015)We prove the weighted boundedness for a family of integral operators Tα on Lebesgue spaces and local BMO type spaces. To this end we show that Tα can be controlled by the Calder ́on operator and a local maximal operator. ...