Censors for Boolean Description Logic

Protecting different kinds of information has become an important area of research. One aspect is to provide effective means to avoid that secrets can be deduced from the answers of legitimate queries. In the context of atomic propositional databases several methods have been developed to achieve this goal. However, in those databases it is not possible to formalize structural information. Also they are quite restrictive with respect to the specification of secrets. In this paper we extend those methods to match the much greater expressive power of Boolean description logics. In addition to the formal framework, we provide a discussion of various kinds of censors and establish different levels of security they can provide.

Quantifying uncertainty on Pareto fronts with Gaussian process conditional simulations

Multi-objective optimization algorithms aim at finding Pareto-optimal solutions. Recovering Pareto fronts or Pareto sets from a limited number of function evaluations are challenging problems. A popular approach in the case of expensive-to-evaluate functions is to appeal to metamodels. Kriging has been shown efficient as a base for sequential multi-objective optimization, notably through infill sampling criteria balancing exploitation and exploration such as the Expected Hypervolume Improvement. Here we consider Kriging metamodels not only for selecting new points, but as a tool for estimating the whole Pareto front and quantifying how much uncertainty remains on it at any stage of Kriging-based multi-objective optimization algorithms. Our approach relies on the Gaussian process interpretation of Kriging, and bases upon conditional simulations. Using concepts from random set theory, we propose to adapt the Vorob’ev expectation and deviation to capture the variability of the set of non-dominated points. Numerical experiments illustrate the potential of the proposed workflow, and it is shown on examples how Gaussian process simulations and the estimated Vorob’ev deviation can be used to monitor the ability of Kriging-based multi-objective optimization algorithms to accurately learn the Pareto front.

Conditional and inducible transgene expression in endothelial and hematopoietic cells using Cre/loxP and tetracycline-off systems

In the present study, the tetracycline-off and Cre/loxP systems were combined to gain temporal and spatial control of transgene expression. Mice were generated that carried three transgenes: Tie2-tTA, tet-O-Cre and either the ZEG or ZAP reporter. Tie2-tTA directs expression of tetracycline-controlled transactivator (tTA) in endothelial and hematopoietic cells under the control of the Tie2 promoter. Tet-O-Cre produces Cre recombinase from a minimal promoter containing the tet-operator (tetO). ZEG or ZAP contains a strong promoter and a loxP-flanked stop sequence, followed by an enhanced green fluorescence protein (EGFP) or human placental alkaline phosphatase (hPLAP) reporter. In the presence of tetracycline, the tTA transactivator produced by Tie-2-tTA is disabled and Cre is not expressed. In the absence of tetracycline, the tTA binds tet-O-Cre to drive the expression of Cre, which recombines the loxP sites of the ZEG or ZAP transgene and results in reporter gene expression. In the present study, the expression of the ZEG or ZAP reporter genes in embryos and adult animals with and without tetracycline treatment was examined. In the presence of tetracycline, no reporter gene expression was observed. When tetracycline was withdrawn, Cre excision was activated and the reporter genes were detected in endothelial and hematopoietic cells. These results demonstrate that this system may be used to bypass embryonic lethality and access adult phenotypes.

Postnatal Notch1 activation induces T‑cell malignancy in conditional and inducible mouse models

The Notch1 signaling pathway is essential for hematopoietic development. However, the effects of postnatal activation of Notch1 signaling on hematopoietic system is not yet fully understood. We previously generated ZEG‑IC‑Notch1 transgenic mice that have a floxed β‑geo/stop signal between a CMV promoter and intracellular domain of Notch1 (IC‑Notch1). Constitutively active IC‑Notch1 is silent until the introduction of Cre recombinase. In this study, endothelial/hematopoietic specific expression of IC‑Notch1 in double transgenic ZEG‑IC‑Notch1/Tie2‑Cre embryos induced embryonic lethality at E9.5 with defects in vascular system but not in hematopoietic system. Inducible IC‑Notch1 expression in adult mice was achieved by using tetracycline regulated Cre system. The ZEG‑IC‑Notch1/Tie2‑tTA/tet‑O‑Cre triple transgenic mice survived embryonic development when maintained on tetracycline. Post‑natal withdrawal of tetracycline induced expression of IC‑Notch1 transgene in hematopoietic cells of adult mice. The triple transgenic mice displayed extensive T‑cell infiltration in multiple organs and T‑cell malignancy of lymph nodes. In addition, the protein levels of p53 and alternative reading frame (ARF) were decreased in lymphoma‑like neoplasms from the triple transgenic mice while their mRNA expression remained unchanged, suggesting that IC‑Notch1 might repress ARF‑p53 pathway by a post‑transcriptional mechanism. This study demonstrated that activation of constitutive Notch1 signaling after embryonic development alters adult hematopoiesis and induces T‑cell malignancy.

