Results 31 to 40 of about 9,309 (288)
International Journal of Evidence Based Coaching and Mentoring, 2020 This qualitative study explored the coaching-related experiences of clients (parents who were overweight/obese) and coaches who participated in a 3-month obesity intervention.
Shazya Karmali +10 more
doaj +1 more source
IEEE Access, 2022 The design and optimization of coils for Inductive Power Transfer (IPT) systems is an iterative process conducted in Finite Element (FE) tools that takes a lot of time and computational resources.
Alberto Delgado +9 more
doaj +1 more source
A programming language for the inductive sets, and applications [PDF]
DAIMI Report Series, 1982 We introduce a programming language IND that generalizes alternating Turing machines to arbitrary first-order structures. We show that IND programs (respectively, everywhere-halting IND programs, loop-free IND programs) accept precisely the inductively definable (respectively, hyperelementary, elementary) relations. We give several examples showing how
Dexter Kozen, David Harel
openaire +4 more sources
BMC Bioinformatics, 2012 Background There is a need for automated methods to learn general features of the interactions of a ligand class with its diverse set of protein receptors. An appropriate machine learning approach is Inductive Logic Programming (ILP), which automatically
A Santos Jose C +4 more
doaj +1 more source
Inductive Logic Programming [PDF]
, 2011 Inductive logic programming is the subfield of machine learning that uses first order logic to represent hypotheses and data. Because first order logic is expressive and declarative, inductive logic programming specfically targets problems involving structured data and background knowledge. Inductive logic programming tackles a wide variety of problems
openaire +2 more sources
MathematicsSome knowledge bases (KBs) extracted from Wikipedia articles can achieve very high average precision values (over 95% in DBpedia). However, subtle mistakes including inconsistencies, outliers, and erroneous relations are usually ignored in the ...
Yan Wu +3 more
doaj +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
Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models. We reduce the problem of search for best clauses to instances of the High-Utility Itemset Mining (HUIM) problem.
Farhad Shakerin
doaj +1 more source
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants [PDF]
, 2023 AbstractEssential tasks for the verification of probabilistic programs include bounding expected outcomes and proving termination in finite expected runtime. We contribute a simple yet effective inductive synthesis approach for proving such quantitative reachability properties by generating inductive invariants on source-code level.
Kevin Batz +5 more
openaire +4 more sources
Arthritis Care &Research, EarlyView.Objective This study aimed to identify themes contributing to resilience in childhood‐onset systemic lupus erythematosus (cSLE), distinguish between profiles of resilience, and examine how they relate to underlying themes and patient characteristics. Methods We conducted a mixed‐methods study of 21 patients with cSLE aged 11 to 19 years at a Canadian ...
Isabella Zaffino +12 more
wiley +1 more source