Filetype
We show that algebraic proofs are hard to find: Given an unsatisfiable CNF formula F, it is NP-hard to find a refutation of F in the Nullstellensatz, Polynomial Calculus, or Sherali-Adams proof systems in time polynomial in the size of the shortest such refutation. Our work extends, and gives a simplified proof of, the recent breakthrough of Atserias and Müller (JACM 2020) that established an anal
The function of astrocytes intertwines with the extracellular matrix, whose neuron and glial cell-derived components shape neuronal plasticity. Astrocyte abnormalities have been reported in the brain of the mouse model for fragile X syndrome (FXS), the most common cause of inherited intellectual disability, and a monogenic cause of autism spectrum disorder. We compared human FXS and control astroc
Background: Diagnosis of contact allergy (CA) to Amerchol L-101 (AL-101), a marker for lanolin allergy, is problematic. Positive patch-test reactions are frequently doubtful or weakly positive and difficult to associate with clinical relevance. Objective: To gain further insight on the allergic or irritant nature of skin reactions induced by AL-101 patch test. Methods: We re-tested in a dose–respo
The recovery of raw materials represents one of the greatest challenges for a circular economy. Especially, the increased demand for lithium in the last years for its critical role in Li-ion batteries implies the need for green technology for Li recovery able to address market requests. Here, we devise and implement a new technology exploiting excitons-based light-to-heat conversion promoted by WS
To improve the accuracy of indoor positioning systems it can be useful to combine different types of sensor data. This paper describes deep learning methods both for estimating absolute positions and for performing pedestrian dead reckoning, and then how to combine the resulting estimates using weighted least squares optimization. The positioning model is based on a custom neural network which use
RATIONALE: Idiopathic pulmonary fibrosis (IPF) is a lethal lung disease characterized by lung epithelial cell injury, increased (myo)fibroblast activation and extracellular matrix deposition. Extracellular vesicles (EVs) regulate intercellular communication by carrying a variety of signaling mediators, including WNT proteins. The relevance of EVs in pulmonary fibrosis and their potential contribut
Introduction: Arthroscopic partial meniscectomy (APM) after degenerative meniscus tears is one of the most frequently performed surgeries in orthopaedics. Although several randomised controlled trials (RCTs) have been published that showed no clear benefit compared with sham treatment or non-surgical treatment, the incidence of APM remains high. The common perception by most orthopaedic surgeons i
Large, comprehensive studies of the risk for neurologic disorders among long-term survivors of noncentral nervous system (CNS) childhood cancers are lacking. Thus, the aim of our study was to assess the lifetime risk of Nordic non-CNS childhood cancer survivors for neurologic disorders. We identified 15,967 5-year survivors of non-CNS childhood cancer diagnosed in Denmark, Iceland, Finland and Swe
Dopant atoms can be incorporated into nanowires either via the vapor-liquid-solid mechanism through the catalyst droplet or by the vapor-solid growth on the sidewalls. Si is a typical n-type dopant for GaAs, but in nanowires it often suffers from a strongly amphoteric nature in the vapor-liquid-solid process. This issue can be avoided by using Te, which is a promising but less common alternative f
OBJECTIVES: Combination chemotherapy regimens have shown promising results in patients with metastatic colorectal cancer. However, only very few studies have studied the effect of palliative chemotherapy in peritoneal carcinomatosis (PC) and no data are present incorporating biological therapies in the treatment of PC in colorectal cancer.METHODS: By means of merging with the regional Eindhoven Ca
Multiplex Antibody-Detection by Agglutination-PCR (ADAP) assay was compared to singleplex standard radiobinding assays (RBA) to detect autoantibodies against insulin (IAA), GAD65 (GADA), islet antigen-2 (IA-2A), ZnT8 (ZnT8A) and tissue transglutaminase (TGA). Serum samples from 272 (114F/158M), 15-73 years of age healthy controls and 227 (109F/118M) newly diagnosed type 1 diabetes children, 1-11 y
X-ray fluorescence microscopy performed at nanofocusing synchrotron beamlines produces quantitative elemental distribution maps at unprecedented resolution (down to a few tens of nanometres), at the expense of relatively long measuring times and high absorbed doses. In this work, a method was implemented in which fast low-dose in-line holography was used to produce quantitative electron density ma
Marine dimethyl sulfide (DMS) emissions are the dominant source of natural sulfur in the atmosphere. DMS oxidizes to produce low-volatility acids that potentially nucleate to form particles that may grow into climatically important cloud condensation nuclei (CCN). In this work, we utilize the chemistry transport model ADCHEM to demonstrate that DMS emissions are likely to contribute to the majorit
Recently, this international task force reported the general considerations for bronchial challenge testing and the performance of the methacholine challenge test, a "direct" airway challenge test. Here, the task force provides an updated description of the pathophysiology and the methods to conduct indirect challenge tests. Because indirect challenge tests trigger airway narrowing through the act
The BOADICEA breast cancer (BC) risk assessment model and its associated Web Application v3 (BWA) tool are being extended to incorporate additional genetic and non-genetic BC risk factors. From an online survey through the BOADICEA website and UK, Dutch, French and Swedish national genetic societies, we explored the relationships between the usage frequencies of the BWA and six other common BC ris
Background: Growing evidence suggests a role of occupation in the emergence and manifestation of dementia. Occupations are often defined by complexity level, although working environments and activities differ in several other important ways. We aimed to capture the multi-faceted nature of occupation through its measurement as a qualitative (instead of a quantitative) variable and explored its rel
Definite progress has been made in the exploration of myelodysplastic syndromes (MDS) by flow cytometry (FCM) since the publication of the World Health Organization 2008 classification of myeloid neoplasms. An international working party initiated within the European LeukemiaNet and extended to include members from Australia, Canada, Japan, Taiwan and the United States has, through several worksho
