Concurrent Kleene Algebra: Free Model and Completeness

Concurrent Kleene Algebra (CKA) was introduced by Hoare, Moeller, Struth and Wehrman in 2009 as a framework to reason about concurrent programs. We prove that the axioms for CKA with bounded parallelism are complete for the semantics proposed in the original paper; consequently, these semantics are the free model for this fragment. This result settles a conjecture of Hoare and collaborators. Moreover, the techniques developed along the way are reusable; in particular, they allow us to establish pomset automata as an operational model for CKA.Comment: Version 2 includes an overview section that outlines the completeness proof, as well as some extra discussion of the interpolation lemma. It also includes better typography and a number of minor fixes. Version 3 incorporates the changes by comments from the anonymous referees at ESOP. Among other things, these include a worked example of computing the syntactic closure by han

The low-energy limit of AdS(3)/CFT2 and its TBA

We investigate low-energy string excitations in AdS3 × S3 × T4. When the worldsheet is decompactified, the theory has gapless modes whose spectrum at low energies is determined by massless relativistic integrable S matrices of the type introduced by Al. B. Zamolodchikov. The S matrices are non-trivial only for excitations with identical worldsheet chirality, indicating that the low-energy theory is a CFT2. We construct a Thermodynamic Bethe Ansatz (TBA) for these excitations and show how the massless modes’ wrapping effects may be incorporated into the AdS3 spectral problem. Using the TBA and its associated Y-system, we determine the central charge of the low-energy CFT2 to be c = 6 from calculating the vacuum energy for antiperiodic fermions — with the vacuum energy being zero for periodic fermions in agreement with a supersymmetric theory — and find the energies of some excited states

Model of the complex of Parathyroid hormone-2 receptor and Tuberoinfundibular peptide of 39 residues

<p>Abstract</p> <p>Background</p> <p>We aim to propose interactions between the parathyroid hormone-2 receptor (PTH2R) and its ligand the tuberoinfundibular peptide of 39 residues (TIP39) by constructing a homology model of their complex. The two related peptides parathyroid hormone (PTH) and parathyroid hormone related protein (PTHrP) are compared with the complex to examine their interactions.</p> <p>Findings</p> <p>In the model, the hydrophobic N-terminus of TIP39 is buried in a hydrophobic part of the central cavity between helices 3 and 7. Comparison of the peptide sequences indicates that the main discriminator between the agonistic peptides TIP39 and PTH and the inactive PTHrP is a tryptophan-phenylalanine replacement. The model indicates that the smaller phenylalanine in PTHrP does not completely occupy the binding site of the larger tryptophan residue in the other peptides. As only TIP39 causes internalisation of the receptor and the primary difference being an aspartic acid in position 7 of TIP39 that interacts with histidine 396 in the receptor, versus isoleucine/histidine residues in the related hormones, this might be a trigger interaction for the events that cause internalisation.</p> <p>Conclusions</p> <p>A model is constructed for the complex and a trigger interaction for full agonistic activation between aspartic acid 7 of TIP39 and histidine 396 in the receptor is proposed.</p

The complete AdS3 ×S3 × T4 worldsheet S matrix

We derive the non-perturbative worldsheet S matrix for fundamental excitations of Type IIB superstring theory on AdS3 ×S3 × T4 with Ramond-Ramond flux. To this end, we study the off-shell symmetry algebra of the theory and its representations. We use these to determine the S matrix up to scalar factors and we derive the crossing equations that these scalar factors satisfy. Our treatment automatically includes fundamental massless excitations, removing a long-standing obstacle in using integrability to study the AdS3/CFT2 correspondence

Diagnostic and prognostic accuracy of clinical and laboratory parameters in community-acquired pneumonia

