Results 51 to 60 of about 6,301,735 (343)
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
Structural abstract interpretation, A formal study using Coq [PDF]
, 2008 interpreters are tools to compute approximations for behaviors of a program. These approximations can then be used for optimisation or for error detection. In this paper, we show how to describe an abstract interpreter using the type-theory based theorem
Bertot, Yves
core +3 more sources
SkILL - a Stochastic Inductive Logic Learner
, 2015 Probabilistic Inductive Logic Programming (PILP) is a rel- atively unexplored area of Statistical Relational Learning which extends classic Inductive Logic Programming (ILP).
Côrte-Real, Joana +3 more
core +1 more source
A Unifying Framework for Analysis and Evaluation of Inductive Programming Systems
, 2009 In this paper we present a comparison of several inductive programming (IP) systems. IP addresses the problem of learning (recursive) programs from incomplete specifications, such as input/output examples.
M. Hofmann, E. Kitzelmann, Ute Schmid
semanticscholar +1 more source
Osteogenic Effects of Ion Released from Biodegradable Metallic Magnesium and Calcium Coating
Advanced Biology, EarlyView.This study explores how magnesium–calcium coatings on titanium promote osteogenesis by releasing ions and elevating pH during degradation. Using osteoblast‐like cells, the research demonstrates that both ion release and pH changes contribute to cell proliferation, differentiation, and mineralization, offering new insights into the design of bioactive ...
Risa Miyake +4 more
wiley +1 more source
Synthesizing Recursive Logic Programs by Inverting General Resolution
IEEE AccessA fundamental scalability restriction of most Inductive Logic Programming (ILP) systems is that they search syntactically defined program spaces and cannot utilize relations in data.
Taosheng Qiu, Ryutaro Ichise
doaj +1 more source
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
Advanced Engineering Materials, EarlyView.A new experimental setup, incorporating digital image correlation and infrared thermography in combination with inductive‐conductive heating for precise temperature control, is used to analyze the mechanical behavior and microstructural changes of sheet metal under complex thermomechanical test conditions that represent quench and partitioning ...
Christian Illgen +4 more
wiley +1 more source
Confidence Interval Approach to Weather Forecasting with Horizon Based Genetic Programming
Düzce Üniversitesi Bilim ve Teknoloji DergisiBeing able to forecast events has always been important for humans. Humans did forecasting by inspecting movements of material and non-material objects in ancient times.
Ömer Mintemur
doaj +1 more source
Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models. We reduce the problem of search for best clauses to instances of the High-Utility Itemset Mining (HUIM) problem.
Farhad Shakerin
doaj +1 more source