Results 71 to 80 of about 18,076 (303)
Cahiers Victoriens et Edouardiens, 2020 In his essays and fiction for children, Kingsley champions inductive reason, the process of making generalizations from specific observations, and criticizes deductive reason, the process of arriving at definite conclusions on the basis of general ...
Laura H. Clarke
doaj +1 more source
Strengthening Model Checking Techniques with Inductive Invariants [PDF]
, 2009 This paper describes optimized techniques to efficiently compute and reap benefits from inductive invariants within SAT-based model checking. We address sequential circuit verification, and we consider both equivalences and implications between pairs of ...
Nocco, Sergio +2 more
core
Inductive Logic and Probability [PDF]
, 1972 This paper is a critical exposition of Carnap's and Hintikka's systems of inductive logic. First, Carnap's system of inductive logic is examined in detail, and despite its great virtue with respect to the confirmation of singular predictions, we conclude
内井, 惣七
core +1 more source
Advanced Intelligent Systems, EarlyView.Four decades of retinal vessel segmentation research (1982–2025) are synthesized, spanning classical image processing, machine learning, and deep learning paradigms. A meta‐analysis of 428 studies establishes a unified taxonomy and highlights performance trends, generalization capabilities, and clinical relevance.
Avinash Bansal +6 more
wiley +1 more source
A Hoare logic for the coinductive trace-based big-step semantics of While [PDF]
Logical Methods in Computer Science, 2015 In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for While.
Keiko Nakata, Tarmo Uustalu
doaj +1 more source
American Journal of Community Psychology, EarlyView.Abstract This study employs a schizocartographic approach to explore community narratives of space, memory, and violence in Kraaifontein, Cape Town. Through participants' accounts, ordinary places—gardens, shops, blocks, sports grounds, and streets—emerge as ambivalent geographies where trauma, resilience, and belonging intersect.
Guido Veronese +2 more
wiley +1 more source
Logics for Qualitative Inductive Generalization [PDF]
Studia Logica, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Automatic inductive theorem proving and program construction methods using program transformation [PDF]
, 2007 We present new approaches to prove universally and existentially quantified conjectures and to construct programs from the resulting proofs. These theorem proving and program construction techniques make use of the distillation algorithm to transform ...
Kabir, Md. Humayun
core
On Inductive Generalization in Monadic First-Order Logic With Identity [PDF]
, 1966 The chapter examines the results obtained by means of a system when the relation of identity is used in addition to monadic predicates. The chapter compares the new system of inductive logic sketched by Jaakko Hintikka with Carnap's system.
Hilpinen, Risto, Risto Hilpinen
core +1 more source
Impedance Spectroscopy of Bifurcation Oscillations in S‐Type Self‐Oscillatory Devices
Advanced Physics Research, EarlyView.Impedance spectroscopy (IS) reveals stability regimes and bifurcation dynamics in S‐type self‐oscillatory devices. By linking nonlinear control theory with frequency‐domain measurements, experimental signatures of oscillations, entrainment, and phase locking are directly identified.
Gonzalo Rivera‐Sierra +5 more
wiley +1 more source