trackr: A Framework for Enhancing Discoverability and Reproducibility of Data Visualizations and Other Artifacts in R

Research is an incremental, iterative process, with new results relying and building upon previous ones. Scientists need to find, retrieve, understand, and verify results in order to confidently extend them, even when the results are their own. We present the trackr framework for organizing, automatically annotating, discovering, and retrieving results. We identify sources of automatically extractable metadata for computational results, and we define an extensible system for organizing, annotating, and searching for results based on these and other metadata. We present an open-source implementation of these concepts for plots, computational artifacts, and woven dynamic reports generated in the R statistical computing language

A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas

We compute the probability of satisfiability of a class of random Horn-SAT formulae, motivated by a connection with the nonemptiness problem of finite tree automata. In particular, when the maximum clause length is 3, this model displays a curve in its parameter space along which the probability of satisfiability is discontinuous, ending in a second-order phase transition where it becomes continuous. This is the first case in which a phase transition of this type has been rigorously established for a random constraint satisfaction problem

Economía y mercado de trabajo en Santa Fe (Argentina): un aporte a la cuantificación de los Objetivos de Desarrollo del Milenio y a la elaboración del año base 2004

Incluye bibliografíaEn Santa Fe, en el año 2001, de cada diez personas en edad de trabajar, seis pertenecían a la Población Económicamente Activa (PEA) y cuatro a la NO PEA. Dentro de la PEA, cuatro trabajadores de cada diez estaban ocupados, y dos desocupados. Entre los primeros, tres eran varones y sólo uno mujer; entre los segundos, se contabilizaron un varón y una mujer. Por el lado de la población económicamente no activa, de las cuatro personas registradas allí, sólo una era varón y tres eran mujeres. Relacionando los movimientos de las variables ocupacionales y del Producto Bruto Geográfico (PBG), puede afirmarse que la tasa de empleo se manifiesta decreciente en algunos momentos en que el producto crece, mientras que la tasa de actividad, por su parte, se muestra asociada a la actividad agregada. En particular, las mayores coincidencias se evidenciaron en las recesiones, ya que en los períodos de auge se observó un rezago y, por ende, el desempleo fue valorativamente alto

Infering Air Quality from Traffic Data using Transferable Neural Network Models

This work presents a neural network based model for inferring air quality from traffic measurements. It is important to obtain information on air quality in urban environments in order to meet legislative and policy requirements. Measurement equipment tends to be expensive to purchase and maintain. Therefore, a model based approach capable of accurate determination of pollution levels is highly beneficial. The objective of this study was to develop a neural network model to accurately infer pollution levels from existing data sources in Leicester, UK. Neural Networks are models made of several highly interconnected processing elements. These elements process information by their dynamic state response to inputs. Problems which were not solvable by traditional algorithmic approaches frequently can be solved using neural networks. This paper shows that using a simple neural network with traffic and meteorological data as inputs, the air quality can be estimated with a good level of generalisation and in near real-time. By applying these models to links rather than nodes, this methodology can directly be used to inform traffic engineers and direct traffic management decisions towards enhancing local air quality and traffic management simultaneously.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

The emission line near 1319 A in solar and stellar spectra

An emission line near 1319 A is one of the strongest unidentified lines in the ultraviolet spectra of cool dwarf stars. In most line lists it is identified as a transition in N I, although its intensity would then be anomalous and the observed wavelength does not fit precisely that expected for N I. The line is also observed in cool giant stars. The measured wavelength of the line in stellar spectra is 1318.94 (+,- 0.01) A. Observations of giant stars provide further evidence that this line is not due to N I. It is proposed that this line is a decay from a previously unknown level in S I, which lies above the first ionization limit. This is identified with the 3d singlet D (odd parity) term. The previous tentative assignment of this term to the S I line at 1309.3 A then needs to be revised. The 1309.3 A line has been identified here for the first time in an astrophysical source. The singlet D (odd parity) level could, in principle, be populated by collisions from nearby autoionizing levels that have large number-densities, through population by di-electronic capture. Spin-orbit interaction with the autoionizing triplet D (odd parity) term might also lead to di-electronic capture into the singlet D (odd parity) level. A line at 1309.87 A observed in cool giant stars is identified as a transition in P II, pumped by the O I resonance lines.Comment: 9 pages, 3 figures, to be published in Monthly Notices of the Royal Astronomical Societ

First-order flow equations for extremal black holes in very special geometry

