Results 171 to 180 of about 205,593 (312)

Natural deduction and arbitrary objects

, 1985
Kit Fine
openalex   +2 more sources

Data‐Driven Design and Fabrication of Heat‐Resistant, Ultrastrong, Lightweight Aluminum‐Based Entropy Alloy by Additive Manufacturing

Advanced Science, EarlyView.
A data‐driven strategy integrating quantum machine learning (QML) and high‐throughput computing overcomes hot‐cracking limitation to design a novel lightweight aluminum‐based entropy alloy for additive manufacturing. The fabrication transforms brittle intermetallics into deformable hierarchical nanostructures, yielding ultrastrong strength (>1 GPa) and
Enmao Wang, Chao Ding, Danyang Zhou, Chenjin Xu, Swee Leong Sing, Jianzhong Jiang, Huibin Wu   +6 more
wiley   +1 more source

Human settlement water security in Northern Xinjiang China based on DPSIR model. [PDF]

Sci Rep
Guo H, Zhou H, Guo Y, Huang J.
europepmc   +1 more source

Adjoint Natural Deduction

Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has been defined in the form of a sequent calculus because the central concept of independence is most clearly understood
Jang, Junyoung, Roshal, Sophia, Pfenning, Frank, Pientka, Brigitte   +3 more
openaire   +2 more sources

A Natural Deduction style proof system for propositional $μ$-calculus and its formalization in inductive type theories

, 1998
Marino Miculan
openalex   +1 more source

Bipolar Hydrogen Production from a Hybrid Alkaline‐Acidic Formaldehyde‐Proton Fuel Cell

Advanced Science, EarlyView.
A novel hybrid alkaline‐acidic formaldehyde‐proton fuel cell (FPFC) was developed by coupling alkaline formaldehyde oxidation reaction (FOR) with acidic hydrogen evolution reaction (HER). This design enables concurrent bipolar H2 production and electricity generation.
Feifan Liu, Lun He, Lvlv Ji, Yanjun Wen, Tao Wang, Sheng Wang   +5 more
wiley   +1 more source

Application of three-dimensional fluorescence spectral characterization and chemometrics in the analysis of traceability of Paeoniae Radix Rubra. [PDF]

PLoS One
Zhou T, Fu Y, Zhang Y, Meng ZY, Xu HD, Tian RT, Wang C, Wang TY, Deng XY, Zhang Y, Wang L.   +10 more
europepmc   +1 more source

Redefining the Health Risk of Battery Materials Through a Biologically Transformed Metal Mixture

Advanced Science, EarlyView.
Inhaled NCM particles undergo lysosomal degradation, releasing complex ion mixtures that induce systemic impact. The impact is determined by a critical balance between antagonistic Ni‐Co interactions and synergistic Mn effects. To capture these complexities in risk assessment, we develop an IAI model, ensuring a more accurate quantitative risk ...
Ze Zhang, Gan Miao, Xueyu Zhang, Zhao Shu, Dawei Lu, Yujie Song, Shanfa Yu, Qian Liu, Yang Song, Rong Zhang, Xiaoting Jin, Yuxin Zheng   +11 more
wiley   +1 more source

Analysis and measurement of multi-factor coupling risk in underground coal mine gas explosion based on system dynamics. [PDF]

Sci Rep
Guo H, Chen Y, Cheng L, Li S.
europepmc   +1 more source

On Natural Deduction in Classical First-Order Logic: Curry-Howard Correspondence, Strong Normalization and Herbrand’s Theorem

, 2015
Federico Aschieri, Margherita Zorzi
openalex   +1 more source