Results 91 to 100 of about 779,559 (291)
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
Understanding Science Through Knowledge Organizers: An Introduction [PDF]
, 2004 We propose, in this paper, a teaching program based on a grammar of scientific language borrowed mostly from the area of knowledge representation in computer science and logic.
G., Nagarjuna, Kharatmal, Meena
core
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
Strong negation in the theory of computable functionals TCF [PDF]
Logical Methods in Computer ScienceWe incorporate strong negation in the theory of computable functionals TCF, a common extension of Plotkin's PCF and G\"{o}del's system $\mathbf{T}$, by defining simultaneously strong negation $A^{\mathbf{N}}$ of a formula $A$ and strong negation $P^{
Nils Köpp, Iosif Petrakis
doaj +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.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
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
Unprecedented Spin‐Lifetime of Itinerant Electrons in Natural Graphite Crystals
Advanced Functional Materials, EarlyView.Graphite exhibits extraordinary spintronic potential, with electron spin lifetimes reaching 1,000 ns at room temperature ‐ over 100 times longer than graphene‐based devices. Magnetic resonance spectroscopy reveals strong anisotropy: out‐of‐plane spins live 50 times longer than their in‐plane counterparts.
Bence G. Márkus +5 more
wiley +1 more source
An Analysis of Tennenbaum's Theorem in Constructive Type Theory [PDF]
Logical Methods in Computer ScienceTennenbaum's theorem states that the only countable model of Peano arithmetic (PA) with computable arithmetical operations is the standard model of natural numbers.
Marc Hermes, Dominik Kirst
doaj +1 more source
Advanced Functional Materials, EarlyView.Well‐structured graphene hybrid architectures featuring spatially resolved fluorescent properties represent a promising but so‐far elusive synthetic target. A robust and straightforward method for fabricating well‐organized graphene‐dye hybrid nanoassemblies through a combination of reductive patterning and conventional click chemistry is presented ...
Sabrin Al‐Fogra +12 more
wiley +1 more source