Results 81 to 90 of about 48,451 (258)
Cross‐Phase Modulation via Time‐Varying Epsilon‐Near‐Zero Metasurfaces
Time‐varying epsilon‐near‐zero metasurfaces are shown to enable cross‐phase modulation beyond conventional ENZ excitation. By engineering dual absorption bands and exploiting oblique ultrafast pumping, large and broadband frequency translations are achieved at low pump energies.
Rakesh Dhama +4 more
wiley +1 more source
Mapping Temporally Ordered Inputs to Binary Message Outputs with a DNA Temporal Logic Circuit. [PDF]
Zhao S +5 more
europepmc +1 more source
Solution‐processed MoS2 films with intrinsic sulfur‐vacancy traps are used to integrate light sensing and memory in a simple two‐terminal pixel. Successive optical pulses program persistent, multilevel conductance states, while oxygen exposure enables rapid erasure.
Jihyun Kim +8 more
wiley +1 more source
Temporal logic circuits implementation using a dual cross-inhibition mechanism based on DNA strand displacement. [PDF]
Liu Y +6 more
europepmc +1 more source
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
Safe reinforcement learning under temporal logic with reward design and quantum action selection. [PDF]
Cai M, Xiao S, Li J, Kan Z.
europepmc +1 more source
Automated poultry processing lines still rely on humans to lift slippery, easily bruised carcasses onto a shackle conveyor. Deformability, anatomical variance, and hygiene rules make conventional suction and scripted motions unreliable. We present ChicGrasp, an end‐to‐end hardware‐software co‐designed imitation learning framework, to offer a ...
Amirreza Davar +8 more
wiley +1 more source
A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]
Bezerra WR, Martina JE, Westphall CB.
europepmc +1 more source
Bisimulations for Temporal Logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kurtonina, N., de Rijke, M.
openaire +3 more sources
A Soft Robotic Device for Targeted Massage Therapy of Residual Limbs
Residual limb edema after amputation can hinder recovery and delay prosthetic fitting. This study presents a soft‐robotic wearable device that delivers sequential compression through pneumatic McKibben actuators. By replicating the principles of manual lymphatic drainage, the device generates controlled mechanotherapeutic pressure patterns, providing a
Maria Grazia Polizzotto +5 more
wiley +1 more source

