Results 21 to 30 of about 6,088,727 (313)
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
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
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
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
FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria
AAAI Conference on Artificial Intelligence, 2020 Inductive Logic Programming (ILP) systems aim to find a set of logical rules, called a hypothesis, that explain a set of examples. In cases where many such hypotheses exist, ILP systems often bias towards shorter solutions, leading to highly general ...
Mark Law +4 more
semanticscholar +1 more source
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory [PDF]
Foundations of Software Science and Computation Structure, 2019 Inductive datatypes in programming languages allow users to define useful data structures such as natural numbers, lists, trees, and others. In this paper we show how inductive datatypes may be added to the quantum programming language QPL.
Romain Péchoux +3 more
semanticscholar +1 more source
Induction by Coinduction and Control Operators in Call-by-Name [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper studies emulation of induction by coinduction in a call-by-name language with control operators. Since it is known that call-by-name programming languages with control operators cannot have general initial algebras, interaction of induction ...
Yoshihiko Kakutani, Daisuke Kimura
doaj +1 more source