Results 101 to 110 of about 114,330 (265)

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

Boolean Logic‐Based Control Over Recombinant Protein Biomaterial Degradability and Therapeutic Delivery

Advanced Materials, EarlyView.
Fully recombinant protein‐based biomaterials execute complex Boolean logic for user‐programmable material degradation and concomitant therapeutic cargo release. Biologics, such as growth factors, can be incorporated within the crosslinkers as “drugamers”, while encapsulated cells can be released according to nested YES/OR/AND‐type logical operations ...
Murial L. Ross, Ryan Gharios, Shivani Kottantharayil, Cole A. DeForest   +3 more
wiley   +1 more source

Formal reasoning about synthetic biology using higher-order-logic theorem proving. [PDF]

IET Syst Biol, 2020
Abed S, Rashid A, Hasan O.
europepmc   +1 more source

Optoelectronic Nanofluidic Neural Networks for Ionic Computing

Advanced Materials, EarlyView.
An ion‐based optoelectronic nanofluidic memristor enables neuromorphic computing in aqueous environments. With tunable ionic memory and multimodal synaptic plasticity, it realizes densely connected ionic neural networks capable of image classification, motion prediction, logic computation, and real‐time in‐sensor computing, advancing fully connected ...
Yaxin Huang, Zhiyuan Du, Changjin Wu, Binglin Zeng, Yingnan Cao, Mingliang Li, Liren Zhang, Qingxin Guo, Chao Huang, Can Li, Jinyao Tang   +10 more
wiley   +1 more source

Stimuli‐Responsive Hierarchical Structuring Controls Survival and Programs Hydrogelation of Supramolecular Metallofibers

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, László Mérai, Kai Ludwig, Rainer Haag, Quinn A. Besford, Alex J. Plajer   +5 more
wiley   +1 more source

Research on a General State Formalization Method from the Perspective of Logic

Mathematics
As information plays an ever more central role across disciplines, the lack of a precise and reusable definition of state impedes comparison, measurement, and verification. Building on Objective Information Theory (OIT), this paper proposes a logic-based
Siyuan Qiu, Jianfeng Xu
doaj   +1 more source

Fluorinated Deep Eutectic Gel Electrolytes with Simultaneously Enhanced Mechanical Strength and Ionic Conductivity for Solid‐State Lithium Metal Batteries

Advanced Materials, EarlyView.
The synergistic integration of rigid polyacrylamide (PAM) and flexible poly(N,N‐dimethylacrylamide) (PDMA) phases offers exceptional toughness to suppress lithium dendrites, simultaneously enhancing mechanical strength and ionic conductivity. ABSTRACT Gel polymer electrolytes for lithium‐metal batteries face an inherent trade‐off between mechanical ...
Hao Long, Yuhao Liang, Ting He, Xueming Chen, Zimo Huang, Hao Chen, Shanqing Zhang   +6 more
wiley   +1 more source

Investigating the impact of generative AI integration on the sustenance of higher-order thinking skills and understanding of programming logic

Computers and Education: Artificial Intelligence
This study investigates how integrating generative AI (GenAI) with instructional scaffolding and prompt engineering supports higher-order thinking skills (HOTS) and programming logic.
Jemimah Nathaniel, Solomon Sunday Oyelere, Jarkko Suhonen, Matti Tedre   +3 more
doaj   +1 more source

Angstrom‐Scale Confined Ion Sieve and Accelerator for Efficient Aqueous Zinc Batteries

Advanced Materials, EarlyView.
An angstrom‐scale confined ion accelerator strategy is proposed for ultra‐stable aqueous Zn anodes. Selective and precise transport of hydrated Zn(H2O)62+, Zn2+ cations, H2O molecules, and SO42− anions is achieved by in‐plane atomic Ti vacancies and angstrom‐scale interlayer free spacing within the Ti0.87O2 interfacial layer, leading to homogeneous Zn ...
Xing Peng, Caichao Ye, Yingqiang Li, Zhihang Liu, Kunxi Luan, Jinbo Fan, Honglan Huang, Chao Liu, Na Shen, Zhen Hou, Wenyao Zhang, Yongsheng Fu, Mingzhe Chen, Linfeng Hu, Pan Xiong, Guoxiu Wang, Junwu Zhu   +16 more
wiley   +1 more source

Higher-order aspects of logic programming [PDF]

, 1994
Are higher-order extensions to logic programming needed? We suggest a negative answer by showing that higher-order features are already available in pure logic programming. It is demonstrated that higher-order lambda calculus-based languages can be compositionally embedded in logic programming languages preserving their semantics and abstraction ...
openaire   +1 more source