Sökresultat

The dramatic improvements in Boolean satisfiability (SAT) solving since the turn of the millennium have made it possible to leverage state-of-the-art conflict-driven clause learning (CDCL) solvers for many combinatorial problems in academia and industry, and the use of proof logging has played a crucial role in increasing the confidence that the results these solvers produce are correct. However,

Background and purpose — Total knee replacement (TKR) studies usually analyze all-cause revision when con-sidering relationships with patient and prosthesis factors. We studied how these factors impact different revision diagnoses. Patients and methods — We used data from 2003 to 2019 of TKR for osteoarthritis from the arthroplasty regis-tries of Sweden, Australia, and Kaiser Permanente, USA to st

Mission-critical applications such as industrial control processes are evolving towards a new development paradigm by offloading their heavy computations to the edge of the emerging Fifth Generation Wireless Specifications (5G) network. In this manner, the applications can gain the economical and efficiency benefits of cloud computing, as well as reliable communication from the 5G network. However

Background: European treatment guidelines recommend prasugrel over ticagrelor for treating patients with non–ST-elevation acute coronary syndrome (ACS), prompting several Swedish administrative regions to transition from ticagrelor to prasugrel as the preferred treatment for patients with ACS. We aim to systematically evaluate this transition to determine the relative efficacy of prasugrel versus

Channel fingerprinting entails associating a point in space with measured properties of a received wireless signal. If the propagation environment for that point in space remains reasonably static with time, then a receiver with no knowledge of its own position experiencing a similar channel in the future might reasonably infer proximity to the original surveyed point. In this article, measurement

This paper shows how a channel sounder can be built with National Instruments (NI) Universal Software Radio Peripheral (USRP) equipment, featuring onboard FPGA processing and utilizing open-source tools. Compared to other USPR-based channel sounders, our design eases the requirements on the data link between the USRP and the host, limits the measurement data size, and increases the signal-to-noise

We report on an investigation into the nature of the experience that developers have with the spaces in which they work and live based on the reflections of the authors. We describe a few aspects of the structure of developers' experience around the malleability, ownership and control of the spaces and the emotions they induce, and consider what this may mean for future research.

When designing a hardware architecture, a designer needs to be confident that their design will meet performance requirements before moving on to the next stage in the design process. The mapping between application and architecture can have a large impact on the system performance. In this work we target early-stage system design of hardware architectures required to run a streaming application.

When we speak, we typically also gesture. Gestures are an integral part of language use in both production and comprehension. They are therefore also vital in second language (L2), foreign language (FL), and bilingualism studies since they can open new windows on cognitive processes, interaction practices, and learning. This entry discusses methods and tools for studying second language users' and

Massive MIMO is one of the leading technologies for connecting very large numbers of energy-constrained nodes, as it offers both extensive spatial multiplexing and large array gain. A challenge resides in partitioning the many nodes into groups that can communicate simultaneously such that the mutual interference is minimized. Here we propose node partitioning strategies that do not require full c

This paper studies the problem of coordinating a group of nth-order integrator systems. As for the well-studied conventional consensus problem, we consider linear and distributed control with only local and relative measurements. We propose a closed-loop dynamic that we call serial consensus and prove it achieves nth order consensus regardless of model order and underlying network graph. This alle

To avoid being detected by radar, it is necessary to reduce stealthy military platforms' radar cross section (RCS). The operation of overlaying the metasurface (MS) on the targets is a good solution. A simple chessboard MS structure that can achieve low RCS over a large bandwidth is proposed. Only one unit cell is used to construct the MS. First, the unit cell working in 0.5 and 1−λ modes is desig

The territorial dimensions of the state are undergoing substantial changes. New political entities – such as cities and regions – are gaining in importance. Cities and regions are using different strategies in order to strengthen their position in the inter-regional competition. At first, the Swedish experience seems to be an exception to this general development. The relatively small cities of Sw

Anisotropy in the lowermost few 100 km of mantle, or D" region, is indicative of deformation-induced alignment of crystals and/or inclusions of material, and as such offers insights into the dynamic nature of this region. Observations of shear-wave splitting in phases that transit this region provide constraints on such anisotropy. We investigate the effects of lower-mantle seismic anisotropy on S

This paper concerns tourism and destination branding. The aim of this study is to contribute to a discussion, within the field of tourism studies, considering the relationship between place-specific qualities of destinations and the development of destination profiles and destination brands. Interreg III A programmes within cross-border regions of the Baltic Sea Area are used as examples to highli