Results 61 to 70 of about 735,212 (267)
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
Demonstration of an All‐Optical AND Gate Mediated by Photochromic Molecules
Advanced Functional Materials, EarlyView.A logic AND gate that runs on photons is demonstrated. It relies on two spatially separated photochromic molecules that work in tandem. Abstract The realization of a photonic logic AND gate, i.e. a logic AND gate that runs on photons rather than electrons, and where all steps are controlled by light, is demonstrated. In a proof‐of‐principle experiment,
Heyou Zhang +7 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
Double Helical Plasmonic Antennas
Advanced Functional Materials, EarlyView.Plasmonic double helical antennas funnel circularly polarized light to the nanoscale, offering strong chiroptical interaction and directional light emission. Extending a single helix design tool, this study combines numerical modeling with experimental validation, revealing large, broadband dissymmetry factors in the visible range.
Aleksei Tsarapkin +7 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A stretchable and superhydrophobic pF1V1 polymer layer is conformally coated on Zn metal via iCVD, forming a water‐repelling interphase that inhibits the hydrogen evolution reaction. This tailored interface maintains excellent electrolyte compatibility while suppressing dendrite growth, thereby enhancing the long‐term electrochemical stability of Zn ...
Jaeyeon Lee +12 more
wiley +1 more source
Ferroelectricity in Single‐Crystalline BaTiO3 Nanodisks on Silicon
Advanced Functional Materials, EarlyView.Ferroelectricity is studied in 20 nm thick single crystalline BaTiO3 nanodisks when scaling their diameter from ≈ 400 down to 100 nm. For 100 nm diameter, the vertical polarization component adopts three distinct patterns, and the lateral one shows a rotational invariance in‐plane, suggesting a combination of center‐type and flux‐closure domains.
Ibukun Olaniyan +9 more
wiley +1 more source
Advanced Functional Materials, EarlyView.This work demonstrates ultrafast, field‐free spin–orbit torque (SOT) switching using a PtTe2/WTe2/CoFeB multilayer, achieving sub‐nanosecond magnetization reversal with record‐low energy consumption. The PtTe2/WTe2 bilayer generates an intrinsic out‐of‐plane spin current, enabling deterministic switching without external fields.
Qu Yang +7 more
wiley +1 more source
Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences [PDF]
, 2022 Amit K. Shukla
openalex +1 more source
The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs [PDF]
The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of ...
Helder Coelho +2 more
core
Advanced Functional Materials, EarlyView.Many known diseases arise from dysregulated gene expression, and differentially expressed genes can serve as biomarkers to distinguish diseased cells from healthy tissues. In this study, reconfigurable nucleic acid nanoparticles (recNANPs) are introduced that can detect overexpressed cancer biomarkers and subsequently release RNAi inducers to silence ...
Yelixza I. Avila +7 more
wiley +1 more source