Results 141 to 150 of about 268,099 (291)

LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering
We investigate a modification of the classical Bounded Model Checking (BMC) procedure that does not handle loops through unrolling but via modifications to the control flow graph (CFG). A portion of the CFG representing a loop is replaced by a node asserting invariants of the loop. We generate these invariants using Large Language Models (LLMs) and use
Muhammad A. A. Pirzada, Giles Reger, Ahmed Bhayat, Lucas C. Cordeiro   +3 more
openaire   +1 more source

Record High Polarization at 2 V and Imprint‐Free Operation in Superlattice HfO2‐ZrO2 by Proper Tuning of Ferro and Antiferroelectricity

Advanced Materials Technologies, EarlyView.
Low‐power ferroelectric capacitors, based on superlattice HfO2‐ZrO2 is reported. With proper tuning of ferro and antiferroelectricity, an imprint‐free high switchable polarization charge (2Pr of 76 µC/cm2) is obtained with 2MV/cm leading to linear analog weight update and non‐volatile retention, providing a design guideline for emerging non‐volatile ...
Xinye Li, Padma Srivari, Mari Honkanen, Turkka Salminen, Sayani Majumdar   +4 more
wiley   +1 more source

Transducers Across Scales and Frequencies: A System‐Level Framework for Multiphysics Integration and Co‐Design

Advanced Materials Technologies, EarlyView.
Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu, Mengyao Xiao, Zhouli Sui, Yinpeng Wang, Daoye Zheng, Yuxin Liu, Luwei Wang, Huajun Liu, Chengkuo Lee   +8 more
wiley   +1 more source

Recent Advances of Slip Sensors for Smart Robotics

Advanced Materials Technologies, EarlyView.
This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang, Liao Wu, Shuai He, Zhao Sha, Yuwan Huang, Shuying Wu, Dewei Chu, Chun H. Wang, Shuhua Peng   +8 more
wiley   +1 more source

Smart Closed‐Loop Systems in Personalized Healthcare: Advances and Outlook

Advanced Materials Technologies, EarlyView.
A smart closed‐loop e‐textile integrates multimodal sensing, onboard processing, wireless communication, and wearable power to enable real‐time physiological/biochemical monitoring and feedback‐controlled therapy. ABSTRACT Smart textiles represent a revolutionary frontier in healthcare, seamlessly blending fabric and advanced technologies to create ...
Safoora Khosravi, Sang Won Lee, Mohammad Abrar Uddin, Sina Hassanpoor, Neha Suvindran, Katherine Le, Harun Arkaz, Harishkumar Narayana, Saeid Soltanian, Danial Khorsandi, Negar Hosseinzadeh Kouchehbaghi, Taeil Kim, Yangzhi Zhu   +12 more
wiley   +1 more source

Real-Time Model Checking for Closed-Loop Robot Reactive Planning

30 pages excluding references, 18 figures, submitted to Formal Aspects of ...
Chandler, Christopher, Porr, Bernd, Lafratta, Giulia, Miller, Alice   +3 more
openaire   +2 more sources

Fabric‐Based Wearable Robotic Exoskeleton Gloves: Advancements and Challenges

Advanced Materials Technologies, EarlyView.
This review highlights interdisciplinary technological advances in fabric‐based robotic gloves, focusing on progress in design, fabrication, actuation, sensing, control, and power and energy requirements. It also addresses performance testing and validation, including biomechanical, strength, functional, user experience, and durability assessments, to ...
Ayse Feyza Yilmaz, Gökhan Ince, Ozgur Atalay   +2 more
wiley   +1 more source

High‐Throughput Screening of REBCO Superconducting Thin Films Fabricated Via Combinatorial Inkjet Printing and TLAG Process

Advanced Materials Technologies, EarlyView.
A methodological framework is presented for combinatorial REBCO thin films fabricated by drop‐on‐demand inkjet printing with controlled Rare Earth composition gradients. Automated, synchrotron‐based, and local characterization techniques produce comprehensive property maps that correlate composition and TLAG process parameters with superconducting ...
Emma Ghiara, Zeyu Wu, Mahel Voulhoux, Ona Mola Bertran, Vittorio Bertini, Carla Torres, Aiswarya Kethamkuzhi, Guilherme Theophilo Telles, Victor Fuentes, Elzbieta Pach, Cornelia Pop, Eduardo Solano, Kapil Gupta, Takanobu Kiss, Xavier Obradors, Teresa Puig   +15 more
wiley   +1 more source

Additive‐Manufactured, Multifunctional Bioreactor Technology for Dynamic Culture of 3D Bioprinted Tissue Models

Advanced Materials Technologies, EarlyView.
We introduce an additively manufactured bioreactor with a perfusion flow system and integrated temperature and pH sensors for skeletal muscle tissue biofabrication. The bioreactor's performance was evaluated by assessing the viability, spreading of the myoblast cells in a printed scaffold, and contraction of the isolated murine musculi interossei ...
Lys Sprenger, Johann Schorzmann, Hsuan‐Heng Lu, Muhammad Osama, Julian Bauer, Michael Haug, Oliver Friedrich, Aldo R. Boccaccini, Frank Döpper, Sahar Salehi   +9 more
wiley   +1 more source

Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback

Advanced Robotics Research, EarlyView.
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, Ali Umut Kaypak, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami   +4 more
wiley   +1 more source