Search results

The implementation of circular initiatives requires certain capabilities and knowledge that traditional business models often lack, requiring new perspectives and external collaborations. This paper explores the competency needs and partnership dynamics of established companies collaborating for business model innovation for circularity through a case study of a gap exploiter business model, a com

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,

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

Square Kilometer Array (SKA) is a project aimed to build the largest radio telescope in the world and it has just gotten into the construction phase. In this phase, the ability to develop and integrate software in an integration environment is crucial as it is the ability to visualize system-related information via a User Interface to rapidly verify the correctness of the system behavior and spot

Reconfigurable surface (RS) has been shown to be an effective solution for improving wireless communication links in general multi-user multiple-input multiple-output (MU-MIMO) setting. Current research efforts have been largely directed towards the study of reconfigurable intelligent surface (RIS), which corresponds to an RS made of passive reconfigurable elements with only phase shifting capabil

In this paper, we investigate the problem of decoder error propagation for spatially coupled low-density parity-check (SC-LDPC) codes with sliding window decoding (SWD). This problem typically manifests itself at signal-to-noise ratios (SNRs) close to capacity under low-latency operating conditions. In this case, infrequent but severe decoder error propagation can sometimes occur. To help understa

Modern subgraph-finding algorithm implementations consist of thousands of lines of highly optimized code, and this complexity raises questions about their trustworthiness. Recently, some state-of-the-art subgraph solvers have been enhanced to output machine-verifiable proofs that their results are correct. While this significantly improves reliability, it is not a fully satisfactory solution, sinc

In this paper, a wideband circularly polarized antenna is designed for integration into the glass roof of a modern car for GNSS positioning applications. Characteristic mode analysis is used to obtain more physical insight into the problem and hence satisfy the polarization and bandwidth requirements. The antenna has a low profile and uses a single coplanar waveguide feed to cover all GNSS bands.

Due to their natural and inherent way of capturing concurrency, dataflow descriptions of stream programs have seen prevalent usage in fields such as video processing, networks and scientific computing. They are often deployed on manycore, heterogeneous and distributed architectures. Despite robust research on the topic, obstacles still exist in evaluating the performance of stream programs accurat

One of the major open problems in complexity theory is proving super-logarithmiclower bounds on the depth of circuits (i.e., P⊈NC1). Karchmer et al. (Comput Complex 5(3/4):191–204, 1995) suggested to approach thisproblem by proving that depth complexity behaves “as expected”with respect to the composition of functions f◊g. They showedthat the validity of this conjecture would imply that P⊈NC1.Seve

Streaming applications, such as MPEG video encoders or sensor processing pipelines, are increasing in complexity as well as the diversity of platforms that they run on. The toolchains handling these applications must keep up with this increase at all levels of abstraction. The Actor Machine (AM) is an intermediate representation in the toolchain that we make use of. Large AMs are difficult to work

With the emergence of autonomous vehicles comes requirements on adequate and rigorous testing techniques, particularly as systems continuously adapt to changing environments. Scenario-based, simulated testing is one approach that has received attention, where deriving relevant scenarios from various sources is still a challenge. We therefore explore creating executable test scenarios from textual

In the last couple of decades, developments in SAT-based optimization have led to highly efficient maximum satisfiability (MaxSAT) solvers, but in contrast to the SAT solvers on which MaxSAT solving rests, there has been little parallel development of techniques to prove the correctness of MaxSAT results. We show how pseudo-Boolean proof logging can be used to certify state-of-the-art core-guided

This paper proposes a motion control scheme for robots operating in a dynamic environment with concave obstacles. A Model Predictive Controller (MPC) is constructed to drive the robot towards a goal position while ensuring collision avoidance without direct use of obstacle information in the optimization problem. This is achieved by guaranteeing tracking performance of an appropriately designed re

Little is known about pediatric surgical disease in resource-poor countries. This study documents the surgical care of children in central Haiti and demonstrates the influence of the 2010 earthquake on pediatric surgical delivery. METHODS: We conducted a retrospective review of operations performed at Partners in Health/Zanmi Lasante hospitals in central Haiti. RESULTS: Of 2,057 operations p

Magnesium transporter A (MgtA) is an active transporter responsible for importing magnesium ions into the cytoplasm of prokaryotic cells. This study focuses on the peptide corresponding to the intrinsically disordered N-terminal region of MgtA, referred to as KEIF. Primary-structure and bioinformatic analyses were performed, followed by studies of the undisturbed single chain using a combination o