BACKGROUND: Community-acquired pneumonia (CAP) is the most frequent infection-related cause of death. The reference standard to diagnose CAP is a new infiltrate on chest radiograph in the presence of recently acquired respiratory signs and symptoms. This study aims to evaluate the diagnostic and prognostic accuracy of clinical signs and symptoms and laboratory biomarkers for CAP. METHODS: 545 patients with suspected lower respiratory tract infection, admitted to the emergency department of a university hospital were included in a pre-planned post-hoc analysis of two controlled intervention trials. Baseline assessment included history, clinical examination, radiography and measurements of procalcitonin (PCT), highly sensitive C-reactive protein (hsCRP) and leukocyte count. RESULTS: Of the 545 patients, 373 had CAP, 132 other respiratory tract infections, and 40 other final diagnoses. The AUC of a clinical model including standard clinical signs and symptoms (i.e. fever, cough, sputum production, abnormal chest auscultation and dyspnea) to diagnose CAP was 0.79 [95% CI, 0.75–0.83]. This AUC was significantly improved by including PCT and hsCRP (0.92 [0.89–0.94]; p < 0.001). PCT had a higher diagnostic accuracy (AUC, 0.88 [0.84–0.93]) in differentiating CAP from other diagnoses, as compared to hsCRP (AUC, 0.76 [0.69–0.83]; p < 0.001) and total leukocyte count (AUC, 0.69 [0.62–0.77]; p < 0.001). To predict bacteremia, PCT had a higher AUC (0.85 [0.80–0.91]) as compared to hsCRP (p = 0.01), leukocyte count (p = 0.002) and elevated body temperature (p < 0.001). PCT, in contrast to hsCRP and leukocyte count, increased with increasing severity of CAP, as assessed by the pneumonia severity index (p < 0.001). CONCLUSION: PCT, and to a lesser degree hsCRP, improve the accuracy of currently recommended approaches for the diagnosis of CAP, thereby complementing clinical signs and symptoms. PCT is useful in the severity assessment of CAP

Integrability and the conformal field theory of the Higgs branch

In the context of the AdS3/CFT2 correspondence, we investigate the Higgs branch CFT2. Witten showed that states localised near the small instanton singularity can be described in terms of vector multiplet variables. This theory has a planar, weak-coupling limit, in which anomalous dimensions of single-trace composite operators can be calculated. At one loop, the calculation reduces to finding the spectrum of a spin-chain with nearest-neighbour interactions. This CFT2 spin-chain matches precisely the one that was previously found as the weak-coupling limit of the integrable system describing the AdS3 side of the duality. We compute the one-loop dilatation operator in a non-trivial compact subsector and show that it corresponds to an integrable spin-chain Hamiltonian. This provides the first direct evidence of integrability on the CFT2 side of the correspondence

Expanding the knowledge about Leishmania species in wild mammals and dogs in the Brazilian savannah

Background: Wild, synanthropic and domestic mammals act as hosts and/or reservoirs of several Leishmania spp. Studies on possible reservoirs of Leishmania in different areas are fundamental to understand host-parasite interactions and develop strategies for the surveillance and control of leishmaniasis. In the present study, we evaluated the Leishmania spp. occurrence in mammals in two conservation units and their surroundings in Brasília, Federal District (FD), Brazil. Methods: Small mammals were captured in Brasília National Park (BNP) and Contagem Biological Reserve (CBR) and dogs were sampled in residential areas in their vicinity. Skin and blood samples were evaluated by PCR using different molecular markers (D7 24Sα rRNA and rDNA ITS1). Leishmania species were identified by sequencing of PCR products. Dog blood samples were subjected to the rapid immunochromatographic test (DPP) for detection of anti-Leishmania infantum antibodies. Results: 179 wild mammals were studied and 20.1% had Leishmania DNA successfully detected in at least one sample. Six mammal species were considered infected: Clyomys laticeps, Necromys lasiurus, Nectomys rattus, Rhipidomys macrurus, Didelphis albiventris and Gracilinanus agilis. No significant difference, comparing the proportion of individuals with Leishmania spp., was observed between the sampled areas and wild mammal species. Most of the positive samples were collected from the rodent N. lasiurus, infected by L. amazonensis or L. braziliensis. Moreover, infections by Trypanosoma spp. were detected in N. lasiurus and G. agilis. All 19 dog samples were positive by DPP; however, only three (15.8%) were confirmed by PCR assays. DNA sequences of ITS1 dog amplicons showed 100% identity with L. infantum sequence. Conclusions: The results suggest the participation of six species of wild mammals in the enzootic transmission of Leishmania spp. in FD. This is the first report of L. amazonensis in N. lasiurus