Results 111 to 120 of about 3,500,861 (360)
A brief text-book of logic and mental philosophy. [PDF]
, 1891 Charles Coppens
openalex +1 more source
Advanced Functional Materials, EarlyView.The influence of postdeposition treatments on the formation of self‐assembling (mono)layers commonly utilized as hole transport layers in perovskite‐based solar cells is thoroughly investigated. The implementation of a washing step and an annealing step at temperatures exceeding the current literature standards leads to an enhanced layer quality and ...
Jann B. Landgraf +14 more
wiley +1 more source
AIP Advances, 2015 The accuracy of a single s-orbital representation of Cu towards enabling multi-thousand atom ab initio calculations of electronic structure is evaluated in this work.
Ganesh Hegde, R. Chris Bowen
doaj +1 more source
3D Concrete Printing of Triply Periodic Minimum Surfaces for Enhanced Carbon Capture and Storage
Advanced Functional Materials, EarlyView.A 3D‐printable and carbon‐capturing concrete is developed by replacing cement with diatomaceous earth (DE), which enhances rheology, provides hierarchical porosity, and serves as a nucleation site for carbonation. Maximum absorption of 488.7 gCO2 kgcement−1 is achieved in 7 days, a 142% increase over conventional concrete, and the triply periodic ...
Kun‐Hao Yu +9 more
wiley +1 more source
Linear logic as a logic of computations
Annals of Pure and Applied Logic, 1994 The author gives a complete computational interpretation of several initial fragments of linear logic and, based on this interpretation, establishes precisely the complexity level of these fragments. He begins with the !-Horn fragment of linear logic, which uses only positive literals, the linear implication, the tensor product \(\otimes\) and the ...
openaire +2 more sources
Advanced Functional Materials, EarlyView.Janus (MoS2) transistors functionalized with sodium alginate (SA) and poly(vinylidene fluoride‐co‐trifluoroethylene) [P(VDF‐TrFE)] exhibit persistent photo‐induced ionic gating, driven by dynamic cation migration at the hybrid interface. This ionic mechanism enables finely tunable photoconductivity and emulates key synaptic plasticity behaviors ...
Yeonsu Jeong +5 more
wiley +1 more source
Temporal Landscapes: A Graphical Temporal Logic for Reasoning
, 2019 We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is similar to the usual first-order logic; what differs is the notion of truth ...
Fong, Brendan +2 more
core
Advanced Functional Materials, EarlyView.In this work, a reconfigurable T‐CMOS inverter based on vertically stacked MoS2 and WSe2 MOSFETs with a gate‐tunable MoS2 resistor, enabling stable ternary logic, is demonstrated. The T‐CMOS inverter supports electrical switching between ternary and binary modes and is further extended to implement ternary NAND (NMIN) and NOR (NMAX) logic gates ...
Changwook Lee +5 more
wiley +1 more source