Filetype
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
Reliability is becoming increasingly important for many applications envisioned for future wireless systems. A technology that could improve reliability in these systems is massive MIMO (Multiple- Input Multiple-Output). One reason for this is a phenomenon called channel hardening, which means that as the number of antennas in the system increases, the variations of channel gain decrease in both t
This work presents the systematic design and optimization of a compact quad-element MIMO antenna system in a roof cavity for the expected channel behavior at a 700 MHz LTE band. Beginning with a standard low-profile antenna element, the desired radiation pattern is synthesized by structural modification. The configuration for a quad-element design is then optimized. The results show that the propo
Migration distance and seasonal redistribution patterns may vary between and within bird populations. A common pattern is leap-frog migration, in which northerly breeding populations migrate farther and winter south of more southerly breeding populations. Another common pattern is difference in migration distances between males and females within the same population. Evidently different population
PET-CT är baserad på positronemissionstomografi kombinerat med datortomografi. Före en PET-CT-undersökning injiceras ett radioaktivt spårämne (även kallat radiofarmaka) intravenöst i patienten. PET avbildar fördelningen av detta spårämne genom att detektera dess sönderfall. Under de senaste åren har PET-tekniken utvecklats och förbättrats inom hårdvara och mjukvara. Dessutom har nya radioaktiva spThe PET-CT imaging modality is based on positron emission tomography combined with computed tomography. Before a PET-CT examination, a radioactive tracer (also called a radiopharmaceutical) is intravenously injected into the patient. PET technology images the distribution of this tracer element by detecting the decay. In recent years, PET technology has been developed and improved in hardware and
Proof logging in constraint programming is an approach to certifying a conclusion reached by a solver. To allow for this, different propagators must be augmented to produce justifications for any inferences they make, so that an independent proof checker can certify correctness. The Circuit constraint is used to enforce a Hamiltonian cycle on a set of vertices, e.g. for vehicle routing. Maintainin
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
Normalizing flows (NFs) have been shown to be advantageous in modeling complex distributions and improving sampling efficiency for unbiased sampling. In this work, we propose a new class of continuous NFs, ascent continuous normalizing flows (ACNFs), that makes a base distribution converge faster to a target distribution. As solving such a flow is non-trivial and barely possible, we propose a prac
An extension of the feedline is often needed when an antenna is integrated with the roof glass of a car. How much the extension affects the antenna performance depends on the type of antenna and feedline used. This paper studies the effects of coplanar waveguide feedline extension on the performance of a circularly-polarized square slot antenna. Simulation results show a general decrease in the an
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
This paper presents bounds on radiation efficiency and gain for microstrip patch antennas, demonstrating close alignment with the performance of classic antenna designs. These bounds serve as effective benchmarks for assessing antenna performance and evaluating trade-offs and design feasibility. The study particularly addresses the trade-off between miniaturization and performance by comparing bou
Objectives: This is a protocol for a Cochrane Review (intervention). The objectives are as follows:. To assess the benefits and harms of dexmedetomidine compared with opioids, non-opioids and placebo in providing sedation and analgesia for procedural pain in newborn infants.
Many problems in computer vision can be formulated as geometric estimation problems, i.e. given a collection of measurements (e.g. point correspondences) we wish to fit a model (e.g. an essential matrix) that agrees with our observations. This necessitates some measure of how much an observation 'agrees' with a given model. A natural choice is to consider the smallest perturbation that makes the o
The genetic contributions to early onset heart failure (HF) are incompletely understood. Genetic testing in advanced HF patients undergoing heart transplantation (HTx) may yield clinical benefits, but data is limited. We performed deep-coverage whole genome sequencing (WGS) in 102 Swedish HTx recipients. Gene lists were compiled through a systematic literature review. Variants were prioritized for
Purpose: Chronic rhinosinusitis (CRS) is related to asthma and chronic obstructive pulmonary disease (COPD). However, combined data on CRS, pulmonary function, lower airway symptoms, and cigarette smoking from the general population are lacking. The current study investigates the relationships between CRS and chronic airflow limitation (CAL), lower airway symptoms and COPD in a middle-aged populat
