Interval temporal logic model checking: The border between good and bad HS fragments

The model checking problem has thoroughly been explored in the context of standard point-based temporal logics, such as LTL, CTL, and CTL 17, whereas model checking for interval temporal logics has been brought to the attention only very recently. In this paper, we prove that the model checking problem for the logic of Allen\u2019s relations started-by and finished-by is highly intractable, as it can be proved to be EXPSPACE-hard. Such a lower bound immediately propagates to the full Halpern and Shoham\u2019s modal logic of time intervals (HS). In contrast, we show that other noteworthy HS fragments, namely, Propositional Neighbourhood Logic extended with modalities for the Allen relation starts (resp., finishes) and its inverse started-by (resp., finished-by), turn out to have\u2014maybe unexpectedly\u2014the same complexity as LTL (i.e., they are PSPACE-complete), thus joining the group of other already studied, well-behaved albeit less expressive, HS fragments

Loss of AQP3 protein expression is associated with worse progression-free and cancer-specific survival in patients with muscle-invasive bladder cancer

Purpose Urothelial carcinoma has recently been shown to express several aquaporins (AQP), with AQP3 being of particular interest as its expression is reduced or lost in tumours of higher grade and stage. Loss of AQP3 expression was associated with worse progression-free survival (PFS) in patients with pT1 bladder cancer. The objective of this study was to investigate the prognostic value of AQP3 expression in patients with muscle-invasive bladder carcinoma (MIBC). Methods Retrospective single-centre analysis of the oncological outcome of patients following radical cystectomy (Cx) due to MIBC. Immunohistochemistry was used to assess AQP3 protein expression in 100 Cx specimens. Expression levels of AQP3 were related to clinicopathological variables. The impact of biomarker expression on progression-free, cancer-specific and overall survival was determined by multivariate Cox regression analysis (MVA). Results High expression of AQP3 by the tumour was associated with a statistically significantly improved PFS (75 vs. 19 %, p = 0.043) and CSS (75 vs. 18 %, p = 0.030) and, alongside lymph node involvement, was an independent predictor of PFS (HR 2.871, CI 1.066–7.733, p = 0.037), CSS (HR 3.325, CI 1.204–8.774, p = 0.019) and OS (HR 2.001, CI 1.014–3.947) in MVA. Conclusions Although the results of the study would be strengthened by a larger, more appropriately powered, prospective, multi-institutional study, our findings strongly suggest that AQP3 expression status may represent an independent predictor of PFS and CSS in MIBC and may help select patients in need for (neo-)adjuvant chemotherapy

Quantum dynamics in strong fluctuating fields

A large number of multifaceted quantum transport processes in molecular systems and physical nanosystems can be treated in terms of quantum relaxation processes which couple to one or several fluctuating environments. A thermal equilibrium environment can conveniently be modelled by a thermal bath of harmonic oscillators. An archetype situation provides a two-state dissipative quantum dynamics, commonly known under the label of a spin-boson dynamics. An interesting and nontrivial physical situation emerges, however, when the quantum dynamics evolves far away from thermal equilibrium. This occurs, for example, when a charge transferring medium possesses nonequilibrium degrees of freedom, or when a strong time-dependent control field is applied externally. Accordingly, certain parameters of underlying quantum subsystem acquire stochastic character. Herein, we review the general theoretical framework which is based on the method of projector operators, yielding the quantum master equations for systems that are exposed to strong external fields. This allows one to investigate on a common basis the influence of nonequilibrium fluctuations and periodic electrical fields on quantum transport processes. Most importantly, such strong fluctuating fields induce a whole variety of nonlinear and nonequilibrium phenomena. A characteristic feature of such dynamics is the absence of thermal (quantum) detailed balance.Comment: review article, Advances in Physics (2005), in pres

Advancing Tests of Relativistic Gravity via Laser Ranging to Phobos

Phobos Laser Ranging (PLR) is a concept for a space mission designed to advance tests of relativistic gravity in the solar system. PLR's primary objective is to measure the curvature of space around the Sun, represented by the Eddington parameter $\gamma$, with an accuracy of two parts in $10^7$, thereby improving today's best result by two orders of magnitude. Other mission goals include measurements of the time-rate-of-change of the gravitational constant, $G$ and of the gravitational inverse square law at 1.5 AU distances--with up to two orders-of-magnitude improvement for each. The science parameters will be estimated using laser ranging measurements of the distance between an Earth station and an active laser transponder on Phobos capable of reaching mm-level range resolution. A transponder on Phobos sending 0.25 mJ, 10 ps pulses at 1 kHz, and receiving asynchronous 1 kHz pulses from earth via a 12 cm aperture will permit links that even at maximum range will exceed a photon per second. A total measurement precision of 50 ps demands a few hundred photons to average to 1 mm (3.3 ps) range precision. Existing satellite laser ranging (SLR) facilities--with appropriate augmentation--may be able to participate in PLR. Since Phobos' orbital period is about 8 hours, each observatory is guaranteed visibility of the Phobos instrument every Earth day. Given the current technology readiness level, PLR could be started in 2011 for launch in 2016 for 3 years of science operations. We discuss the PLR's science objectives, instrument, and mission design. We also present the details of science simulations performed to support the mission's primary objectives.Comment: 25 pages, 10 figures, 9 table

