Results 51 to 60 of about 774,920 (290)
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
Photoswitching Conduction in Framework Materials
Advanced Functional Materials, EarlyView.This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez +4 more
wiley +1 more source
Advanced Functional Materials, EarlyView.This work develops flexible zinc‐ion batteries (FZIBs) using a zincophilic/hydrophobic polymer (thermoplastic polycarbonate‐based polyurethane, TPCU) to protect Zn powder anodes and MXene/Silk (MXS) as flexible current collectors. The designed TPCU‐ZnP@MXS structure enables uniform Zn deposition, yielding dendrite‐free anodes with stable cycling ...
Zixuan Yang +8 more
wiley +1 more source
Introduction to linear logic and ludics, part II [PDF]
, 2004 This paper is the second part of an introduction to linear logic and ludics, both due to Girard. It is devoted to proof nets, in the limited, yet central, framework of multiplicative linear logic and to ludics, which has been recently developped in an ...
Curien, Pierre-Louis
core +4 more sources
Advanced Functional Materials, EarlyView.This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva +9 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
Complementary Logic Driven by Dielectrophoretic Assembly of 2D Semiconductors
Advanced Functional Materials, EarlyView.Scalable, parallel fabrication of complementary logic gates is demonstrated using electric‐field‐driven deterministic assembly of electrochemically exfoliated 2D n‐type MoS2 and p‐type WSe2 nanosheets. This strategy yields MoS2 and WSe2 transistors featuring average mobilities of 4.3 and 3.0 cm2 V−1 s−1, respectively, and on/off ratios of > 104 ...
Dongjoon Rhee +10 more
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.Thermoelectric temperature sensors are developed that directly measure heat changes during optical‐based neural stimulation with millisecond precision. The sensors reveal the temperature windows for safe reversible neural modulation: 1.4–4.5 °C enables reversible neural inhibition, while temperatures above 6.1 °C cause permanent thermal damage.
Junhee Lee +9 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Two‐photon lithography (TPL) enables 3D magnetic nanostructures with unmatched freedom in geometry and material choice. Advances in voxel control, deposition, and functionalization open pathways to artificial spin ices, racetracks, microrobots, and a number of additional technological applications.
Joseph Askey +5 more
wiley +1 more source