Results 61 to 70 of about 70,024 (314)
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
Natural Deduction in a Paracomplete Setting [PDF]
, 2014 In this paper we present the automated proof search technique in natural deduction paracomplete logic. Here, for some statements we do not have evidence to conclude if they are true or false, as it happens in the classical framework.
Bolotov, A., Shangin, V.
core
A generic framework for the analysis and specialization of logic programs
, 2005 The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction and abstract interpretation perspectives.
Albert Albiol, Elvira +2 more
core +1 more source
The Problem-centered Interview
Forum: Qualitative Social Research, 2000 The problem-centered interview (PZI) is a theory-generating method that tries to neutralize the alleged contradiction between being directed by theory or being open-minded so that the interplay of inductive and deductive thinking contributes to ...
Andreas Witzel
doaj
Fatigue Crack Initiation and Growth in Nanocrystalline Ni at Multiple Length‐Scales
Advanced Engineering Materials, EarlyView.Overview of miniaturized in situ SEM fatigue setup and resultant fatigue crack growth data for nanocrystalline Ni. The presented study focuses on the analysis of fatigue crack growth rate (FCGR) in focused ion beam‐notched microcantilevers prepared from nanocrystalline (NC) Ni as a model material.
Igor Moravcik +7 more
wiley +1 more source
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
, 2004 The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages.
Vanhoof, Wim; id_orcid +5 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
On the Complexity of the Natural Deduction Proof Search Algorithm [PDF]
, 2017 We present our first account of the complexity of natural deduction proof search algorithms. Though we target the complexity for natural deduction for temporal logic, here we only tackle classical case, comparing the classical part of the proof search ...
Bolotov, A. +2 more
core
Legal analogy as an alternative to the deductive model of legal reasoning
Przegląd Prawniczy Uniwersytetu im. Adama Mickiewicza, 2016 This article demonstrates the inadequacy of legal deduction as a method that guarantees the certainty and predictability of law and its outcomes in concrete instances.
Maciej Koszowski
doaj +1 more source
Soft Mechanical‐Electrical Logic Using Liquid Metal‐Filled 3D‐Printed Architectures
Advanced Engineering Materials, EarlyView.We present 3D‐printed soft mechanical–electrical logic elements that use liquid metal–filled silicone tubes actuated by thermoplastic polyurethane/polylactic acid (TPU/PLA) architectures to produce Boolean operations. Complementary normally open and normally closed unit cells perform repeatable binary transitions and can be combined into more complex ...
Christoph Lehmann +2 more
wiley +1 more source