Results 111 to 120 of about 1,020,940 (299)

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

Quantum Logic as Classical Logic

CoRR, 2014
We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic is a completion of the quantum logic QL.
openaire   +3 more sources

A Logic Programming approach for Access Control over RDF

, 2014
The Resource Description Framework (RDF) is an interoperable data representation format suitable for interchange and integration of data, especially in Open Data contexts.
Axel Polleres, Mileo, Alessandra, Zimmermann, Antoine, Kirrane, Sabrina, Sabrina Kirrane, Polleres, Axel, Nuno Lopes, Lopes, Nuno, Antoine Zimmermann, Ra Mileo   +9 more
core   +1 more source

Toward Pore‐Engineered 3D‐Printed Materials for Sorption Water Harvesting, Interfacial Evaporation, and Radiative Cooling

Advanced Materials, EarlyView.
Water harvesting, radiative cooling, and interfacial solar evaporation are fundamentally governed by coupled heat, mass, and light transport processes. These processes are mediated by pore architecture, including pore size, connectivity, and hierarchical organization.
Dejan J. Trajkovski, Higgins M. Wilson, Abdallah Y. M. Ali, Jiaxing Xu, Ruzhu Wang, Primož Poredoš   +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  

Descriptors to Dynamics: A Materials and Device Perspective on in‐Materio Physical Reservoir Computing for Neuromorphic Edge Intelligence

Advanced Materials, EarlyView.
Intrinsic material dynamics are harnessed as computational resources for neuromorphic in‐materio physical reservoir computing. Defects, ionic motion, interfaces, percolation, geometry, and biasing shape transient states that provide fading memory, nonlinearity, and high‐dimensional projection for simple readout. A descriptor‐to‐dynamics framework links
Kshitij RB Singh, Alif Syafiq Kamarol Zaman, Muzhen Xu, Yuki Usami, Saptarshi Das, Hirofumi Tanaka   +5 more
wiley   +1 more source

Epitaxially Integrated Electro‐Optic KNbO3 Thin Films on Silicon

Advanced Materials, EarlyView.
We demonstrate the first epitaxial integration of electro‐optic KNbO3 thin films on silicon using suboxide molecular‐beam epitaxy. Combining adsorption‐controlled molecular‐beam epitaxy, advanced characterization, and phase‐field modeling, we demonstrate phase‐pure crystalline films mirroring bulk crystals with robust Pockels response, enabling future ...
Sankalpa Hazra, Tobias Schwaigert, Yingxin Zhu, Aiden Ross, Muhammad Aminul Haque Chowdhury, Shun‐Li Shang, Sameer Singh, Zhiyu Zhang, Zhe Wang, Brynn Brower, Saugata Sarker, Suchismita Sarker, Zi‐Kui Liu, Rama K. Vasudevan, Long‐Qing Chen, Yang Yang, Darrell G. Schlom, Venkatraman Gopalan   +17 more
wiley   +1 more source

Inverse Design of Nanoparticulate Materials

Advanced Materials, EarlyView.
Inverse design shifts nanomaterial development from empirical trial‐and‐error to predictive model‐driven strategies. It can rely on knowledge‐based, data‐based, or hybrid process and property functions. This perspective article provides a practical framework for applying inverse design based on instructive examples. It discusses which modeling approach
Nabi Etienne Traoré, Annika Mauch, Michelle Berthold, Lukas Pflug, Wolfgang Peukert, Nicolas Vogel   +5 more
wiley   +1 more source

Is logic empirical? [PDF]

, 2007
The philosophical debate about quantum logic between the late 1960s and the early 1980s was generated mainly by Putnam's claims that quantum mechanics empirically motivates introducing a new form of logic, that such an empirically founded quantum logic ...
Bacciagaluppi, Guido
core  

Tamper‐Responsive Physical Unclonable Functions via Graphene‐Interlayered Block Copolymer Random Structures

Advanced Materials, EarlyView.
Self‐invalidating multilayer physical unclonable functions (PUFs) integrate fingerprint‐like metal nanopattern bilayers from block copolymer templates with highly reactive reduced graphene oxide (rGO) interlayers. This tamper‐responsive architecture blocks all unauthorized physical and chemical replication attempts while autonomously deactivating ...
Gyu Hui Jo, Dae Hui Park, Jeong‐Ho Jang, Woo Seok Tack, Jin Man Kim, Hak Ki Yu, Hyeong Min Jin, Jang Hwan Kim   +7 more
wiley   +1 more source