Results 41 to 50 of about 9,309 (288)

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

Verifying Array Manipulating Programs with Full-Program Induction [PDF]

, 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, Ashutosh Gupta, Divyesh Unadkat   +2 more
openaire   +4 more sources

Lived and care experiences of chronic musculoskeletal shoulder pain in Australian adults: A qualitative study

Arthritis Care &Research, Accepted Article.
Objectives Australian evidence on lived and care experiences of chronic musculoskeletal shoulder pain (CMSP), irrespective of disorder classification or disease, is limited. However, such evidence is important for person‐centred care and informing local service pathways and care guidelines or standards.
Sonia Ranelli, Joanne E. Jordan, Ilana N. Ackerman, Alison Thorpe, Jennifer G. Persaud, Linda J. Woodhouse, Jason Chua, Ben Horgan, Andrew M. Briggs   +8 more
wiley   +1 more source

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

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

Mechanical Behavior and Microstructural Changes Associated with Tensile Deformation above the Martensite Start Temperature during Quenching and Subsequent Partitioning of a Low‐Alloy 37SiB6 Steel

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, Benjamin Bohne, Sven Winter, Marcus Böhme, Martin F.-X. Wagner   +4 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

CALPHAD‐Guided Prediction and Interpretation of Phase Formation in Ta–Mo–Cr–Ti–Al Refractory High‐Entropy Alloys

Advanced Engineering Materials, EarlyView.
This study designs Ta–Mo–Cr–Ti–Al refractory high‐entropy alloys with a disordered body‐centered‐cubic A2 crystal structure aiming for improved ductility, lower density, and oxidation resistance. Four alloy compositions are identified by thermodynamic calculations.
Kateryna Khanchych, Chongchong Tang, Carsten Schroer, Björn Schäfer, Judith Jung, Michael Dürrschnabel, Ute Jäntsch, Bronislava Gorr   +7 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

Logic programming, functional programming, and inductive definitions [PDF]

, 2006
An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs" are not about logic but constitute inductive definitions of sets and relations. A skeletal language design based on these considerations is sketched and a prototype implementation discussed.
Andrew W. Smith, Lawrence C. Paulson
openaire   +3 more sources