Related papers: Logic Operations Demonstrated with Localized Vibra…
The logistics of transporting a package from a storage facility to the consumer's front door usually employs highly specialized robots often times splitting sub-tasks up to different systems, e.g., manipulator arms to sort and wheeled…
Recent advances in Large Reasoning Models (LRMs) have demonstrated remarkable capabilities in solving complex tasks such as mathematics and coding. However, these models frequently exhibit a phenomenon known as overthinking during…
Cold atom optical lattices allow for the study of quantum localization and mobility edges in a disorder-free environment. We predict the existence of an Anderson-like insulator with sharp mobility edges in a one-dimensional nearly-periodic…
We consider the feasibility of performing quantum logic operations based on stimulated Raman transitions in trapped Calcium ions. This technique avoids many of the technical difficulties involved with laser stabilisation, and only three…
Nanomagnetic logic, in which the outcome of a computation is embedded into the energy hierarchy of magnetostatically coupled nanomagnets, offers an attractive pathway to implement in-memory computation. This computational paradigm avoids…
A very simple and efficient local variational iteration method for solving problems of nonlinear science is proposed in this paper. The analytical iteration formula of this method is derived first using a general form of first order…
We theoretically investigate optical injection in semiconductor ring lasers and disclose several dynamical regimes. Through numerical simulations and bifurcation continuation, two separate parameter regions in which two different…
Logical inference algorithms for conditional independence (CI) statements have important applications from testing consistency during knowledge elicitation to constraintbased structure learning of graphical models. We prove that the…
The speed of modern digital systems is severely limited by memory latency (the ``Memory Wall'' problem). Data exchange between Logic and Memory is also responsible for a large part of the system energy consumption. Logic--In--Memory (LiM)…
Monolithic three-dimensional integration of memory and logic circuits could dramatically improve performance and energy efficiency of computing systems. Some conventional and emerging memories are suitable for vertical integration,…
Exploiting spin degree of freedom of electron a new proposal is given to characterize spin-based logical operations using a quantum interferometer that can be utilized as a programmable spin logic device (PSLD). The ON and OFF states of…
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…
A semantical embedding of input/output logic in classical higher-order logic is presented. This embedding enables the mechanisation and automation of reasoning tasks in input/output logic with off-the-shelf higher-order theorem provers and…
Cavity optomechanics enables controlling mechanical motion via radiation pressure interaction, and has contributed to the quantum control of engineered mechanical systems ranging from kg scale LIGO mirrors to nano-mechanical systems,…
We review the current (as of Fall 2016) status of the studies on the emergent integrability in many-body localized models. We start by explaining how the phenomenology of fully many-body localized systems can be recovered if one assumes the…
We investigate the dynamics of neutral atoms in a 2D optical lattice which traps two distinct internal states of the atoms in different columns. Two Raman lasers are used to coherently transfer atoms from one internal state to the other,…
Versatile and adaptive semantic understanding would enable autonomous systems to comprehend and interact with their surroundings. Existing fixed-class models limit the adaptability of indoor mobile and assistive autonomous systems. In this…
The potential of Machine Learning Control (MLC) in HVAC systems is hindered by its opaque nature and inference mechanisms, which is challenging for users and modelers to fully comprehend, ultimately leading to a lack of trust in MLC-based…
The goal of inductive logic programming is to induce a logic program (a set of logical rules) that generalises training examples. Inducing programs with many rules and literals is a major challenge. To tackle this challenge, we introduce an…
We construct families of symmetric, antisymmetric, and asymmetric solitary modes in one-dimensional bichromatic lattices with the second-harmonic-generating ($\chi ^{(2)}$) nonlinearity concentrated at a pair of sites placed at distance…