Classical and Quantum Equations of Motion for a BTZ Black String in AdS Space

We investigate gravitational collapse of a $(3+1)$-dimensional BTZ black string in AdS space in the context of both classical and quantum mechanics. This is done by first deriving the conserved mass per unit length of the cylindrically symmetric domain wall, which is taken as the classical Hamiltonian of the black string. In the quantum mechanical context, we take primary interest in the behavior of the collapse near the horizon and near the origin (classical singularity) from the point of view of an infalling observer. In the absence of radiation, quantum effects near the horizon do not change the classical conclusions for an infalling observer, meaning that the horizon is not an obstacle for him/her. The most interesting quantum mechanical effect comes in when investigating near the origin. First, quantum effects are able to remove the classical singularity at the origin, since the wave function is non-singular at the origin. Second, the Schr\"odinger equation describing the behavior near the origin displays non-local effects, which depend on the energy density of the domain wall. This is manifest in that derivatives of the wavefunction at one point are related to the value of the wavefunction at some other distant point.Comment: 9 pages, 1 figure. Minor Clarification and corrections. Accepted for Publication in JHE

A Timed IO monad

Programming with explicit timing information is often tedious and error prone. This is especially visible in music programming where, when played, the specified durations of notes and rests must be shortened in order to compensate the actual duration of all surrounding processing. In this paper, we develop the notion of timed extension of a monad that aims at relieving programmers from such a burden. We show how, under simple conditions, such extensions can be built, and how useful features of monad programming such as asynchronous concurrency with promises or data-flow programming with monadic streams can be uniformly lifted to the resulting timed programming framework. Even though presented and developed in the abstract, the notion of timed extension of a monad is nevertheless illustrated by two concrete instances: a default timed IO monad where programmers specify durations in mi-croseconds, and a musically timed IO monad, where programmers specify durations in number of beats, the underlying tempo, that is, the speed of the music in beats per minute, possibly changed whenever needed

Early Gnathostome Phylogeny Revisited: Multiple Method Consensus

