Results 91 to 100 of about 2,196,068 (340)
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
A Meta-Logic of Inference Rules: Syntax [PDF]
, 2014 This work was intended to be an attempt to introduce the meta-language for working with multiple-conclusion inference rules that admit asserted propositions along with the rejected propositions.
Citkin, Alex
core +2 more sources
Modular Labelled Sequent Calculi for Abstract Separation Logics
, 2017 separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are "abstract" because they are independent of any particular concrete resource model.
Clouston, Ranald +3 more
core +1 more source
Advanced Functional Materials, EarlyView.CD105‐LNPs and PS‐LNPs can deliver α‐lipoic acid to bone marrow mesenchymal stem cells and bone marrow‐derived macrophages, reversing high glucose‐induced oxidative stress while enhancing osteogenesis and M2 polarization. Integrating both nanoparticles into glucose‐responsive hyaluronic acid hydrogel forms DLNPs@HA hydrogel, which accelerates diabetic ...
Yanzhi Zhao +11 more
wiley +1 more source
Coming to Accounts: Fraud and Muckraking in Charles W. Chesnutt’s The Marrow of Tradition
European Journal of American Studies, 2013 This article traces the rhetoric of accounting in nineteenth-century and early twentieth-century racial discourse, from its initial use by slave traders, to its reinscription (or re-metaphorization) as “fraud” by abolitionists, and finally to its turn-of-
Mark David Kaufman
doaj +1 more source
Post Completeness in Congruential Modal Logics [PDF]
, 2016 Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them.
Fritz, Peter
core
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming
, 2006 In this paper we compare three different formalisms that can be used in the area of models for distributed, concurrent and mobile systems. In particular we analyze the relationships between a process calculus, the Fusion Calculus, graph transformations ...
Lanese, Ivan, Montanari, Ugo
core +3 more sources
Advanced Functional Materials, EarlyView.Herein, the synthesis of Ta₂Pd₃S₈ nanowires is reported via scalable liquid cascade exfoliation and their integration into high‐mobility field‐effect transistors (FETs) and sensitive photodetectors, achieving carrier mobility of up to 27.3 cm2 V⁻¹ s⁻¹ and responsivities of 322.40 A W⁻¹ and 1.85 mA W⁻¹ for single nanowire and network devices ...
Kyung Hwan Choi +13 more
wiley +1 more source
S-Box on Subgroup of Galois Field
Cryptography, 2019 In substitution−permutation network as a cryptosystem, substitution boxes play the role of the only nonlinear part. It would be easy for adversaries to compromise the security of the system without them.
Tariq Shah, Ayesha Qureshi
doaj +1 more source
Preservation of admissible rules when combining logics
, 2016 Admissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics.
Rasga, Joao +2 more
core +1 more source