Results 61 to 70 of about 2,965,126 (259)
Advanced Materials, EarlyView.A dual‐functional NiS‐DES interfacial strategy enables highly reversible K2S2/K2S conversion in intermediate‐temperature K‐S batteries by balancing adsorption and activation of intermediates at the catalytic interface, achieving high capacity, long cycle life, and low‐cost energy storage. Abstract Potassium–sulfur (K‐S) batteries hold great promise for
Liying Tian +9 more
wiley +1 more source
Borel Chain Conditions of Borel Posets
Mathematics, 2023 We study the coarse classification of partial orderings using chain conditions in the context of descriptive combinatorics. We show that (unlike the Borel counterpart of many other combinatorial notions), we have a strict hierarchy of different chain ...
Ming Xiao
doaj +1 more source
Comparing theories: the dynamics of changing vocabulary. A case-study in relativity theory
, 2013 There are several first-order logic (FOL) axiomatizations of special relativity theory in the literature, all looking essentially different but claiming to axiomatize the same physical theory. In this paper, we elaborate a comparison, in the framework of
A Tarski +18 more
core +1 more source
Design of a Computable Approximate Reasoning Logic System for AI
Mathematics, 2022 The fuzzy logic reasoning based on the “If... then...” rule is not the inaccurate reasoning of AI against ambiguity because fuzzy reasoning is antilogical. In order to solve this problem, a redundancy theory for discriminative weight filtering containing
Kaidi Liu, Yancang Li, Rong Cui
doaj +1 more source
, 1991 This paper addresses the question of how we can understand reasoning in general and mathematical proofs in particular. It argues the need for a high-level understanding of proofs to complement the low-level understanding provided by Logic.
Bundy, Alan
core +1 more source
Homotopy theoretic models of identity types
, 2007 This paper presents a novel connection between homotopical algebra and mathematical logic. It is shown that a form of intensional type theory is valid in any Quillen model category, generalizing the Hofmann-Streicher groupoid model of Martin-Loef type ...
Awodey, Steve, Warren, Michael A.
core +4 more sources
Overspeed correction scheme for dc motor using artifical intelligent approach [PDF]
, 2013 The conventional PI, PD and PID controllers were used as a control strategy for various industrial processes from many years due to their simplicity in operation.
Bollah, Javadius
core
Topos theory and `neo-realist' quantum theory
, 2007 Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasising the logical aspects.
A. Döring +20 more
core +2 more sources
Deductively Sound Formal Proofs [PDF]
Could the intersection of [formal proofs of mathematical logic] and [sound deductive inference] specify formal systems having [deductively sound formal proofs of mathematical logic]?
Olcott, P.
core
La LÓGICA MATEMÁTICA DESDE LAS DISCIPLINAS CIENTÍFICAS DE INFORMÁTICA
Revista Ingeniería, Matemáticas y Ciencias de la Información, 2019 In this era where social evolution has led humanity to the Information and Knowledge Society, the job of computerengineers is mainly to detect, recognize and solve problems by finding more and more effective computer solutions.
YUDELKIS VALDERRAMA GARRIDO +1 more
doaj +1 more source