Filetype
Mutation testing is the state-of-the-art technique for assessing the fault detection capacity of a test suite. Unfortunately, a full mutation analysis is often prohibitively expensive. The CppCheck project for instance, demands a build time of 5.8 min and a test execution time of 17 s on our desktop computer. An unoptimised mutation analysis, for 55,000 generated mutants took 11.8 days in total, o
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
Safety measures need to be systemically investigated to what extent they evaluate the intended performance of Deep Neural Networks (DNNs) for critical applications. Due to a lack of verification methods for high-dimensional DNNs, a trade-off is needed between accepted performance and handling of out-of-distribution (OOD) samples.This work evaluates rejecting outputs from semantic segmentation DNNs
Salts affect the solvation thermodynamics of molecules of all sizes; the Hofmeister series is a prime example in which different ions lead to salting-in or salting-out of aqueous proteins. Early work of Tanford led to the discovery that the solvation of molecular surface motifs is proportional to the solvent accessible surface area (SASA), and later studies have shown that the proportionality cons
We propose a variation of the forward–backward splitting method for solving structured monotone inclusions. Our method integrates past iterates and two deviation vectors into the update equations. These deviation vectors bring flexibility to the algorithm and can be chosen arbitrarily as long as they together satisfy a norm condition. We present special cases where the deviation vectors, selected
The geometry-based stochastic channel models (GSCM), which can describe realistic channel impulse responses, often rely on the existence of both local and far scatterers. However, their visibility from both the base station (BS) and mobile station (MS) depends on their relative heights and positions. For example, the condition of visibility of a scatterer from the perspective of a BS is different
There are many pedagogical methods to engage students in active learning. This paper presents Discussion Seminars, which is one such method that is much appreciated by students. This paper explains how to structure seminars and discusses their benefits and what requirements they put on the teacher. The paper aims to inspire other teachers to try something similar.
A Brain-Computer Interface (BCI) is a system that, in real-time, translates the user's brain activity into commands that can be used to control applications, such as moving a cursor on the screen. The translation is made possible by machine learning methods and other algorithms. The thesis focuses on EEG-based BCIs which are the most common type of BCIs due to EEG measurements being non-invasive,
A recent singleshot multiplane image (MPI) generation enables to copy an observed reality within a camera frame into other reality domains via view synthesis. While the scene scale is unknown due to the nature of singleshot MPI processing, camera tracking algorithms can estimate depth within the application world coordinate system. Given such depth information, we propose to adjust the scale of si
A fateful decision as a 15-year-old high school student, and good advice from a distinguished professor of zoology, were the catalysts that not only decided my entire career but also led me to the Journal of Comparative Physiology A, and to the myriad biological wonders that were held within its covers. In my celebration of JCPA, I look back on the formative years of my career in Australia, and th
We study a controlled evolutionary dynamics that models the spread of a novel state in a network where the exogenous control aims to quickly spread the novel state. We estimate the performance of the system by analytically establishing upper and lower bounds on the expected time needed for the novel state to replace the original one. Such bounds are expressed as functions of the control policy ado
We propose a method for sensor array self-localization using a set of sources at unknown locations. The sources produce signals whose times of arrival are registered at the sensors. We look at the general case where neither the emission times of the sources nor the reference time frames of the receivers are known. Unlike previous work, our method directly recovers the array geometry, instead of fi
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 dramatic improvements in Boolean satisfiability (SAT) solving since the turn of the millennium have made it possible to leverage 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, the fact that SAT
Intrinsically disordered proteins (IDPs) adopt heterogeneous conformational ensembles in solution. The properties of the conformational ensemble are dependent upon the solution conditions, including the presence of ions, temperature, and crowding, and often directly impact biological function. Many in vitro investigations focus on the properties of IDPs under dilute conditions, rather than the cro
We have earlier shown that radio frequency electromagnetic fields can cause significant leakage of albumin through the blood-brain barrier of exposed rats as compared to non-exposed rats, and also significant neuronal damage in rat brains several weeks after a 2 h exposure to a mobile phone, at 915 MHz with a global system for mobile communications (GSM) frequency modulation, at whole-body specifi
To make autonomous, affordable ships feasible in the real world, they must be capable of safely navigating without fully relying on GPS, high-resolution 3D maps, or high-performance navigation sensors. We suggest a method for estimating the position using affordable navigation sensors (compass and speed log or inertial navigation sensor), sensors used for perception of the environment (cameras, ec
In this article, it is shown that by exposing commonly used lipids for biomembrane mimicking studies, to a solution containing the histidine-rich intrinsically disordered protein histatin 5, a protein cushion spontaneously forms underneath the bilayer. The underlying mechanism is attributed to have an electrostatic origin, and it is hypothesized that the observed behavior is due to proton charge f
In the Industry 4.0 era, time-sensitive and missioncritical control applications still have a long way to go, from being tied down and co-located with the systems they control, to taking full advantage of the cloud. Conservatively keeping applications local will deprive these complex applications of abundantcompute capacity, wider system integration, and the potential for collaborative control eff
