Spacetimes for λ-deformations

We examine a recently proposed class of integrable deformations to two-dimensional conformal field theories. These {\lambda}-deformations interpolate between a WZW model and the non-Abelian T-dual of a Principal Chiral Model on a group G or, between a G/H gauged WZW model and the non-Abelian T-dual of the geometric coset G/H. {\lambda}-deformations have been conjectured to represent quantum group q-deformations for the case where the deformation parameter is a root of unity. In this work we show how such deformations can be given an embedding as full string backgrounds whose target spaces satisfy the equations of type-II supergravity. One illustrative example is a deformation of the Sl(2,R)/U(1) black-hole CFT. A further example interpolates between the SU(2)×SU(2)SU(2)×SL(2,R)×SL(2,R)SL(2,R)×U(1)4 gauged WZW model and the non-Abelian T-dual of AdS3×S3×T4 supported with Ramond flux

Environment Orientation : a structured simulation approach for agent-based complex systems

Complex systems are collections of independent agents interacting with each other and with their environment to produce emergent behaviour. Agent-based computer simulation is one of the main ways of studying complex systems. A naive approach to such simulation can fare poorly, due to large communication overhead, and due to the scope for deadlock between the interacting agents sharing a computational platform. Agent interaction can instead be considered entirely from the point of view of the environment(s) within which the agents interact. Structuring a simulation using such Environment Orientation leads to a simulation that reduces communication overhead, that is effectively deadlock-free, and yet still behaves in the manner required. Additionally the Environment Orientation architecture eases the development of more sophisticated large-scale simulations, with multiple kinds of complex agents, situated in and interacting with multiple kinds of environments. We describe the Environment Orientation simulation architecture. We report on a number of experiments that demonstrate the effectiveness of the Environment Orientation approach: a simple flocking system, a flocking system with multiple sensory environments, and a flocking system in an external environment

The history of leishmaniasis

In this review article the history of leishmaniasis is discussed regarding the origin of the genus Leishmania in the Mesozoic era and its subsequent geographical distribution, initial evidence of the disease in ancient times, first accounts of the infection in the Middle Ages, and the discovery of Leishmania parasites as causative agents of leishmaniasis in modern times. With respect to the origin and dispersal of Leishmania parasites, the three currently debated hypotheses (Palaearctic, Neotropical and supercontinental origin, respectively) are presented. Ancient documents and paleoparasitological data indicate that leishmaniasis was already widespread in antiquity. Identification of Leishmania parasites as etiological agents and sand flies as the transmission vectors of leishmaniasis started at the beginning of the 20th century and the discovery of new Leishmania and sand fly species continued well into the 21st century. Lately, the Syrian civil war and refugee crises have shown that leishmaniasis epidemics can happen any time in conflict areas and neighbouring regions where the disease was previously endemic

Modified constraint-induced movement therapy or bimanual occupational therapy following injection of Botulinum toxin-A to improve bimanual performance in young children with hemiplegic cerebral palsy: a randomised controlled trial methods paper

<p>Abstract</p> <p>Background</p> <p>Use of Botulinum toxin-A (BoNT-A) for treatment of upper limb spasticity in children with cerebral palsy has become routine clinical practice in many paediatric treatment centres worldwide. There is now high-level evidence that upper limb BoNT-A injection, in combination with occupational therapy, improves outcomes in children with cerebral palsy at both the body function/structure and activity level domains of the International Classification of Functioning, Disability and Health. Investigation is now required to establish what amount and specific type of occupational therapy will further enhance functional outcomes and prolong the beneficial effects of BoNT-A.</p> <p>Methods/Design</p> <p>A randomised, controlled, evaluator blinded, prospective parallel-group trial. Eligible participants were children aged 18 months to 6 years, diagnosed with spastic hemiplegic cerebral palsy and who were able to demonstrate selective motor control of the affected upper limb. Both groups received upper limb injections of BoNT-A. Children were randomised to either the modified constraint-induced movement therapy group (experimental) or bimanual occupational therapy group (control). Outcome assessments were undertaken at pre-injection and 1, 3 and 6 months following injection of BoNT-A. The primary outcome measure was the Assisting Hand Assessment. Secondary outcomes included: the Quality of Upper Extremity Skills Test; Pediatric Evaluation of Disability Inventory; Canadian Occupational Performance Measure; Goal Attainment Scaling; Pediatric Motor Activity Log; modified Ashworth Scale and; the modified Tardieu Scale.</p> <p>Discussion</p> <p>The aim of this paper is to describe the methodology of a randomised controlled trial comparing the effects of modified constraint-induced movement therapy (a uni-manual therapy) versus bimanual occupational therapy (a bimanual therapy) on improving bimanual upper limb performance of children with hemiplegic cerebral palsy following upper limb injection of BoNT-A. The paper outlines the background to the study, the study hypotheses, outcome measures and trial methodology. It also provides a comprehensive description of the interventions provided.</p> <p>Trial Registration</p> <p>ACTRN12605000002684</p

