Results 141 to 150 of about 231,620 (310)
A Formal Verification Library Design for Behavioral Refinement of CompCert Clight
IEEE AccessAs 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
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 +4 more
wiley +1 more source
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 +5 more
wiley +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 +4 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.This article offers a comprehensive review of topic modeling techniques, tracing their evolution from inception to recent developments. It explores methods such as latent Dirichlet allocation, latent semantic analysis, non‐negative matrix factorization, probabilistic latent semantic analysis, Top2Vec, and BERTopic, highlighting their strengths ...
Pratima Kumari +6 more
wiley +1 more source
A Task and Motion Planning Framework for Partially Observable Household Manipulation Scenes
Advanced Intelligent Systems, EarlyView.This paper presents a novel TAMP framework tackling partial observability, cluttered scenes, and vague goals via symbolic reasoning and occlusion‐aware planning. It outperforms prior learning, policy, and LLM‐based methods in six real and simulated household tasks.
Yuhong Ma +3 more
wiley +1 more source
Counting Rules for Computing the Number of Independent Sets of a Grid Graph
MathematicsThe issue of counting independent sets of a graph, G, represented as i(G), is a significant challenge within combinatorial mathematics. This problem finds practical applications across various fields, including mathematics, computer science, physics, and
Guillermo De Ita Luna +2 more
doaj +1 more source
Intelligent Supportive System for People with Profound Intellectual and Multiple Disabilities
Advanced Intelligent Systems, EarlyView.A holistic INSENSION system is developed—a novel intelligent decision support system leveraging state‐of‐the‐art noninvasive audio‐visual sensor technologies together with machine learning algorithms and expert knowledge, to detect and interpret behaviors and communications (nonverbal signals—NVSs) of people with PIMD in challenging real‐world ...
Gašper Slapničar +10 more
wiley +1 more source
InformationThe increasing demand for data-driven decision making to maintain the innovations and competitiveness of organizations highlights the need for data science educations across academia and industry. At its core is a solid understanding of statistics, which
Prismahardi Aji Riyantoko +5 more
doaj +1 more source