First steps towards probabilistic justification logic

In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.

Searching the hearts of graphene-like molecules for simplicity, sensitivity and logic

If quantum interference patterns in the hearts of polycyclic aromatic hydrocarbons (PAHs) could be isolated and manipulated, then a significant step towards realizing the potential of single-molecule electronics would be achieved. Here we demonstrate experimentally and theoretically that a simple, parameter-free, analytic theory of interference patterns evaluated at the mid-point of the HOMO-LUMO gap (referred to as M-functions) correctly predicts conductance ratios of molecules with pyrene, naphthalene, anthracene, anthanthrene or azulene hearts. M-functions provide new design strategies for identifying molecules with phase-coherent logic functions and enhancing the sensitivity of molecular-scale interferometers.

Fast Update of Conditional Simulation Ensembles

Gaussian random field (GRF) conditional simulation is a key ingredient in many spatial statistics problems for computing Monte-Carlo estimators and quantifying uncertainties on non-linear functionals of GRFs conditional on data. Conditional simulations are known to often be computer intensive, especially when appealing to matrix decomposition approaches with a large number of simulation points. This work studies settings where conditioning observations are assimilated batch sequentially, with one point or a batch of points at each stage. Assuming that conditional simulations have been performed at a previous stage, the goal is to take advantage of already available sample paths and by-products to produce updated conditional simulations at mini- mal cost. Explicit formulae are provided, which allow updating an ensemble of sample paths conditioned on n ≥ 0 observations to an ensemble conditioned on n + q observations, for arbitrary q ≥ 1. Compared to direct approaches, the proposed formulae proveto substantially reduce computational complexity. Moreover, these formulae explicitly exhibit how the q new observations are updating the old sample paths. Detailed complexity calculations highlighting the benefits of this approach with respect to state-of-the-art algorithms are provided and are complemented by numerical experiments.

Reconsidering the logic of World Federation of Neurosurgical Societies grading in patients with severe subarachnoid hemorrhage.

OBJECT Current data show a favorable outcome in up to 50% of patients with World Federation of Neurosurgical Societies (WFNS) Grade V subarachnoid hemorrhage (SAH) and a rather poor prediction of worst cases. Thus, the usefulness of the current WFNS grading system for identifying the worst scenarios for clinical studies and for making treatment decisions is limited. One reason for this lack of differentiation is the use of "negative" or "silent" diagnostic signs as part of the WFNS Grade V definition. The authors therefore reevaluated the WFNS scale by using "positive" clinical signs and the logic of the Glasgow Coma Scale as a progressive herniation score. METHODS The authors performed a retrospective analysis of 182 patients with SAH who had poor grades on the WFNS scale. Patients were graded according to the original WFNS scale and additionally according to a modified classification, the WFNS herniation (hWFNS) scale (Grade IV, no clinical signs of herniation; Grade V, clinical signs of herniation). The prediction of poor outcome was compared between these two grading systems. RESULTS The positive predictive values of Grade V for poor outcome were 74.3% (OR 3.79, 95% CI 1.94-7.54) for WFNS Grade V and 85.7% (OR 8.27, 95% CI 3.78-19.47) for hWFNS Grade V. With respect to mortality, the positive predictive values were 68.3% (OR 3.9, 95% CI 2.01-7.69) for WFNS Grade V and 77.9% (OR 6.22, 95% CI 3.07-13.14) for hWFNS Grade V. CONCLUSIONS Limiting WFNS Grade V to the positive clinical signs of the Glasgow Coma Scale such as flexion, extension, and pupillary abnormalities instead of including "no motor response" increases the prediction of mortality and poor outcome in patients with severe SAH.