Methylation profiling of twenty promoter-CpG islands of genes which may contribute to hepatocellular carcinogenesis

BACKGROUND: Hepatocellular carcinoma (HCC) presents one of the major health threats in China today. A better understanding of the molecular genetics underlying malignant transformation of hepatocytes is critical to success in the battle against this disease. The methylation state of C5 of the cytosine in the CpG di-nucleotide that is enriched within or near the promoter region of over 50 % of the polymerase II genes has a drastic effect on transcription of these genes. Changes in the methylation profile of the promoters represent an alternative to genetic lesions as causative factors for the tumor-specific aberrant expression of the genes. METHODS: We have used the methylation specific PCR method in conjunction with DNA sequencing to assess the methylation state of the promoter CpG islands of twenty genes. Aberrant expression of these genes have been attributed to the abnormal methylation profile of the corresponding promoter CpG islands in human tumors. RESULTS: While the following sixteen genes remained the unmethylated in all tumor and normal tissues: CDH1, APAF1, hMLH1, BRCA1, hTERC, VHL, RARβ, TIMP3, DAPK1, SURVIVIN, p14(ARF), RB1, p15(INK4b), APC, RASSF1c and PTEN, varying degrees of tumor specific hypermethylation were associated with the p16(INK4a ), RASSF1a, CASP8 and CDH13 genes. For instance, the p16(INK4a )was highly methylated in HCC (17/29, 58.6%) and less significantly methylated in non-cancerous tissue (4/29. 13.79%). The RASSF1a was fully methylated in all tumor tissues (29/29, 100%), and less frequently methylated in corresponding non-cancerous tissue (24/29, 82.75%). CONCLUSIONS: Furthermore, co-existence of methylated with unmethylated DNA in some cases suggested that both genetic and epigenetic (CpG methylation) mechanisms may act in concert to inactivate the p16(INK4a )and RASSF1a in HCC. Finally, we found a significant association of cirrhosis with hypermethylation of the p16(INK4a )and hypomethylation of the CDH13 genes. For the first time, the survey was carried out on such an extent that it would not only provide new insights into the molecular mechanisms underscoring the aberrant expression of the genes in this study in HCC, but also offer essential information required for a good methylation-based diagnosis of HCC

Selection of Salmonella enterica Serovar Typhi Genes Involved during Interaction with Human Macrophages by Screening of a Transposon Mutant Library

The human-adapted Salmonella enterica serovar Typhi (S. Typhi) causes a systemic infection known as typhoid fever. This disease relies on the ability of the bacterium to survive within macrophages. In order to identify genes involved during interaction with macrophages, a pool of approximately 105 transposon mutants of S. Typhi was subjected to three serial passages of 24 hours through human macrophages. Mutants recovered from infected macrophages (output) were compared to the initial pool (input) and those significantly underrepresented resulted in the identification of 130 genes encoding for cell membrane components, fimbriae, flagella, regulatory processes, pathogenesis, and many genes of unknown function. Defined deletions in 28 genes or gene clusters were created and mutants were evaluated in competitive and individual infection assays for uptake and intracellular survival during interaction with human macrophages. Overall, 26 mutants had defects in the competitive assay and 14 mutants had defects in the individual assay. Twelve mutants had defects in both assays, including acrA, exbDB, flhCD, fliC, gppA, mlc, pgtE, typA, waaQGP, SPI-4, STY1867-68, and STY2346. The complementation of several mutants by expression of plasmid-borne wild-type genes or gene clusters reversed defects, confirming that the phenotypic impairments within macrophages were gene-specific. In this study, 35 novel phenotypes of either uptake or intracellular survival in macrophages were associated with Salmonella genes. Moreover, these results reveal several genes encoding molecular mechanisms not previously known to be involved in systemic infection by human-adapted typhoidal Salmonella that will need to be elucidated

Verifpal: Cryptographic Protocol Analysis for the Real World

Verifpal is a new automated modeling framework and verifier for cryptographic protocols, optimized with heuristics for common-case protocol specifications, that aims to work better for real-world practitioners, students and engineers without sacrificing comprehensive formal verification features. In order to achieve this, Verifpal introduces a new, intuitive language for modeling protocols that is easier to write and understand than the languages employed by existing tools. Its formal verification paradigm is also designed explicitly to provide protocol modeling that avoids user error. Verifpal is able to model protocols under an active attacker with unbounded sessions and fresh values, and supports queries for advanced security properties such as forward secrecy or key compromise impersonation. Furthermore, Verifpal\u27s semantics have been formalized within the Coq theorem prover, and Verifpal models can be automatically translated into Coq as well as into ProVerif models for further verification. Verifpal has already been used to verify security properties for Signal, Scuttlebutt, TLS 1.3 as well as the first formal model for the DP-3T pandemic-tracing protocol, which we present in this work. Through Verifpal, we show that advanced verification with formalized semantics and sound logic can exist without any expense towards the convenience of real-world practitioners