Towards uniqueness of degenerate axially symmetric Killing horizon

We examine the linearized equations around extremal Kerr horizon and give some arguments towards stability of the horizon with respect to generic (non-symmetric) linear perturbation of near horizon geometry.Comment: 17 page

Rewriting Logic Semantics of a Plan Execution Language

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEXIL executives. The implementation in Maude has the additional benefit of making available to PLEXIL designers and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL semantics in rewriting logic poses an interesting challenge due to the synchronous nature of the language and the prioritized rules defining its semantics. To overcome this difficulty, we propose a general procedure for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations, complete. We also report on two issues at the design level of the original PLEXIL semantics that were identified with the help of the executable specification in Maude

DEQ:Equivalence Checker for Deterministic Register Automata

Register automata are one of the most studied automata models over infinite alphabets with applications in learning, systems modelling and program verification. We present an equivalence checker for deterministic register automata, called DEQ, based on a recent polynomial-time algorithm that employs group-theoretic techniques to achieve succinct representations of the search space. We compare the performance of our tool to other available implementations, notably in the learning library RALib and nominal frameworks LOIS and NLambda

Human RTEL1 associates with Poldip3 to facilitate responses to replication stress and R-loop resolution

International audienc

Platinum-(IV)-derivative satraplatin induced G2/M cell cycle perturbation via p53-p21(waf1/cip1)-independent pathway in human colorectal cancer cells

Platinum-(IV)-derivative satraplatin represents a new generation of orally available anti-cancer drugs that are under development for the treatment of several cancers. Understanding the mechanisms of cell cycle modulation and apoptosis is necessary to define the mode of action of satraplatin. In this study, we investigate the ability of satraplatin to induce cell cycle perturbation, clonogenicity loss and apoptosis in colorectal cancer (CRC) cells.Platinum-(IV)-derivative satraplatin represents a new generation of orally available anti-cancer drugs that are under development for the treatment of several cancers. Understanding the mechanisms of cell cycle modulation and apoptosis is necessary to define the mode of action of satraplatin. In this study, we investigate the ability of satraplatin to induce cell cycle perturbation, clonogenicity loss and apoptosis in colorectal cancer (CRC) cells

Constraints on the χ_(c1) versus χ_(c2) polarizations in proton-proton collisions at √s = 8 TeV

The polarizations of promptly produced χ_(c1) and χ_(c2) mesons are studied using data collected by the CMS experiment at the LHC, in proton-proton collisions at √s=8  TeV. The χ_c states are reconstructed via their radiative decays χ_c → J/ψγ, with the photons being measured through conversions to e⁺e⁻, which allows the two states to be well resolved. The polarizations are measured in the helicity frame, through the analysis of the χ_(c2) to χ_(c1) yield ratio as a function of the polar or azimuthal angle of the positive muon emitted in the J/ψ → μ⁺μ⁻ decay, in three bins of J/ψ transverse momentum. While no differences are seen between the two states in terms of azimuthal decay angle distributions, they are observed to have significantly different polar anisotropies. The measurement favors a scenario where at least one of the two states is strongly polarized along the helicity quantization axis, in agreement with nonrelativistic quantum chromodynamics predictions. This is the first measurement of significantly polarized quarkonia produced at high transverse momentum