Results 51 to 60 of about 87,998 (303)

OntOMat: Toward Ontology‐Based Product and Process Design Engineering and Optimization Solutions Fueling Circular Value Chains

Advanced Engineering Materials, EarlyView.
The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ, Jörg Hohe, Martin Kördel, Michael Giese, Niklas Toffert, Christian Seidel, Olaf Rehme, Patrik Schneider, Oliver Focke, Elie Abi Aoun, Claas Falldorf, Beñat Gutierrez, Alexandra Kühn, Sven Torstrick-von der Lieth, Christoph Herden, Erik Johannsen, Jan‐Uwe R. Schmidt, Felix Winkelmann, Andreas Schott, Daniel Schott   +19 more
wiley   +1 more source

Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation

, 2002
In earlier work it has been shown that finite state CTL model checking of reactive systems can be achieved by a relatively simple interpreter written in tabled logic programming.
Massart, Thierry, Leuschel, Michael
core   +1 more source

Melissus’ and Zeno’s deductive speech

Archai: Revista de Estudos sobre as Origens do Pensamento Ocidental
This paper explores the prosaic deductive style developed by Melissus and Zeno. It first emphasizes the authors’ use of a systematic and reduced vocabulary solely dedicated to a priori deduction.
Mathilde Brémond
doaj   +1 more source

LOGIC METHODS OF EXPRESSION IN HUMANITARIAN KNOWLEDGE

Вісник Харківського національного університету імені В.Н. Каразіна. Серія Філософія, філософські перипетії, 2019
Purpose: finding out the features of logical methods for obtaining conclusions on humanitarian subjects. The task of this scientific research is to analyze the logical paradigmatic aspects of humanitarian knowledge, such as the differences in the ...
Olena M. Yurkevych
doaj   +1 more source

Natural deduction system in paraconsistent setting: proof search for PCont [PDF]

, 2011
This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics.
Bolotov, A., Shangin, V.
core   +1 more source

Distinct Microstructural Characteristic Lengths Defining Notch Fatigue Crack Initiation and Propagation, and Defect Tolerance in Advanced Steels

Advanced Engineering Materials, EarlyView.
Schematic representation of modes of microcrack nucleation, growth and temporary arrestment at different boundaries, with the criteria for crack propagation in three scenarios: (1) large notch, (2) defect/small sharp notch, and (3) long crack. This work revisits and integrates results on the fatigue behavior of advanced bainitic steels (in particular ...
Lucia Morales‐Rivas
wiley   +1 more source

Superlubricity and Corrosion Inhibition Properties of Solvate Ionic Liquids in Hybrid Carbon Fiber Reinforced Plastic–Steel Interfaces

Advanced Engineering Materials, EarlyView.
Solvate ionic liquids lubrication reduced the coefficient of friction by ∼60% compared to dry sliding, reaching steady‐state values as low as 0.04–0.05. Corrosion weight‐loss measurements in 1 M HCl further demonstrated significant inhibition behavior, with only 100 ppm of [Li(G3)][TFSI] (∼68.5 μL/L) reducing corrosion‐product weight loss by 63 ...
Sameh Dabees, Timothy Harte, Bhagya Dharmasiri, Y. Athulya Wickramasingha, David J. Hayne, Daniel J. Eyckens, Luke C. Henderson   +6 more
wiley   +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  

Opinions on management implications

Wildlife Society Bulletin, 2011
The management implications (MI) section of articles in The Journal of Wildlife Management (JWM) and Wildlife Society Bulletin (WSB) is meant to relay transparent, applicable information from researchers to managers.
Fred S. Guthery
doaj   +1 more source

Model‐Guided Design of Paper Membrane Architectures for Controlled Flow and Enhanced Diagnostic Sensitivity

Advanced Engineering Materials, EarlyView.
Geometrical modifications on nitrocellulose membranes can result in observable differences in signal intensity relative to a reference membrane (top and bottom left). Using two reference experiments, we have developed a theoretical model that can reproduce the experimentally observed flow changes and provide information on membrane parameters, e.g ...
Maria Dimaki, Lea Holritz, Winnie E. Svendsen   +2 more
wiley   +1 more source