Results 41 to 50 of about 37,011 (230)

Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics

Advanced Materials, EarlyView.
Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón, Juan Ignacio Beltrán, Matilde Saura‐Múzquiz, Paolo Perna, M. Carmen Muñoz, Lucas Pérez, Maria Varela   +6 more
wiley   +1 more source

Soundness of the Q0 proof system for higher-order logic. [PDF]

, 2023
This entry formalizes the Q0 proof system for higher-order logic (also known as simple type theory) from the book "An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof" by Peter B.
Schlichtkrull, Anders; id_orcid
core   +2 more sources

Tough, Ductile, and Strong Hard‐Soft Cementitious Composite Enabled by Multi‐Material Additive Manufacturing

Advanced Materials, EarlyView.
Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine, Shashank Gupta, William Makinen, Zayvinn Lin, Krystal Delnoce, Reza Moini   +5 more
wiley   +1 more source

Thermal‐Driven Diode Polarity Switching From Competing Helical Superconducting States in WTe2/α‐Fe2O3 Heterostructures

Advanced Materials, EarlyView.
A Nb‐proximitized Josephson junction based on a WTe2/α‐Fe2O3 heterostructure exhibits a robust superconducting diode effect with programmable polarity. The diode direction can be trained by magnetic fields and switched by temperature cycling, revealing tunable finite‐momentum pairing states and competing superconducting states in symmetry‐broken ...
Enze Zhang, Grant Z. X. Yang, Zi‐Ting Sun, Xinhou Chen, Shishun Zhao, Chufan Chen, Chenhui Zhang, Fanrui Hu, K. T. Law, Hyunsoo Yang   +9 more
wiley   +1 more source

Explicit substitions and all that

Revista Colombiana de Computación, 2000
Explicit substitution calculi are extensions of the calculus where the substitution mechanism is internalized into the theory. This feature makes them suitable for implementation and theoretical study of logic based tools as strongly typed programming ...
Mauricio Ayala Rincón, César Muñoz
doaj  

Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities

Advanced Materials, EarlyView.
This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen, Zhanxi Fan, Jingjie Ge, Qiyuan He, Zhuangchai Lai, Jiawei Liu, Chaoliang Tan, Hua Zhang   +7 more
wiley   +1 more source

Advances in Magnesium‐Based Thermoelectrics: A Critical Review

Advanced Materials, EarlyView.
Magnesium‐based thermoelectric materials have emerged as promising candidates for low‐to‐mid‐temperature energy conversion due to their abundance, low cost, and competitive performance. This review summarizes recent advances in Mg3X2, MgAgSb, and Mg2X systems, covering transport mechanisms, fabrication strategies, stability challenges, and device ...
Li‐Min Zhang, Li Zhang, Nan‐Hai Li, Yan‐Ling Yang, Xiao‐Lei Shi, Zhi‐Gang Chen   +5 more
wiley   +1 more source

Deep Learning Inverse Design of Phase‐Change Reconfigurable Terahertz Metadevices for Multidimensional Secure Communication

Advanced Materials, EarlyView.
A deep learning inverse‐design framework is established to create versatile reconfigurable terahertz metadevices. By synergizing deep learning with phase‐change materials, this approach enables on‐demand customization of multidimensional electromagnetic responses.
Yisheng Dong, Xieyu Chen, Aarthy Nagarajan, Yi Yang, Zhihao Wang, Rui Yu, Chuang Zheng, Chunmei Ouyang, Xueqian Zhang, Tun Cao, Ranjan Singh, Zhen Tian   +11 more
wiley   +1 more source

A Dual‐Bioresponsive and Programmable Microneedle Matrix as a Bioinspired Coupler for Orchestrating Diabetic Bone Regeneration

Advanced Materials, EarlyView.
This project developed a smart bandage‐like patch (a microneedle array) for repairing diabetic bone damage. It intelligently senses signals from infection and inflammation, then releases its medicines in a specific, timed sequence: first an antibacterial agent, then an anti‐inflammatory agent, and finally growth factors.
Yu Wang, Rui Chen, Yu Chen, Haowen Lu, Yuchen Qian, Zhiheng Gao, Zheming Shen, Xiaofei Zheng, Huilin Yang, Jun Zou, Yusen Qiao   +10 more
wiley   +1 more source

Interface‐Engineered Binary Framework Composites: Advancing Porous Materials for Precision Medicine

Advanced Materials Interfaces, EarlyView.
Binary framework composites integrate two complementary porous architectures into a unified platform, enabling multifunctional design, enhanced structural tunability, and improved physicochemical performance. By combining high surface area, ordered porosity, interfacial synergy, and versatile functionalization, these hybrid materials offer new ...
Navid Rabiee, Mohammad Rabiee, Mohammad Akrami‐Hasan‐Kohal, Sidi A. Bencherif   +3 more
wiley   +1 more source