Results 131 to 140 of about 3,612,733 (245)
Sustainability assessment requires methodologies that appropriately distinguish between additive and non‐additive material properties. A toxicity‐weighted scoring system is developed and applied that accounts for the disproportionate influence of highly toxic constituents through nonlinear weighting functions, providing more realistic estimates than ...
Seth Mehalic +2 more
wiley +1 more source
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
Building free Binary Decision Diagrams using SAT solvers
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 +2 more
core +1 more source
Entropy‐Driven Design of Low‐Melting‐Point Alloys via Compositionally Complex Strategy
Conventional low‐melting‐point alloys (LMPAs) are limited by a narrow compositional space and inherent property trade‐offs. This review presents an entropy‐driven design strategy that overcomes these limitations, ushering in a new class of low‐melting‐point compositionally complex alloys (LMCCAs).
Yinghui Shang +6 more
wiley +1 more source
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á +6 more
wiley +1 more source
Measuring evidence-based clinical guideline compliance in the paediatric intensive care unit
Background Evidence-based clinical care guidelines improve medical treatment by reducing error, improving outcomes and possibly lowering healthcare costs.
Dori-Ann Martin +4 more
doaj +1 more source
Investigating the Low‐Temperature Phase Stability of the Binary Ta–W System
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 +7 more
wiley +1 more source
Binary Decision Diagrams for First Order Predicate Logic
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
Toward Full Interoperability in Materials Science: Integrating Workflows With Knowledge Graphs
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 +14 more
wiley +1 more source
Effects of Mg on Microstructure and Solidification of a Hypereutectic Zn–8 wt.%Al Alloy
An appreciable set of results involving thermal data, microstructure, chemical composition, and microstructural growth laws is reported for ZnAlMg alloys. Such results demonstrate that ZnAlMg alloys have high potential for applications in automotive self‐lubricating components, batteries, and electrical systems.
Raí B. de Sousa +6 more
wiley +1 more source

