Results 21 to 30 of about 7,776,605 (218)

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

Deductive and Abductive Reasoning with Causal and Evidential Information [PDF]

, 2020
In this paper, we propose the information graph (IG) formalism, which provides a precise account of the interplay between deductive and abductive inference and causal and evidential information.
Bistarelli, Stefano, Santini, Francesco, Sub Intelligent Systems, Wieten, G.M., Renooij, S., Intelligent Systems, Prakken, Henry, Bex, F.J., Prakken, H., Taticchi, Carlo   +9 more
core   +2 more sources

Investigating the Effect of Inclination Angle and the Influence of Scan Parameters on the Appearance and Thermal and Mechanical Properties of Filigree Tension Rods of LPBF‐Manufactured NiTi Shape‐Memory Alloys

Advanced Engineering Materials, EarlyView.
This article investigates the dependence of the properties on the manufacturing orientation in the form of the inclination angle to the build plate of LPBF‐fabricated NiTi rods with a diameter of 150–220 µm. Metallographic, chemical, thermal, and mechanical characterization show behavior under identical manufacturing conditions that ranges from ...
Sandra Herzig, Michael Werner, Christian Rotsch   +2 more
wiley   +1 more source

Annihilators and deductive systems in commutative Hilbert algebras [PDF]

, 2002
summary:The properties of deductive systems in Hilbert algebras are treated. If a Hilbert algebra $H$ considered as an ordered set is an upper semilattice then prime deductive systems coincide with meet-irreducible elements of the lattice $\operatorname ...
Chajda, I., Halaš, R., Jun, Y. B.
core  

Electrospun Wood‐Derived Biopolymers as Electrodes in Electrochemical Energy Storage Technologies

Advanced Functional Materials, EarlyView.
Electrospinning transforms wood‐derived cellulose and lignin into architecturally defined, binder‐free carbon electrodes with tuneable porosity and functionality. This review shows how fibre design enables decoupled charge and mass transport, enhancing performance across battery systems, while identifying key challenges in spinnability, scalability ...
Michael W. Thielke, Hattie R. Chisnall, Jesus Vazquez Chavez, Ana B. Jorge Sobrido   +3 more
wiley   +1 more source

Perceptions, Reporting, and Responses to Depression Among Black Sub-Saharan African Immigrant Adults in the United States: A Scoping Review

Nursing Reports
Background: Black Sub-Saharan African immigrants are among the fastest-growing immigrant populations in the United States, and their mental health needs, particularly with respect to depression, remain understudied.
Kechi Iheduru-Anderson, Christiana O. Akanegbu, Chimezie J. Agomoh, Roop C. Jayaraman   +3 more
doaj   +1 more source

Modal Labelled Deductive Systems [PDF]

, 1995
We present a formalization of propositional modal logic in the framework of Labelled Deductive Systems (LDS) in which modal theory is presented as a "configuration" of several "local actual worlds". We define a natural deduction style
Alessandra Russo, Russo, Alessandra
core   +1 more source

Cellular Responses to Mechanical Cues Across Scales: From Fundamental Insights to Translational Potential

Advanced Healthcare Materials, EarlyView.
This review examines how cellular behavior is regulated by mechanical cues transmitted through soft biomaterials, from single‐cell mechanosensing to tissue‐level adaptation. It highlights why physiological relevance, rather than model complexity alone, is critical for translational mechanobiology and introduces a scoring framework linking material ...
Mathias Polz, Manuel P. Kainz, Niklas Haider, Theresa Rienmüller, Kerstin Lenk, Rupert Kargl, Michele Terzano, Gerhard Sommer, Gerhard A. Holzapfel, Julia Fuchs   +9 more
wiley   +1 more source

Role of Liquid Composition in the Transient Liquid Assisted Growth of Superconducting YBa2Cu3O7‐δ Films

Advanced Materials, EarlyView.
The Y supersaturation in the [Ba‐Cu(I/II)‐O] transient liquid composition is the driving force toward YBCO nucleation and growth in TLAG. Tuning the initial (Ba:Cu) molar ratio in the ink composition determines the YBCO epitaxial nucleation through supersaturation control.
Lavinia Saltarelli, Diana García, Laia Soler, Elzbieta Pach, Kapil Gupta, Daniel Sanchez‐Rodriguez, Jordi Aguilar, Víctor Fuentes, Eduardo Solano, Cristian Mocuta, Jordi Farjas, Xavier Obradors, Teresa Puig   +12 more
wiley   +1 more source

Deductive systems and finite axiomatization properties

, 1994
The notions of a deductive system, equational logic and Gentzen system can be generalized into the notion of a K-deductive system. A universal Horn logic is also a K-deductive system.
Pałasińska, Katarzyna
core   +1 more source