Filtyp
Parallelism is here to stay. Unfortunately, today’s mainstream programming languages (such as Java) are not designed for easy parallelisation. We thus propose to extend Java with primitives for parallel queries, using a radically redesigned Java runtime system.
Software bugs cost time, money, and lives. They drive software research and development efforts, and are central to modern software engineering. Yet we lack a clear and general definition of what bugs are. Some bugs are defects, clearly defined as failures to meet some requirement or specification. However,there are many forms of undesirable program behaviour that are completely compatible with a
Objective: Prevalence of stunting is frequently used as a marker of population-level child undernutrition. Parental height varies widely in low- and middle-income countries (LMIC) and is also a major determinant of stunting. While stunting is a useful measure of child health, with multiple causal components, removing the component attributable to parental height may in some cases be helpful to ide
INTRODUCTION: Both echocardiography and CMR imaging are used to quantify longitudinal function. Inter-method variability for mitral (MAPSE) and tricuspid (TAPSE) annular plane systolic excursion, and variability between directly measured MAPSE and TAPSE and as based on atrio-ventricular plane displacement (AVPD) analysis by CMR, are however not known. This study therefore assessed inter-method var
The city of Moscow has been going through a transformation of its surface transport network during the past decade as part of a broader policy of urban beautification. Despite a renewed interest in public transport, this policy has led to the dismantling of the trolleybus system. This was met with resistance from various groups. Bringing together scholarly discussions on urban growth coalitions an
AIM: Traditional methods used when managing self-harm in a psychiatric inpatient setting tend to infringe on the autonomy of the individuals receiving treatment and are often experienced as practically and emotionally challenging by care providers. Therefore, we examined care providers' experiences of an alternative method negotiating self-harm abstinence agreements, which can be viewed as a form
Background: Opioid-related mortality is high and increasing in the Western world, and interventions aimed at reducing opioid-related deaths represent an important area of study. In Skåne County, Sweden, a patient choice reform resulted in increased access to opioid substitution treatment (OST). In addition, a gradual shift towards less restrictive terms for exclusion from OST has been implemented.
Aim: We investigated the association between levels of leisure-time physical activity and vascular stiffness in a longitudinal observational study from a representative Swedish population. Method: A total of 2816 randomly selected individuals were examined at visit 1 (2002–2005, Men = 1400). After a mean follow-up of 9.7 ± 1.4 years, a representative sample of 1327 of the original participants wer
Background: Biochemical conversion of lignocellulosic biomass to simple sugars at commercial scale is hampered by the high cost of saccharifying enzymes. Lytic polysaccharide monooxygenases (LPMOs) may hold the key to overcome economic barriers. Recent studies have shown that controlled activation of LPMOs by a continuous H2O2 supply can boost saccharification yields, while overdosing H2O2 may lea
Background: Elevated cerebrospinal fluid (CSF) concentrations of total tau (T-tau) and phosphorylated tau at Thr181 (P-tau181) protein are typical of Alzheimer’s disease (AD). However, the T-tau assay measures only the mid-region of the protein, while tau in CSF is instead composed of a series of fragments. One fragment species in particular, N-224, shows increased levels in AD compared to control
Large-scale collection of human behavioural data by companies raises serious privacy concerns. We show that behaviour captured in the form of application usage data collected from smartphones is highly unique even in large datasets encompassing millions of individuals. This makes behaviour-based re-identification of users across datasets possible. We study 12 months of data from 3.5 million people
Post-translational methylation plays a crucial role in regulating and optimizing protein function. Protein histidine methylation, occurring as the two isomers 1- and 3-methylhistidine (1MH and 3MH), was first reported five decades ago, but remains largely unexplored. Here we report that METTL9 is a broad-specificity methyltransferase that mediates the formation of the majority of 1MH present in mo
Unmanned aerial systems (UAS) carrying commercially sold multispectral sensors equipped with a sunshine sensor, such as Parrot Sequoia, enable mapping of vegetation at high spatial resolution with a large degree of flexibility in planning data collection. It is, however, a challenge to perform radiometric correction of the images to create reflectance maps (orthomosaics with surface reflectance) a
Sodium carbonate pretreatment, an environmentally-friendly and efficient pretreatment, was used to improve solid-state ethanol production from corn stover (CS). To further enhance ethanol yield from the pretreated CS, especially at low enzyme loadings, a combined pretreatment, including steam and sodium carbonate pretreatments, was developed. The removal/modification of lignin by sodium carbonate
We establish an exactly tight relation between reversiblepebblings of graphs and Nullstellensatz refutations of pebbling formulas,showing that a graph G can be reversibly pebbled in time t and space s if and only if there is a Nullstellensatz refutation of the pebbling formulaover G in size t + 1 and degree s (independently of the field in whichthe Nullstellensatz refutation is made). We use this
