Results 111 to 120 of about 33,111 (254)

Creep‐Induced Microstructural Evolution in an A2‐B2 Superalloy

Advanced Engineering Materials, EarlyView.
A 27.3Ta‐27.3Mo‐27.3Ti‐8Cr‐10Al (at.%) refractory high‐entropy alloy with precipitation‐strengthened A2‐B2 microstructure was studied by creep tests at 1030°C, which demonstrate a transition in deformation mechanisms in the range of 100–150 MPa applied stress. This is associated with changes in dislocation–precipitate interactions. Relevant deformation
Liu Yang, Aparajita Pramanik, Sandipan Sen, Shubhashis Dixit, Marcel Muench, R. J. Vikram, Daniel Schliephake, Yolita M. Eggeler, Ankur Chauhan, Martin Heilmaier, Alexander Kauffmann   +10 more
wiley   +1 more source

Creep Properties and Deformation Mechanism of Additively Manufactured NiAl‐CrMo Composites

Advanced Engineering Materials, EarlyView.
Additively manufactured NiAl‐CrMo composites contain numerous interfaces and cell boundaries that control their creep response. At 700°C under high applied stress, creep is dominated by dislocation‐controlled power‐law mechanisms. At 800°C–900°C and lower stresses, creep is primarily diffusion‐controlled along cell boundaries.
Jan Vollhüter, Andreas Bezold, Johan Westraadt, Katharina Fiegl, Subham Chattoraj, Benjamin Wahlmann, Carolin Körner, Michael Mills, Mathias Göken, Steffen Neumeier   +9 more
wiley   +1 more source

Mixed symbolic representations for model checking software programs

, 2006
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition relation and reachable states and uses a combination of decision procedures ...
Franjo Ivančić, Chao Wang, Aarti Gupta, Zijiang Yang   +3 more
core  

SymbolNet: Bridging Latent Neural Representations and Symbolic Reasoning via Intermediate Feature Interpretation

IEEE Access
The interpretation of intermediate representations in deep neural networks is critical for enhancing the transparency, trustworthiness, and applicability of artificial intelligence (AI) systems.
Sungheon Jeong, Hyungjoon Kim, Yoojeong Song   +2 more
doaj   +1 more source

Nothing to dance about: unclear evidence for symbolic representations and numerical competence in honeybees. A Comment on: Symbolic representation of numerosity by honeybees (Apis mellifera): matching characters to small quantities. [PDF]

Proc Biol Sci, 2020
Shaki S, Fischer MH.
europepmc   +1 more source

Optimization of the Production of Rubber Compounds Using Mathematical Models

Advanced Engineering Materials, EarlyView.
Rubber compounds were mixed in a batch internal mixer, and symbolic regression was used to derive mathematical models linking recipe and process parameters to ram path, torque, and mixing quality (incorporation, dispersion, distribution). Subsequent optimization with evolutionary algorithms identified operating conditions that reduce specific energy ...
Anke Bardehle, Andreas Limper, Ulrich Giese, Carlos Lucke, Mario Beiner, Christoph Gögelein, Lisa Leuchtenberger‐Engel, Christian Hopmann   +7 more
wiley   +1 more source

Workflow for Design of Experiments‐Based Modeling of Species Transport and Growth Kinetics in GaN Hydride Vapor Phase Epitaxy

Advanced Engineering Materials, EarlyView.
A novel workflow for investigating hydride vapor phase epitaxy for GaN bulk crystal growth is proposed. It combines Design of experiments (DoE) with physical simulations of mass transport and crystal growth kinetics, serving as an intermediate step between DoE and experiments.
J. Tomkovič, G. Lukin, H. Torkashvand, A. Kerschbaum, M. Müller, S. Besendörfer, J. Heitmann, J. Friedrich   +7 more
wiley   +1 more source

The representations of numbers : from the non-symbolic to the symbolic numerical systems

, 2011
The thesis is divided in two different parts. The first one is concerned with the symbolic and non-symbolic representations of numbers. The second one is concerned with the realtionships between number processing and visuo-motor functions.

core  

Molecular Dynamics Studies of Shape Memory Polymers: From Bead–Spring Models to Atomistic Simulations

Advanced Engineering Materials, EarlyView.
Coarse‐grained (left) and atomistic (right) models of the shape memory polymer ESTANE ETE 75DT3 are shown schematically. The two representations bridge molecular detail and mesoscopic description. Both models capture shape memory behavior, linking segmental mobility and conformational relaxation of anisotropic chains to macroscopic recovery, and ...
Fathollah Varnik
wiley   +1 more source

Did language give us numbers? : Symbolic thinking and the emergence of systematic numerical cognition

, 2010
What role does language play in the development of numerical cognition? In the present paper I argue that the evolution of symbolic thinking (as a basis for language) laid the grounds for the emergence of a systematic concept of number.
Wiese, Heike
core