Binary recombinase systems for high-resolution conditional mutagenesis.

Conditional mutagenesis using Cre recombinase expressed from tissue specific promoters facilitates analyses of gene function and cell lineage tracing. Here, we describe two novel dual-promoter-driven conditional mutagenesis systems designed for greater accuracy and optimal efficiency of recombination. Co-Driver employs a recombinase cascade of Dre and Dre-respondent Cre, which processes loxP-flanked alleles only when both recombinases are expressed in a predetermined temporal sequence. This unique property makes Co-Driver ideal for sequential lineage tracing studies aimed at unraveling the relationships between cellular precursors and mature cell types. Co-InCre was designed for highly efficient intersectional conditional transgenesis. It relies on highly active trans-splicing inteins and promoters with simultaneous transcriptional activity to reconstitute Cre recombinase from two inactive precursor fragments. By generating native Cre, Co-InCre attains recombination rates that exceed all other binary SSR systems evaluated in this study. Both Co-Driver and Co-InCre significantly extend the utility of existing Cre-responsive alleles.

The Complexity of Non-Iterated Probabilistic Justification Logic

The logic PJ is a probabilistic logic defined by adding (noniterated) probability operators to the basic justification logic J. In this paper we establish upper and lower bounds for the complexity of the derivability problem in the logic PJ. The main result of the paper is that the complexity of the derivability problem in PJ remains the same as the complexity of the derivability problem in the underlying logic J, which is π[p/2] -complete. This implies that the probability operators do not increase the complexity of the logic, although they arguably enrich the expressiveness of the language.

Probabilistic Justification Logic

We present a probabilistic justification logic, PPJ, to study rational belief, degrees of belief and justifications. We establish soundness and completeness for PPJ and show that its satisfiability problem is decidable. In the last part we use PPJ to provide a solution to the lottery paradox.

Analysis of BMP signalling through the receptor type IA in embryogenesis using conditional gene inactivation in mice

Although bone morphogenetic proteins (BMPs) were initially identified for their potent bone-inducing activity, their precise roles in processes of endochondral and intramembranous bone formation are far from being clear. Tissue-specific loss-of-function experiments using the BMP receptor type IA (BMPR-IA) are particularly attractive since this receptor is thought to be essential for signaling by the closely related BMPs -2, 4, and 7. To ablate signaling through this receptor during chondrogenesis, we have generated transgenic mice expressing Cre recombinase under the control of the collagen type II (Col2a1) gene regulatory sequences. Mice lacking BMPR-IA function in chondrocytes display a number of skeletal abnormalities, including defects in bones of the chondrocranium, abnormal dorsal vertebral processes, scapulae with severe hypoplasia of dorsal elements, and shortening of the long bones. Alterations in the growth plate of long bones in mutants suggest that BMPR-IA is not required for early steps of the chondrocyte specification, but is rather important in regulation of terminal differentiation. Molecular analysis revealed noticeable downregulation of the Ihh/Ptch signalling pathway, decreased chondrocyte proliferation rate and deregulation of hypertrophy. ^ In order to elucidate the role of BMP signalling in development of the limb and intramembranous ossification, we have used mice expressing Cre recombinase under control of the Prx1 (MHox) regulatory elements (M. Logan, pers comm.). Cre activity was found in those mice in the developing limb bud mesenchyme, as well as in a subset of cranial neural crest cells. Prx1-Cre-induced conditional mutants display prominent defects in distal limb outgrowth, as well as ossification defects in a number of neural crest-derived calvarial bones. Intriguingly, mutant limbs displayed alterations in patterning along all three axes. Molecular analysis revealed ectopic anterior Shh/Ptch signalling pathway activation and expression of some Hox genes. Observed loss of Msx1 and Msx2 expression in the progress zone correlates with downregulation of Cyclin D1 and decreased distal outgrowth. Abnormal ventral localization of Lmx1b-expressing cells along with observed later morphological abnormalities suggest a novel role for BMP signalling in establishment or maintaining of the dorso-ventral polarity in the limb mesoderm. ^