Results 121 to 130 of about 4,442,858 (282)

A 3D‐Printed SFE‐Graded Alloy Mitigates Cryogenic Discontinuous Plastic Flow and Hydrogen Embrittlement

Advanced Science, EarlyView.
A novel strategy features gradient composition and stacking fault energy‐tuned (CoCrMn)100‐2xFexNix fabricated via in situ alloying additive manufacturing. This design circumvents cryogenic discontinuous plastic flow and hydrogen embrittlement of metallic materials under quasi‐static loading and hydrogen‐rich environment relevant to lunar polar ...
Renhao Wu, Ao Geng, Peihao Geng, Hyojin Park, Eun Seong Kim, Sang‐Ho Oh, Stephan Schönecker, Xiaoqing Li, Tianlong Zhang, Shuhui Li, Byeong‐Joo Lee, Hyoung Seop Kim   +11 more
wiley   +1 more source

Combining computation tree logic and deontic logic in natural deduction style calculus

, 2009
In this technical report we present a natural deduction calculus for branching-time deontic logic, a combination of the branching-time logic CTL and deontic modalities and prove its correctness.
Bolotov, A., Grigoriev, O.
core  

Ammonification Process Is Limited by Transformation of Medium Molecular Weight Nitrogenous Organics but Not Hydrolysis of Proteins

Advanced Science, EarlyView.
A multi‐level analytical framework, integrating protein‐level persistence analysis, nontargeted HRMS formula tracking, peptide‐level proteomics, and targeted monomer quantification under varying redox conditions, together with FMO calculations reveal that ammonification is limited by medium molecular weight nitrogenous multimers.
Jing Li, Junjie Qiu, Fan Lü, Hua Zhang, Pinjing He   +4 more
wiley   +1 more source

Granzyme B PET Imaging Reveals Lgmn+ Macrophage‐Mediated Immune Evasion and Guides Immunotherapy in EGFR‐TKI‐Resistant NSCLC

Advanced Science, EarlyView.
Graphical illustration of 68Ga‐GZB PET/CT imaging reveals immune dynamics post‐EGFR‐TKI resistance in NSCLC; Lgmn+ macrophages‐derived Lgmn‐containing extracellular vesicles inhibit glycolysis, induce CD8+ T cell exhaustion, and targeting Lgmn restores immunotherapy sensitivity.
Dongliang Wang, Wenqin Luo, Qiufang Liu, Wenxuan Tang, Bin Zhu, Jiwei Chen, Qian Zhou, Shuang Tang, Xiaoping Xu, Shaoli Song   +9 more
wiley   +1 more source

Effects of Doping, Disorder, and Compensation on Electron Conduction in Si‐Doped k‐Ga2O3 Close to the Metal‐to‐Insulator Transition

Advanced Electronic Materials, EarlyView.
Self‐compensation effects attributed to doping‐dependent shift‐defects at APBs Validation of Hall data for VRH transport near the MIT Persistence of VRH transport for any SiH4 flow in Si‐doped κ‐Ga2O3 due to high compensation coupling transport and EPR data as strategy to study electronic properties and doping T‐dependence of transport data agrees with
Antonella Parisini, Hans Jürgen von Bardeleben, Ildicò Cora, Zsolt Fogarassy, Paola Alippi, Vincenzo Fiorentini, Ian Vickridge, Piero Mazzolini, Alessio Bosio, Roberto Fornari   +9 more
wiley   +1 more source

Electric Double Layer Engineering Induces O‐Down Interfacial Water Reorientation for Efficient and Long‐Term Seawater Electrolysis

Advanced Energy Materials, EarlyView.
The additive EDTMPS inhibits hydroxides deposition by chelating with Ca2+/Mg2+. It also disrupts the hydrogen bond network of interfacial water and expands the thickness of electric double layer, promoting more free water to flip into adsorbable O‐down configuration.
Tongzhou Li, Yutong Zhao, Hongjie Zhang, Yangkai Han, Zhiwei Ren, Feng Xie, Zongping Shao, Zhigang Shao   +7 more
wiley   +1 more source

Natural Deduction Rules for Tomova’s Natural Implications [PDF]

, 2018
Natural Deduction Rules for Tomova’s Natural ...
Petrukhin, Yaroslav, Shangin, Vasilyi
core  

Ether‐Based Electrolytes and the Solvation Structure in Sodium Ion Batteries

Advanced Energy Materials, EarlyView.
Ether electrolytes enable high‐performance sodium‐ion batteries through their unique physicochemical properties, particularly distinctive solvation structures and co‐intercalation behavior. However, the localized solvation structure and its dynamic evolution during electrochemical processes remain a “black box”.
Jiaxin Ding, John T. S. Irvine
wiley   +1 more source

A Natural Deduction Calculus for S4.2

Notre Dame Journal of Formal Logic
Abstract We propose a natural deduction calculus for the modal logic S4.2. The system is designed to match as much as possible the structure and the prop- erties of the standard system of natural deduction for first-order classical logic, exploiting the formal analogy between modalities and quantifiers.
Simone Martini, Andrea Masini, Margherita Zorzi   +2 more
openaire   +2 more sources

Complementary or Competitive? Emerging Interactions Between Restoration and Protection in the Conservation Reserve Program

Applied Economic Perspectives and Policy, EarlyView.
ABSTRACT The USDA's Conservation Reserve Program (CRP) delivers environmental benefits to society by enrolling cropland and grasslands to reestablish or safeguard long‐term vegetative cover. In recent years, the CRP has dramatically increased grassland enrollment while cropland enrollment has been in steady decline. This paper uses descriptive analysis,
Wesley Zebrowski, Tyler Lark, Rich Iovanna   +2 more
wiley   +1 more source