Results 131 to 140 of about 20,008 (316)

Evaluating the performance of model transformation styles in Maude

open access: yes, 2011
Rule-based programming has been shown to be very successful in many application areas. Two prominent examples are the specification of model transformations in model driven development approaches and the definition of structured operational semantics of
Lluch-Lafuente, Alberto   +4 more
core   +1 more source

The Interoperability Challenge in DFT Workflows Across Implementations

open access: yesAdvanced 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   +13 more
wiley   +1 more source

Toward Intelligent Multimodal Holography for Real‐Time Chemical Imaging of Dynamic Ion Separation

open access: yesAdvanced Intelligent Discovery, EarlyView.
Intelligent multimodal holography integrates digital off‐axis holography, spectroscopic imaging, and AI‐driven reconstruction to visualize ion transport and chemical dynamics in real time. In this perspective paper, we outline how this approach enables label‐free, chemically specific monitoring of complex environments and discuss its potential to ...
Giovanna Ricchiuti   +3 more
wiley   +1 more source

When Biology Meets Medicine: A Perspective on Foundation Models

open access: yesAdvanced 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   +3 more
wiley   +1 more source

some economic applications of scott domains [PDF]

open access: yes
The present paper is structured around two main constructions, fixed points of functors and fibrations and sections of functors. Fixed points of functors are utilized to resolve problems of infinite regress that have recently appeared in economics ...
spyros vassilakis
core  

Semantic field theory and the teaching of English vocabulary with special reference to Iraqi secondary schools. [PDF]

open access: yes, 1985
The study of semantic fields and their relationships within lexical structure has become an essential part of semantic analysis. Vaguely formulated though it has been, semantic field theory has proved its worth as a general guide for research in ...
Mansouri, Ali Nasser Harb
core  

AI‐Driven Cancer Multi‐Omics: A Review From the Data Pipeline Perspective

open access: yesAdvanced Intelligent Discovery, EarlyView.
The exponential growth of cancer multi‐omics data brings opportunities and challenges for precision oncology. This review systematically examines AI's role in addressing these challenges, covering generative models, integration architectures, Explainable AI for clinical trust, clinical applications, and key directions for clinical translation.
Shilong Liu, Shunxiang Li, Kun Qian
wiley   +1 more source

Some fundamental algebraic tools for the semantics of computation Part 1: Comma Categories, Colimits, Signatures and Theories

open access: yesTheoretical Computer Science, 1984
AbstractThis paper develops a number of fundamental tools from category theory and applies them to problems in computation. The tools include algebraic theories, colimits, comma categories and two-dimensional categories. The applications concern making program specifications understandable by expressing them as interconnections of smaller ‘mind sized ...
Joseph A. Goguen, Rod M. Burstall
openaire   +1 more source

Uncertainty‐Guided Selective Adaptation Enables Cross‐Platform Predictive Fluorescence Microscopy

open access: yesAdvanced Intelligent Discovery, EarlyView.
Deep learning models often fail when transferred to new microscopes. A novel framework overcomes this by selectively adapting the early layers governing low‐level image statistics, while freezing deep layers that encode morphology. This uncertainty‐guided approach enables robust, label‐free virtual staining across diverse systems, democratizing ...
Kai‐Wen K. Yang   +9 more
wiley   +1 more source

Home - About - Disclaimer - Privacy