Results 11 to 20 of about 9,309 (288)
Family weight management in rural U.S. communities: a mixed methods study of parent and child perspectives [PDF]
BMC Public HealthBackground Effective treatments are available to address the rising prevalence of childhood obesity in the U.S. Families in rural communities face unique barriers to accessing and engaging in these programs.
Alyssa Button +8 more
doaj +2 more sources
The Inductive Constraint Programming Loop [PDF]
IEEE Intelligent Systems, 2016 Constraint programming is used for a variety of real-world optimisation problems, such as planning, scheduling and resource allocation problems. At the same time, one continuously gathers vast amounts of data about these problems. Current constraint programming software does not exploit such data to update schedules, resources and plans.
Bessiere, Christian +9 more
openaire +10 more sources
Extending Coinductive Logic Programming with Co-Facts [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning.
Davide Ancona +2 more
doaj +1 more source
Knowledge Discovery in Variant Databases Using Inductive Logic Programming
Bioinformatics and Biology Insights, 2013 Understanding the effects of genetic variation on the phenotype of an individual is a major goal of biomedical research, especially for the development of diagnostics and effective therapeutic solutions.
Hoan Nguyen +3 more
doaj +2 more sources
Higher Inductive Types in Programming [PDF]
Journal of Universal Computer Science, 2017 JUCS - Journal of Universal Computer Science Volume Nr.
Basold,Henning +2 more
openaire +3 more sources
Program Logics for Homogeneous Generative Run-Time Meta-Programming [PDF]
Logical Methods in Computer Science, 2015 This paper provides the first program logic for homogeneous generative run-time meta-programming---using a variant of MiniML by Davies and Pfenning as its underlying meta-programming language.
Martin Berger, Laurence Tratt
doaj +1 more source
The potential of Large Language Models in language education
Освітній вимір, 2021 This editorial explores the potential of Large Language Models (LLMs) in language education. It discusses the role of LLMs in machine translation, the concept of ‘prompt programming’, and the inductive bias of LLMs for abstract textual reasoning.
Vita A. Hamaniuk
doaj +1 more source
Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Explaining Biases in Machine Learning
Computers, 2021 Machine learning methods are growing in relevance for biometrics and personal information processing in domains such as forensics, e-health, recruitment, and e-learning.
Alfonso Ortega +6 more
doaj +1 more source
Experiences of Middle School Programming in an Online Learning Environment
Behavioral Sciences, 2022 This small-scale qualitative study aimed to explore learning programming through online experiences among middle school students in a school for girls in Saudi Arabia.
Reem Alebaikan +4 more
doaj +1 more source
Learning as program induction [PDF]
, 2018 The notion that the mind approximates rational (Bayesian) inference has had a strong influence on thinking in psychology since the 1950s. In constrained scenarios, typical of psychology experiments, people often behave in ways that approximate the dictates of probability theory.
Neil R Bramley +3 more
openaire +4 more sources