159 research outputs found
Annular Vortex Solutions to the Landau-Ginzburg Equations in Mesoscopic Superconductors
New vortex solutions to the Landau-Ginzburg equations are described. These
configurations, which extend the well known Abrikosov and giant magnetic vortex
ones, consist of a succession of ring-like supercurrent vortices organised in a
concentric pattern, possibly bound to a giant magnetic vortex then lying at
their center. The dynamical and thermodynamic stability of these annular
vortices is an important open issue on which hinges the direct experimental
observation of such configurations. Nevertheless, annular vortices should
affect indirectly specific dynamic properties of mesoscopic superconducting
devices amenable to physical observation.Comment: 12 pages, LaTeX, 2 Postscript figure
Bisimulation as path type for guarded recursive types
In type theory, coinductive types are used to represent processes, and are
thus crucial for the formal verification of non-terminating reactive programs
in proof assistants based on type theory, such as Coq and Agda. Currently,
programming and reasoning about coinductive types is difficult for two reasons:
The need for recursive definitions to be productive, and the lack of
coincidence of the built-in identity types and the important notion of
bisimilarity.
Guarded recursion in the sense of Nakano has recently been suggested as a
possible approach to dealing with the problem of productivity, allowing this to
be encoded in types. Indeed, coinductive types can be encoded using a
combination of guarded recursion and universal quantification over clocks. This
paper studies the notion of bisimilarity for guarded recursive types in Ticked
Cubical Type Theory, an extension of Cubical Type Theory with guarded
recursion. We prove that, for any functor, an abstract, category theoretic
notion of bisimilarity for the final guarded coalgebra is equivalent (in the
sense of homotopy type theory) to path equality (the primitive notion of
equality in cubical type theory). As a worked example we study a guarded notion
of labelled transition systems, and show that, as a special case of the general
theorem, path equality coincides with an adaptation of the usual notion of
bisimulation for processes. In particular, this implies that guarded recursion
can be used to give simple equational reasoning proofs of bisimilarity. This
work should be seen as a step towards obtaining bisimilarity as path equality
for coinductive types using the encodings mentioned above
Sex recognition by odour and variation in the uropygial gland secretion in starlings
1. Although a growing body of evidence supports that olfaction based on chemical compounds emitted by birds may play a role in individual recognition, the possible role of chemical cues in sexual selection of birds has been only preliminarily studied.2. We investigated for the first time whether a passerine bird, the spotless starling Sturnus unicolor, was able to discriminate the sex of conspecifics by using olfactory cues and whether the size and secretion composition of the uropygial gland convey information on sex, age and reproductive status in this species.3. We performed a blind choice experiment during mating, and we found that starlings were able to discriminate the sex of conspecifics by using chemical cues alone. Both male and female starlings preferred male scents. Furthermore, the analysis of the chemical composition of the uropygial gland secretion by using gas chromatography–mass spectrometry (GC–MS) revealed differences between sexes, ages and reproductive status.4. In conclusion, our study reveals for first time that a passerine species can discriminate the sex of conspecifics by relying on chemical cues and suggests that the uropygial gland secretion may potentially function as a chemical signal used in mate choice and/or intrasexual competition in this species.This research was funded by the Spanish Ministry of Education and Science ⁄ FEDER (CGL2008-00718) and PIE 200930I029 to J. M. Avilés and D. Parejo.The study was conducted under licence of the Junta de Andalucía GC–MS analyses were performed by Dr. Rafael Núñez at the Scientific Instrumentation Service (EEZ, CSIC) (Granada, Spain).Peer reviewe
Innocent strategies as presheaves and interactive equivalences for CCS
Seeking a general framework for reasoning about and comparing programming
languages, we derive a new view of Milner's CCS. We construct a category E of
plays, and a subcategory V of views. We argue that presheaves on V adequately
represent innocent strategies, in the sense of game semantics. We then equip
innocent strategies with a simple notion of interaction. This results in an
interpretation of CCS.
Based on this, we propose a notion of interactive equivalence for innocent
strategies, which is close in spirit to Beffara's interpretation of testing
equivalences in concurrency theory. In this framework we prove that the
analogues of fair and must testing equivalences coincide, while they differ in
the standard setting.Comment: In Proceedings ICE 2011, arXiv:1108.014
Injectable alginate hydrogel loaded with GDNF promotes functional recovery in a hemisection model of spinal cord injury
We hypothesized that local delivery of GDNF in spinal cord lesion via an injectable alginate hydrogel gelifying in situ would support spinal cord plasticity and functional recovery. The GDNF release from the hydrogel was slowed by GDNF encapsulation in microspheres compared to non-formulated GDNF (free GDNF). When injected in a rat spinal cord hemisection model, more neurofilaments were observed in the lesion when the rats were treated with free GDNF-loaded hydrogels. More growing neurites were detected in the tissues surrounding the lesion when the animals were treated with GDNF microsphere-loaded hydrogels. Intense GFAP (astrocytes), low III tubulin (neural cells) and RECA-1 (endothelial cells) stainings were observed for non-treated lesions while GDNF-treated spinal cords presented less GFAP staining and more endothelial and nerve fiber infiltration in the lesion site. The animals treated with free GDNF-loaded hydrogel presented superior functional recovery compared with the animals treated with the GDNF microsphere-loaded hydrogels and non-treated animals
An open toolkit for tracking open science partnership implementation and impact.
Serious concerns about the way research is organized collectively are increasingly being raised. They include the escalating costs of research and lower research productivity, low public trust in researchers to report the truth, lack of diversity, poor community engagement, ethical concerns over research practices, and irreproducibility. Open science (OS) collaborations comprise of a set of practices including open access publication, open data sharing and the absence of restrictive intellectual property rights with which institutions, firms, governments and communities are experimenting in order to overcome these concerns. We gathered two groups of international representatives from a large variety of stakeholders to construct a toolkit to guide and facilitate data collection about OS and non-OS collaborations. Ultimately, the toolkit will be used to assess and study the impact of OS collaborations on research and innovation. The toolkit contains the following four elements: 1) an annual report form of quantitative data to be completed by OS partnership administrators; 2) a series of semi-structured interview guides of stakeholders; 3) a survey form of participants in OS collaborations; and 4) a set of other quantitative measures best collected by other organizations, such as research foundations and governmental or intergovernmental agencies. We opened our toolkit to community comment and input. We present the resulting toolkit for use by government and philanthropic grantors, institutions, researchers and community organizations with the aim of measuring the implementation and impact of OS partnership across these organizations. We invite these and other stakeholders to not only measure, but to share the resulting data so that social scientists and policy makers can analyse the data across projects
Health Economics of Dengue: A Systematic Literature Review and Expert Panel's Assessment
Dengue vaccines are currently in development and policymakers need appropriate economic studies to determine their potential financial and public health impact. We searched five databases (PubMed, EMBASE, LILAC, EconLit, and WHOLIS) to identify health economics studies of dengue. Forty-three manuscripts were identified that provided primary data: 32 report economic burden of dengue and nine are comparative economic analyses assessing various interventions. The remaining two were a willingness-to-pay study and a policymaker survey. An expert panel reviewed the existing dengue economic literature and recommended future research to fill information gaps. Although dengue is an important vector-borne disease, the economic literature is relatively sparse and results have often been conflicting because of use of inconsistent assumptions. Health economic research specific to dengue is urgently needed to ensure informed decision making on the various options for controlling and preventing this disease
DNMT3L Is a Regulator of X Chromosome Compaction and Post-Meiotic Gene Transcription
Previous studies on the epigenetic regulator DNA methyltransferase 3-Like (DNMT3L), have demonstrated it is an essential regulator of paternal imprinting and early male meiosis. Dnmt3L is also a paternal effect gene, i.e., wild type offspring of heterozygous mutant sires display abnormal phenotypes suggesting the inheritance of aberrant epigenetic marks on the paternal chromosomes. In order to reveal the mechanisms underlying these paternal effects, we have assessed X chromosome meiotic compaction, XY chromosome aneuploidy rates and global transcription in meiotic and haploid germ cells from male mice heterozygous for Dnmt3L. XY bodies from Dnmt3L heterozygous males were significantly longer than those from wild types, and were associated with a three-fold increase in XY bearing sperm. Loss of a Dnmt3L allele resulted in deregulated expression of a large number of both X-linked and autosomal genes within meiotic cells, but more prominently in haploid germ cells. Data demonstrate that similar to embryonic stem cells, DNMT3L is involved in an auto-regulatory loop in germ cells wherein the loss of a Dnmt3L allele resulted in increased transcription from the remaining wild type allele. In contrast, however, within round spermatids, this auto-regulatory loop incorporated the alternative non-coding alternative transcripts. Consistent with the mRNA data, we have localized DNMT3L within spermatids and sperm and shown that the loss of a Dnmt3L allele results in a decreased DNMT3L content within sperm. These data demonstrate previously unrecognised roles for DNMT3L in late meiosis and in the transcriptional regulation of meiotic and post-meiotic germ cells. These data provide a potential mechanism for some cases of human Klinefelter's and Turner's syndromes
Machine learning algorithms performed no better than regression models for prognostication in traumatic brain injury
Objective: We aimed to explore the added value of common machine learning (ML) algorithms for prediction of outcome for moderate and severe traumatic brain injury. Study Design and Setting: We performed logistic regression (LR), lasso regression, and ridge regression with key baseline predictors in the IMPACT-II database (15 studies, n = 11,022). ML algorithms included support vector machines, random forests, gradient boosting machines, and artificial neural networks and were trained using the same predictors. To assess generalizability of predictions, we performed internal, internal-external, and external validation on the recent CENTER-TBI study (patients with Glasgow Coma Scale <13, n = 1,554). Both calibration (calibration slope/intercept) and discrimination (area under the curve) was quantified. Results: In the IMPACT-II database, 3,332/11,022 (30%) died and 5,233(48%) had unfavorable outcome (Glasgow Outcome Scale less than 4). In the CENTER-TBI study, 348/1,554(29%) died and 651(54%) had unfavorable outcome. Discrimination and calibration varied widely between the studies and less so between the studied algorithms. The mean area under the curve was 0.82 for mortality and 0.77 for unfavorable outcomes in the CENTER-TBI study. Conclusion: ML algorithms may not outperform traditional regression approaches in a low-dimensional setting for outcome prediction after moderate or severe traumatic brain injury. Similar to regression-based prediction models, ML algorithms should be rigorously validated to ensure applicability to new populations
New genetic loci link adipose and insulin biology to body fat distribution.
Body fat distribution is a heritable trait and a well-established predictor of adverse metabolic outcomes, independent of overall adiposity. To increase our understanding of the genetic basis of body fat distribution and its molecular links to cardiometabolic traits, here we conduct genome-wide association meta-analyses of traits related to waist and hip circumferences in up to 224,459 individuals. We identify 49 loci (33 new) associated with waist-to-hip ratio adjusted for body mass index (BMI), and an additional 19 loci newly associated with related waist and hip circumference measures (P < 5 × 10(-8)). In total, 20 of the 49 waist-to-hip ratio adjusted for BMI loci show significant sexual dimorphism, 19 of which display a stronger effect in women. The identified loci were enriched for genes expressed in adipose tissue and for putative regulatory elements in adipocytes. Pathway analyses implicated adipogenesis, angiogenesis, transcriptional regulation and insulin resistance as processes affecting fat distribution, providing insight into potential pathophysiological mechanisms
- …