Results 111 to 120 of about 237,519 (286)

Named Entity Recognition Models for Machine Learning Interatomic Potentials: A User‐Centric Approach to Knowledge Extraction from Scientific Literature

Advanced Intelligent Discovery, EarlyView.
Named entity recognition pipeline for knowledge extraction from scientific literature. Machine learning interatomic potential (MLIP) is an emerging technique that has helped achieve molecular dynamics simulations with unprecedented balance between efficiency and accuracy. Recently, the body of MLIP literature has been growing rapidly, which propels the
Bowen Zheng, Grace X. Gu
wiley   +1 more source

Harnessing Large Language Models to Advance Microbiome Research: From Sequence Analysis to Clinical Applications

Advanced Intelligent Discovery, EarlyView.
Large language models are transforming microbiome research by enabling advanced sequence profiling, functional prediction, and association mining across complex datasets. They automate microbial classification and disease‐state recognition, improving cross‐study integration and clinical diagnostics.
Jieqi Xing, He Wang, Yangyang Sun, Xiaoquan Su, Shunyao Wu   +4 more
wiley   +1 more source

Refining Mark Burgin’s Case against the Church–Turing Thesis

Philosophies
The outputs of a Turing machine are not revealed for inputs on which the machine fails to halt. Why is an observer not allowed to see the generated output symbols as the machine operates?
Edgar Graham Daylight
doaj   +1 more source

CrossMatAgent: AI‐Assisted Design of Manufacturable Metamaterial Patterns via Multi‐Agent Generative Framework

Advanced Intelligent Discovery, EarlyView.
CrossMatAgent is a multi‐agent framework that combines large language models and diffusion‐based generative AI to automate metamaterial design. By coordinating task‐specific agents—such as describer, architect, and builder—it transforms user‐provided image prompts into high‐fidelity, printable lattice patterns.
Jie Tian, Martin Taylor Sobczak, Dhanush Patil, Jixin Hou, Lin Pang, Arunachalam Ramanathan, Libin Yang, Xianyan Chen, Yuval Golan, Xiaoming Zhai, Hongyue Sun, Kenan Song, Xianqiao Wang   +12 more
wiley   +1 more source

The Necessity of Dynamic Workflow Managers for Advancing Self‐Driving Labs and Optimizers

Advanced Intelligent Discovery, EarlyView.
We assess the maturity and integration readiness of key methodologies for Materials Acceleration Platforms, highlighting the need for dynamic workflow managers. Demonstrating this, we integrate PerQueue into a color‐mixing robot, showing how flexible orchestration improves coordination and optimization.
Simon K. Steensen, Patrick W. V. Butler, Jesper R. Pedersen, Nis Fisker‐Bødker, Tejs Vegge, Jin Hyun Chang, Ivano E. Castelli   +6 more
wiley   +1 more source

Truth, deduction and computation: Logic and semantics for computer science

, 1990
Ralf Kneuper
openalex   +1 more source

Autonomous Machine Learning‐Based Classification and Arrangement of Submillimeter Objects Using a Capillary Force Gripper

Advanced Intelligent Discovery, EarlyView.
This study presents an automated system integrating a capillary force gripper and machine learning‐based object detection for sorting and placing submillimeter objects. The system achieved stable and simultaneous manipulation of four object types, with an average task time of 86.0 seconds and a positioning error of 157 ± 84 µm, highlighting its ...
Satoshi Ando, Naoto Watanabe, Chihiro Sekine, Shogen Sekiguchi, Ohmi Fuchiwaki   +4 more
wiley   +1 more source

A Formal Verification Library Design for Behavioral Refinement of CompCert Clight

IEEE Access
As computer systems become increasingly ubiquitous in our daily lives, ensuring the safety and reliability of system software has become a major concern across various fields of computer science.
Yoonseung Kim
doaj   +1 more source

Special Issue: Quantum structures in computer science: Language, semantics, retrieval

, 2018
Diederik Aerts, Massimo Melucci, Massimiliano Sassoli de Bianchi, Sandro Sozzo, Tomás Veloz   +4 more
openalex   +1 more source

Deep Learning‐Assisted Coherent Raman Scattering Microscopy

Advanced Intelligent Discovery, EarlyView.
The analytical capabilities of coherent Raman scattering microscopy are augmented through deep learning integration. This synergistic paradigm improves fundamental performance via denoising, deconvolution, and hyperspectral unmixing. Concurrently, it enhances downstream image analysis including subcellular localization, virtual staining, and clinical ...
Jianlin Liu, Rujia Liu, Xinyan Zhang, Xun Chen, Shuhua Yue   +4 more
wiley   +1 more source