This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.A series of recent studies recovered consistent phylogenetic scenarios of jawed vertebrates, such as the paraphyly of placoderms with respect to crown gnathostomes, and antiarchs as the sister group of all other jawed vertebrates. However, some of the hylogenetic relationships within the group have remained controversial, such as the positions of Entelognathus, ptyctodontids, and the Guiyu-lineage that comprises Guiyu, Psarolepis and Achoania. The revision of the dataset in a recent study reveals a modified phylogenetic hypothesis, which shows that some of these phylogenetic conflicts were sourced from a few inadvertent miscodings. The interrelationships of early gnathostomes are addressed based on a combined new dataset with 103 taxa and 335 characters, which is the most comprehensive morphological dataset constructed to date. This dataset is investigated in a phylogenetic context using maximum parsimony (MP), Bayesian inference (BI) and maximum likelihood (ML) approaches in an attempt to explore the consensus and incongruence between the hypotheses of early gnathostome interrelationships recovered from different methods. Our findings consistently corroborate the paraphyly of placoderms, all `acanthodians' as a paraphyletic stem group of chondrichthyans, Entelognathus as a stem gnathostome, and the Guiyu-lineage as stem sarcopterygians. The incongruence using different methods is less significant than the consensus, and mainly relates to the positions of the placoderm Wuttagoonaspis, the stem chondrichthyan Ramirosuarezia, and the stem osteichthyan LophosteusÐthe taxa that are either poorly known or highly specialized in character complement. Given that the different performances of each phylogenetic approach, our study provides an empirical case that the multiple phylogenetic analyses of morphological data are mutually complementary rather than redundant

No more, no less - A formal model for serverless computing

Serverless computing, also known as Functions-as-a-Service, is a recent paradigm aimed at simplifying the programming of cloud applications. The idea is that developers design applications in terms of functions, which are then deployed on a cloud infrastructure. The infrastructure takes care of executing the functions whenever requested by remote clients, dealing automatically with distribution and scaling with respect to inbound traffic. While vendors already support a variety of programming languages for serverless computing (e.g. Go, Java, Javascript, Python), as far as we know there is no reference model yet to formally reason on this paradigm. In this paper, we propose the first formal programming model for serverless computing, which combines ideas from both the $\lambda$-calculus (for functions) and the $\pi$-calculus (for communication). To illustrate our proposal, we model a real-world serverless system. Thanks to our model, we are also able to capture and pinpoint the limitations of current vendor technologies, proposing possible amendments

No More, No Less - A Formal Model for Serverless Computing

Part 3: Exploring New FrontiersInternational audienceServerless computing, also known as Functions-as-a-Service, is a recent paradigm aimed at simplifying the programming of cloud applications. The idea is that developers design applications in terms of functions, which are then deployed on a cloud infrastructure. The infrastructure takes care of executing the functions whenever requested by remote clients, dealing automatically with distribution and scaling with respect to inbound traffic.While vendors already support a variety of programming languages for serverless computing (e.g. Go, Java, Javascript, Python), as far as we know there is no reference model yet to formally reason on this paradigm. In this paper, we propose the first core formal programming model for serverless computing, which combines ideas from both the lambda-calculus (for functions) and the pi-calculus (for communication). To illustrate our proposal, we model a real-world serverless system. Thanks to our model, we capture limitations of current vendors and formalise possible amendments

Activation of Toll-Like Receptor 3 Impairs the Dengue Virus Serotype 2 Replication through Induction of IFN-β in Cultured Hepatoma Cells

Toll-like receptors (TLRs) play an important role in innate immunity against invading pathogens. Although TLR signaling has been indicated to protect cells from infection of several viruses, the role of TLRs in Dengue virus (DENV) replication is still unclear. In the present study, we examined the replication of DENV serotype 2 (DENV2) by challenging hepatoma cells HepG2 with different TLR ligands. Activation of TLR3 showed an antiviral effect, while pretreatment of other TLR ligands (including TLR1/2, TLR2/6, TLR4, TLR5 or TLR7/8) did not show a significant effect. TLR3 ligand poly(I∶C) treatment prior to viral infection or simultaneously, but not post-treatment, significantly down-regulated virus replication. Pretreatment with poly(I∶C) reduced viral mRNA expression and viral staining positive cells, accompanying an induction of the type I interferon (IFN-β) and type III IFN (IL-28A/B). Intriguingly, neutralization of IFN-β alone successfully restored the poly(I∶C)-inhibited replication of DENV2. The poly(I∶C)-mediated effects, including IFN induction and DENV2 suppression, were significantly reversed by IKK inhibitor, further suggesting that IFN-β is the dominant factor involved in the poly(I∶C) mediated antiviral effect. Our study presented the first evidence to show that activation of TLR3 is effective in blocking DENV2 replication via IFN-β, providing an experimental clue that poly(I∶C) may be a promising immunomodulatory agent against DENV infection and might be applicable for clinical prevention

Peptide Bβ15-42 Preserves Endothelial Barrier Function in Shock

Loss of vascular barrier function causes leak of fluid and proteins into tissues, extensive leak leads to shock and death. Barriers are largely formed by endothelial cell-cell contacts built up by VE-cadherin and are under the control of RhoGTPases. Here we show that a natural plasmin digest product of fibrin, peptide Bß15-42 (also called FX06), significantly reduces vascular leak and mortality in animal models for Dengue shock syndrome. The ability of Bß15-42 to preserve endothelial barriers is confirmed in rats i.v.-injected with LPS. In endothelial cells, Bß15-42 prevents thrombin-induced stress fiber formation, myosin light chain phosphorylation and RhoA activation. The molecular key for the protective effect of Bß15-42 is the src kinase Fyn, which associates with VE-cadherin-containing junctions. Following exposure to Bß15-42 Fyn dissociates from VE-cadherin and associates with p190RhoGAP, a known antagonists of RhoA activation. The role of Fyn in transducing effects of Bß15-42 is confirmed in Fyn−/− mice, where the peptide is unable to reduce LPS-induced lung edema, whereas in wild type littermates the peptide significantly reduces leak. Our results demonstrate a novel function for Bß15-42. Formerly mainly considered as a degradation product occurring after fibrin inactivation, it has now to be considered as a signaling molecule. It stabilizes endothelial barriers and thus could be an attractive adjuvant in the treatment of shock

A role for pharmacists in community-based post-discharge warfarin management: protocol for the 'the role of community pharmacy in post hospital management of patients initiated on warfarin' study

<p>Abstract</p> <p>Background</p> <p>Shorter periods of hospitalisation and increasing warfarin use have placed stress on community-based healthcare services to care for patients taking warfarin after hospital discharge, a high-risk period for these patients. A previous randomised controlled trial demonstrated that a post-discharge service of 4 home visits and point-of-care (POC) International Normalised Ratio (INR) testing by a trained pharmacist improved patients' outcomes. The current study aims to modify this previously trialled service model to implement and then evaluate a sustainable program to enable the smooth transition of patients taking warfarin from the hospital to community setting.</p> <p>Methods/Design</p> <p>The service will be trialled in 8 sites across 3 Australian states using a prospective, controlled cohort study design. Patients discharged from hospital taking warfarin will receive 2 or 3 home visits by a trained 'home medicines review (HMR)-accredited' pharmacist in their 8 to 10 days after hospital discharge. Visits will involve a HMR, comprehensive warfarin education, and POC INR monitoring in collaboration with patients' general practitioners (GPs) and community pharmacists. Patient outcomes will be compared to those in a control, or 'usual care', group. The primary outcome measure will be the proportion of patients experiencing a major bleeding event in the 90 days after discharge. Secondary outcome measures will include combined major bleeding and thromboembolic events, death, cessation of warfarin therapy, INR control at 8 days post-discharge and unplanned hospital readmissions from any cause. Stakeholder satisfaction will be assessed using structured postal questionnaire mailed to patients, GPs, community pharmacists and accredited pharmacists at the completion of their study involvement.</p> <p>Discussion</p> <p>This study design incorporates several aspects of prior interventions that have been demonstrated to improve warfarin management, including POC INR testing, warfarin education and home visits by trained pharmacists. It faces several potential challenges, including the tight timeframe for patient follow-up in the post-discharge period. Its strengths lie in a strong multidisciplinary team and the utilisation of existing healthcare frameworks. It is hoped that this study will provide the evidence to support the national roll-out of the program as a new Australian professional community pharmacy service.</p> <p>Trial Registration</p> <p>Australian New Zealand Clinical Trials Registry Number <a href="http://www.anzctr.org.au/trial_view.aspx?ID=82959">12608000334303</a>.</p