相关论文: Temporal Memory with Magnetic Racetracks

Events across a timeline are a common data representation, seen in different temporal modalities. Individual atomic events can occur in a certain temporal ordering to compose higher level composite events. Examples of a composite event are…

We present a modular framework to benchmark new and existing methods for trajectory planning and control in high-acceleration maneuvers that push autonomous driving to the limits. Our framework includes time-optimal raceline generation,…

Magnetic skyrmions are topological solitons that exhibit an increased stability against annihilation, and can be displaced with low current densities, making them a promising candidate as an information carrier. In order to demonstrate a…

This paper investigates trajectory prediction for robotics, to improve the interaction of robots with moving targets, such as catching a bouncing ball. Unexpected, highly-non-linear trajectories cannot easily be predicted with…

Magnetic skyrmions are highly promising candidates for future spintronic applications such as skyrmion racetrack memories and logic devices. They exhibit exotic and complex dynamics governed by topology and are less influenced by defects,…

Unidirectional motion of magnetic domain walls is the key concept underlying next-generation domain-wall-mediated memory and logic devices. Such motion has been achieved either by injecting large electric currents into nanowires or by…

Zero-lag synchronization between distant cortical areas has been observed in a diversity of experimental data sets and between many different regions of the brain. Several computational mechanisms have been proposed to account for such…

Soft Constraint Logic Programming is a natural and flexible declarative programming formalism, which allows to model and solve real-life problems involving constraints of different types. In this paper, after providing a slightly more…

One of the main foci of robotics is nowadays centered in providing a great degree of autonomy to robots. A fundamental step in this direction is to give them the ability to plan in discrete and continuous spaces to find the required motions…

Magnetic skyrmionium is a novel magnetization configuration with zero skyrmion number, which is composed by two skyrmions with opposite skyrmion number. Here, we study the dynamics of skyrmionium under an anisotropy gradient. We find that…

Linear temporal logic (LTL) is a specification language for finite sequences (called traces) widely used in program verification, motion planning in robotics, process mining, and many other areas. We consider the problem of learning LTL…

There are two orthogonal methodologies for efficient prediction of data races from concurrent program runs: commutativity and prefix reasoning. There are several instances of each methodology in the literature, with the goal of predicting…

It is spatial dispersion which is exclusively responsible for the emergence of exchange interaction and magnetic ordering. In contrast, magneto-crystalline anisotropy present in any realistic material brings in a certain non-linearity to…

Real-time tracking is an important problem in computer vision in which most methods are based on the conventional cameras. Neuromorphic vision is a concept defined by incorporating neuromorphic vision sensors such as silicon retinas in…

Computing-in-memory (CIM) promises to alleviate the Von Neumann bottleneck and accelerate data-intensive applications. Depending on the underlying technology and configuration, CIM enables implementing compute primitives in place, such as…

Domain-wall skyrmions (DWSKs) are topological spin textures confined within domain walls that have recently attracted significant attention due to their potential applications in racetrack memory technologies. In this study, we…

Concurrent programs are notoriously hard to write correctly, as scheduling nondeterminism introduces subtle errors that are both hard to detect and to reproduce. The most common concurrency errors are (data) races, which occur when…

Flexibility at hardware level is the main driving force behind adaptive systems whose aim is to realise microarhitecture deconfiguration 'online'. This feature allows the software/hardware stack to tolerate drastic changes of the workload…

We present the concept of speed maps: speed limits for mobile robots in human environments. Static speed maps allow for faster navigation on corridors while limiting the speed around corners and in rooms. Dynamic speed maps put limits on…

Nonholonomic wheeled mobile robots are often required to implement algorithms designed for holonomic kinematic systems. This creates a velocity tracking problem for the actual wheeled mobile robot. In this paper, we investigate the issue of…