Browsing Facultad de Matemática, Astronomía, Física y Computación by Language "eng"
Now showing items 21-40 of 216
-
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 ... -
Combining semi-supervised and active learning to recognize minority senses in a new corpus
(2015)In this paper we study the impact of combining active learning with bootstrapping to grow a small annotated corpus from a different, unannotated corpus. The intuition underlying our approach is that bootstrapping includes ... -
A comparison of preschool and elementary school children learning computer science concepts through a multilanguage robot programming platform
(2015)This paper describes a school intervention to teach fundamental Computer Science (CS) concepts to 3-11 year old students with a multilanguage robot programming platform (using drag and drop, Python and C++ languages) in ... -
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. -
Considering correlation properties on statistical simulation of clutter
(2015)Statistical properties of image data are of paramount importance in the design of pattern recognition technics and the interpretation of their outputs. Image simulation allows quantification of method?s error and accuracy. ... -
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 ... -
Corrosion of steel alloys with ferrite coating
(2015)The corrosion protection offered by coatings of hexagonal Sr ferrites on steel samples in the presence of chloride was evaluated by electrochemical techniques. Different samples were prepared using Nd-Co doped and un-doped ... -
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 ...