Results 41 to 50 of about 4,388 (259)
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 +7 more
wiley +1 more source
Aksjomat multiplikatywny Russela
Zagadnienia Filozoficzne w Nauce, 2012 We present the history of two parallel (and equivalent) discoveries: the axiom of choice and the multiplicative axiom. Firstly, we consider the origins of the formulation of the multiplicative axiom. Next, we concentrate on Russell’s attitude towards the
Katarzyna Lewandowska
doaj
Advanced Science, EarlyView.We report the fast generation of biocompatible solutions of highly 13C‐hyperpolarized (≈11%) partially‐deuterated ketoisocaproate within <6 min using spin‐lock‐induced crossing and reversible exchange with parahydrogen (SLIC‐SABRE). This enables rapid detection of branched‐chain‐amino‐acid transferase 1 (BCAT1) protein expression and investigation of ...
Stefan Petersen +18 more
wiley +1 more source
The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Given a set U of alternatives, a choice (correspondence) on U is a contractive map c defined on a family Omega of nonempty subsets of U. Semantically, a choice c associates to each menu A in Omega a nonempty subset c(A) of A comprising all elements of A
Domenico Cantone +2 more
doaj +1 more source
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
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 +3 more
wiley +1 more source
Choice principles and lift lemmas [PDF]
Categories and General Algebraic Structures with Applications, 2017 We show that in {bf ZF} set theory without choice, the Ultrafilter mbox{Principle} ({bf UP}) is equivalent to several compactness theorems for Alexandroff discrete spaces and to Rudin's Lemma, a basic tool in topology and the theory of quasi-continuous ...
Marcel Ern'e
doaj +2 more sources
The Axiom of Choice in Cartesian Bicategories.
, 2019 We argue that cartesian bicategories, often used as a general categorical algebra of relations, are also a natural setting for the study of the axiom of choice (AC). In this setting, AC manifests itself as an inequation asserting that every total relation contains a map.
Filippo Bonchi +2 more
openaire +4 more sources
International Forum of Allergy &Rhinology, EarlyView.ABSTRACT Background Bitter taste receptors (T2Rs) function in the innate immune defense of the sinonasal mucosa; however, the genetic association between the TAS2R gene family and chronic rhinosinusitis (CRS) remains understudied in Asian populations.
Rong‐San Jiang +6 more
wiley +1 more source
A Note on the Topologicity of Quantale-Valued Topological Spaces [PDF]
Logical Methods in Computer Science, 2017 For a quantale ${\sf{V}}$, the category $\sf V$-${\bf Top}$ of ${\sf{V}}$-valued topological spaces may be introduced as a full subcategory of those ${\sf{V}}$-valued closure spaces whose closure operation preserves finite joins.
Hongliang Lai, Walter Tholen
doaj +1 more source