starMC: an automata based CTL* model checker. [PDF]
PeerJ Comput Sci, 2022 Amparore EG, Donatelli S, Gallà F.
europepmc +1 more source
Robust Spot Melting by 3D Spot Arrangements in Electron Beam Powder Bed Fusion
Advanced Engineering Materials, EarlyView.This work proposes an approach to replace separately melted contours for spot melting in electron beam powder fusion. Adapting the spot arrangements close to the contour combined with stacking yields a comparable surface quality without the inherent challenges of separate contours, as demonstrated, by electron optical images and roughness measurements.
Tobias Kupfer +4 more
wiley +1 more source
Special Issue Dedicated to the 16th International Symposium on Parameterized and Exact Computation. [PDF]
Algorithmica, 2022 Golovach PA, Zehavi M.
europepmc +1 more source
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
Decision-analytic modeling for early health technology assessment of medical devices - a scoping review. [PDF]
Ger Med Sci, 2022 Conrads-Frank A +9 more
europepmc +1 more source
Numerical Exploration of Thermal Shock Resistance in MgO–C Refractories
Advanced Engineering Materials, EarlyView.A mesostructure‐resolved numerical framework is developed to evaluate the thermal shock resistance of MgO–C refractories. By modeling interface debonding under rapid temperature changes and introducing a modified thermal shock parameter that accounts for mesocracks, the study shows how graphite content and aggregate size influence thermal shock ...
Jishnu Vinayak Gopi +3 more
wiley +1 more source
Multimodal Data‐Driven Microstructure Characterization
Advanced Engineering Materials, EarlyView.A self‐consistent autonomous workflow for EBSP‐based microstructure segmentation by integrating PCA, GMM clustering, and cNMF with information‐theoretic parameter selection, requiring no user input. An optimal ROI size related to characteristic grain size is identified.
Qi Zhang +4 more
wiley +1 more source
Enhancing the diversity of self-replicating structures using active self-adapting mechanisms. [PDF]
Front Genet, 2022 Xu W +5 more
europepmc +1 more source
Microstructure Evolution of a VMnFeCoNi High‐Entropy Alloy After Synthesis, Swaging, and Annealing
Advanced Engineering Materials, EarlyView.The synthesis and processing (rotary swaging and annealing) of the novel VMnFeCoNi alloy is investigated, alongside the estimation of the grain size effect on hardness. Analysis of a wide grain size range of recrystallized microstructures (12–210 µm) reveals a low annealing twin density.
Aditya Srinivasan Tirunilai +6 more
wiley +1 more source
Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents. [PDF]
Sensors (Basel), 2021 Daszczuk WB.
europepmc +1 more source