Results 131 to 140 of about 20,008 (316)
Evaluating the performance of model transformation styles in Maude
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
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
Artificial Intelligence (AI) and Agribusiness: From Automation to Augmentation in a Global Context
Agribusiness, EarlyView.
Alexis H. Villacis
wiley +1 more source
Toward Intelligent Multimodal Holography for Real‐Time Chemical Imaging of Dynamic Ion Separation
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
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]
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]
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
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
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
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

