Results 181 to 190 of about 1,341,656 (346)

Higher Order Operational Techniques in Semantics edited by Andrew D. Gordon and Andrew M. Pitts, Cambridge University Press 1998, ISBN 0 521 63168 8 (hardback). [PDF]

, 1998
Stefan Kahrs
openalex   +1 more source

An operational semantics for Simulink's simulation engine

ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems, 2012
Olivier Bouissou, Alexandre Chapoutot
semanticscholar   +1 more source

Robotic Needle Steering for Percutaneous Interventions: Sensing, Modeling, and Control

Advanced Intelligent Systems, EarlyView.
This review examines recent advances in robotic needle steering for percutaneous interventions, highlighting closed‐loop sensing, physics‐informed tissue‐needle interaction modeling, and real‐time trajectory planning and control. It synthesizes innovations in deep learning, fiber‐optic feedback, and adaptive control strategies, and outlines emerging ...
Fangjiao Zhao, Ruixue Xu, Wujun Zhao, Xi‐Ming Sun, Yu Sun, Changsheng Dai   +5 more
wiley   +1 more source

Meta-path guided policy distillation for resilient coordination in autonomous unmanned swarm. [PDF]

PLoS One
Han X, Wang H, Jia Q, Gou Y, Li B, Liu J, Han Z, Hou G, Li K, Ye J, Lin Y, Wei S.   +11 more
europepmc   +1 more source

Large Language Model‐Embedded Intelligent Robotic Scrub Nurse with Multimodal Input for Enhancing Surgeon–Robot Interaction

Advanced Intelligent Systems, EarlyView.
A large language model (LLM)‐powered multimodal robotic scrub nurse control framework is proposed for enhancing human–robot interaction. Inside, the vision module gives out instrument class, location, and occlusion relationship. Speech module captures and converts user's speech commands.
Wing Yin Ng, Wanyu Ma, Pheng Ann Heng, Philip Wai Yan Chiu, Zheng Li   +4 more
wiley   +1 more source

Orchestrating Embodied Systems through the Embodied Context Protocol: Motivation, Progress, and Directions. [PDF]

Research (Wash D C)
Ma F, Li D, Chen Y, Xing J, Liu Y, Lan D, Shao J, Pang Z.   +7 more
europepmc   +1 more source

An Operational Semantics for Handel-C1 1Handel-C is the registered trademark of Celoxica Ltd (www.celoxica.com)

, 2003
Andrew Butterfield, Jim Woodcock
openalex   +1 more source

Reasoning about Web Applications: An Operational Semantics for HOP

TOPL, 2012
G. Boudol, Zhengqin Luo, Tamara Rezk, M. Serrano   +3 more
semanticscholar   +1 more source

Roadmap on Artificial Intelligence‐Augmented Additive Manufacturing

Advanced Intelligent Systems, EarlyView.
This Roadmap outlines the transformative role of artificial intelligence‐augmented additive manufacturing, highlighting advances in design, monitoring, and product development. By integrating tools such as generative design, computer vision, digital twins, and closed‐loop control, it presents pathways toward smart, scalable, and autonomous additive ...
Ali Zolfagharian, Liuchao Jin, Qi Ge, Wei‐Hsin Liao, Andrés Díaz Lantada, Francisco Franco Martínez, Tianyu Zhang, Tao Liu, Charlie C. L. Wang, Mohammad Hossein Mosallanejad, Reza Ghanavati, Abdollah Saboori, Alejandro De Blas De Miguel, William Solórzano‐Requejo, Yi Cai, Xiangyang Dong, Huangyi Qu, Najmeh Samadiani, Guangyan Huang, Austin Downey, Yanzhou Fu, Lang Yuan, Tsz‐Kwan (Glory) Lee, Arbind Agrahari Baniya, Eisha Waseem, Abdul Rahman Sani, Abbas Z. Kouzani, Yijia Wu, Markus P. Nemitz, Masoud Shirzad, Dageon Oh, Seung Yun Nam, Amedeo Franco Bonatti, Irene Chiesa, Gabriele Maria Fortunato, Giovanni Vozzi, Carmelo De Maria, Mahdi Bodaghi   +37 more
wiley   +1 more source

Cortical γ-oscillations implement basic language operations: Evidence from electroencephalography in anaphora during english filler-gap dependency processing. [PDF]

PLoS One
Dekydtspotter L, Miller AK, Meinert K, Cha JH, Ahn JH, Swanson K, Xiong Y.   +6 more
europepmc   +1 more source