Results 151 to 160 of about 3,702,791 (303)
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 +9 more
wiley +1 more source
Bisimulations for temporal logic [PDF]
We define bisimulations for temporal logic with Since and Until. We compare our notion to existing notions of bisimulations, and we use it to develop the basic model theory of temporal logic with Since and Until, which includes preservation and ...
Kurtonina, Natasha, Rijke, Maarten de
core
The Basic Intuitionistic Logic of Proofs [PDF]
, 2007 The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F.
Artemov, S. +3 more
core
Advanced Materials, EarlyView.Azobenzene photoswitches translate molecular‐scale E/Z photoisomerization into macroscopic material responses and device‐level photonic functions. This Review highlights how azobenzene research has evolved from molecular photochemistry to photoalignment, mass migration, photomechanics, and heat release, ultimately enabling holography, reconfigurable ...
Heeju Son +20 more
wiley +1 more source
Advanced Materials, EarlyView.The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj +8 more
wiley +1 more source
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 +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 +7 more
wiley +1 more source
Linear logic in computer science
Journal of Applied Mathematics and Computational Mechanics, 2015 William Steingartner +3 more
doaj +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 +10 more
wiley +1 more source
Advanced Materials, EarlyView.Aqueous Zn(II) Salphen metallofibers decorated with PNIPAM undergo reversible, multi‐stimuli‐responsive hierarchical bundling. This higher‐order structuring kinetically stabilizes the otherwise fragile assemblies against dilution, acidic hydrolysis, and transmetallation, enables selective sorting of responsive fibers, and programs hydrogelation at ...
Merlin R. Stühler +5 more
wiley +1 more source