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

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

Traumatic brain injury: integrated approaches to improve prevention, clinical care, and research

No abstract available

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

Variation in Structure and Process of Care in Traumatic Brain Injury: Provider Profiles of European Neurotrauma Centers Participating in the CENTER-TBI Study.

INTRODUCTION: The strength of evidence underpinning care and treatment recommendations in traumatic brain injury (TBI) is low. Comparative effectiveness research (CER) has been proposed as a framework to provide evidence for optimal care for TBI patients. The first step in CER is to map the existing variation. The aim of current study is to quantify variation in general structural and process characteristics among centers participating in the Collaborative European NeuroTrauma Effectiveness Research in Traumatic Brain Injury (CENTER-TBI) study. METHODS: We designed a set of 11 provider profiling questionnaires with 321 questions about various aspects of TBI care, chosen based on literature and expert opinion. After pilot testing, questionnaires were disseminated to 71 centers from 20 countries participating in the CENTER-TBI study. Reliability of questionnaires was estimated by calculating a concordance rate among 5% duplicate questions. RESULTS: All 71 centers completed the questionnaires. Median concordance rate among duplicate questions was 0.85. The majority of centers were academic hospitals (n = 65, 92%), designated as a level I trauma center (n = 48, 68%) and situated in an urban location (n = 70, 99%). The availability of facilities for neuro-trauma care varied across centers; e.g. 40 (57%) had a dedicated neuro-intensive care unit (ICU), 36 (51%) had an in-hospital rehabilitation unit and the organization of the ICU was closed in 64% (n = 45) of the centers. In addition, we found wide variation in processes of care, such as the ICU admission policy and intracranial pressure monitoring policy among centers. CONCLUSION: Even among high-volume, specialized neurotrauma centers there is substantial variation in structures and processes of TBI care. This variation provides an opportunity to study effectiveness of specific aspects of TBI care and to identify best practices with CER approaches