Results 11 to 20 of about 93,680 (316)
Verifying Array Manipulating Programs with Full-Program Induction [PDF]
arXiv, 2020 We present a full-program induction technique for proving (a sub-class of) quantified as well as quantifier-free properties of programs manipulating arrays of parametric size N. Instead of inducting over individual loops, our technique inducts over the entire program (possibly containing multiple loops) directly via the program parameter N ...
Supratik Chakraborty +2 more
openaire +5 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 +15 more sources
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
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
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
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
Induction in component-based software synthesis
Lietuvos Matematikos Rinkinys, 2023 The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method.
Vaidas Giedrimas
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