Search results

Background: The Swedish health care system is undergoing a transformation. eHealth technologies are increasingly being used. The System Usability Scale is a widely used tool, offering a standardized and reliable measure for assessing the usability of digital health solutions. However, despite the existence of several translations of the System Usability Scale into Swedish, none have undergone psyc

Bayesian optimization is a widely used method for optimizing expensive black-box functions, with Expected Improvement being one of the most commonly used acquisition functions. In contrast, information-theoretic acquisition functions aim to reduce uncertainty about the function's optimum and are often considered fundamentally distinct from EI. In this work, we challenge this prevailing perspective

Recent work reported that simple Bayesian optimization methods perform well for high-dimensional real-world tasks, seemingly contradicting prior work and tribal knowledge. This paper investigates the 'why'. We identify fundamental challenges that arise in high-dimensional Bayesian optimization and explain why recent methods succeed. Our analysis shows that vanishing gradients caused by Gaussian pr

Energy efficiency is essential for climate change mitigation. Energy management, shaped by both technical artefacts and social constructions, can overcome barriers and achieve greater emission reductions than technology-focused approaches alone. Nine social constructions of energy management emphasize the need for a broader view that includes operations, processes, and knowledge creation and diffu

Radiative lifetimes have been determined for the 62P12/0 and 62P32/0 levels in Yb II using the method of laser-induced fluorescence from sputtered metal vapour. The results, 8.0(2)ns (62P12/0) and 6.3(3)ns (62P32/0), are compared with lifetimes obtained from ab initio manybody perturbation calculations.

New mapping and laboratory studies of the impactites at the Gardnos impact structure (Norway) show a variety of impact-deformed rocks. Our mapping and petrographic analyses have subdivided these breccias into three distinct categories: (a) melt-bearing sueivitic breccias, melt-bearing polymict breccias; (b) melt-free, polymict lithic impact breccias; and (c) monomict lithic impact breccias. This i

This study presents a measurement campaign with an ultra-large-scale antenna array in both Line-of-Sight (LoS) and Non-Line-of-Sight (NLoS) outdoor scenarios. Measurements were conducted at a center frequency of 15 GHz with a bandwidth of 4 GHz. A virtual 40×40 planar antenna array, formed by moving a vertically-polarized bi-conical omni-directional antenna (ODA) along regularly spaced grids, was

Clog is a declarative language for describing static code checkers for C. Clog is a dialect of Datalog and adds syntactic pattern matching over the C language. We have built Clog using the MetaDL framework and the Clang C compiler frontend. The MetaDL framework supports Datalog evaluation and syntactic patterns, while the Clang frontend provides AST facts and an AST matching mechanism.We provide t

Lipoproteins, key mediators of lipid transport, facilitate the bidirectional transfer of lipids such as fatty acids, triglycerides, and cholesterol between soluble particles and cell membranes. High-density lipoproteins (HDL) primarily engage in reverse cholesterol transport, while low-density lipoproteins (LDL) predominantly deposit lipids, affecting cardiovascular health with a well-known role i

Many software language tools use declarative domain-specific languages (DDSLs) to implement parts of their functionality, such as context-free grammars for parsing or inference rules for type analysis. For interoperability and ease of use, DDSLs often rely on embedded general-purpose language (GPL) code fragments, as in the semantic actions of parser specifications, but require that these GPL frag

The current classification of diabetes had its genesis over 85 years ago, when individuals with diabetes were first subclassified into insulin sensitive and insulin insensitive states based on the response to an oral glucose tolerance test. About 35 years later, the contemporary classifications of type 1 and type 2 diabetes were coined. Today's evidence, however, suggests that multiple etiologic a

The regional variety of actors is considered a key determinant in the last decade's rich literature on the geography of eco-innovation and green regional development. However, little is known about the extent to which regions differ in their specialization in new and established eco-innovation actors. In this article, we propose a regional typology based on green specializations concerning both in

We propose and analyze a novel scheme based on LDPC codes for quantitative group testing. The key underlying idea is to augment the bipartite graph by introducing hidden non-binary variables to strengthen the message-passing decoder. This is achieved by grouping items into bundles of size q within the test matrix, while keeping the testing procedure unaffected. The decoder, inspired by some works

Supersonic combustion is a critical area of research for advancing high-speed flight technologies, particularly for the development of scramjet engines for hypersonic vehicles. This study employs Finite Rate Chemistry (FRC) Large Eddy Simulation (LES) together with different experimental techniques to study the supersonic flow and thermochemical processes in the Small Scale Flight Experiment (SSFE

Background: Composite outcome measures aim to provide a more holistic view when determining the effectiveness and safety of surgical interventions. Recently, 'Ideal Outcome' (IO) harmonized the European and American composite outcome of pancreatic surgery. The rate of IO after pancreatoduodenectomy was 54% but is unknown after left pancreatectomy(LP). Methods: This transatlantic analysis included

Indoor sensing is challenging because of the multi-bounce effect, spherical wavefront, and spatial nonstationarity (SNS) of the near-field effect. This paper addresses radio-based environment sensing considering these issues. Specifically, graph theory (GT) is used to model the multi-bounce propagation of the near field. In this manner, indoor reflectors/scatterers are modeled as vertices in a pro

How do you control a superintelligent artificial being given the possibility that its goals or actions might conflict with human interests? Over the past few decades, this concern– the AGI control problem– has remained a central challenge for research in AI safety. This paper develops and defends two arguments that provide pro tanto support for the following policy for those who worry about the AG