Results 41 to 50 of about 87,998 (303)
Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization
Advanced Engineering Materials, EarlyView.Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier +17 more
wiley +1 more source
Future directions of automated deduction: Distributed automated deduction (Position paper)
, 1996 Distributed automated deduction is concerned with the design and realization of strategies where multiple deductive processes work concurrently towards the solution of theorem-proving ...
BONACINA, Maria Paola
core +1 more source
Tópicos, 2015 The first objective of this paper is to present an interpretation of Groundwork III which aims to establish two main points: first, that Kant offers there a theoretically-grounded deduction (in Kantian sense) of freedom/morality-as-autonomy; second, that
Fernando Rudy Hiller
doaj +1 more source
Automating natural deduction for temporal logic [PDF]
, 2007 We present our recent work on the construction of natural deduction calculi for temporal logic. We analyse propositional linear-time temporal logic (PLTL) and Computation Tree Logic (CTL) and corresponding proof searching algorithms.
Bolotov, A., Grigoriev, O., Shangin, V.
core
, 2013 This volume contains the papers presented at the 24th International Conference on Automated Deduction (CADE-24), held June 9-14, 2013, in Lake Placid, New York, USA.
Bonacina, Maria Paola
core +1 more source
07401 Abstracts Collection – Deduction and Decision Procedures [PDF]
, 2007 From 01.10. to 05.10.2007, the Dagstuhl Seminar 07401 ``Deduction and Decision Procedures'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Giesl, Jürgen +3 more
core +1 more source
Current Status and Challenges in Data Collection for Aerospace Coatings Deposited by Plasma Spraying
Advanced Engineering Materials, EarlyView.An innovative approach has been integrated into the GRENAT project to optimize plasma spraying and coating performance. Raw materials are accelerated and melted in the plasma generated by torches, creating coatings. Monitoring sensors collect process data which are combined with ex situ characterization data.
Lila Randriamananjara +8 more
wiley +1 more source
Theory Building in Qualitative Research: Reconsidering the Problem of Induction
Forum: Qualitative Social Research, 2013 The problem of induction refers to the difficulties involved in the process of justifying experience-based scientific conclusions. More specifically, inductive reasoning assumes a leap from singular observational statements to general theoretical ...
Pedro F. Bendassolli
doaj
Deduction in Non-Fregean Propositional Logic SCI
Axioms, 2019 We study deduction systems for the weakest, extensional and two-valued non-Fregean propositional logic SCI . The language of SCI is obtained by expanding the language of classical propositional logic with a new binary connective ≡ that ...
Joanna Golińska-Pilarek +1 more
doaj +1 more source