Results 141 to 150 of about 3,636,570 (292)

Removing $$\delta $$ δ -dependence in minimal interpretable model learning: distribution conditions and structural parameters

Journal of King Saud University: Computer and Information Sciences
Learning minimal interpretable models (e.g., decision trees, decision sets, and binary decision diagrams) is computationally challenging, yet increasingly important in high-stakes settings.
Zhigao Huang, Shiyan Zheng, Quanfa Li
doaj   +1 more source

Leveraging Symbolic Artificial Intelligence and Fuzzy Logic for Materials Science: A Review of Methods, Challenges, and Applications to Scarce and Imperfect Experimental Data

Advanced Engineering Materials, EarlyView.
This article explores the transformative potential of symbolic artificial intelligence (AI) in the field of materials science, particularly in leveraging experimental data. The article presents several symbolic AI models and discusses their applications in materials science.
Ahmed Amrani, Mohamed‐Ali Belloum, Laurence Boudet, Valentin Fouillard, Edwin Friedmann, Guillaume Lacharme, Ali Mahmoud, Jean‐Philippe Poli   +7 more
wiley   +1 more source

Building free Binary Decision Diagrams using SAT solvers

, 2007
Free Binary Decision Diagrams (FBDDs) are a data structure for the representation of Boolean functions. In contrast to Ordered Binary Decision Diagrams (OBDDs) FBDDs allow different variable orderings along each path.
Görschwin Fey, Rolf Drechsler, Robert Wille   +2 more
core   +1 more source

Gallium Microalloying in Bi–Sn Solders: Interfacial Phase Formation, Wettability, and Long‐Term Shear Reliability Under Isothermal Aging

Advanced Engineering Materials, EarlyView.
Gallium microalloying redirects interfacial reactions in low‐temperature Bi–Sn solders from Cu–Sn toward Cu–Ga intermetallic formation. The resulting Cu–Ga layer suppresses intermetallic growth during thermal aging, alters fracture pathways, and improves interfacial stability.
Iva Králová, Markéta Klimtová, Mohd Faizul Mohd Sabri, Yew Hoong Wong, Petr Veselý, Martin Plaček, Karel Dušek   +6 more
wiley   +1 more source

Measuring evidence-based clinical guideline compliance in the paediatric intensive care unit

BMJ Open Quality
Background Evidence-based clinical care guidelines improve medical treatment by reducing error, improving outcomes and possibly lowering healthcare costs.
Dori-Ann Martin, Rebecca E Hay, Gary J Rutas, Shelina M Jamal, Simon J Parsons   +4 more
doaj   +1 more source

Investigating the Low‐Temperature Phase Stability of the Binary Ta–W System

Advanced Engineering Materials, EarlyView.
Atomistic simulations show that the binary Ta–W system forms ordered intermetallic phases, B2‐TaW and D03‐TaW3, as 0 K ground states. Configurational entropy, however, lowers the free energy of the disordered bcc solid solution, which becomes the stable phase above about 400 K.
Klemens Lechner, Anna Sophie Jelinek, Velislava Terziyska, Peter Wagatha, Wolfram Knabl, Christian Mitterer, Helmut Clemens, David Holec   +7 more
wiley   +1 more source

Toward Full Interoperability in Materials Science: Integrating Workflows With Knowledge Graphs

Advanced Engineering Materials, EarlyView.
The connection of conceptual workflow design, portable execution, and ontology‐based semantics leading to provenance‐rich knowledge graphs are main contributors to interoperability in materials science and a prerequisite to AI‐assisted orchestration and for interoperable Materials Acceleration Platforms.
Jan Janssen, Osamu Waseda, Bernd Bayerlein, Simon Stier, Steffen Brinckmann, Abril Azócar Guzmán, Sarath Menon, Matthias A. Popp, Jesper R. Pedersen, Ivano E. Castelli, Jörg Waitelonis, Wolfgang Wenzel, Jörg Neugebauer, Jörg Schaarschmidt, Tilmann Hickel   +14 more
wiley   +1 more source

Binary Decision Diagrams for First Order Predicate Logic

, 2008
We present an extension of Binary Decision Diagrams (BDDs) such that they can be used for predicate logic. We present a sound and complete proof search method which we apply to a number of examples.
Jan Friso Groote
core  

Effects of Mg on Microstructure and Solidification of a Hypereutectic Zn–8 wt.%Al Alloy

Advanced Engineering Materials, EarlyView.
An appreciable set of results involving thermal data, microstructure, chemical composition, and microstructural growth laws is reported for ZnAlMg alloys. Such results demonstrate that ZnAlMg alloys have high potential for applications in automotive self‐lubricating components, batteries, and electrical systems.
Raí B. de Sousa, Jeverton L. Paixão, Daylla S. Silva, Bruno S. Sobral, Mucio D. de Medeiros, José E. Spinelli, Bismarck L. Silva   +6 more
wiley   +1 more source

Supporting AI Readiness Through Digital Workflows in Materials Science

Advanced Engineering Materials, EarlyView.
Digitalization drives innovation in materials science by connecting data silos and turning heterogeneous processes into reusable research pipelines. Across 13 MaterialDigital projects, digital workflows reveal complementary pathways toward AI‐ready materials research, founded on structured data, persistent artifacts, executable orchestration, and ...
Marian Bruns, Lateef Abdul, Stephan Barth, Martin Glauer, Manuel Günther, Fabian Neuhaus, Jan‐Ole Perschewski, Thomas Bjarsch, Henrik Abel, Johannes Bosch, Niklas Meyer, Peter Hofmann, Marc Drechsler, Alexander Dyck, Dhanunjaya Kumar Nerella, Marvin Tegeler, Oleg Shchyglo, Ingo Steinbach, Timo Klecker, Henk Birkholz, Ehsan Borzabadi Farahani, Bernard Fedelich, Cetin Haftaoglu, Tarakeshwar Lakshmipathy, Elena Garcia Trelles, Christoph Schweizer, Reza Darvishi Kamachali, Lukas Koschmieder, Janin Eiken, Markus Apel, Sung‐Min Wi, Jiangdong Zhao, Andreas Fezer, Nicolas Christ, Patrick Schneider, Eldor Urinov, Veit Königer, Volker Knoblauch, Janik Harter, Thomas Seifert, Thitichai Janpheng, Florian Fuchs, Fabian Teichert, Jörg Schuster, Anke Bardehle, Andreas Limper, Ulrich Giese, Carlos Lucke, Mario Beiner, Christoph Gögelein, Lisa Leuchtenberger‐Engel, Christian Hopmann, Felix Wentzien, Heike Wittek, Benjamin Klie, Alexander Röhrs, Ludger Overmeyer, Achraf Atila, Marcel Sadowski, Leopold Talirz, Jan Janssen, Jesper R. Pedersen, Peter Beck, Tejs Vegge, Ivano E. Castelli, Wolfgang Wenzel, Tilmann Hickel, Jörg Schaarschmidt   +67 more
wiley   +1 more source