Results 91 to 100 of about 16,571,812 (297)
Higher-Order Computational Logic
, 2002 This paper presents a case for the use of higher-order logic as a foundation for computational logic. A suitable polymorphically-typed, higher-order logic is introduced and its syntax and proof theory briefly described. In addition, a metric space of closed terms suitable for knowledge representation purposes is presented.
openaire +2 more sources
Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic
, 2018 In this thesis I show is that it is possible to give modular correctness proofs of interesting higher-order imperative programs using higher-order separation logic. To do this, I develop a model higher-order imperative programming language, and develop a
Neelakantan R. Krishnaswami (5469332)
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
Higher-order computational logic
, 2016 This paper presents a case for the use of higher-order logic as a foundation for computational logic. A suitable polymorphically-typed, higher-order logic is introduced and its syntax and proof theory briefly described.
Lloyd, John
core
Binary‐to‐Ternary Reconfigurable Transistors Using Plasma‐Assisted MoS2
Advanced Functional Materials, EarlyView.A binary‐to‐ternary reconfigurable transistor is demonstrated using a dual‐gated molybdenum disulfide homojunction with localized O2 plasma treatment. The device exhibits on/intermediate and intermediate/off current ratios of 102 and 104, respectively, and the intermediate state is electrically tunable in the ternary mode.
Yeonghyeon Ko +7 more
wiley +1 more source
A Scholastic-Realist Modal-Structuralism
Philosophia Scientiæ, 2014 How are we to understand the talk about properties of structures the existence of which is conditional upon the assumption of the reality of those structures?
Ahti-Veikko Pietarinen
doaj +1 more source
A Paraconsistent Higher Order Logic
, 2004 Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical ...
openaire +4 more sources
Disorder‐Broadened Topological Hall Phase and Anomalous Hall Scaling in FeGe
Advanced Functional Materials, EarlyView.By systematically introducing defects into FeGe via ion‐beam modification, we demonstrate that disorder broadens the temperature regime over which the topological Hall effect ‐ a signature of skyrmions or other chiral textures — appears, while also increasing its magnitude.
Chaman Gupta +11 more
wiley +1 more source
Connected components in networks with higher-order interactions
Journal of Physics: ComplexityWe address the problem of defining connected components in hypergraphs, which are models for systems with higher-order interactions. For graphs with dyadic interactions, connected components are defined in terms of paths connecting nodes along the graph.
Gyeong-Gyun Ha +2 more
doaj +1 more source
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
europepmc +1 more source