Related papers: Logic Operations Demonstrated with Localized Vibra…
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…
The activation kinetics of the ion channels formed by colicin Ia incorporated into a planar bilayer lipid membrane (BLM) was investigated by the voltage clamp technique using different step voltage stimuli. The temporal behaviour of ion…
Logic synthesis is a fundamental step in hardware design whose goal is to find structural representations of Boolean functions while minimizing delay and area. If the function is completely-specified, the implementation accurately…
We use recent results that localized excitations in nonlinear Hamiltonian lattices can be viewed and described as multiple-frequency excitations. Their dynamics in phase space takes place on tori of corresponding dimension. For a…
We use recent results that localized excitations in nonlinear Hamiltonian lattices can be viewed and described as multiple-frequency excitations. Their dynamics in phase space takes place on tori of corresponding dimension. For a…
Recently, In-context Learning (ICL) has become a significant inference paradigm in Large Multimodal Models (LMMs), utilizing a few in-context demonstrations (ICDs) to prompt LMMs for new tasks. However, the synergistic effects in multimodal…
Implication logic gates that are based on volatile memristors are demonstrated experimentally with the use of relay-based volatile memristor emulators of an original design. The fabricated logic circuit involves two volatile memristors and…
Linear response spectra of a driven intrinsic localized mode in a micromechanical array are measured as it approaches two fundamentally different kinds of bifurcation points. A linear phase mode associated with this autoresonant state…
We analyze a scheme to manipulate quantum states of neutral atoms at individual sites of optical lattices using focused laser beams. Spatial distributions of focused laser intensities induce position-dependent energy shifts of hyperfine…
Separation Logic with inductive definitions is a well-known approach for deductive verification of programs that manipulate dynamic data structures. Deciding verification conditions in this context is usually based on user-provided lemmas…
The emphasis is made on the juxtaposition of (quantum~theorem) proving versus quantum (theorem~proving). The logical contents of verification of the statements concerning quantum systems is outlined. The Zittereingang (trembling input)…
Localized modes of large amplitudes in nonlinear lattices are considered. The applied method allows the reduction of nonlinear problem to a linear inverse problem of phonons scattering on a local potential. The method is efficient in the…
Mode-locking is a process in which different modes of an optical resonator establish, through nonlinear interactions, stable synchronization. This self-organization underlies light sources that enable many modern scientific applications,…
Measurements of the deflection induced by thermal noise have been performed on a rectangular atomic force microscope cantilever in air. The detection method, based on polarization interferometry, can achieve a resolution of 1E-14 m/rtHz in…
We analyze the proposal of achieving a Mott state of Laughlin wave functions in an optical lattice [M. Popp {\it et al.}, Phys. Rev. A 70, 053612 (2004)] and study the consequences of considering the anharmonic corrections to each single…
We investigate a setup where a cloud of atoms is trapped in an optical lattice potential of a standing wave laser field which is created by retro-reflection on a micro-membrane. The membrane vibrations itself realize a quantum mechanical…
Local Interpretable Model-Agnostic Explanations (LIME) is a popular method to perform interpretability of any kind of Machine Learning (ML) model. It explains one ML prediction at a time, by learning a simple linear model around the…
Localized vibrations, arising from nonlinearities or symmetry breaking, pose a challenge in engineering, as the resulting high-amplitude vibrations may result in component failure due to fatigue. During operation, the emergence of…
The integration of large language models (LLMs) into enterprise systems has introduced a new class of covert security vulnerabilities, particularly within logic execution layers and persistent memory contexts. This paper introduces…
Levitated optomechanical systems are rapidly becoming leading tools for precision sensing of forces and accelerations acting on particles in the femtogram to nanogram mass range. These systems enable a high level of control over the…