Browsing Artículos 2015 by Title
Now showing items 32-41 of 41
-
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. ...