Results 141 to 150 of about 239,048,002 (311)

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

An Algorithm for Computing Semi-Stable Semantics ∗

, 2007
The semi-stable semantics for formal argumentation has been introduced as a way of approximating stable semantics in situations where no stable extensions exist. Semi-stable semantics can be located between stable semantics and preferred semantics in the
Martin Caminada
core  

GENERAL SEMANTICS THEORY: ITS IMPLICATIONS FOR PSYCHOTHERAPY

, 2004
The aim of this paper is to show the relevance of the theory of general semantics for the psychotherapy field. General semantics was developed by Alfred Korzybski during the last century.
Isabel Caro
core   +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

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

The Interoperability Challenge in DFT Workflows Across Implementations

Advanced Intelligent Discovery, EarlyView.
Interoperability and cross‐validation remain major challenges in the computational materials science. In this work, we introduce a common input/output standard that enables internal translation across multiple workflow managers—AiiDA, PerQueue, Pipeline Pilot, and SimStack—while producing results in a unified schema.
Simon K. Steensen, Tushar Singh Thakur, Manuel Dillenz, Johan M. Carlsson, Celso R. C. Rêgo, Eibar Flores, Hamidreza Hajiyani, Felix Hanke, Juan María García Lastra, Wolfgang Wenzel, Nicola Marzari, Tejs Vegge, Giovanni Pizzi, Ivano E. Castelli   +13 more
wiley   +1 more source

LSB - Live and Safe B: Alternative semantics for Event B [PDF]

, 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  

A 2-categorical approach to the semantics of dependent type theory with computation axioms

Axiomatic type theory is a dependent type theory without computation rules. The term equality judgements that usually characterise these rules are replaced by computation axioms, i.e., additional term judgements that are typed by identity types. This paper is devoted to providing an effective description of its semantics, from a higher categorical ...
openaire   +2 more sources

When Biology Meets Medicine: A Perspective on Foundation Models

Advanced Intelligent Discovery, EarlyView.
Artificial intelligence, and foundation models in particular, are transforming life sciences and medicine. This perspective reviews biological and medical foundation models across scales, highlighting key challenges in data availability, model evaluation, and architectural design.
Kunying Niu, Yuxing Wang, Limin Zou, Jing Huang   +3 more
wiley   +1 more source

On the declarative, operational and procedural semantics of disjunctive computational theories

, 1991
First, we recapitulate recent results concerning models and fixpoints of disjunctive computational theories. Then, we develop an SL-resolution-based abductive proof procedure for such theories. It is shown to be sound and complete for checking inconsistency.
openaire   +2 more sources