Results 31 to 40 of about 133,077 (308)

Clients’ and Coaches’ Perspectives of a Life Coaching Intervention for Parents with Overweight/Obesity

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, Danielle S. Battram, Shauna M. Burke, Anita Cramp, Tara Mantler, Don Morrow, Victor Ng, Erin S. Pearson, Robert Petrella, Patricia Tucker, Jennifer D. Irwin   +10 more
doaj   +1 more source

Sequent Calculus and Equational Programming [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of type theory and involves eliminators, while the other provides a syntax in equational style. We
Nicolas Guenot, Daniel Gustafsson
doaj   +1 more source

Structural Resolution with Co-inductive Loop Detection [PDF]

, 2017
A way to combine co-SLD style loop detection with structural resolution was found and is introduced in this work, to extend structural resolution with co-induction.
Li, Yue
core   +2 more sources

An Inductive Logical Model with Exceptional Information for Error Detection and Correction in Large Knowledge Bases

Mathematics
Some 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, Xiao Lin, Haojie Lian, Zili Zhang   +3 more
doaj   +1 more source

Day/night variations of myeloid and lymphoid cell subsets in the murine inguinal lymph node

FEBS Open Bio, EarlyView.
The circadian system is involved in the temporal regulation of the immune system. Our study reveals that two innate immune populations, NKT cells and neutrophils, predominate at the beginning of the day in healthy mice, highlighting how the time of day influences immune responses.
Paula M. Wagner, César G. Prucca, Lucia Boffelli, Virginia A. Piqueras, Silvia G. Correa, Mariana Maccioni, Mario E. Guido   +6 more
wiley   +1 more source

Automated identification of protein-ligand interaction features using Inductive Logic Programming: a hexose binding case study

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, Nassif Houssam, Page David, Muggleton Stephen H, E Sternberg Michael J   +4 more
doaj   +1 more source

Self and Mutual Inductance Behavioral Modeling of Square-Shaped IPT Coils With Air Gap and Ferrite Core Plates

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, Giulia Di Capua, Kateryna Stoyka, Lixin Shi, Nicola Femia, Antonio Maffucci, Salvatore Ventre, Pedro Alou, Jesus Angel Oliver, Jose Antonio Cobos   +9 more
doaj   +1 more source

Explaining clusters with inductive logic programming and linked data [PDF]

, 2013
Knowledge Discovery consists in discovering hidden regularities in large amounts of data using data mining techniques. The obtained patterns require an interpretation that is usually achieved using some background knowledge given by experts from several ...
d'Aquin, Mathieu, Motta, Enrico, Tiddi, Ilaria   +2 more
core  

Impact of a senior research thesis on students' perceptions of scientific inquiry in distinct student populations

FEBS Open Bio, EarlyView.
This study addressed how a senior research thesis is perceived by undergraduate students. It assessed students' perception of research skills, epistemological beliefs, and career goals in Biochemistry (science) and BDC (science‐business) students. Completing a thesis improved confidence in research skills, resilience, scientific identity, closed gender‐
Celeste Suart, Haley L. Zubyk, Michelle Ogrodnik, Caitlin E. Mullarkey, Felicia Vulcu   +4 more
wiley   +1 more source

EVALUATION OF AN INDUCTIVE STRATEGY OF TEACHING MUSIC AND PROGRAMMING TO PRIMARY SCHOOL STUDENTS

Інформаційні технології і засоби навчання
The traditional teaching strategies have deductive characteristics, while the modern ones have inductive characteristics. But inductive teaching strategies are not always appreciated or recommended in any educational context.
Marius Bănuț, Ion Albulescu
doaj   +1 more source