Filetype
Source code analysis is ubiquitous in the development of software tools, for example in compilers to detect compile-time errors and possible optimizations, inIDEs to provide interactive coding assistance, and in stand-alone analysis tools todetect bugs. There are several techniques that have been developed to help theanalysis developer, including one called Reference Attribute Grammars (RAGs).With
Cellular-based localization and sensing pave the way for a variety ofapplications across various domains, ranging from autonomous driv-ing to emergency care and intelligent traffic management. Althoughtraditional methods have been effective, they still face challenges such as therequirement for highly accurate models and the inherent complexity of thealgorithms. This thesis explores the potential
Iterative algorithms are becoming more common in modern systems. This ranges from algorithms for communicationsystems receivers, machine learning, group testing, and various computation problems. The success of thesealgorithms lies in the ability to simplify computation by breaking down the system into components and exchangingmessages on graphs. The graph has the components as nodes and connectio
With the increase in the number of antennas at base stations (BSs), centralized multi-antenna architectures have encountered scalability problems from excessive interconnection bandwidth to the central processing unit (CPU), as well as increased processing complexity. Thus, research efforts have been directed towards finding decentralized receiver architectures where a part of the processing is pe
The paper explores the usage of minimax adaptive controllers to guarantee finite L2 -gain simultaneous stabilization of linear time-invariant (LTI) plants. It is shown that a minimax adaptive controller simultaneously stabilizes any two multiple-input multiple-output (MIMO) P-stabilizable LTI plants when no LTI controller can achieve that, and the worst attained L2 -gain bound for the transient dy
Programming is a cognitively demanding exercise. In particular, today’s software development requires a collective effort of programmers and the orchestration of a complex programming infrastructure. As disruptive technologies emerge, e.g., AI and quantum computing, the programming practice is undergoing a change, facing an uncertain future that we may not be able to accurately predict but can env
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
In this paper, we investigate a class of braided convolutional codes (BCCs), where the component codes are convolutional self-orthogonal codes (CSOCs), called braided convolutional self-orthogonal codes. Compared to conventional BCCs, the advantages of braided CSOCs include the availability of several low-complexity decoding methods and the relative ease of extending these methods to high rates Mo
Dataflow is a Model of Computation (MoC) that describes applications as networks of actors. The CAL Actor Language (CAL) is one of the programming languages for describing such actors. A downside to CAL is that the actors and their networks are rigidly defined - it is not possible to have a parametric number of ports or actions in an actor. This makes it difficult to define flexible applications o
Reconfigurable intelligent surfaces (RISs) are promising to improve energy efficiency and coverage for 6G [1]. In this paper, we aim to optimize the deployment of BSs and RISs for enhanced coverage in terms of received power. Specifically, an active RIS structure [2] with tuneable power amplification is applied, and a framework of mixed integer linear programming (MILP) is proposed for the optimiz
Developers need to comprehend new code on a regular basis; a demanding task that gets complicated as projects grow in complexity and size. To help developers, documentation is typically added in the form of code comments, design documents, system documents, to name a few examples. Despite all these different kinds of documentation code base comprehension is still challenging and there is room for
The Soil and Water Assessment Tool (SWAT) model has been widely applied for simulating the water cycle and quantifying the influence of climate change and anthropogenic activities on hydrological processes. A major uncertainty of SWAT stems from the poor representation of vegetation dynamics due to the use of a simplistic vegetation growth and development module. Using long-term remote sensing-bas
Millimeter-wave (mmWave) is one key enabler for high data rates in (beyond-)5G wireless communication networks. The use of directive beams and the shorter transmission range in mmWave communications make it easily obstructed or blocked by humans in dynamic real-world scenarios. Connectivity diversity, a solution to link disruption and blockage, could be achieved by deploying distributed multi-poin
To date, research on warehouse order-batching has been limited by reliance on rigid assumptions regarding rack layouts. Although efficient optimization algorithms have been provided for conventional warehouse layouts with Manhattan style blocks of racks, they are limited in that they fail to generalize to unconventional layouts. This paper builds on a generalized procedure for digitization of ware
Connected Autonomous Vehicles (AVs) with Vehicle-to-Vehicle (V2V) communication are becoming an essential component of the transportation system. Self-driving cars have the potential to optimize the roads' traffic flow, fuel consumption and remove the possibility of human error and distractions. In these systems, all involved vehicles must be fully autonomous for maximum gain. However, a fully aut
A 27-47-GHz differential cascode power amplifier for millimeter-wave 5G new radio applications is presented. The PA is a three-stage design using inductively coupled impedance transformers with 31-dB nominal power gain. A device periphery ratio of 1:2:6 is adopted for predriver, driver, and final stage, respectively. A gain equalization technique was used in the interstage transformers to obtain t
Brain activation mapping using functional MRI (fMRI) based on blood oxygenation level-dependent (BOLD) contrast has been conventionally focused on probing gray matter, the BOLD contrast in white matter having been generally disregarded. Recent results have provided evidence of the functional significance of the white matter BOLD signal, showing at the same time that its correlation structure is hi
The human cortical layer exhibits a convoluted morphology that is unique to each individual. Conventional volumetric fMRI processing schemes take for granted the rich information provided by the underlying anatomy. We present a method to study fMRI data on subject-specific cerebral hemisphere cortex (CHC) graphs, which encode the cortical morphology at the resolution of voxels in 3-D. Using graph
The ability to remember an episode from our past is often hindered by competition from similar events. For example, if we want to remember the article a colleague recommended during the last lab-meeting, we may need to resolve interference from other article recommendations from the same colleague. This study investigates if the contextual features specifying the encoding episodes are incidentally
