Results 201 to 210 of about 348,999 (338)

Checking the Quality of Clinical Guidelines using Automated Reasoning Tools

, 2008
Arjen Hommersom, Peter Lucas, P. van Bommel   +2 more
openalex   +2 more sources

StahlDigital: Ontology‐Based Workflows for the Steel Industry

Advanced Engineering Materials, Volume 27, Issue 8, April 2025.
The strength of the steel industry is based on the mastery of microstructure–property relationships. Digital workflows contribute to this aim by making the complexity of workflows reproducible and their execution user independent. The tools and workflows developed in the project StahlDigital as part of the German MaterialDigital initiative are ...
Franz Roters, Ahmed Aslam, Yang Bai, Matthias Büschelberger, Kirill Bulert, Alexander Butz, Tilmann Hickel, Tushar Jogi, Silke Klitschke, Michael Martin, Lars‐Peter Meyer, Lukas Morand, Yoav Nahshon, Norman Radtke, Ujjal Saikia, Andreas Trondl, Alexander Wessel, Paul Zierep, Dirk Helm   +18 more
wiley   +1 more source

Automated Bayesian network Integration based on Ontology for Reasoning Object Existence of Service Robot

, 2008
Youn-Suk Song, Sung-Bae Cho
openalex   +1 more source

Formalization of geometry, automated and interactive geometric reasoning [PDF]

, 2023
Zoltán Kovács, Predrag Janičić
openalex   +1 more source

Advancing Digital Transformation in Material Science: The Role of Workflows Within the MaterialDigital Initiative

Advanced Engineering Materials, Volume 27, Issue 8, April 2025.
The MaterialDigital initiative drives the digital transformation of material science by promoting findable, accessible, interoperable, and reusable principles and enhancing data interoperability. This article explores the role of scientific workflows, highlights challenges in their adoption, and introduces the Workflow Store as a key tool for sharing ...
Simon Bekemeier, Celso Ricardo Caldeira Rêgo, Han Lin Mai, Ujjal Saikia, Osamu Waseda, Markus Apel, Felix Arendt, Alexander Aschemann, Bernd Bayerlein, Robert Courant, Gordian Dziwis, Florian Fuchs, Ulrich Giese, Kurt Junghanns, Mohamed Kamal, Lukas Koschmieder, Sebastian Leineweber, Marc Luger, Marco Lukas, Jürgen Maas, Jana Mertens, Björn Mieller, Ludger Overmeyer, Norbert Pirch, Jan Reimann, Sebastian Schröck, Philipp Schulze, Jörg Schuster, Alexander Seidel, Oleg Shchyglo, Marek Sierka, Frank Silze, Simon Stier, Marvin Tegeler, Jörg F. Unger, Matthias Weber, Tilmann Hickel, Jörg Schaarschmidt   +37 more
wiley   +1 more source

Dimensionless Investigations on Energy Conversion and Analysis of Interlayer Time in Laser‐Based Powder Bed Fusion of Polymers for Polyamide 12 with Nanoadditives and Polypropylene

Advanced Engineering Materials, EarlyView.
This study explores the energy conversion in powder bed fusion of polymers using laser beam for polyamide 12 and polypropylene powders. It combines material and process data, using dimensionless parameters and numerical models, to enable the prediction of suitable printing parameters.
Christian Schlör, Moritz Grünewald, Kevin Popp, Ihsan Murat Kusoglu, Stephan Barcikowski, Stan Gann, Thomas Schuffenhauer, Martin Bastian, Claas Bierwisch, Johannes Rudloff   +9 more
wiley   +1 more source

Exploration of Chemical Space Through Automated Reasoning. [PDF]

Angew Chem Int Ed Engl
Clymo J, Collins CM, Atkinson K, Dyer MS, Gaultois MW, Gusev VV, Rosseinsky MJ, Schewe S.   +7 more
europepmc   +1 more source

An e-learning environment for elementary analysis: combining computer algebra, graphics and automated reasoning

, 2009
Róbert Vajda
openalex   +1 more source

Beyond Order: Perspectives on Leveraging Machine Learning for Disordered Materials

Advanced Engineering Materials, EarlyView.
This article explores how machine learning (ML) revolutionizes the study and design of disordered materials by uncovering hidden patterns, predicting properties, and optimizing multiscale structures. It highlights key advancements, including generative models, graph neural networks, and hybrid ML‐physics methods, addressing challenges like data ...
Hamidreza Yazdani Sarvestani, Surabhi Nadigotti, Erfan Fatehi, Derek Aranguren van Egmond, Behnam Ashrafi   +4 more
wiley   +1 more source

A contribution to automated-oriented reasoning about permutability of sequent calculi rules

, 2013
Tatjana Lutovac, James Harland
openalex   +2 more sources