Filetype
With the rapid growth of mobile communication systems, massive multiple-input multiple-output (MIMO) technology plays a key role in enhancing communication systems to meet growing data traffic demands. However, scaling the technology further challenges the system designers to balance design tradeoffs in order to provide efficient and low-cost communication systems. This requires efficient hardware
The first WARA Robotics Mobile Manipulation Challenge, held in December 2024 at ABB Corporate Research in Vasteras, Sweden, addressed the automation of task-intensive and repetitive manual labor in laboratory environments - specifically the transport and cleaning of glassware. Designed in collaboration with AstraZeneca, the challenge invited academic teams to develop autonomous robotic systems cap
Combinatorial optimization provides a powerful framework for solving complex optimization problems with general-purpose solvers by modelling the problem in an abstract language. Due to breakthroughs in algorithms to solve combinatorial optimization problems in last decades, combinatorial optimization has become a valid approach to solve many real world problems efficiently. Key application areas a
During the last two decades, an active line of research in proof complexity has been into the space complexity of proofs and how space is related to other measures. By now these aspects of the resolution proof system are fairly well understood, but many open problems remain for the related but stronger proof system polynomial calculus (PC/PCR). For instance, the space complexity of many standard “
We prove the first hardness results against efficient proof search by quantum algorithms. We show that underLearning with Errors (LWE), the standard lattice-based cryptographic assumption, no quantum algorithm can weaklyautomate TC0-Frege. This extends the line of results of Krajííček and Pudlík(Information and Computation, 1998), Bonet, Pitassi, and Raz (SIAM Journal on Computing, 2000),and Bonet
Particulate methane monooxygenase (pMMO) is an enzyme that converts methane into methanol at ambient temperature and pressure. Over the past three decades, the metal content and location of the active site have been highly controversial. Recent single-particle cryogenic electron-microscopy (cryo-EM) structures have furthered this debate. In this study, three cryo-EM structures (PDB entries 7s4h, 7
We analyze the stability of the logit evolutionary dynamics in population games, possibly with multiple heterogeneous populations. For general population games, we prove that, on the one hand, strict Nash equilibria are asymptotically stable under the logit dynamics for low enough noise levels, on the other hand, a globally exponentially stable logit equilibrium exists for sufficiently large noise
The Bregman distance is a central tool in convex optimization, particularly in first-order gradient descent and proximal-based algorithms. Such methods enable optimization of functions without Lipschitz continuous gradients by leveraging the concept of relative smoothness, with respect to a reference function h. A key factor in determining the full range of allowed step sizes in Bregman schemes is
We consider the verification of neural network policies for discrete-time stochastic systems with respect to reach-avoid specifications. We use a learner-verifier procedure that learns a certificate for the specification, represented as a neural network. Verifying that this neural network certificate is a so-called reach-avoid supermartingale (RASM) proves the satisfaction of a reach-avoid specifi
The vast bandwidth available at sub-THz frequencies holds great promise for high-speed wireless access, precise localization, and advanced sensing applications. However, fundamental physical constraints and technological limitations make the deployment of reliable sub-THz networks challenging. We propose a new paradigm for sub-THz coverage by transmitting the RF signals over polymer microwave fibe
This thesis is about two problems in the intersection of communication and control theory. Their common feature is that they involve communication over an additive white noise channel with a signal-to-noise ratio (SNR) constraint. The first problem concerns the transmission of a real-valued signal from a partially observed Markov source. The distortion criterion is the mean squared error and the
I denna avhandling används samtalsanalys (”conversation analysis”) för att studera ”riskstrategier” i samtal mellan lärare, elever och föräldrar i grundskolan. Materialet består av 80 samtal som insamlats vid två olika tidpunkter: 45 st. inspelade 1992–93 (kvartssamtal, eller den mer formella benämningen enskilda samtal) och ytterligare 35 st. inspelade 2004 (utvecklingssamtal, den benämning som gIn this thesis, conversation analysis (CA) is applied to study “risk strategies” in parent-teacher-student conferences in the Swedish nine-year compulsory school. The material consists of 80 conferences collected at two different points in time: 45 from the period 1992–93 (at that time called kvartssamtal, lit. “quarter of an hour conference”) and another 35 collected in 2004 (at the present time,
This contribution concerns the development of generic methods and tools for robust optimal control of high-pressure liquid chromatographic separation processes. The proposed methodology exploits a deterministic robust formulation, that employs a linearization of the uncertainty set, based on Lyapunov differential equations to generate optimal elution trajectories in the presence of uncertainty. Co
Engineers in large-scale software development have to manage large amounts of information, spread across many artifacts. Several researchers have proposed expressing retrieval of trace links among artifacts, i.e. trace recovery, as an Information Retrieval (IR) problem. The objective of this study is to produce a map of work on IR-based trace recovery, with a particular focus on previous evaluatio
The transcription factor Wilms' tumor gene 1 (WT1) is highly expressed in the majority of leukemias, suggesting a role in leukemogenesis. Acquired WT1 mutations are reported as an independent predictor of poor clinical outcome, and mutations resulting in deletion of the entire DNA-binding zinc-finger domain (WT1delZ), is the most common type. The aim of this study was to study cellular effects of
