Results 121 to 130 of about 20,008 (316)

LSB - Live and Safe B: Alternative semantics for Event B

, 2006
We define two lifted, total relation semantics for Event B machines: Safe B for safety-only properties and Live B for liveness properties. The usual Event B proof obligations, Safe, are sufficient to establish Safe B refinement.
Reeves, Steve, Streader, David
core  

Complexity of super-coherence problems in ASP

, 2014
Adapting techniques from database theory in order to optimize Answer Set Programming (ASP) systems, and in particular the grounding components of ASP systems, is an important topic in ASP.
Alviano, Mario, Woltran, Stefan, Faber, Wolfgang   +2 more
core   +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, Xinyi Chen, Xu Ye, Yulin Yang, Bin Ai   +4 more
wiley   +1 more source

Dimension-Independent Approximations on Low-Dimensional Manifolds Using Transformers

Mathematics
Deep neural networks have been remarkably successful in high-dimensional learning and scientific computing, often succeeding where classical discretization methods fail due to the curse of dimensionality.
Ji Shi, Demetrio Labate
doaj   +1 more source

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, Muhammad Nabeel Asim, Shan Munir, Andreas Dengel   +3 more
wiley   +1 more source

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, Manuel Raimann, Marc Münker, Maxim Rosin, Joaquin E. Urrutia Gómez, Christof M. Niemeyer, Markus Reischl, Luca Rettenberger   +7 more
wiley   +1 more source

Surface-Dependent Isotopic Adsorption of CO on α-Al₂O₃: Role of Weak Interactions and Zero-Point Energy

Molecules
Carbon isotopes, particularly 13C, are critical for applications in food authentication, biomedical diagnostics, and metabolic research; however, their efficient separation remains challenging due to their low natural abundance.
Qun Yang, Xiyue Cheng, Qian Xu, Shuiquan Deng   +3 more
doaj   +1 more source

Cell Segmentation Beyond 2D—A Review of the State‐of‐the‐Art

Advanced Intelligent Discovery, EarlyView.
Cell segmentation underpins many biological image analysis tasks, yet most deep learning methods remain limited to 2D despite the inherently 3D nature of cellular processes. This review surveys segmentation approaches beyond 2D, comparing 2.5D and fully 3D methods, analyzing 31 models and 32 volumetric datasets, and introducing a unified reference ...
Fabian Schmeisser, Haseeb Muhammad, Junaid Younas, Gillian Lovell, Bianca Migliori, Andreas Dengel, Sheraz Ahmed   +6 more
wiley   +1 more source

Accurate Nonrelativistic Energy Calculations for Helium 1snp^1,3P (n = 2 to 27) States via Correlated B-Spline Basis Functions

Atoms
Rydberg atoms play a crucial role in testing atomic structure theory, quantum computing and simulation. Measurements of transition frequencies from the 21,3S states to Rydberg P1,3 states have reached a precision of several kHz, which poses significant ...
Jing Chi, Hao Fang, Yong-Hui Zhang, Xiao-Qiu Qi, Li-Yan Tang, Ting-Yun Shi   +5 more
doaj   +1 more source

AI Powered Biobanks From Static Archives to Dynamic Discovery Engines

Advanced Intelligent Discovery, EarlyView.
Large language models (LLMs) provide a potential framework for transforming biobanks from static data repositories into intelligent discovery engines. By enabling unified representation and analysis of multimodal biomedical data, LLM‐based systems facilitate dynamic risk prediction, biomarker identification, and mechanistic interpretation, thereby ...
Wenzhen Yin, Yutian Feng, Wenrui Ma, Yuxin Su, Li Min, Juan Liu   +5 more
wiley   +1 more source