BACKGROUND Recent research suggests that a traumatic brain injury (TBI) can significantly increase the risk of later development of psychosis. However, it is unknown whether people at clinical high risk (CHR) of psychosis have experienced TBI at higher rates, compared to otherwise healthy individuals. This study evaluated the prevalence of mild TBI, whether it was related to past trauma and the...

Stefan Pfeiffer, Gregor Weber (eds.), Gesellschaftliche Spaltungen im Zeitalter des Hellenismus (4.–1. Jahrhundert v. Chr.), (Oriens et Occidens –35), Franz Steiner Verlag, Stuttgart 2021, 222 pp.; ISBN 978-3-515-13079-0

Imatinib mesylate, an Abl kinase inhibitor, produces sustained complete hematologic responses (CHRs) in chronic myelogenous leukemia (CML) patients, but the sequence and timing of morphologic and cytogenetic changes in CML patients during prolonged imatinib mesylate treatment has not been described. In this report, we document sequential hematologic and bone marrow findings in 19 interferon-ref...

The Constraint Handling Rules (CHR) language has become a major specification and implementation language for constraint-based algorithms and applications. Algorithms are often specified using inference rules, rewrite rules, sequents, proof rules, or logical axioms that can be directly written in CHR. Based on first order predicate logic, this clean semantics of CHR facilitates non-trivial prog...

Members of the family Vibrionaceae are metabolically versatile and ubiquitous in natural environments, with extraordinary genome feature of two chromosomes. Here we reported the complete genome of Paraphotobacterium marinum NSCS20N07DT, a recently described novel genus-level species in the family Vibrionaceae. It contained two circular chromosomes with a size of 2,593,992 bp with G+C content of...

Confluence is a fundamental property of Constraint Handling Rules (CHR) since, as in other rewriting formalisms, it guarantees that the computations are not dependent on rule application order, and also because it implies the logical consistency of the program declarative view. In this paper we are concerned with proving the confluence of nonterminating CHR programs. For this purpose, we derive...

Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new operational semantics for occurrence representations, equivalent to the widely implemented refined operational semantics. The occurrence representation allows in a natural way to express guard and continuation optimiz...

CHR∨ has emerged as a versatile knowledge representation language, usable for an unparalleled variety of automated reasoning tasks: constraint solving, optimization, classification, subsumption, classical deduction, abduction, truth-maintenance, belief revision, belief update and planning. In this paper, we add default reasoning to this list, by showing how to represent default logic theories i...

We present a new approach to termination analysis of Constraint Handling Rules (CHR). Unlike current approaches, our approach has no restrictions on the kind of rules in the CHR program. We propose a termination condition that verifies conditions imposed on the dynamic process of adding constraints to the store, instead of a termination argument based on the comparison of sizes of consecutive c...

The lopolithic Pados-Tundra layered complex, the largest member of Serpentinite belt–Tulppio belt (SB–TB) megastructure in Fennoscandian Shield, is characterized by (1) highly magnesian compositions comagmatic dunite–harzburgite–orthopyroxenite, with primitive levels high-field-strength elements; (2) maximum values Mg# olivine (Ol, 93.3) and chromian spinel (Chr, 57.0) Dunite block (DB), which ...