Results 101 to 110 of about 225,749 (313)
Cut Elimination for a Logic with Induction and Co-induction [PDF]
, 2010 Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus involving induction and co-induction.
Momigliano, Alberto, Tiu, Alwen
core
Advanced Materials, EarlyView.The Y supersaturation in the [Ba‐Cu(I/II)‐O] transient liquid composition is the driving force toward YBCO nucleation and growth in TLAG. Tuning the initial (Ba:Cu) molar ratio in the ink composition determines the YBCO epitaxial nucleation through supersaturation control.
Lavinia Saltarelli +12 more
wiley +1 more source
Natural Teleology in Hume's "Sceptical Solution"
Journal of Modern Philosophy"Sceptical Solution of these Doubts" is a pivotal moment in Hume's first Enquiry: it provides his account of our warrant for inductive reasoning, and thereby explains how he can consistently move from his "Sceptical Doubts" about induction to his ...
Jonathan Cottrell
doaj +2 more sources
The Brain Networks Basis for Deductive and Inductive Reasoning: A Functional Magnetic Resonance Imaging Study. [PDF]
Basic Clin Neurosci, 2023 Seyyed Hashemi SF +2 more
europepmc +1 more source
In Situ Amine Formation to Modulate MOF‐Derived PdIn N‐Doped Carbon Catalysts
Advanced Materials, EarlyView.An amine‐assisted approach converts PdIn‐MOF into PdIn intermetallic nanoparticles embedded in N‐doped carbon. In situ‐generated amines trigger early Pd nucleation, producing smaller PdIn domains than direct pyrolysis. Amine sterics and basicity tune composition and particle size, while solvent and amine co‐determine textural features.
Gonzalo Egea +9 more
wiley +1 more source
Abella: A System for Reasoning about Relational Specifications
Journal of Formalized Reasoning, 2014 The Abella interactive theorem prover is based on an intuitionistic logic that allows for inductive and co-inductive reasoning over relations. Abella supports the λ-tree approach to treating syntax containing binders: it allows simply typed λ-terms to be
David Baelde +6 more
doaj +1 more source
Advanced Materials, EarlyView.An ion‐regulating membrane is designed with a surface‐concentrated positively‐charged Zn2⁺ crosslinked network for zinc‐manganese flow batteries. The membrane effectively mitigates proton crossover and regulates zinc ion distribution to avoid dendrites, thus significantly improving areal capacity and prolonging the lifespan with a record accumulated ...
Jine Wu, Jiafeng Lei, Yi‐Chun Lu
wiley +1 more source
Children's knowledge of superordinate words predicts subsequent inductive reasoning. [PDF]
J Exp Child Psychol, 2022 Suffill E +3 more
europepmc +1 more source
Perbandingan Pendekatan Contextual Teaching and Learning dan Pendekatan Problem Posing dalam Meningkatkan Kemampuan Penalaran Induktif Matematis Siswa SMP [PDF]
, 2015 Penelitian ini dilatarbelakangi oleh pentingnya kemampuan penalaran induktif matematis siswa dan didorong oleh fakta rendahnya kemampuan penalaran induktif matematis siswa SMP.
Findi, Tanti Yosefin
core
Modelling the Semantic Web using a Type System
, 2015 We present an approach for modeling the Semantic Web as a type system. By using a type system, we can use symbolic representation for representing linked data.
Ciobanu G., Moten R.
core +1 more source