Results 131 to 140 of about 10,814 (309)
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 +3 more
wiley +1 more source
Object code verification [PDF]
Object code is a program of a processor language and can be directly executed on a machine. Program verification constructs a formal proof that a program correctly implements its specification.
Wahab, Matthew
core
LLM‐Based Scientific Assistants for Knowledge Extraction: Which Design Choices Matter?
Advanced Intelligent Discovery, EarlyView.A comprehensive framework for optimizing Large Language Models in domain‐specific applications is introduced. The LLM Playground integrates Prompt Engineering, knowledge augmentation, and advanced reasoning strategies to enable systematic comparison of architectures and base models.
David Exler +7 more
wiley +1 more source
A Reconstruction of the Lloyd-Topor Transformation using Partial Evaluation
, 2005 The Lloyd-Topor transformation is a classical transformation that translates extended logic programs with logical connectives and explicit quantifiers into normal logic programs.
Leuschel, Michael, Craig, Stephen-John
core
An analyser and generator for Irish inflectional morphology using finite-state transducers [PDF]
, 2002 Computational morphology is an important step in natural language processing. Finite-state techniques have been applied successfully in computational phonology and morphology to many of the world’s major languages. Celtic languages, such as Modern Irish,
Uí Dhonnchadha, Elaine
core
Advanced Intelligent Discovery, EarlyView.Predictive models successfully screen nanoparticles for toxicity and cellular uptake. Yet, complex biological dynamics and sparse, nonstandardized data limit their accuracy. The field urgently needs integrated artificial intelligence/machine learning, systems biology, and open‐access data protocols to bridge the gap between materials science and safe ...
Mariya L. Ivanova +4 more
wiley +1 more source
Semantic Consistency and Correctness Verification of Digital Traffic Rules
EngineeringThe consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers.
Lei Wan +5 more
doaj +1 more source
An Autonomous Large Language Model‐Agent Framework for Transparent and Local Time Series Forecasting
Advanced Intelligent Discovery, EarlyView.Architecture of the proposed large language model (LLM)‐based agent framework for autonomous time series forecasting in thermal power generation systems. The framework operates through a vertical pipeline initiated by natural language queries from users, which are processed by the LLM Agent Core powered by Llama.cpp and a ReAct loop with persistent ...
William Gouvêa Buratto +5 more
wiley +1 more source
Boethius of Dacia and Terence Parsons: Verbs and Verb Tense Then and Now
Open PhilosophyLatin and English are good examples of languages in which temporal information is expressed to a significant extent by the tense system of verbs. Medieval speculative grammar dealt extensively with the grammar of tensed sentences and temporal adverbs ...
Sirridge Mary
doaj +1 more source
Al-Farabi and his treatises, which are based on practice
Әл-Фараби Атындағы Қазақ Ұлттық Университеті хабаршы шығыстану сериясы, 2020 The article examines the life and little-known works of the famous scientist encyclopedist Abu Nasr Al-Farabi. A native of the Kazakh steppe, he is widely known for his deep knowledge and mastery of various disciplines.
G.A. Kambarbekova
doaj