Results 51 to 60 of about 776,600 (243)
Category theory : definitions and examples [PDF]
, 1990 Category theory was invented as an abstract language for describing certain structures and constructions which repeatedly occur in many branches of mathematics, such as topology, algebra, and logic.
Srinivas, Yellamraju V.
core
2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics
Advanced Functional Materials, EarlyView.2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit +5 more
wiley +1 more source
Verification of Ptime reducibility for system F terms via Dual Light Affine Logic.
, 2006 Proceedings of Computer Science Logic 2006 (CSL'06), volume 4207 of Lecture Notes in Computer Science, pp.150-166. SpringerIn a previous work we introduced Dual Light Affine Logic (DLAL) ([BaillotTerui04]) as a variant of Light Linear Logic suitable ...
Atassi, Vincent +2 more
core +3 more sources
Advanced Functional Materials, EarlyView.Automat optical inspection (AOI) techniques in semiconductor fabrication can be leveraged in battery manufacturing, enabling scalable detection and analysis of electrode‐ and cell‐level imperfections through AI‐driven analytics and a digital‐twin framework.
Jianyu Li, Ertao Hu, Wei Wei, Feifei Shi
wiley +1 more source
On the strength of proof-irrelevant type theories
, 2008 We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlying a theorem prover.
Werner, Benjamin
core +1 more source
Advanced Functional Materials, EarlyView.ABSTRACT Engineering living matter has great clinical potential to deliver functional replacement organs. However, clinical translation remains hampered by the current inability to maintain viability of clinically relevant‐sized constructs. During the pre‐vascular phase, implants rely on nutrient diffusion for survival, which is insufficient at ...
Melvin Gurian +5 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Tin hexathiophosphate memristors leverage intrinsic nanopores together with a guided filament formation strategy to regulate titanium ion motion and switching behavior. The devices support reliable nonvolatile memory and reconfigurable logic‐in‐memory, demonstrating 14 Boolean logic functions in a single cell.
Thaw Tint Te Tun +7 more
wiley +1 more source
Transformation Rules for Locally Stratified Constraint Logic Programs [PDF]
, 2004 We propose a set of transformation rules for constraint logic programs with negation. We assume that every program is locally stratified and, thus, it has a unique perfect model.
Fioravanti, Fabio +2 more
core
Advanced Functional Materials, EarlyView.A robust solid‐state protein junction with a semi‐transparent eC/Au electrode allows photoexcitation of the bacterio‐rhodopsin, bR layer, to isomerize the bR retinal. The resulting photo‐response shows the protein is functional in the solid‐state junction.
Shailendra K. Saxena +5 more
wiley +1 more source
Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?
Advanced Functional Materials, EarlyView.This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee +7 more
wiley +1 more source