Filtyp
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
Building on the progress in Boolean satisfiability (SAT) solving over the last decades, maximum satisfiability (MaxSAT) has become a viable approach for solving NP-hard optimization problems. However, ensuring correctness of MaxSAT solvers has remained a considerable concern. For SAT, this is largely a solved problem thanks to the use of proof logging, meaning that solvers emit machine-verifiable
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 solv
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
This article addresses the obstacle avoidance problem for setpoint stabilization tasks in complex dynamic 2-D environments that go beyond conventional scenes with isolated convex obstacles. A combined motion planner and controller is proposed that integrates the favorable convergence characteristics of closed-form motion planning techniques with the intuitive representation of system constraints t
In spite of the similar structural and genomic organization of human immunodeficiency viruses type 1 and 2 (HIV-1 and HIV-2), striking differences exist between them in terms of replication dynamics and clinical manifestation of infection. Although the pathomechanism of HIV-1 infection is well characterized, relatively few data are available regarding HIV-2 viral replication and its interaction wi
Riparian buffer zones (RBZs) are an important instrument for environmental policies for water and biodiversity protection in managed forests. We investigate the variation of the cost of implementing RBZs within different property size classes across the size range of non-industrial forest owner properties in Southern Sweden. Using the Heureka PlanWise decision support system, we quantified the cos
Understanding and addressing the complex societal sustainability challenges requires applying novel approaches, devising innovative assessment frameworks, and adopting methods and tools from other research fields. Dr Jagdeep Singh has been conducting inter- and trans-disciplinary research on these challenges impacting academia and society. He has pursued university degrees in Electrical Engineerin
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
Sub-THz deployment is challenging due to high propagation losses, necessitating dense deployment. To reduce cost, RF signal can be distributed via plastic fiber to remote radio units to increase coverage area. In this paper, we propose an antenna-in-package concept for the single-layer substrate on low-cost embedded wafer level ball grid array (eWLB) packages. To suppress the distortion in the bro
Urban environments are exposed to a substantial range of anthropic pressures, including chemical exposure. While trace metals and legacy pollutants have been well documented, the extent of wildlife exposure to emerging contaminants has received little attention, in terrestrial mammals. Concentrations of trace elements (Ag, Al, As, Cd, Co, Cr, Cu, Fe, Mn, Pb and Zn) and 48 organic pollutants (Polyc
With the rapid advancement of autonomous vehicle technology, integrating mixed autonomous and non-autonomous vehicles that are not cooperative in vehicular network has become a significant challenge. This paper presents an innovative Autonomous Intersection Management (AIM) system designed to optimize traffic flow and enhance intersection safety in such mixed traffic scenarios. By utilizing vehicl
The transition to a fossil-free society in Sweden is expected to cause an increased demand for forest-derived products which may intensify existing conflicts between forest ecosystem services. This study investigated the preferences among non-industrial private forest owners for maintaining multiple forest ecosystem services and their preferences for future forest development. The findings were re
Reconfigurable intelligent surfaces (RISs) are being considered for 6G as they can facilitate favourable radio channels. To rigorously model the characteristics of an array antenna-based RIS, this paper proposes an approach to separately evaluatescatterings from the antenna elements and ground plane of RIS. Simulation results show that, depending on the absolute phases of variable loads in the RIS
Telomere length and telomere shortening are thought to be critical cellular attributes and processes that are related to an individual's life span and fitness. The general pattern across most taxa is that after birth telomere length gradually decreases with age. Telomere protection and restoration mechanisms are usually assumed to reduce the rate of shortening or at most keep telomere length const
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
