Results 31 to 40 of about 93,680 (316)
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
Induction of a Hemogenic Program in Mouse Fibroblasts [PDF]
Cell Stem Cell, 2013 Definitive hematopoiesis emerges during embryogenesis via an endothelial-to-hematopoietic transition. We attempted to induce this process in mouse fibroblasts by screening a panel of factors for hemogenic activity. We identified a combination of four transcription factors, Gata2, Gfi1b, cFos, and Etv6, that efficiently induces endothelial-like ...
Pereira, Carlos Filipe +12 more
openaire +3 more sources
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
The Logic of Logic Programming [PDF]
arXiv, 2023 Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarity between prototypical Prolog programs (e.g., member, append, ...) and how inductive definitions are expressed in mathematical text, is not coincidental but essential.
arxiv
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
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 +3 more sources
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 +3 more sources
Inductive Logic Programming for Symbol Recognition [PDF]
2009 10th International Conference on Document Analysis and Recognition, 2009 In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial de- scriptions of symbols, based on a formal description. This work is a first step in this direction and is rather a proof of concept, rather than a fully operational and robust frame- work.
K.C., Santosh +2 more
openaire +4 more sources
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