Quantum simulations of chemistry in first quantization offer some important advantages over
approaches in second quantization including faster convergence to the continuum limit and …

This paper presents two capacitor voltage balancing (CVB) strategies for modular multilevel
converter (MMC) applications. Both balancing schemes are based on model predictive …

Model Predictive Control is a promising technique for electric drive control, as it enables
optimization for multiple parameters and offers reliable operation with non-linear systems …

An effective SAT preprocessing technique is the addition of symmetry-breaking predicates:
auxiliary clauses that guide a SAT solver away from needless exploration of isomorphic sub …

We present fast implementations of linear interpolation operators for piecewise linear
functions and multi-dimensional look-up tables. These operators are common for efficient …

New properties of the front and back ends of sorting networks are studied, illustrating their
utility when searching for bounds on optimal networks. Search focuses first on the “out …

Passive error correction protects logical information forever (in the thermodynamic limit) by
updating the system based only on local information and few-body interactions. A …

Consider a complete communication network on n nodes. In synchronous 2-counting, the
nodes receive a common clock pulse and they have to agree on which pulses are “odd” and …

The majority function evaluates to true, if at least two of its Boolean inputs evaluate to true.
The majority function has frequently been studied as a central primitive in logic synthesis …

We consider the problem of decomposing monotone Boolean functions into majority-of-three
operations, with a particular focus on decomposing the majority-n n function. When targeting …