Results 111 to 120 of about 205,593 (312)
Advanced Materials, EarlyView.Aggregation‐induced emission strategy is first used to overcome aggregation‐caused quenching in Y‐series acceptors. By integrating tetraphenylethylene, the dTPE exhibits three‐fold PLQY enhancement and significantly suppressed non‐radiative energy loss. An ultra‐low Eloss of 0.130 eV and a record VOC of 0.93 V are achieved, resulting in a PCE over 20.5%
Yingze Zhang +18 more
wiley +1 more source
, 2008 It is argued that the meaning of the modal connectives must be given inferentially, by the rules for the assertion of formulae containing them, and not semantically by reference to possible worlds.
Stephen, Read
core
Advanced Materials, EarlyView.By introducing FeCoNi medium‐entropy alloy, the bismuth sulfide (Bi2S3) material achieves a record‐high ZT of 1.1 at 773 K, owing to the solid‐states replacement reaction and the volatilization of low melting‐point metal. This strategy is also applicable to other sulfur‐based thermoelectric materials.
Zi‐Yuan Wang +9 more
wiley +1 more source
Parsing as natural deduction [PDF]
Proceedings of the 27th annual meeting on Association for Computational Linguistics -, 1989 The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an example for a natural deduction1 style parsing method.In natural language processing, the task of a parser usually consists in finding derivations for all different readings of a sentence.
openaire +1 more source
NADIA - Natural DeductIon proof Assistant
, 2022 Davi Romero de Vasconcelos +2 more
openalex +2 more sources
Light Switchable Ionic Conductivity of Arylazopyrazole Modified Polysiloxanes
Advanced Materials Technologies, EarlyView.We present a polysiloxane functionalized with a novel arylazopyrazole dye that undergoes reversible photoisomerization. Upon lithium bis(trifluoromethanesulfonyl)imide addition and UV irradiation, the polymer exhibits a shift in tan(d) toward higher frequencies and enhanced ionic conductivity.
Malte S. Beccard +7 more
wiley +1 more source
Advanced Optical Materials, Volume 13, Issue 8, March 13, 2025.This study investigates the stimulus‐responsive behavior of trialkylated triazatruxene dimers for third‐generation luminescent security inks. In particular, the derivative with flexible dodecyl chains displays high‐contrast, reversible color changes upon heating or shear, driven by liquid crystalline phase transitions and involving J ...
Raúl Martín +7 more
wiley +1 more source
On the Complexity of the Natural Deduction Proof Search Algorithm [PDF]
, 2017 We present our first account of the complexity of natural deduction proof search algorithms. Though we target the complexity for natural deduction for temporal logic, here we only tackle classical case, comparing the classical part of the proof search ...
Bolotov, A. +5 more
core
A Natural Deduction System for First Degree Entailment [PDF]
, 1999 Allard Tamminga, Koji Tanaka
openalex +1 more source
Natural deduction theorem proving via higher-order resolution
, 2021 Lawrence C. Paulson
openalex +1 more source