Related papers: Logic Operations Demonstrated with Localized Vibra…

This paper presents an end-to-end LLM-based agentic exploration system for an indoor shopping task, evaluated in both Gazebo simulation and a corresponding real-world corridor layout. The robot incrementally builds a lightweight semantic…

In an open-loop experiment, an input sequence is applied to an unknown linear time-invariant system (in continuous or discrete time) affected also by an unknown-but-bounded disturbance sequence (with an energy or instantaneous bound); the…

Simultaneous Localization and Mapping (SLAM) is a process of concurrent estimation of the vehicle's pose and feature locations with respect to a frame of reference. This paper proposes a computationally cheap geometric nonlinear SLAM filter…

Laser-induced-continuum-structure(LICS) allows for coherent control techniques to be applied in a Raman type system with intermediate continuum state. To this end the standard LICS problem treats two bound states coupled to one or more…

Systems with local dynamics are characterized by a finite velocity of propagation of perturbations, known as the Lieb-Robinson velocity. On the other hand, irreducible stochastic processes drive states towards some unique fixed point.…

Processing-in-memory (PIM) seeks to eliminate computation/memory data transfer using devices that support both storage and logic. Stateful logic techniques such as IMPLY, MAGIC and FELIX can perform logic gates within memristive crossbar…

Limbless locomotors, from microscopic worms to macroscopic snakes, traverse complex, heterogeneous natural environments typically using undulatory body wave propagation. Theoretical and robophysical models typically emphasize body…

The outsourced manufacturing of integrated circuits has increased the risk of intellectual property theft. In response, logic locking techniques have been developed for protecting designs by adding programmable elements to the circuit.…

We define a new logic-induced notion of bisimulation (called $\rho$-bisimulation) for coalgebraic modal logics given by a logical connection, and investigate its properties. We show that it is structural in the sense that it is defined only…

We present a method to generate a robot control strategy that maximizes the probability to accomplish a task. The task is given as a Linear Temporal Logic (LTL) formula over a set of properties that can be satisfied at the regions of a…

One of the ultimate goals of computational modeling in condensed matter is to be able to accurately compute materials properties with minimal empirical information. First-principles approaches such as the density functional theory (DFT)…

We review novel methods to investigate, control and manipulate neutral atoms in optical lattices. These setups allow unprecedented quantum control over large numbers of atoms and thus are very promising for applications in quantum…

We draw inspiration from microsaccades, tiny involuntary eye movements that reveal hidden dynamics of human perception, to propose an analogous probing method for large language models (LLMs). Just as microsaccades expose subtle but…

We control the quantum mechanical motion of neutral atoms in an optical lattice by driving microwave transitions between spin states whose trapping potentials are spatially offset. Control of this offset with nanometer precision allows for…

The coupled (chaotic) map lattices (CMLs) characterizes the collective dynamics of a spatially distributed system consisting of locally or globally coupled maps. The current research on the dynamic behavior of CMLs is based on the framework…

We propose a numerical method for explicitly constructing a complete set of local integrals of motion (LIOM) and definitely show the existence of LIOM for strongly many-body localized systems. The method combines exact diagonalization and…

Cavity optomechanics aims to establish optical control over vibrations of mechanical systems, to heat, cool or to drive them toward coherent, or nonclassical states. This field was recently extended to include molecular optomechanics, which…

This paper studies whether multimodal large language models (LLMs) can serve as inspectable spatial proposal modules for stress-aware topology optimization. IterSIMP-{\sigma} keeps the SIMP optimizer as a compliance-minimizing…

The advancement of multimodal large language models (MLLMs) has enabled impressive perception capabilities. However, their reasoning process often remains a "fast thinking" paradigm, reliant on end-to-end generation or explicit,…

Lieb lattice is one of the simplest bipartite lattices where compact localized states (CLS) are observed. This type of localisation is induced by the peculiar topology of the unit cell, where the modes are localized only on one sublattice…