Spina bifida-predisposing heterozygous mutations in Planar Cell Polarity genes and Zic2 reduce bone mass in young mice

Fractures are a common comorbidity in children with the neural tube defect (NTD) spina bifida. Mutations in the Wnt/planar cell polarity (PCP) pathway contribute to NTDs in humans and mice, but whether this pathway independently determines bone mass is poorly understood. Here, we first confirmed that core Wnt/PCP components are expressed in osteoblasts and osteoclasts in vitro. In vivo, we performed detailed µCT comparisons of bone structure in tibiae from young male mice heterozygous for NTD-associated mutations versus WT littermates. PCP signalling disruption caused by Vangl2 (Vangl2Lp/+) or Celsr1 (Celsr1Crsh/+) mutations significantly reduced trabecular bone mass and distal tibial cortical thickness. NTD-associated mutations in non-PCP transcription factors were also investigated. Pax3 mutation (Pax3Sp2H/+) had minimal effects on bone mass. Zic2 mutation (Zic2Ku/+) significantly altered the position of the tibia/fibula junction and diminished cortical bone in the proximal tibia. Beyond these genes, we bioinformatically documented the known extent of shared genetic networks between NTDs and bone properties. 46 genes involved in neural tube closure are annotated with bone-related ontologies. These findings document shared genetic networks between spina bifida risk and bone structure, including PCP components and Zic2. Genetic variants which predispose to spina bifida may therefore independently diminish bone mass

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Definitions, Criteria and Global Classification of Mast Cell Disorders with Special Reference to Mast Cell Activation Syndromes: A Consensus Proposal

Activation of tissue mast cells (MCs) and their abnormal growth and accumulation in various organs are typically found in primary MC disorders also referred to as mastocytosis. However, increasing numbers of patients are now being informed that their clinical findings are due to MC activation (MCA) that is neither associated with mastocytosis nor with a defined allergic or inflammatory reaction. In other patients with MCA, MCs appear to be clonal cells, but criteria for diagnosing mastocytosis are not met. A working conference was organized in 2010 with the aim to define criteria for diagnosing MCA and related disorders, and to propose a global unifying classification of all MC disorders and pathologic MC reactions. This classification includes three types of `MCA syndromes' (MCASs), namely primary MCAS, secondary MCAS and idiopathic MCAS. MCA is now defined by robust and generally applicable criteria, including (1) typical clinical symptoms, (2) a substantial transient increase in serum total tryptase level or an increase in other MC-derived mediators, such as histamine or prostaglandin D 2, or their urinary metabolites, and (3) a response of clinical symptoms to agents that attenuate the production or activities of MC mediators. These criteria should assist in the identification and diagnosis of patients with MCAS, and in avoiding misdiagnoses or overinterpretation of clinical symptoms in daily practice. Moreover, the MCAS concept should stimulate research in order to identify and exploit new molecular mechanisms and therapeutic targets. Copyright (C) 2011 S. Karger AG, Base

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns

On the Coupling Time of the Heat-Bath Process for the Fortuin–Kasteleyn Random–Cluster Model

We consider the coupling from the past implementation of the random-cluster heat-bath process, and study its random running time, or coupling time. We focus on hypercubic lattices embedded on tori, in dimensions one to three, with cluster fugacity at least one. We make a number of conjectures regarding the asymptotic behaviour of the coupling time, motivated by rigorous results in one dimension and Monte Carlo simulations in dimensions two and three. Amongst our findings, we observe that, for generic parameter values, the distribution of the appropriately standardized coupling time converges to a Gumbel distribution, and that the standard deviation of the coupling time is asymptotic to an explicit universal constant multiple of the relaxation time. Perhaps surprisingly, we observe these results to hold both off criticality, where the coupling time closely mimics the coupon collector's problem, and also at the critical point, provided the cluster fugacity is below the value at which the transition becomes discontinuous. Finally, we consider analogous questions for the single-spin Ising heat-bath process

Signatures of a dissipative phase transition in photon correlation measurements

This work was supported by the Swiss National Science Foundation (SNSF) through the National Centre of Competence in Research - Quantum Science and Technology (NCCR QSIT). A.S., C.S., and S.H. acknowledge support by the State of Bavaria and the DFG within the Project Schn1376/3-1.Understanding and characterizing phase transitions in driven-dissipative systems constitutes a new frontier for many-body physics[1-8]. A generic feature of dissipative phase transitions is a vanishing gap in the Liouvillian spectrum [9], which leads to long-lived deviations from the steady state as the system is driven towards the transition. Here, we show that photon correlation measurements can be used to characterize the corresponding critical slowing down of non-equilibrium dynamics. We focus on the extensively studied phenomenon of optical bistability in GaAs cavity polaritons [10,11], which can be described as a first-order dissipative phase transition [12-14]. Increasing the excitation strength towards the bistable range results in an increasing photon-bunching signal along with a decay time that is prolonged by more than nine orders of magnitude as compared with that of single polaritons. In the limit of strong polariton interactions leading to pronounced quantum fluctuations, the mean-field bistability threshold is washed out. Nevertheless, the functional form with which the Liouvillian gap closes as the thermodynamic limit is approached provides a signature of the emerging dissipative phase transition. Our results establish photon correlation measurements as an invaluable tool for studying dynamical properties of dissipative phase transitions without requiring phase-sensitive interferometric measurements.PostprintPeer reviewe