相关论文: Temporal Memory with Magnetic Racetracks

In order to address many of the challenges and bottlenecks currently experienced by traditional charge based technologies, various alternatives are being actively explored to provide potential solutions of device miniaturization and scaling…

Magnetic skyrmions are topologically-protected spin textures that exhibit fascinating physical behaviors and large potential in highly energy efficient spintronic device applications. The main obstacles so far are that skyrmions have been…

This paper presents algorithms for performing data-driven reachability analysis under temporal logic side information. In certain scenarios, the data-driven reachable sets of a robot can be prohibitively conservative due to the inherent…

During the last years, topologically protected collective modes of the magnetization have called much attention. Among these, skyrmions and merons have been the object of intense study. In particular, topological skyrmions are objects with…

The use of chiral skyrmions, which are nanoscale vortex-like spin textures, as movable data bit carriers forms the basis of a recently proposed concept for magnetic solid-state memory. In this concept, skyrmions are considered to be unique…

Magnetic skyrmions are nano-scale spin textures whose stability, size and ease of manipulation make them strong contenders for next generation data and logic applications. Here we illustrate fine motion control of skyrmions, we show how…

Magnetic skyrmion, topologically non-trivial spin texture, has been considered as promising information carrier in future electronic devices because of its nanoscale size, low depinning current density and high motion velocity. Despite the…

Nanomagnetic logic, which makes use of arrays of dipolar-coupled single domain nanomagnets for computation, holds promise as a low power alternative to traditional computation with CMOS. Beyond the use of nanomagnets for Boolean logic,…

We present the mathematical basis of a new approach to the analysis of temporal coding. The foundation of the approach is the construction of several families of novel distances (metrics) between neuronal impulse trains. In contrast to most…

We investigate the impact of line-edge roughness on current-driven domain wall dynamics in ferromagnetic racetracks. Modeling the edge disorder as a spatially correlated Ornstein-Uhlenbeck process, we demonstrate that even minimal…

Edge computing is a popular target for accelerating machine learning algorithms supporting mobile devices without requiring the communication latencies to handle them in the cloud. Edge deployments of machine learning primarily consider…

The paper explores the capability of continuous-time recurrent neural networks to store and recall precisely timed scores of spike trains. We show (by numerical experiments) that this is indeed possible: within some range of parameters, any…

In many multirobot applications, planning trajectories in a way to guarantee that the collective behavior of the robots satisfies a certain high-level specification is crucial. Motivated by this problem, we introduce counting temporal…

Motion planning of an autonomous system with high-level specifications has wide applications. However, research of formal languages involving timed temporal logic is still under investigation. Furthermore, many existing results rely on a…

We introduce a hybrid spatiotemporal logic for automotive safety applications (HSTL), focused on highway driving. Spatiotemporal logic features specifications about vehicles throughout space and time, while hybrid logic enables precise…

We investigate the dynamics of two skyrmions lying in distinct layers of an antiferromagnetic bilayer system, consisting of nanostripes with the shape of racetracks. The top and bottom nanostripes are separated by a height offset and they…

Metric temporal logic (MTL) provides a formal framework for defining time-dependent mission requirements on autonomous vehicles. However, optimizing control decisions subject to these constraints is often computationally expensive. This…

There are only a small number of ideas for stabilizing the moduli of string theory. One of the most appealing of these is the racetrack mechanism, in which a delicate interplay between two strongly interacting gauge groups fixes the value…

Navigating to out-of-sight targets from human instructions in unfamiliar environments is a core capability for service robots. Despite substantial progress, most approaches underutilize reusable, persistent memory, constraining performance…

The rising popularity of driver-less cars has led to the research and development in the field of autonomous racing, and overtaking in autonomous racing is a challenging task. Vehicles have to detect and operate at the limits of dynamic…