Results 61 to 70 of about 1,508,621 (298)

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

On some Separation Axioms in Soft Lattice Topological Spaces

مجلة بغداد للعلوم
In the realm of topology, various constraints are frequently imposed on the types of topological spaces under examination and these constraints are defined by what are known as separation axioms.
Sandhya S. Pai, Baiju T
doaj   +1 more source

A note on separation in AP

Applied General Topology, 2003
It is our aim in this note to take a closer look at some separation axioms in the construct AP of approach spaces and contractions. Whereas lower separation axioms seem to be qualitative, the higher ones seem to have a quantitative nature.
R. Lowen, M. Sioen
doaj   +1 more source

Certain Types of Regular and T3 Spaces

Journal of Kufa for Mathematics and Computer, 2021
introduced certain types of separation axioms which are Z-regular space, ZT3 space, semi-Z-regular space and semi-ZT3 space, by using boundary points and semi boundary points.
Abed M.Hamza, Zainab Hameed
doaj   +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

On R1- Separation Axioms

Ibn Al-Haitham Journal for Pure and Applied Sciences
The purpose of this research is to present the new set that is named open set, where the set was defined and the general properties And the basic concepts and properties of the set were explained, such as the open set, the intersection, and the union ...
Asmaa Rheem Kadhim, Rana Bahjat Esmaeel, Abdelaziz E. Radwan   +2 more
doaj   +1 more source

On Some Separation Axioms in Bitopological Spaces

Asia Pacific Journal of Mathematics
,
Nipaporn Chutiman, Supannee Sompong, C. Boonpok   +2 more
semanticscholar   +1 more source

Hyperpolarization of [1‐13C]Ketoisocaproate‐d2 by Reversible Exchange with Parahydrogen Enables Profiling of Branched‐Chain‐Amino‐Acid Metabolism in Cellulo and in Vivo

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, Philipp R. Groß, Paul M. Schmidt, Henri de Maissin, Asitan Rittinger, Robert Willing, Adriana Sacristán‐Martín, Lisa Heß, Jule Koch, Sebastian Lucas, Maxim Zaitsev, Dominik von Elverfeldt, Martin Grashei, Franz Schilling, Jan‐Bernd Hövener, André F. Martins, Max von Delius, Thomas Reinheckel, Andreas B. Schmidt   +18 more
wiley   +1 more source

FUZZY MINIMAL SEPARATION AXIOMS

Journal of Nonlinear Sciences and Applications, 2010
In this paper, we deal with some separation axioms in the context of fuzzy minimal structures.
EKİCİ, ERDAL, Roohi, M., Jafari, S., Alimohammady, M.   +3 more
openaire   +3 more sources

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