Search
Now showing items 101-110 of 188
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 ...
Geometrical guidance and trapping transition of human sperm cells
(2014)
The guidance of human sperm cells under confinement in quasi-2D microchambers is investigated using a purely physical method to control their distribution. Transport property measurements and simulations are performed with ...
Study of Kb X-ray emission spectroscopy applied to Mn(2x)V(1-x)O4 (x=0 and1/3) oxyspinel and comparison with XANES
(2014-03)
Oxidation state and coordination of transition metal cations seems to be hard to assess when considering multiple cations, each one with different possible oxidation states. In fact, this is the case of the spinel-type ...
Dissolution properties, solid-state transformation and polymorphic crystallization: progesterone case study
(2014)
Progesterone is a natural steroid hormone and a poor soluble drug which presents two polymorphs (forms 1 and 2). Different methods to obtain form 2 were tested and a complete solid-state characterization of both polymorphs ...
Anisotropy-based mechanism for zigzag striped patterns in magnetic thin films
(2014)
In this work, we studied a two-dimensional ferromagnetic system using Monte Carlo simulations. Our model includes exchange and dipolar interactions, a cubic anisotropy term, and uniaxial out-of-plane and in-plane ones. ...
Multiterminal conductance of a floquet topological insulator
(2014)
We report on simulations of the dc conductance and quantum Hall response of a Floquet topological insulator using Floquet scattering theory. Our results reveal that laser-induced edge states lead to quantum Hall plateaus ...
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−γ ...
Synthesis, structural characterization and magnetic properties of the monoclinic ordered double perovskites BaLaMSbO6, with M = Mn, Co and Ni
(2014)
Double perovskites BaLaMnSbO6, BaLaCoSbO6 and BaLaNiSbO6, were synthesized by conventional ceramic method in air, as polycrystalline powders. The Mn and Ni compounds belong to the I 2/m monoclinic space group, while the ...
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 ...
Study of the characteristic parameters of the normal voices of Argentinian speakers
(2014)
The voice laboratory permits to study the human voices using a method that is objective and noninvasive. In this work, we have studied the parameters of the human voice such as pitch, formant, jitter, shimmer and harmonic-noise ...