Results 101 to 110 of about 140,069 (266)

A first order logic of effects

Theoretical Computer Science, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

A Denotational Semantics for First-Order Logic [PDF]

, 2000
In Apt and Bezem [AB99] (see cs.LO/9811017) we provided a computational interpretation of first-order formulas over arbitrary interpretations. Here we complement this work by introducing a denotational semantics for first-order logic. Additionally, by allowing an assignment of a non-ground term to a variable we introduce in this framework logical ...
openaire   +4 more sources

Leaftronics: Bio‐Fractal Scaffolds From Leaf Venation for Low‐Waste Electronics

Advanced Materials, EarlyView.
“Leaftronics” transforms naturally evolved leaf venation into quasi‐fractal scaffolds for sustainable electronics. Polymer‐infiltrated leaf skeletons can be used to fabricate ultra‐smooth, reflow‐ and thin‐film‐compatible decomposable substrates, while making the same lignocellulose networks conducting results in flexible transparent electrodes.
Rakesh Rajendran Nair, Hrisheekesh Thachoth Chandran, Karl Leo, Hans Kleemann   +3 more
wiley   +1 more source

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

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

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

From First-Order Logic to Assertional Logic [PDF]

, 2017
First-Order Logic (FOL) is widely regarded as one of the most important foundations for knowledge representation. Nevertheless, in this paper, we argue that FOL has several critical issues for this purpose. Instead, we propose an alternative called assertional logic, in which all syntactic objects are categorized as set theoretic constructs including ...
openaire   +2 more sources

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

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