Sökresultat

We study planning problems where the transition function is described by a learned binarized neural network (BNN). Theoretically, we show that feasible planning with a learned BNN model is NP-complete, and present two new constraint programming models of this task as a mathematical optimization problem. Experimentally, we run solvers for constraint programming, weighted partial maximum satisfiabil

Policy for science, technology, and innovation is increasingly supporting bottom-up approaches to setting strategic agendas for research and innovation (R&I). These processes are designed to bring industrial needs of R&I intensive sectors to the fore, while at the same time stimulating engagement of other relevant stakeholders, such as public and private research performers. This paper add

We report on the status of efforts to improve the reinterpretation of searches and measurements at the LHC in terms of models for new physics, in the context of the LHC Reinterpretation Forum. We detail current experimental offerings in direct searches for new particles, measurements, technical implementations and Open Data, and provide a set of recommendations for further improving the presentati

We study the propagation and diffusion of electric charge fluctuations in the Bjorken hydrodynamic model with both white and Catteneo noise using purely numerical methods. We show that a lattice of noise fluctuations is required to fully calculate the two-point correlators of charge. We introduce a numerical procedure to solve the stochastic differential equations that arise from the charge conser

Prior to the COVID-19 crisis, global air transport demand was expected to triple between 2020 and 2050. The pandemic, which reduced global air travel significantly, provides an opportunity to discuss the scale, distribution and growth of aviation until 2018, also with a view to consider the climate change implications of a return to volume growth. Industry statistics, data provided by supranationa

Several new polydentate and potentially dinucleating ligands have been synthesized in order to model the coordination environments of a number of structurally related dinuclear active sites in metalloenzymes, including methane monooxygenase, the ribonucleotide reductase R2 protein, urease, arginase, red kidney bean purple acid phosphatase and zinc phosphotriesterase.~ Ligands 1 and 2 have proven t

BACKGROUND: Continuous spike-wave during slow wave sleep syndrome (CSWS) and Landau-Kleffner syndrome (LKS) are two epileptic encephalopathies that present with neurocognitive regression, aphasia, and clinical seizures, typically presenting in children around five years of age. The pathophysiology of these conditions is not completely understood. Some studies suggest a common origin for both. No s

INTRODUCTION: Infant iron status assessments may be difficult to interpret due to infections. The soluble transferrin receptor (sTfR) has been suggested as a biomarker mainly unaffected by the acute phase response. Reference intervals reflecting dynamics of infant growth first year in life are not well established.METHODS: The sTfR and CRP concentrations were measured in samples from 451 term infa

The development of environmental certification schemes has increased rapidly during the last twenty years and are often used as benchmarks during design of new buildings or reconstruction. However, for management of our existing buildings the members of Sweden Green Building Council request for clear guidelines and a certification scheme. Therefore, a new certification scheme called Miljöbyggnad i

As a result of the energy performance of the buildings directive (EPBD 2010), the requirements have been gradually tightened in the Swedish building regulations. For the purpose of the directive to be realized, it is becoming increasingly important to ensure that buildings actually live up to the minimum rules laid down in the Swedish Building Regulations (BBR) or more ambitious requirements impos

BACKGROUND: F8 int1h inversions (Inv1) are detected in 1-2% of severe hemophilia A (HA) patients. Long-range polymerase chain reaction (PCR) and inverse-shifting PCR have been used to diagnose these inversions.OBJECTIVES: To design and validate a sensitive and robust assay for detection of F8 Inv1 inversions.METHODS: Archival DNA samples were investigated using mile-post assays and droplet digital

This chapter describes the musculoskeletal (MSK) context in children and young people as an important contributor to the global non-communicable disease burden. Through selected MSK conditions, we describe the impact on patients, families and communities and highlight the challenges that need to be addressed. We focus on opportunities for better working together and describe exemplar initiatives t

Vanuatu is one of the most hazard prone nations in the world and frequently tops the World Risk Report as the nation with the highest overall disaster risk. The devastation wrought by category 5 cyclone Pam (2015), the El Niño drought (2015/16), and volcanic eruptions in Ambae (2018), are but a few recent examples of disasters which have disrupted livelihoods and curtailed development. The Vanuatu

A recent genome-wide association study reported five loci for which there was strong, but sub-genome-wide significant evidence for association with multiple sclerosis risk. The aim of this study was to evaluate the role of these potential risk loci in a large and independent data set of ≈ 20,000 subjects. We tested five single nucleotide polymorphisms rs228614 (MANBA), rs630923 (CXCR5), rs2744148

BACKGROUND: Preterm infants are susceptible to hyperglycemia and hypoglycemia, conditions which may lead to adverse neurodevelopment. The use of continuous glucose monitoring devices (CGM) might help keeping glucose levels in the normal range, and reduce the need for blood sampling. However, the use of CGM might be associated with harms in the preterm infant. OBJECTIVES: Objective one: to assess t

Introduction: Medical treatment of women with idiopathic recurrent pregnancy loss is controversial. The objective was to assess the effects of different treatments on live birth rates and complications in women with unexplained recurrent pregnancy loss. Material and methods: We searched MEDLINE, Embase and the Cochrane Library, and identified 1415 publications. This systematic review included 21 r

Galactoglucomannans (GGM) can be used as a precursor for the production of surfactants, plastics, hydrogels etc. However, separation of galactoglucomannan (GGM) from lignin and lignin-carbohydrate-complexes using membrane filtration is difficult. Precipitation of GGM with anti-solvents is an approach that has been previously studied. A membrane filtration step prior to precipitation is economicall

Quantitative imaging, where every pixel of an image represents a physical quantity (e.g. timeor velocity) is being increasingly used in the field of diagnostic radiology and has potential toenhance medical diagnosis. Quantitative methods for Magnetic Resonance Imaging (MRI)enables measurements of velocity and flow using a technique called Phase Contrast MagneticResonance (PC-MR), and different tim