Search
Now showing items 11-20 of 41
Examples of extensions of hopf algebrasEjemplos de extensiones de álgebras de Hopf
(2015)
We give some examples of, and raise some questions on, extensions of semisimple Hopf algebras.
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 ...
Dynamic characterization of crystalline and glass phases of deuterated 1,1,2,2 tetrachloroethane
(2015)
A thorough characterization of the γ, β, and glass phases of deuterated 1,1,2,2 tetrachloroethane (C2D2Cl4) via nuclear quadrupole resonance and Molecular Dynamic Simulations (MDSs) is reported. The presence of molecular ...
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 ...
Monte Carlo simulation of characteristic secondary fluorescence in electron probe microanalysis of homogeneous samples using the splitting technique
(2015)
Electron probe microanalysis (EPMA) is based on the comparison of characteristic intensities induced by monoenergetic electrons. When the electron beam ionizes inner atomic shells and these ionizations cause the emission ...
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 ...
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 ...
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−γ ...
From a systems theory of sociology to modeling the onset and evolution of criminality
(2015)
This paper proposes a systems theory approach to the modeling of onset and evolution of criminality in a territory. This approach aims at capturing the complexity features of social systems. Complexity is related to the ...
Invariant solutions to the conformal Killing–Yano equation on Lie groups
(2015)
We search for invariant solutions of the conformal Killing–Yano equation on Lie groups equipped with left invariant Riemannian metrics, focusing on 2-forms. We show that when the Lie group is compact equipped with a ...