We construct interpolating solutions describing single-center static extremal non-supersymmetric black holes in four-dimensional N=2 supergravity theories with cubic prepotentials. To this end, we derive and solve first-order flow equations for rotating electrically charged extremal black holes in a Taub-NUT geometry in five dimensions. We then use the connection between five- and four-dimensional extremal black holes to obtain four-dimensional flow equations and we give the corresponding solutions.Comment: 21 pages. v2: Summary section adde

Curved BPS domain wall solutions in four-dimensional N=2 supergravity

We construct four-dimensional domain wall solutions of N=2 gauged supergravity coupled to vector and to hypermultiplets. The gauged supergravity theories that we consider are obtained by performing two types of Abelian gauging. In both cases we find that the behaviour of the scalar fields belonging to the vector multiplets is governed by the so-called attractor equations known from the study of BPS black hole solutions in ungauged N=2 supergravity theories. The scalar fields belonging to the hypermultiplets, on the other hand, are either constant or exhibit a run-away behaviour. These domain wall solutions preserve 1/2 of supersymmetry and they are, in general, curved. We briefly comment on the amount of supersymmetry preserved by domain wall solutions in gauged supergravity theories obtained by more general gaugings.Comment: 18 pages, latex, no figures, final version for Nuclear Physics B (typos corrected plus minor changes

Exploring the relation between 4D and 5D BPS solutions

Based on recent proposals linking four and five-dimensional BPS solutions, we discuss the explicit dictionary between general stationary 4D and 5D supersymmetric solutions in N=2 supergravity theories with cubic prepotentials. All these solutions are completely determined in terms of the same set of harmonic functions and the same set of attractor equations. As an example, we discuss black holes and black rings in G\"odel-Taub-NUT spacetime. Then we consider corrections to the 4D solutions associated with more general prepotentials and comment on analogous corrections on the 5D side.Comment: 33 pages; refs adde

Coordination chemistry of amide-functionalised tetraazamacrocycles: structural, relaxometric and cytotoxicity studies

Three different tetraazamacrocyclic ligands containing four amide substituents that feature groups (namely allyl, styryl and propargyl groups) suitable for polymerisation have been synthesised. Gadolinium(III) complexes of these three ligands have been prepared as potential monomers for the synthesis of polymeric MRI contrast agents. To assess the potential of these monomers as MRI contrast agents, their relaxation enhancement properties and cytotoxicity have been determined. A europium(III) complex of one of these ligands (with propargyl substituents) is also presented together with its PARACEST properties. In addition, to gain further insight into the coordination chemistry of the tetra-propargyl substituted ligand, the corresponding zinc(II) and cadmium(II) complexes have been prepared. The X-ray crystal structures of the tetra-propargyl ligand and its corresponding gadolinium(III), zinc(II) and cadmium(II) complexes are also presented

Nephron-Specific Deletion of Circadian Clock Gene Bmal1 Alters the Plasma and Renal Metabolome and Impairs Drug Disposition.

The circadian clock controls a wide variety of metabolic and homeostatic processes in a number of tissues, including the kidney. However, the role of the renal circadian clocks remains largely unknown. To address this question, we performed a combined functional, transcriptomic, and metabolomic analysis in mice with inducible conditional knockout (cKO) of BMAL1, which is critically involved in the circadian clock system, in renal tubular cells (Bmal1(lox/lox)/Pax8-rtTA/LC1 mice). Induction of cKO in adult mice did not produce obvious abnormalities in renal sodium, potassium, or water handling. Deep sequencing of the renal transcriptome revealed significant changes in the expression of genes related to metabolic pathways and organic anion transport in cKO mice compared with control littermates. Furthermore, kidneys from cKO mice exhibited a significant decrease in the NAD(+)-to-NADH ratio, which reflects the oxidative phosphorylation-to-glycolysis ratio and/or the status of mitochondrial function. Metabolome profiling showed significant changes in plasma levels of amino acids, biogenic amines, acylcarnitines, and lipids. In-depth analysis of two selected pathways revealed a significant increase in plasma urea level correlating with increased renal Arginase II activity, hyperargininemia, and increased kidney arginine content as well as a significant increase in plasma creatinine concentration and a reduced capacity of the kidney to secrete anionic drugs (furosemide) paralleled by an approximate 80% decrease in the expression level of organic anion transporter 3 (SLC22a8). Collectively, these results indicate that the renal circadian clocks control a variety of metabolic/homeostatic processes at the intrarenal and systemic levels and are involved in drug disposition