Results 91 to 100 of about 16,840,789 (262)
Ambient‐Stable Transparent P‐Type CuI Transistors Via Room‐Temperature Pulsed Laser Deposition
Advanced Functional Materials, EarlyView.An in situ PLD fabricated AlOx${\rm AlO}_x$/CuI/AlOx${\rm AlO}_x$ sandwich structure enables stable CuI TFTs with a field‐effect mobility of 2.3 ±$\pm$ 0.7 cm2${\rm cm}^{2}$ V−1${\rm V}^{-1}$ s−1${\rm s}^{-1}$ and excellent ambient stability. Complementary inverters based on CuI:Rb and ZnO:Al exhibit rail‐to‐rail voltage transfer characteristics and an
Yang Chen +5 more
wiley +1 more source
Certificate of Incorporation of the Order of the First Families of Virginia, 1607-1620
, 1913 Includes a copy of the certificate of incorporation of the Order of the First Families of Virginia dated May 7, 1913. Also contains signed statement by George M.
Order of the First Families of Virginia, 1607-1620
core
Towards abductive reasoning in first-order logic
, 2006 Abductive problems have been widely studied in propositional logic. First order abduction, however, has been viewed as intractable, for the undecidability of logical consequence.
Reyes-Cabello, AL +2 more
core +1 more source
The road to modern logic - an interpretation [PDF]
, 2001 This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic.
Ferreirós Domínguez, José Manuel
core +1 more source
Advanced Functional Materials, EarlyView.The design of intrinsically robust stretchable semiconducting polymers was achieved through OTBS‐mediated post‐functionalization of PDPP2T side chains with UPy units, generating dual hydrogen‐bonding motifs comprising weaker urethane linkages and strong quadruple UPy interactions along the long alkyl side chain, which is crucial for achieving desirable
Dinda Bazliah +7 more
wiley +1 more source
Fragments of Spider Diagrams of Order and their Relative Expressiveness [PDF]
, 2010 Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparisons with other notations. Various expressiveness results for diagrammatic logics are
Simon Thompson +7 more
core +1 more source
Advanced Functional Materials, EarlyView.This Perspective highlights atom probe tomography as a powerful tool for understanding the atomic‐scale defect chemistry in HfO2‐based ferroelectrics. 3D mapping of dopants, point defects, and interface chemistry can provide new insight into defect‐driven mechanisms underpinning the ferroelectricity in the system and guide the design of more reliable ...
Kasper Hunnestad +3 more
wiley +1 more source
Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ?
Philosophia Scientiæ, 2005 Is IF logic the true elementary logic, as Hintikka claims? Moreover is it truly elementary, viz. first-order, in the first place? One is tempted to answer no, because of the extraordinary power of this logic in comparison with ordinary first-order logic.
Philippe de Rouilhan
doaj +1 more source
Advanced Functional Materials, EarlyView.A low‐viscosity, soft‐solvating methyl ethanoate (ME)‐based electrolyte facilitates electrolyte infiltration into dense dry‐processed ultra‐thick NCM622 cathodes while reducing Li+ desolvation barriers at Li‐metal anodes. Balanced cathode‐scale ion transport and anode‐side interfacial kinetics mitigate concentration polarization and interfacial ...
Jae Bin Park +11 more
wiley +1 more source
Introduction to categories and categorical logic [PDF]
, 2009 Working paper, submitted at Cornell University Library Archive on the 7th of February 2011. Available via http://arxiv.org/abs/1102.1313v196 pages96 pages96 pages96 pagesThe aim of these notes is to provide a succinct, accessible introduction to some of ...
Abramsky, S +7 more
core +1 more source