Results 51 to 60 of about 6,088,727 (313)

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

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, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, Yuting Wang   +6 more
doaj   +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

In Situ Formation of a Melt‐Solid Interface Toward Stable Oxygen Reduction in Protonic Ceramic Fuel Cells

Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.
Protonic ceramic fuel cells offer a promising route to generate power efficiently but face critical challenges in achieving industrially viable activity and stability at their cathodes in CO2‐containing air. This report proposes a new cathode material design strategy to enable the cathode to be both catalytically active and CO2 tolerant through the ...
Desheng Feng, Mengran Li, Vanessa K. Peterson, Rijia Lin, Anita D'Angelo, Olexandra Marenych, Anya Yago, Dominique Appadoo, Tianjiu Zhu, Muhammad Yazid Bin Zulkifli, Shuai Gao, Yuming Wu, Xiaohe Tian, Xiaoyang Du, Zhonghua Zhu   +14 more
wiley   +1 more source

Synthesizing Recursive Logic Programs by Inverting General Resolution

IEEE Access
A 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

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

Self‐Cascade Catalytic Reaction–Assisted Apoptosis/Calcicoptosis/Ferroptosis Induction with Microsphere‐Aggregated Hydrogels in Triple‐Negative Breast Cancer Therapy

Advanced Functional Materials, EarlyView.
Hyaluronic acid‐dopamine‐based intra‐crosslinked microsphere including cisplatin (HPC MS) is fabricated by spray‐drying and calcium/iron ions are introduced for interparticle crosslinking. Designed microsphere‐aggregated hydrogel (MAH) system including cisplatin/CaO2/FeSO4 can provide apoptosis/calcicoptosis/ferroptosis‐mediated chemo/cascade ...
ChaeRim Hwang, Yeoung Eun Choi, Song Yi Lee, Mrinmoy Karmakar, Qiaojun Hao, Junmin Lee, Hyun‐Jong Cho   +6 more
wiley   +1 more source

Confidence Interval Approach to Weather Forecasting with Horizon Based Genetic Programming

Düzce Üniversitesi Bilim ve Teknoloji Dergisi
Being 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

Answer Set Programming for Regular Inference

Applied Sciences, 2020
We propose an approach to non-deterministic finite automaton (NFA) inductive synthesis that is based on answer set programming (ASP) solvers. To that end, we explain how an NFA and its response to input samples can be encoded as rules in a logic program.
Wojciech Wieczorek, Tomasz Jastrzab, Olgierd Unold   +2 more
doaj   +1 more source

Design and Implementation of Switched Capacitor Banks Controlled by a Programmable Logic Controller for Power Factor Improvement of Three-Phase Induction Motors

NUML International Journal of Engineering and Computing, 2023
Industries widely use three-phase inductive loads, such as induction motors, due to their cost-effectiveness, low maintenance, reliability, and durability.
Amir Hamza, Muhammad Awais, Mohammad Hamza, Faiza Ahmad, Zahid ur Rehman   +4 more
doaj   +1 more source