Filtyp
In this paper we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby give rise to decision procedures for the logics in question. Our many-valued hybrid logics turn out to b
A non-Gaussian time series with a generalized Laplace marginal distribution is used to model road topography. The model encompasses variability exhibited by a Gaussian AR(1) process with randomly varying variance that follows a particular autoregressive model that features the gamma distribution as its marginal. A simple estimation method to fit the correlation coefficient of each of two autoregre
The lower-middle Cambrian transitional interval of Scania is largely represented by condensed limestone beds, lithostratigraphically grouped in the Gislov Formation (1-5.7 m thick), and the Forsemolla and Exsulans Limestone beds (lower part of the Alum Shale Formation, up to 4 in thick). The strata display a combination of skeletal carbonate productivity, episodic nucleation of phosphate hardgroun
The Gala payload ensures maximum passive stability using a single material, SiC, for most of its elements. Dedicated metrology instruments are, however, required to carry out two functions: monitoring the basic angle and refocusing the telescope. Two interferometers fed by the same laser are used to measure the basic angle changes at the level of pas (prad, micropixel), which is the highest level
Graft-induced dyskinesia (GID) is a serious complication induced by dopamine (DA) cell transplantation in parkinsonian patients. We have recently shown that DA D2 receptor blockade produces sticking blockade of dyskinesia induced by amphetamine in grafted 6-OHDA-lesioned rats, a model of GID. This study was designed to investigate whether blockade of DA D1 receptors could produce similar outcome,
In a proportion of patients with chronic myeloid leukemia (CML) being treated with dasatinib, we recently observed large granular lymphocyte (LGL) expansions carrying clonal T-cell receptor (TCR) gamma/delta gene rearrangements. To assess the prevalence and role of clonal lymphocytes in CML, we collected samples from patients (n = 34) at the time of diagnosis and during imatinib and dasatinib ther
Low plasma 25-hydroxyvitamin D (25[OH]D) concentration is associated with high arterial blood pressure and hypertension risk, but whether this association is causal is unknown. We used a mendelian randomisation approach to test whether 25(OH)D concentration is causally associated with blood pressure and hypertension risk.
Macrophages control the resolution of inflammation through the transition from a proinflammatory (M1) to an anti-inflammatory (M2) phenotype. Here, we present evidence for a role of AMPK alpha 1, a master regulator of energy homeostasis, in macrophage skewing that occurs during skeletal muscle regeneration. Muscle regeneration was impaired in AMPK alpha 1(-/-) mice. In vivo loss-of-function (LysM-
Two Cambrian trilobites, Olenoides? sp. from the Mount Simon Sandstone and Cedaria woosteri from the Eau Claire Formation, are described from the subsurface of western Ohio, USA. The definition of the Cedaria Zone is modified to reflect differing interpretations of the zone as used historically in restricted-shelf and open-shelf lithofacies of the Laurentian palaeocontinent. The Cedaria prolifica
17 beta-Hydroxysteroid dehydrogenases (17HSDs) are involved in the local regulation of sex steroids. 17HSD1 converts oestrone (El) to the more potent oestradiol (E2) and 17HSD2 catalyses the reverse reaction. The aim of this study was to investigate the expression of these enzymes in premenopausal breast cancers and to analyse if they have any prognostic or tamoxifen predictive value. Premenopausa
In August, several hundred physicists and physics educators from all over the world gathered in Reims, France. GIREP-ICPE-MPLT 2010 was a joint event of three different organizations, the Groupe International de Recherch sur l'Enseignement de la Physique (GIREP), the International Commission of Physics Education (ICPE) and the group of Multimedia in Physics Teaching and Learning (MPTL). The note p
High closure rates of the open abdomen have been reported following negative pressure wound therapy (NPWT). However, the method has occasionally been associated with increased development of intestinal fistulae. We have previously shown that the application of NPWT to the open abdomen causes a decrease in microvascular blood flow in the small intestinal loop and the omentum adjacent to the viscera
The cumulative risk of NHL in Sweden by age 80 years has increased to 1.1 in women and 1.6% in men in 2011. Increased risk of non-Hodgkin lymphoma (NHL) associated with personal histories of some autoimmune diseases (ADs) are known. It is unclear whether there are other NHL-related ADs and whether this association holds across different sex, age and year of diagnosis, or NHL histological subtypes.
The aggregation of α-synuclein plays a major role in Parkinson disease (PD) pathogenesis. Recent evidence suggests that defects in the autophagy-mediated clearance of α-synuclein contribute to the progressive loss of nigral dopamine neurons. Using an in vivo model of α-synuclein toxicity, we show that the PD-like neurodegenerative changes induced by excess cellular levels of α-synuclein in nigral
The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1 fb(-1) of proton-proton collision data at = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via or , where denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final st
The MYC genes are the most frequently activated oncogenes in human tumors and are hence attractive therapeutic targets. MYCN amplification leads to poor clinical outcome in childhood neuroblastoma, yet strategies to modulate the function of MYCN do not exist. Here we show that 10058-F4, a characterized c-MYC/Max inhibitor, also targets the MYCN/Max interaction, leading to cell cycle arrest, apopto
The basic structure of the Solar System is set by the presence of low-mass terrestrial planets in its inner part and giant planets in its outer part. This is the result of the formation of a system of multiple embryos with approximately the mass of Mars in the inner disk and of a few multi-Earth-mass cores in the outer disk, within the lifetime of the gaseous component of the protoplanetary disk.
Abstract in UndeterminedRecording eye movement data with high quality is often a prerequisite for producing valid and replicable results and for drawing well-founded conclusions about the oculomotor system. Today, many aspects of data quality are often informally discussed among researchers but are very seldom measured, quantified, and reported. Here we systematically investigated how the calibrat
To determine the durability of a lime-hemp concrete (LHC) wall and its resistance to driving rain, moisture conditions inside the wall have to be modelled. As model input, moisture transport properties were determined. Two LHC mixes were studied. Cup tests provided moisture diffusivity results at relative humidity (RH) values up to 95%. Capillary water uptake tests provided results for the interva
