Results 121 to 130 of about 366,917 (330)

Dynamic Logic in Natural Language [PDF]

, 2015
Standard first-order logic defines truth in a three-part scheme: a language, structures D of objects with relations and operations, and maps from language to structures that drive semantic evaluation. In particular, “interpretation functions” I map predicate letters to real predicates, while variable assignments s map individual variables to objects ...
openaire   +3 more sources

Artificial Intelligence for Bone: Theory, Methods, and Applications

Advanced Intelligent Discovery, EarlyView.
Advances in artificial intelligence (AI) offer the potential to improve bone research. The current review explores the contributions of AI to pathological study, biomarker discovery, drug design, and clinical diagnosis and prognosis of bone diseases. We envision that AI‐driven methodologies will enable identifying novel targets for drugs discovery. The
Dongfeng Yuan, Haicang Zhang, Liping Tong, Di Chen   +3 more
wiley   +1 more source

Deep Learning‐Assisted Design of Mechanical Metamaterials

Advanced Intelligent Discovery, EarlyView.
This review examines the role of data‐driven deep learning methodologies in advancing mechanical metamaterial design, focusing on the specific methodologies, applications, challenges, and outlooks of this field. Mechanical metamaterials (MMs), characterized by their extraordinary mechanical behaviors derived from architected microstructures, have ...
Zisheng Zong, Pu Wen, Zhiping Chai, Dunxuan Wu, Han Ding, Zhigang Wu   +5 more
wiley   +1 more source

Experience with a vectorized general circulation weather model on Star-100 [PDF]

A version of an atmospheric general circulation model was vectorized to run on a CDC STAR 100. The numerical model was coded and run in two different vector languages, CDC and LRLTRAN.
Habra, N. R., Russell, G. L., Soll, D. B.   +2 more
core   +1 more source

Large Language Model in Materials Science: Roles, Challenges, and Strategic Outlook

Advanced Intelligent Discovery, EarlyView.
Large language models (LLMs) are reshaping materials science. Acting as Oracle, Surrogate, Quant, and Arbiter, they now extract knowledge, predict properties, gauge risk, and steer decisions within a traceable loop. Overcoming data heterogeneity, hallucinations, and poor interpretability demands domain‐adapted models, cross‐modal data standards, and ...
Jinglan Zhang, Xinyi Chen, Xu Ye, Yulin Yang, Bin Ai   +4 more
wiley   +1 more source

Toward Capacitive In‐Memory‐Computing: A Device to Systems Level Perspective on the Future of Artificial Intelligence Hardware

Advanced Intelligent Discovery, EarlyView.
Capacitive, charge‐domain compute‐in‐memory (CIM) stores weights as capacitance,eliminating DC sneak paths and IR‐drop, yielding near‐zero standbypower. In this perspective, we present a device to systems level performance analysis of most promising architectures and predict apathway for upscaling capacitive CIM for sustainable edge computing ...
Kapil Bhardwaj, Ella Paasio, Sayani Majumdar   +2 more
wiley   +1 more source

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

Evolution of Physical Intelligence Across Scales

Advanced Intelligent Discovery, EarlyView.
By following the evolution of physical intelligence across scales, this article shows how intelligence arises from materials, structures, physical interactions, and collectives. It establishes physical intelligence as the evolutionary foundation upon which embodied intelligence is built.
Ke Liu, Tianyun Huang, Aming Li, Pengyu Lv, Tingting Qin, Wenhui Chen, Hui Wei, Huiling Duan   +7 more
wiley   +1 more source

Automating AI Discovery for Biomedicine Through Knowledge Graphs and Large Language Models Agents

Advanced Intelligent Discovery, EarlyView.
This work proposes a novel framework that automates biomedical discovery by integrating knowledge graphs with multiagent large language models. A biologically aligned graph exploration strategy identifies hidden pathways between biomedical entities, and specialized agents use this pathway to iteratively design AI predictors and wet‐lab validation ...
Naafey Aamer, Muhammad Nabeel Asim, Shan Munir, Andreas Dengel   +3 more
wiley   +1 more source

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Engineering
The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers.
Lei Wan, Changjun Wang, Daxin Luo, Hang Liu, Sha Ma, Weichao Hu   +5 more
doaj   +1 more source