Results 171 to 180 of about 949,278 (287)

Adaptive Task Planning for Long-Horizon Robotic Manipulation Based on Video Priors and Dynamic Scene Graphs. [PDF]

Sensors (Basel)
Ma G, Guo J, Tang X, Zhou H, Rong Y.
europepmc   +1 more source

Symbolic Execution with Separation Logic

, 2005
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps).
Peter W. O’hearn, Peter W. O'Hearn, Josh Berdine, Queen Mary, Cristiano Calcagno   +4 more
core  

Accelerating the Discovery of Proton Conducting Electrolytes via Machine Learning‐Enabled Literature Mining

Advanced Intelligent Discovery, EarlyView.
An end‐to‐end knowledge discovery framework is established to automate high‐precision property extraction from small, specialized literature corpora. Utilizing a domain‐specific bidirectional encoder representation from a transformer model and data augmentation, the system accurately extracts and structures electrolyte performance data, ultimately ...
Gaheun Shin, Seongho Lee, Seulchan Kim, Ho‐Il Ji, Joonhee Kang   +4 more
wiley   +1 more source

Towards explainable language reasoning via multi-modal knowledge graphs. [PDF]

Sci Rep
Lu C, Luo J, Yu K, Chen T, Wang X, Qian F, Xi C.   +6 more
europepmc   +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

NSP-AE: Neuro-symbolic process autoencoder for time anomaly detection. [PDF]

Sci Prog
Fang N, Lu K, Fang X.
europepmc   +1 more source

Machine Learning‐Based Estimation of Experimental Artifacts and Image Quality in Fluorescence Microscopy

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
The use of image quality metrics in combination with machine learning enables automatic image quality assessment for fluorescence microscopy images. The method can be integrated into the experimental pipeline for optical microscopy and utilized to classify artifacts in experimental images and to build quality rankings with a reference‐free approach ...
Elena Corbetta, Thomas Bocklitz
wiley   +1 more source

Spatial scaffolds or spatial dependency? A structured evidence map of AR/MR interfaces for piano learning and practice. [PDF]

Front Psychol
Wang Y, Wei Q.
europepmc   +1 more source

Predicting Performance of Hall Effect Ion Source Using Machine Learning

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
This study introduces HallNN, a machine learning tool for predicting Hall effect ion source performance using a neural network ensemble trained on data generated from numerical simulations. HallNN provides faster and more accurate predictions than numerical methods and traditional scaling laws, making it valuable for designing and optimizing Hall ...
Jaehong Park, Guentae Doh, Dongho Lee, Youngho Kim, Changmin Shin, Su‐Jin Shin, Young‐Chul Ghim, Sanghoo Park, Wonho Choe   +8 more
wiley   +1 more source

Hybrid task and motion planning with reactive collision handling for multi-robot disassembly of complex products: application to EV batteries. [PDF]

Front Robot AI
Shaarawy A, Erdogan C, Stolkin R, Rastegarpanah A.   +3 more
europepmc   +1 more source