Results 41 to 50 of about 33,998 (313)

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

ANXA2‐mediated Phagocytosis Generates AR+ Macrophages to Confer Enzalutamide Resistance in Prostate Cancer

Advanced Science, EarlyView.
A novel resistance mechanism is mediated through phagocytosis of cancer cells by AR+ TAMs. This process, dependent on ANXA2, enables macrophages to acquire AR protein from engulfed tumor cells. The internalized AR translocates into the macrophage nucleus, where it binds directly to the IL‐6 promoter, augmenting IL‐6 transcription and secretion ...
Yong Luo, Tianlong Luo, Lingfeng Li, Qi Sun, Dongquan Li, Shanhe Huang, Zonglin Li, Weilong Lin, Yuan Ou, Tao Du, Shengmeng Peng, Kewei Xu, Bisheng Cheng, Hai Huang   +13 more
wiley   +1 more source

Interpretable Machine Learning Framework for Nb─Si Based Alloy Design with Enhanced Fracture Toughness

Advanced Science, EarlyView.
An interpretable machine learning framework integrating SHAP and PDP analysis identifies critical design descriptors from 139 physicochemical features for Nb─Si alloys. The framework achieves <7% prediction error and guides the discovery of Nb38.5Ti38.5Si3Zr18V2 alloy with 22.791 MPa·m1/2 fracture toughness, breaking the 20 MPa·m1/2 barrier.
Dezhi Chen, Chao Xu, Jingyue Yu, Qi Wang, Hongze Fang, Shuo Yin, Turab Lookman, Ruirun Chen   +7 more
wiley   +1 more source

Quantifying growth perturbations over the fattening period in swine via mathematical modelling

Peer Community Journal, 2022
Background: Resilience can be defined as the capacity of animals to cope with short-term perturbations in their environment and return rapidly to their pre-challenge status. In a perspective of precision livestock farming, it is key to create informative
Revilla, Manuel, Guillaume, Lenoir, Loïc, Flatres-Grall, Rafael, Muñoz-Tamayo, Friggens, Nicolas C   +4 more
doaj   +1 more source

Axioms for mereology.

Notre Dame Journal of Formal Logic, 1985
This paper provides three new axiom systems for Lesniewski's mereology. Equivalence with other systems is established proof-theoretically. One of the systems has a single axiom (and a single definition). For a shorter single axiom for mereology, see the author's paper reviewed below (see Zbl 0595.03021).
openaire   +2 more sources

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

Advanced 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

The AXIOM software layers

, 2015
People and objects will soon share the same digital network for information exchange in a world named as the age of the cyber-physical systems. The general expectation is that people and systems will interact in real-time.
Ayguadé Parra, Eduard, Catani, Davide, Theodoropoulos, Dimitris, Alvarez, Carlos, Segura, Carlos, Pnevmatikatos, Dionisis, Navarro, Nacho, Scordino, Claudio, Jiménez González, Daniel, Gai, Paolo, Filgueras Izquierdo, Antonio, Bueno Hedo, Javier, Martorell Bofill, Xavier   +12 more
core   +1 more source

Shapley Additive Explanation for Local Class Differentiation: Local Explainability for Class Differentiation in Classification Models

Advanced Intelligent Systems, EarlyView.
An instance‐level, model‐agnostic explanation of class differentiation is introduced through SHAP‐LCD, linking probability shifts to feature‐wise Shapley contributions. The method operates on tabular and image data and is released in a fully reproducible implementation, offering a transparent way to examine, at each instance, why predictive models ...
Roxana M. Romero Luna, Hugo A. Ordoñez Erazo, Carlos A. Cobos Lozada   +2 more
wiley   +1 more source

Axiom Generation for Automated Ontology Construction from Texts Through Schema Mapping

Machine Learning and Knowledge Extraction
Ontology learning from unstructured text has become a critical task for knowledge-driven applications in Big Data and Artificial Intelligence. While significant advances have been made in the automatic extraction of concepts and relations using neural ...
Tsitsi Zengeya, Jean Vincent Fonou-Dombeu, Mandlenkosi Gwetu   +2 more
doaj   +1 more source

Accounting for animal health in efficiency analysis: An application to Swedish dairy farms

American Journal of Agricultural Economics, EarlyView.
Abstract Poor animal health is a central concern in modern livestock production. Despite the necessity to incorporate animal health in efficiency analysis, the theoretical and empirical developments are limited on this subject. This article appropriately characterizes the axiomatic properties of animal health within a production framework.
Frederic Ang, Enoch Owusu‐Sekyere, Karin Alvåsen, Helena Hansson   +3 more
wiley   +1 more source