Results 171 to 180 of about 106,571 (319)

ChatCFD: A Large Language Model‐Driven Agent for End‐to‐End Computational Fluid Dynamics Automation with Structured Knowledge and Reasoning

Advanced Intelligent Discovery, EarlyView.
Chat computational fluid dynamics (CFD) introduces an large language model (LLM)‐driven agent that automates OpenFOAM simulations end‐to‐end, attaining 82.1% execution success and 68.12% physical fidelity across 315 benchmarks—far surpassing prior systems.
E Fan, Kang Hu, Zhuowen Wu, Jiangyang Ge, Jiawei Miao, Yuzhi Zhang, He Sun, Weizong Wang, Tianhan Zhang   +8 more
wiley   +1 more source

A Scientific Calculator for Exact Real Number Computation Based on LRT, GMP and FC++

Acta Universitaria, 2012
Language for Redundant Test (LRT) is a programming language for exact real number computation. Its lazy evaluation mechanism (also called call-by-need) and its infinite list requirement, make the language appropriate to be implemented in a functional ...
J. A. Hernández, J. Raymundo Marcial-Romero, Alejandra Lucatero   +2 more
doaj  

A congruence theorem for structured operational semantics with predicates

, 1993
J. C. M. Baeten, C. Verhoef
openalex   +2 more sources

Interactive Prompt‐Guided Robotic Grasping for Arbitrary Objects Based on Promptable Segment Anything Model and Force‐Closure Analysis

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
A laser pointer‐guided robotic grasping method for arbitrary objects based on promptable segment anything model and force‐closure analysis is presented. Grasp generation methods based on force‐closure analysis can calculate the optimal grasps for objects through their appearances. However, the limited visual perception ability makes robots difficult to
Yan Liu, Yaxin Liu, Ruiqing Han, Kai Zheng, Yufeng Yao, Ming Zhong   +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

Component Composition in MedTiny: Multi-Level Constructs and Operational Semantics

Xiangyu Li, Yihao Zhang, Meng Sun
openalex   +1 more source

Large Language Model‐Based Chatbots in Higher Education

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
The use of large language models (LLMs) in higher education can facilitate personalized learning experiences, advance asynchronized learning, and support instructors, students, and researchers across diverse fields. The development of regulations and guidelines that address ethical and legal issues is essential to ensure safe and responsible adaptation
Defne Yigci, Merve Eryilmaz, Ail K. Yetisen, Savas Tasoglu, Aydogan Ozcan   +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

Gaussian Mixture Model‐Based Data Association Incorporating a Deep Learning Network for Multivehicle Tracking and Detection in Autonomous Driving Systems

Advanced Intelligent Systems, EarlyView.
This study introduces a real‐time light detection and ranging‐camera fusion framework for vehicle detection and tracking. Using a Gaussian mixture model‐based association and improved affinity metrics, the method enhances tracking reliability in dynamic conditions.
Muhammad Adeel Altaf, Min Young Kim
wiley   +1 more source

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics [PDF]

George Frederick Kaye
openalex   +1 more source