Results 121 to 130 of about 14,483 (309)

Space exploration using parallel orbits:A study in parallel symbolic computing

, 2013
Orbit enumerations represent an important class of mathematical algorithms which is widely used in computational discrete mathematics. In this paper, we present a new shared-memory implementation of a generic Orbit skeleton in the GAP computer algebra ...
Brown, Christopher Mark, Janjic, Vladimir; id_orcid, Janjic, Vladimir, Loidl, Hans Wolfgang; id_orcid, Linton, Stephen Alexander, Neunhoeffer, Max, Brown, Christopher, Neunhöffer, Max, Loidl, Hans Wolfgang, Linton, Steve, Hammond, Kevin, Loidl, Hans-Wolfgang   +11 more
core   +1 more source

Evaluating Energy Absorption Performance of Filled Lattice Structures

Advanced Engineering Materials, EarlyView.
Maximum stress must be considered to robustly evaluate energy absorber designs. This approach was applied to compare all types of absorbers in a single Ashby diagram and determine the utility of filling lattice voids with a second material. High‐performance fillers can improve the performance of lattices that are limited by buckling or catastrophic ...
Christian Bonney, William P. King, Iwona Jasiuk   +2 more
wiley   +1 more source

DMfold: A Novel Method to Predict RNA Secondary Structure With Pseudoknots Based on Deep Learning and Improved Base Pair Maximization Principle

Frontiers in Genetics, 2019
While predicting the secondary structure of RNA is vital for researching its function, determining RNA secondary structure is challenging, especially for that with pseudoknots. Typically, several excellent computational methods can be utilized to predict
Linyu Wang, Linyu Wang, Yuanning Liu, Yuanning Liu, Xiaodan Zhong, Xiaodan Zhong, Xiaodan Zhong, Haiming Liu, Haiming Liu, Chao Lu, Chao Lu, Cong Li, Cong Li, Hao Zhang, Hao Zhang   +14 more
doaj   +1 more source

Symbolic model checking of logics with actions

, 2006
Reasoning about agents and modalities such as knowledge and belief leads to models where different relations over states co-exist, or equivalently, where information (labels, actions) is associated to state transitions.
Raimondi, F., Proceedings of MOCHART 4: Model Checking and Artificial Intelligence, Pecheur, Charles, Raimondi, Franco, Pecheur, C.   +4 more
core  

Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation

, 2013
We present the results of the first four years of the European research project SCIEnce—Symbolic Computation Infrastructure in Europe (http://www.symbolic-computing.org), which aims to provide key infrastructure for symbolic computation research.
K. Hammond, C. Brown, Roozemond, Dan, Hammond, K., A. Konovalov, Linton, Stephen Alexander, Konovalov, Alexander, Linton, S., Loidl, Hans-Wolfgang, Brown, Christopher Mark, Loidl, H. -W.; id_orcid, Horn, Peter, Hammond, Kevin, S. Linton, H.-W. Loidl, Brown, C., Konovalov, A., Loidl, H.-W., Horn, P., P.W. Trinder, P. Horn, Roozemond, D., D. Roozemond, Trinder, P. W., Trinder, P.W.   +24 more
core   +1 more source

Performance Analysis of Abradable Coating Systems for Aircraft Gas Turbines

Advanced Engineering Materials, EarlyView.
Three CoNiCrAlY/YSZ/MgAl2O4 abradable liner configurations on a nickel‐superalloy are evaluated by thermal‐gradient cycling and incursion tests. Laser ablation of the bondcoat and/or Y2O3‐stabilized ZrO2 (YSZ) intermediate layer increases mechanical interlocking and bonding for thick topcoats.
Hanna Heyl, Daniel Emil Mack, Martin Tandler, Susanne Schrüfer, Robert Vaßen   +4 more
wiley   +1 more source

Rafting of Ni‐Based Superalloys Under Multiaxial Load as Understood by Phase‐Field Simulations and Critical Experiments

Advanced Engineering Materials, EarlyView.
Phase‐field simulations coupled with dislocation‐density‐based crystal plasticity modeling reproduce γ′ rafting behavior in single‐crystal Ni‐based superalloys under varied loading conditions. The model captures both macroscopic creep and microscopic morphology evolution, with results matching high‐temperature creep experiments.
Micheal Younan, David Bürger, Gunther Eggeler, Oleg Shchyglo, Ingo Steinbach, Muhammad Adil Ali   +5 more
wiley   +1 more source

Karl Popper and the Mechanisms of Hydrogen Embrittlement

Advanced Engineering Materials, EarlyView.
Representation of the beginning of loss of ductility rather than embrittlement. Small concentrations of hydrogen in a diffusible form within iron are well‐established to harm the mechanical integrity of steels. There are theories that attempt to explain the pernicious role of hydrogen.
H. K. D. H. Bhadeshia
wiley   +1 more source

Symbolic computation: systems and applications

Nonlinear Analysis: Modelling and Control, 1998
The article presents an overview of symbolic computation systems, their classification-in-history, the most popular CAS, examples of systems and some of their applications. Symbolics versus numeric, enhancement in mathematics, computing nature of CAS, related projects, networks, references are discussed.
openaire   +3 more sources

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, Moritz Blum, Luana Caron, Alisa Chirkova, Philipp Cimiano, Basil Ell, Inga Ennen, Michael Feige, Maik Gaerner, Thomas Hilbig, Andreas Hütten, Günter Reiss, Tapas Samanta, Sonja Schöning, Christian Schröder, Lennart Schwan, Chris Taake, Martin Wortmann   +17 more
wiley   +1 more source