Browsing Artículos by Title
Now showing items 21-40 of 200
-
Center of mass and spin for isolated sources of gravitational radiation
(2016)We define the center of mass and spin of an isolated system in general relativity. The resulting relationships between these variables and the total linear and angular momentum of the gravitational system are remarkably ... -
A certified extension of the Krivine machine for a call-by-name higher-order imperative language
(2014)In this paper we present a compiler that translates programs from an imperative higher-order language into a sequence of instructions for an abstract machine. We consider an extension of the Krivine machine for the ... -
Characterization, definability and separation via saturated models
(2014)Three important results about the expressivity of a modal logic L are the Characterization Theorem (that identifies a modal logic L as a fragment of a better known logic), the Definability theorem (that provides conditions ... -
Classification of integral modular categories of Frobenius–Perron dimension pq4 and p2q2
(2014)We classify integral modular categories of dimension pq4 and p2q2, where p and q are distinct primes. We show that such categories are always group-theoretical, except for categories of dimension 4q2. In these cases there ... -
Clustering and decoherence of correlated spins under double quantum dynamics
(2014)We present an improved approach for the study of the evolution of spin correlations and decoherence in multiple quantum nuclear magnetic resonance experiments. The infinite system, constituted by the protons of a polycrystalline ... -
Co100-xFex magnetic thick films prepared by electrodeposition
(2015)Co–Fe films are grown onto plane pre-treated Cu foils; the effects of the alloy composition on the morphology and the crystal texture of the electrodeposited films and their anisotropic magnetic hysteresis properties are ... -
The cohomology of filiform Lie algebras of maximal rank
(2014)We describe the structure of the cohomology of the filiform Lie algebras and as a module over their (2-dimensional) torus of derivations. Our approach relies on the fact that both filiform algebras have an ideal of codimension ... -
Completeness in hybrid type theory
(2014)We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ... -
Conjugacy classes of p-cycles of type D in alternating groups
(2014-10)We classify the conjugacy classes of $p$-cycles of type D in alternating groups. This finishes the open cases in [AFGV]. Also we determine all the subracks of those conjugacy classes which are not of type D. -
Constitutive hippocampal cholesterol loss underlies poor cognition in old rodents
(2014)Cognitive decline is one of the many characteristics of aging. Reduced long-term potentiation (LTP) and long-term depression (LTD) are thought to be responsible for this decline, although the precise mechanisms underlying ... -
Construction of a quartz spherical analyzer : application to high-resolution analysis of the Ni Ka emission spectrum
(2016)The construction and characterization of a focusing X-ray spherical analyzer based on α-quartz 4404 are presented. The performance of the analyzer was demonstrated by applying it to a high-resolution X-ray spectroscopy ... -
Critical exponents and scaling invariance in the absence of a critical point
(2016)The paramagnetic-to-ferromagnetic phase transition is classified as a critical phenomenon due to the power-law behaviour shown by thermodynamic observables when the Curie point is approached. Here we report the observation ... -
Crossed extensions of the corepresentation category of finite supergroup algebras
(2015)We present explicit examples of finite tensor categories that are C2-graded extensions of the corepresentation category of certain finite-dimensional non-semisimple Hopf algebras -
Curvature flows for almost-hermitian Lie groups
(2015)We study curvature flows in the locally homogeneous case (e.g. compact quotients of Lie groups, solvmanifolds, nilmanifolds) in a unified way, by considering a generic flow under just a few natural conditions on the broad ... -
d-Dimensional KPZ equation as a stochastic gradient flow in an evolving landscape : interpretation and time evolution of its generating functional
(2017)The deterministic KPZ equation has been recently formulated as a gradient flow. Its non-equilibrium analog of a free energy—the “non-equilibrium potential” Φ[h], providing at each time the landscape where the stochastic ... -
Decay bounds for nonlocal evolution equations in Orlicz spaces
(2016)We show decay bounds of the form ∫Rd φ(u (x, t)) dx ≤ Ct−μ for integrable and bounded solutions to the nonlocal evolution equation ut(x, t) = ∫Rd J(x, y)G(u(y, t) − u(x, t))(u(y, t) − u(x, t)) dy + f (u(x, t)). Here G is ... -
Depth distribution of martensite in plasma nitrided AISI H13 steel and its correlation to hardness
(2015)The depth distributions of hardness, nitrogen, and crystallographic phases in the diffusion zone of plasma nitrided AISI H13 steel were determined by microindentation, electron microprobe, grazing incidence X-ray diffraction, ... -
Directed search for gravitational waves from Scorpius X-1 with initial LIGO data
(2015)We present results of a search for continuously emitted gravitational radiation, directed at the brightest low-mass x-ray binary, Scorpius X-1. Our semicoherent analysis covers 10 days of LIGO S5 data ranging from 50–550 ... -
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 ... -
Distinguishability notion based on Wootters statistical distance : application to discrete maps
(2017)We study the distinguishability notion given by Wootters for states represented by probability density functions. This presents the particularity that it can also be used for defining a statistical distance in chaotic ...