Results 21 to 30 of about 2,931 (167)

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

On Descriptive Complexity, Language Complexity, and GB [PDF]

, 1995
We introduce $L^2_{K,P}$, a monadic second-order language for reasoning about trees which characterizes the strongly Context-Free Languages in the sense that a set of finite trees is definable in $L^2_{K,P}$ iff it is (modulo a projection) a Local Set ...
Rogers, James
core   +3 more sources

A semantical framework for hybrid knowledge bases [PDF]

, 2010
In the ongoing discussion about combining rules and ontologies on the Semantic Web a recurring issue is how to combine first-order classical logic with nonmonotonic rule languages.
Bruijn, Jos de, Pearce, David Andrew, Polleres, Axel, Valverde, Agustin   +3 more
core   +2 more sources

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

Monadic Second-Order Logic with Arbitrary Monadic Predicates

, 2017
We study Monadic Second-Order Logic (MSO) over finite words, extended with (non-uniform arbitrary) monadic predicates. We show that it defines a class of languages that has algebraic, automata-theoretic and machine-independent characterizations.
Fijalkow, Nathanaël, Paperman, Charles
core   +3 more sources

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

Robust Dysarthric Speech Recognition with GAN Enhancement and LLM Correction

Advanced Intelligent Systems, EarlyView.
This study tackles dysarthric speech recognition by combining generative adversarial network (GAN)‐generated synthetic data with large language model (LLM)‐based error correction. The approach integrates three key elements: an improved CycleGAN to generate synthetic dysarthric speech for data augmentation, a multimodal automatic speech recognition core
Yibo He, Kah Phooi Seng, Chee Shen Lim, Li Minn Ang   +3 more
wiley   +1 more source

The Church Problem for Countable Ordinals

, 2009
A fundamental theorem of Buchi and Landweber shows that the Church synthesis problem is computable. Buchi and Landweber reduced the Church Problem to problems about ω-games and used the determinacy of such games as one of the main tools to show its ...
Rabinovich, Alexander
core   +1 more source

A community‐partnered process for construct & measure development: The 3Rs: Reading, Racial equity, & Relationships

American Journal of Community Psychology, EarlyView.
Abstract This paper describes a 3‐year community–partnered research initiative focused on advancing early reading, racial equity, and relationships—collectively known as the 3Rs Initiative. The project brought together researchers and community members committed to ensuring that all adults in the county embody a shared “3Rs mindset” to better support ...
Shannon B. Wanless, Meghan C. Orman, Shallegra Moye, Caitlin F. Spear   +3 more
wiley   +1 more source

“Will you be there for me?” Social support from family and friends during cold case sexual assault prosecutions

American Journal of Community Psychology, EarlyView.
Abstract If sexual assault survivors report the assault to the criminal legal system, they often need informal support from family and friends throughout the long and frequently retraumatizing process of investigation and prosecution. This study is part of a long‐term community‐based participatory action research project in a predominately Black ...
Rebecca Campbell, Rachael Goodman‐Williams, Katie Gregory, McKenzie Javorka, Jasmine Engleton   +4 more
wiley   +1 more source