Results 131 to 140 of about 696,327 (268)

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

Chapter 5 Linear Logic Programming

, 2007
s depending on the characteristics of the language. A program in this setting is simply a collection of propositions that, through their form, will lead the proof search engine down a particular path, thereby achieving a particular computation.
Linear Logic Programming
core  

Giant Orbital Rashba–Edelstein Effect in Crystalline Cu2O/Cu Heterostructures

Advanced Materials, EarlyView.
An enhanced orbital Rashba–Edelstein effect is demonstrated in a crystalline Cu2O/Cu heterostructure, compared to naturally oxidized CuOx structures, highlighting the critical role of crystallinity and interface control in orbital torque generation. The resulting spin torque conductivity exceeds that of Pt, indicating the potential of orbital torque ...
San Ko, Jaimin Kang, Su Jae Kim, Hanhwi Jang, Do‐Kyeong Nam, Minseok Kang, Sunghoon Kim, Yeon Sik Jung, Se‐Young Jeong, Kab‐Jin Kim, Byong‐Guk Park   +10 more
wiley   +1 more source

Z logic and its consequences

, 2003
This paper provides an introduction to the specification language Z from a logical perspective. The possibility of presenting Z in this way is a consequence of a number of joint publications on Z logic that Henson and Reeves have co-written since 1997 ...
Reeves, Steve, Henson, Martin C., Bowen, Jonathan P.   +2 more
core  

Intracellular logic computing with DNA tetrahedron processors enables precision cancer theranostics. [PDF]

Signal Transduct Target Ther
Gao Y, Wang Y, Qin Y, Zhang G, Gao S, Chen W, Yang S, Yang X, Tang Y, He Y, Lin Y, Willner I, Tian T, Cai X.   +13 more
europepmc   +1 more source

Weaving Intelligence: Thermally Drawn Multimaterial Fibers Toward AI‐Enabled Smart Textiles

Advanced Materials, EarlyView.
Thermally drawn multimaterial fibers are rapidly advancing as intelligent structural units for next‐generation smart textiles. Integrating multimaterial architectures with neuromorphic and spiking‐neural‐network principles enables fabrics that can sense, compute, and adapt autonomously.
Vuong Dinh Trung, Jiaxiang Yi, Hieu Nguyen‐Duc, Tien Nu Hoang Lo, Weili Zhao, Chaoqun Dong, Fabien Sorin, Baris Caglar, Lei Wei, Tung Nguyen‐Dang   +9 more
wiley   +1 more source

A simple modal logic for belief revision [PDF]

We propose a modal logic based on three operators, representing intial beliefs, information and revised beliefs. Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule.
Giacomo Bonanno
core  

The use of logic for machine learning models in sepsis. [PDF]

Intensive Care Med Exp
Lavage DR, Ward LN, Angus DC, Kennedy JN, Cooper GF, Seymour CW.   +5 more
europepmc   +1 more source

Second‐Harmonic Hyper‐Mie Optical Activity Enables Closed‐Loop Chiral Photochemistry

Advanced Materials, EarlyView.
Nonlinear chiral photochemistry is demonstrated in CdTe/CdO nanohelices, where circularly polarized infrared light both drives and tracks photo‐oxidation via second‐harmonic scattering. This closed‐loop process reveals real‐time structural evolution, including shell fracturing and core exposure, accompanied by a transition from hyper‐Mie to hyper ...
Hoyeon Choi, Kody Whisnant, Ben J. Olohan, E. Petronijevic, G. Dan Pantoș, Nicholas A. Kotov, Ventsislav K. Valev   +6 more
wiley   +1 more source

Philosophy of logic /

, 2007
The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and ...
Jacquette, Dale.
core