Search results

Purpose (the aim of the study): There is limited evidence on psychometric properties of EQ-5D-5L among people with osteoarthritis (OA) undertaking non-surgical treatment. The aim of the current study was to evaluate the psychometric properties of the EQ-5D-5L among individuals with knee or hip OA participating in a digitally delivered education and exercise therapy.Methods: Secondary analysis of d

This paper reports results of a production experiment in which nine native speakers of Tokyo Japanese read aloud sentences with varied syntactic structures, word orders, and levels of awareness of the syntactic structure. In particular, this study investigates the prosodic realization of embedded clause boundaries and potential effects of word order and readers’ awareness of the syntactic structur

In this paper we present the concept for a teleoperation system for semi-autonomous robotic boats using virtual reality. This system can be used for monitoring autonomous driving as well as for direct manual control. The integration of live sensor data is possible as well as the integration of past measurement results and their correct registration within the virtual representation. Initial field

Researchers have envisioned and pioneered data-driven programming assistance for developers based on their interaction with the tools via multiple sensors such as eye trackers, microphones, and AI. However, these new sensors gather sensitive data from programmers, to what extent users can accept them and in what form they may work well are largely unclear. Meanwhile, developer tools such as static

Since 2010, it has become increasingly clear that North Germanic word accents have a strong predictive function in speech processing. Recent findings on the semantic effects of word accents might appear contradictory to this interpretation. However, we show that the predictive perspective is crucial for understanding these semantic effects.

This paper suggests an approach to solving the time-of-arrival self-calibration problem for imbalanced problems, where there is a low number of receivers but many senders. The idea is to solve several subproblems created by only using data relating to four receivers. The solutions are then clustered according to a proposed metric in order to remove failed reconstructions. They are then combined in

We study an information design problem to reduce congestion in transportation networks. In presence of an uncertain network state, the central planner may sends private signals to the users, with the goal of steering the user equilibrium towards the system optimum flow. We consider private signals and provide sufficient conditions under which optimality may be achieved by information provision in

Mg alloys are prone to pitting due to their non-uniform protective corrosionCorrosion layers, which can lead to an increase in stress intensity based on the notch effect, pit-to-crack transition, and thus premature failure. A small set of analytical methods to determine the extent of pitting and its effect on the resulting residual strengthResidual tensile strength is presented. Micrographs, 3D mi

Objective: Aortic stiffness can be assessed by pulse wave velocity (PWV) using golden standard applanation tonometry (SphygmoCor; SC) or a 24-hour ambulatory oscillometric method (Arteriograph; AG). We aimed to compare AG with SC in a population-based study for PWV in men and women.Design and method: We used data from subjects (n= 1545; 748 men, 797 women; mean age 50 years, SD: 9.3) with complete

It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure correctness, all transformations must preserve the feasibility status and optimal value of the problem, but there is currently no established methodology to express and verify the equivalence of two mixed-integer programs. In this work, we take a first s

Proof logging has long been the established method to certify correctness of Boolean satisfiability (SAT) solvers, but has only recently been introduced for SAT-based optimization (MaxSAT). The focus of this paper is solution-improving search (SIS), in which a SAT solver is iteratively queried for increasingly better solutions until an optimal one is found. A challenging aspect of modern SIS solve

Pseudo-Boolean proof logging has been used successfully to provide certificates of optimality from a variety of constraint- and satisifability-style solvers that combine reasoning with a backtracking or clause-learning search. Another paradigm, occurring in dynamic programming and decision diagram solving, instead reasons about partial states and possible transitions between them. We describe a fr

High Performance Research Desktops are used by HPC centers and research computing organizations to lower the barrier of entry to HPC systems. These Linux desktops are deployed alongside HPC systems, leveraging the investments in HPC compute and storage infrastructure. By serving as a gateway to HPC systems they provide users with an environment to perform setup and infrastructure tasks related to

High fidelity fluid simulations have important applications in science and engineering, examples include numerical weather prediction and simulation aided design. Discontinuous Galerkin (DG) methods are promising high order discretizations for simulating unsteady compressible fluid flow in three dimensions. Systems arising from such discretizations are often stiff and require implicit time integra

The purpose of this thesis was to examine climate related human mobility in the Southern Africa Development Community (SADC). The adverse effect of climate change in SADC is mainly linked to increasing rainfall variability and a higher frequency or intensity of floods and droughts. These effects are a major challenge for human security. Climate change has emerged as one of the most pressing, unres