Results 41 to 50 of about 927,930 (289)
I4: incremental inference of inductive invariants for verification of distributed protocols
Symposium on Operating Systems Principles, 2019 Designing and implementing distributed systems correctly is a very challenging task. Recently, formal verification has been successfully used to prove the correctness of distributed systems.
Haojun Ma +5 more
semanticscholar +1 more source
Inductive Inference and the Representation of Uncertainty [PDF]
Conference on Uncertainty in Artificial Intelligence, 2013 Publisher Summary This chapter discusses inductive inference and the representation of uncertainty. The form and justification of inductive inference rules depend strongly on the representation of uncertainty.
N. Dalkey
semanticscholar +1 more source
Synthesizing Recursive Logic Programs by Inverting General Resolution
IEEE AccessA fundamental scalability restriction of most Inductive Logic Programming (ILP) systems is that they search syntactically defined program spaces and cannot utilize relations in data.
Taosheng Qiu, Ryutaro Ichise
doaj +1 more source
On Principles of Software Engineering -- Role of the Inductive Inference [PDF]
e-Informatica Software Engineering Journal, 2012 This paper highlights the role of the inductive inference principle in software engineering. It takes the challenge to settle differences and to confront the ideas behind the usual software engineering concepts.
Ladislav Samuelis
doaj
GERIAUSIO PAAIŠKINIMO IŠVEDIMAS. TARP DEDUKCIJOS, INDUKCIJOS IR ABDUKCIJOS
Problemos, 2009 Geriausio paaiškinimo išvedimas (GPI) išskiriamas kaip pagrindinė mokslo hipotezes ir teorijas atrandanti ir pagrindžianti samprotavimo forma. Straipsnyje tiriamas GPI ir jo santykis su pagrindinėmis samprotavimo rūšimis: dedukcija, indukcija ir ...
Adolfas Mackonis
doaj +1 more source
14- to 16-Month-Olds Attend to Distinct Labels in an Inductive Reasoning Task
Frontiers in Psychology, 2017 We examined how naming objects with unique labels influenced infants’ reasoning about the non-obvious properties of novel objects. Seventy 14- to 16-month-olds participated in an imitation-based inductive inference task during which they were presented ...
Susan A. Graham, Jessica L. Switzer
doaj +1 more source
Motives for property, plant and equipment revaluation according to positive accounting theory [PDF]
Zeszyty Teoretyczne Rachunkowości, 2016 The paper identifies motives for property, plant and equipment (PPE) revaluations according to the three main hypotheses proposed by Watts and Zimmerman. Attempt to lower debt-equity ratio is the main motive for PPE revaluation.
Katarzyna Bareja, Magdalena Giedroyć
doaj +1 more source
Collabra: Psychology, 2018 The practice of Significance Testing (ST) remains widespread in psychological science despite continual criticism of its flaws and abuses. Using simulation experiments, we address four concerns about ST and for two of these we compare ST’s performance ...
Joachim I. Krueger, Patrick R. Heck
doaj +1 more source
Topological Separations in Inductive Inference
Theoretical Computer Science, 2013 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Case, J., Kötzing, T.
openaire +2 more sources
Sex Representation in US Stroke Clinical Trials: A Decade of Trends and Challenges
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Stroke remains a major cause of disability and mortality in the US, with significant sex‐based disparities, and females remain underrepresented in stroke clinical trials. We aimed to examine sex representation in US‐based stroke clinical trials, identify trial characteristics associated with higher female enrollment (≥ 50%), and ...
Chaitali Dagli +5 more
wiley +1 more source