Search results

An honest communication of uncertainty about quantities of interest enhances transparency in scientific assessments. To support this communication, risk assessors should choose appropriate ways to evaluate and characterize epistemic uncertainty. A full treatment of uncertainty requires methods that distinguish aleatory from epistemic uncertainty. Quantitative expressions for epistemic uncertainty

A non-von Neumann Near-Memory Computing architecture, optimized for CNN inference in edge computing, is integrated in the cache memory sub-system of a microcontroller unit. The NMC co-processor is evaluated using an 8-bit fixed-point quantized CNN model, and achieves an accuracy of 98% on the MNIST dataset. A full inference of the CNN model executed on the NMC processor, demonstrates an improvemen

We demonstrate how to compute radome reference cases for benchmarkingradome codes. Radomes are electrically large structures, and to facilitate thecomputations a rotationally symmetric structure is assumed. We show howto implement this in the commercial software Comsol Multiphysics, and howto extract the relevant data for comparison. Two example geometries areanalyzed: a spherical shell radome, an

A deterministic annealing (DA) method is presented for solving the multi-robot routing problem with min–max objective. This is an NP-hard problem belonging to the multi-robot task allocation set of problems where robots are assigned to a group of sequentially ordered tasks such that the cost of the slowest robot is minimized. The problem is first formulated in a matrix form where the optimal solut

Recent advances in artificial intelligence and deep machine learning have created a step change in how to measure human development indicators, in particular asset-based poverty. The combination of satellite imagery and deep machine learning now has the capability to estimate some types of poverty at a level close to what is achieved with traditional household surveys. An increasingly important is

A product code with single parity-check component codes can be described via the tools of a multi-kernel polar code, where the rows of the generator matrix are chosen according to the constraints imposed by the product code construction. Following this observation, successive cancellation decoding of such codes is introduced. In particular, the error probability of single parity-check product code

This abstract describes the decomposition of a matrix representing a scattering dyadic into characteristic modes. Scattering dyadic, as compared to conventionally used impedance matrices, are independent of numerical method used to compute them and the same characteristic mode formulation can be used for decomposition of composite and inhomogeneous materials. The utilization of scattering dyadic m

Quantum annealing is a promising approach for obtaining good approximate solutions to difficult optimization problems. Folding a protein sequence into its minimum-energy structure represents such a problem. For testing new algorithms and technologies for this task, the minimal lattice-based [hydrophobic (H) or polar (P) beads] HP model is well suited, as it represents a considerable challenge desp

Objective: The association between work-related moderate-to-vigorous physical activity (MVPA) and higher levels of stress response is recognized, but whether this association is moderated by regular exercise remains unclear. This cross-sectional study investigated whether exercise-based physical activity (PA) associates with lower levels of stress responses moderated by work-related MVPA. Methods:

Quality requirements are critical for successful software engineering, with maintainability being a key internal quality. Despite significant attention in software metrics research, maintainability has attracted surprisingly little focus in the Requirements Engineering (RE) community. This position paper proposes a synergistic approach, combining code-oriented research with RE expertise, to create

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

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