Results 181 to 190 of about 3,671,128 (304)

Factoring semi-primes with (quantum) SAT-solvers. [PDF]

Sci Rep, 2022
Mosca M, Verschoor SR.
europepmc   +1 more source

Dielectric Barrier Discharge Plasma Deoxidation of Natively Oxide Layer of Copper Powders in a Fluidized Bed

Advanced Engineering Materials, EarlyView.
This paper presents a novel approach to reducing oxide layers on metal powders using low‐temperature hydrogen dielectric barrier discharge plasmas at atmospheric pressure. Unlike conventional hydrogen‐plasma reductions, the powders do not contact the plasma directly.
Shukang Zhang, Annett Wollmann, Thomas Gimpel, Alfred P. Weber   +3 more
wiley   +1 more source

Quantum Computing for Transport Network Optimization. [PDF]

Entropy (Basel)
Ju J, Liu Z, Bai Y, Wang Y, Gao Q, Ma Y, Zheng C, Wen K.   +7 more
europepmc   +1 more source

Streamlining Distributed SAT Solver Design

Distributed clause-sharing SAT solvers have recently been established as powerful automated reasoning tools that can conquer previously infeasible instances. A common design of distributed SAT solvers is to run many off-the-shelf sequential solvers in parallel, employ some diversification (e.g., restart intervals or decision orders), and share conflict
Schreiber, Dominik, Rigi-Luperti, Niccolò, Biere, Armin   +2 more
openaire   +1 more source

Extended Finite-State Machine Induction Using SAT-Solver

2011 10th International Conference on Machine Learning and Applications and Workshops, 2011
V. Ulyantsev, F. Tsarev
semanticscholar   +1 more source

Multifunctional Crushing and Piezoresistive Self‐Sensing in Conductive Epoxy/CNT‐Coated Polyetherimide TPMS Lattices

Advanced Engineering Materials, EarlyView.
This study reports lightweight polyetherimide triply periodic minimal surfaces lattices coated with carbon nanotube‐reinforced epoxy that combine mechanical robustness with self‐sensing. The conformal coating enhances stiffness, strength and energy absorption while enabling reliable strain monitoring.
A. Triay, J. Schneider, P. Harrison, S. Kumar   +3 more
wiley   +1 more source

Golem: a flexible and efficient solver for constrained Horn clauses. [PDF]

Form Methods Syst Des
Blicha M, Britikov K, Sharygina N.
europepmc   +1 more source

Creating Ti–Fe α/β Alloys by Diffusion‐Driven Solid‐State Processing

Advanced Engineering Materials, EarlyView.
This study proposes making alloys containing fast diffusing elements that are difficult to produce by ingot metallurgy, by diffusion‐driven solid‐state HIP processing of elemental powders and low‐temperature homogenisation. Here, novel Fe‐Ti α–β alloys are formed having fine α–β lamellae, a small β prior grain size without significant intermetallics ...
Jiaqi Xu, Xun Zhang, Jack M. Donoghue, Albert D. Smith, Rahul Unnikrishnan, Rhys Thomas, Vahid Nekouie, Jie Luo, Dongchen Hu, Michael Preuss, Philip J. Withers   +10 more
wiley   +1 more source

Quadratic unconstrained binary optimization and constraint programming approaches for lattice-based cyclic peptide docking. [PDF]

Sci Rep
Brubaker JK, Booth KEC, Arakawa A, Furrer F, Ghosh J, Sato T, Katzgraber HG.   +6 more
europepmc   +1 more source

Incorporation of Selenium into Sol–Gel‐Derived Bioactive Glass: Influence on Glass Structure, Bioactivity, and its Selective Cytotoxicity

Advanced Engineering Materials, EarlyView.
Selenium was incorporated into a sol–gel‐derived bioactive glass to enable sustained therapeutic ion release. The selenium‐containing glass preserved bioactivity while selectively inducing cytotoxicity in osteosarcoma cells and maintaining osteoblastic viability.
Breno Rocha Barrioni, Thalita Marcolan Valverde, Talita Martins, Guilherme Mattos Jardim Costa, Alfredo Miranda de Goes, Marcello Rosa Dumont, Eduardo Henrique Martins Nunes, Marivalda de Magalhães Pereira   +7 more
wiley   +1 more source