Results 161 to 170 of about 3,671,128 (304)

Advancing stochastic 3-SAT solvers by dissipating oversatisfied constraints. [PDF]

Proc Natl Acad Sci U S A
Schwardt J, Budich JC.
europepmc   +1 more source

Synthesising Programs with Non-trivial Constants. [PDF]

J Autom Reason, 2023
Abate A, Barbosa H, Barrett C, David C, Kesseli P, Kroening D, Polgreen E, Reynolds A, Tinelli C.   +8 more
europepmc   +1 more source

Thermodynamic Pathways of Nonequilibrium Solidification in Wire‐Arc Additive Manufacturing Fe‐Based Multicomponent Alloy Structures

Advanced Engineering Materials, EarlyView.
Geometry‐driven thermal behavior in wire‐arc additive manufacturing (WAAM) influences microstructural evolution during nonequilibrium solidification of a chemically complex Fe–Cr–Nb–W–Mo–C nanocomposite system. By comparing different deposits configurations, distinct entropy–cooling rate correlations, segregation, and carbide evolution are revealed ...
Blanca Palacios, Anthony Gonzalez, Aleksander Aleman, Tyler Dolmetsch, Tanaji Paul, Arvind Agarwal   +5 more
wiley   +1 more source

Interpretable decision trees through MaxSAT. [PDF]

Artif Intell Rev, 2022
Alòs J, Ansótegui C, Torres E.
europepmc   +1 more source

Post Mortem Analysis of SAT Solver Proofs

POS@SAT, 2014
Laurent Simon
semanticscholar   +1 more source

Tailored Hierarchical Porous Copper Architectures via Three Dimensional Printing and Pressure‐less Sintering for Next‐Generation Lithium‐Metal Batteries

Advanced Engineering Materials, EarlyView.
A hierarchical porous copper current collector is fabricated via three‐dimensional printing combined with pressureless sintering to stabilize lithium metal anodes. The interconnected architecture lowers local current density, guides uniform Li deposition within pores, and suppresses dendrite growth.
Alok Kumar Mishra, Mukul Shukla
wiley   +1 more source

Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers. [PDF]

J Autom Reason
Michaelson D, Schreiber D, Heule MJH, Kiesl-Reiter B, Whalen MW.   +4 more
europepmc   +1 more source

Novel Tailoring of Ternary ZnS‐MXene‐TiO2 Nanocomposite Heterojunction and Its Tunable Electrochemical Properties With Enhanced Photocatalytic Degradation

Advanced Engineering Materials, EarlyView.
ZnS‐MXene‐TiO2 nanocomposite heterojunction for photocatalytic decomposition of this methylene blue dye (MB) greatly improves light absorption, charge separation, and active site area. Two‐dimensional MXene forms nanocomposites by easily combining them with 0D (quantum dots), 1D (tube and wire), 2D (plane and sheet), and 3D (particle and lamellar ...
Latiful Kabir, Dohyun Kim, Minho Song, Jae Doc Na, Young Jun Joo, Kwang Youn Cho, Karna Wijaya, Won‐Chun Oh   +7 more
wiley   +1 more source

Formal methods for safety-critical machine learning: a systematic literature review. [PDF]

Front Artif Intell
Newcomb A, Ochoa O.
europepmc   +1 more source

Investigation of Oxygen‐Free Wetting Behavior of Aluminum on Copper via Molecular Dynamics Simulations and Experiments

Advanced Engineering Materials, EarlyView.
The wettability of aluminum droplets (Al) on different copper substrates (Cu), where liquid Al spreads on solid Cu surfaces to form a liquid–solid interface, is studied numerically and experimentally. The experimental and numerical results show good agreement in the fast‐spreading regime.
Shan Lyu, Timon Steinhoff, Finn‐Lennard Janthur, Sarah Seffer, Jörg Hermsdorf, Christian Klose, Ludger Overmeyer, Hans‐Jürgen Maier, Nina Merkert   +8 more
wiley   +1 more source