Results 81 to 90 of about 4,158,085 (300)
Natural Law And Civil Law in John Locke
Aufklärung, 2015 This paper deals with the relationship between natural law and civil law in John Locke’s philosophy. Although renowned scholars have claimed that such a relationship is deductive, this paper will try to show a different interpretation and argue that the ...
Gustavo Hessmann Dalaqua
doaj +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
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle [PDF]
, 2015 We present a new software tool for teaching logic based on natural deduction. Its proof system is formalized in the proof assistant Isabelle such that its definition is very precise. Soundness of the formalization has been proved in Isabelle. The tool is
Jensen, Alexander Birch +2 more
core +1 more source
Completing herbelin's programme [PDF]
, 2007 In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent calculus into a variant of the $\lambda$-calculus, specifically a variant which ...
Espírito Santo, José
core +1 more source
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
Understanding Functional Materials at School
Advanced Functional Materials, EarlyView.This review outlines strategies for effectively teaching nanoscience in schools, focusing on challenges such as scale comprehension and curriculum integration. Emphasizing inquiry‐based learning and chemistry core concepts, it showcases hands‐on activities, digital tools, and interdisciplinary approaches.
Johannes Claußnitzer, Jürgen Paul
wiley +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
Natural Deduction Calculus for First-Order Logic [PDF]
, 2022 Alrubyli, Yazeed
openalex +1 more source
Advanced Functional Materials, EarlyView.This work utilizes poly(heptazine imides) as a model system to demonstrate how fine‐tuning the crystal structure influences the photocatalytic properties of layered carbon nitrides in the hydrogen evolution reaction. In particular, the nature of rotational defects and the hydration shell of cations are key contributors to enhanced hydrogen evolution ...
Diana V. Piankova +11 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A previously unreported coordination motif stabilising single Fe atoms by indigo chelation and pyridyl coordination on Au(111) has been revealed. By using planar tritopic pyridyl linkers (TPyB), extended 2D porous networks of indigo3(TPyB)2Fe6 form. These networks can be crystalline or vitreous and offer an environment where individual coordination ...
Hongxiang Xu +9 more
wiley +1 more source