Results 61 to 70 of about 205,593 (312)
Definitions by Rewriting in the Calculus of Constructions [PDF]
, 2005 The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules.
Blanqui, Frédéric
core +6 more sources
Advanced Functional Materials, EarlyView.The chemical composition and band alignment are systematically investigated at the TiO2/InP heterointerface. Thin TiO2 films are deposited by ALD on atomically ordered, P‐terminated p‐InP(100). By combining UPS, XPS, and ab initio molecular dynamics, the atomistic structure and electronic alignment are revealed.
Mohammad Amin Zare Pour +11 more
wiley +1 more source
Bimetallic Nanoparticles as Cocatalysts for Photocatalytic Hydrogen Production
Advanced Functional Materials, EarlyView.Recent developments have introduced bimetallic nanoparticles as effective cocatalysts for photocatalytic systems. This review explores the rapidly expanding research on bimetallic cocatalysts for photocatalytic production of hydrogen, emphasizing the creation of carrier‐selective contacts, localized surface plasmon resonance effects, methodologies for ...
Yufen Chen +4 more
wiley +1 more source
A complete natural deduction system for the relational calculus [PDF]
, 1975 A relational calculus is a formal system in which relation is the fundamental concept. The simplest relational calcu1us, that of ordinary binary relations, was introduced by Tarski in [4].
Wadge, William W.
core
forall x: Calgary. An Introduction to Formal Logic [PDF]
, 2021 forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order ...
Button, Tim +4 more
core
Advanced Functional Materials, EarlyView.This study investigates H4TBAPy‐based metal–organic frameworks (MOFs) ‐ NU‐1000, NU‐901, SrTBAPy, and BaTBAPy ‐ for multiphoton absorption (MPA) performance. It observes topology‐dependent variations in the 2PA cross‐section, with BaTBAPy exhibiting the highest activity.
Simon N. Deger +10 more
wiley +1 more source
Advanced Functional Materials, EarlyView.The first cryo‐EM visualization and quantification of oriented Photosystem I (PSI) on single‐layer graphene is reported. Domain‐specific covalent anchoring of PSI, with the reducing side of the biophotocatalyst toward graphene, promotes three‐fold higher anodic photocurrent generation compared to a randomly physisorbed counterpart. This approach allows
Miriam Izzo +6 more
wiley +1 more source
Natural Deduction for Three-Valued Regular Logics [PDF]
, 2016 In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M.
Petrukhin, Yaroslav
core +1 more source
Recursive Neural Networks Can Learn Logical Semantics [PDF]
, 2015 Tree-structured recursive neural networks (TreeRNNs) for sentence meaning have been successful for many applications, but it remains an open question whether the fixed-length representations that they learn can support tasks as demanding as logical ...
Bowman, Samuel R. +2 more
core +1 more source
Understanding Decoherence of the Boron Vacancy Center in Hexagonal Boron Nitride
Advanced Functional Materials, EarlyView.State‐of‐the‐art computations unravel the intricate decoherence dynamics of the boron vacancy center in hexagonal boron nitride across magnetic fields from 0 to 3 T. Five distinct regimes emerge, dominated by nuclear spin interactions, revealing optimal coherence times of 1–20 µs in the 180–350 mT range for isotopically pure samples.
András Tárkányi, Viktor Ivády
wiley +1 more source