Results 241 to 250 of about 246,520 (298)

Computing high-degree polynomial gradients in memory. [PDF]

Nat Commun
Bhattacharya T, Hutchinson GH, Pedretti G, Sheng X, Ignowski J, Van Vaerenbergh T, Beausoleil R, Strachan JP, Strukov DB.   +8 more
europepmc   +1 more source

Multi-rate sampled-data control for T-S fuzzy systems with mismatched fuzzy basis functions. [PDF]

PLoS One
Nguyen KH.
europepmc   +1 more source

Thermodynamic consistency of autocatalytic cycles. [PDF]

Proc Natl Acad Sci U S A
Kosc T, Kuperberg D, Rajon E, Charlat S.
europepmc   +1 more source

Multi-Objective Optimization of the Mechanical Properties of 3D-Printed PLA: An Integrated Taguchi and NSGA-II Approach. [PDF]

Polymers (Basel)
Mohsein ZH, Noori DAA, Abed AH, Ibrahim AF, Irfan OM, Albar AM, Shewakh WM.   +6 more
europepmc   +1 more source

Multiparametric robust sensing via readout of characteristic magnetization loops. [PDF]

Sci Rep
Path MP, Vogel M, McCord J.
europepmc   +1 more source

Demonstrating real advantage of machine learning-enhanced Monte Carlo for combinatorial optimization. [PDF]

Proc Natl Acad Sci U S A
Del Bono LM, Ricci-Tersenghi F, Zamponi F.   +2 more
europepmc   +1 more source

Computer-Aided Solvent Selection for the Design of Integrated Synthesis, Crystallization, and Isolation Processes. [PDF]

Org Process Res Dev
Muhieddine MH, Jonuzaj S, Watson O, Ottoboni S, Sefcik J, Price CJ, Viswanath SK, Armstrong A, Galindo A, Jackson G, Adjiman CS.   +10 more
europepmc   +1 more source

SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators

, 2020
Janhunen Tomi, Tasharrofi Shahab
openaire   +1 more source

An Extensible SAT-solver

, 2004
In this article, we present a small, complete, and efficient SAT-solver in the style of conflict-driven learning, as exemplified by Chaff. We aim to give sufficient details about implementation to enable the reader to construct his or her own solver in a very short time.This will allow users of SAT-solvers to make domain specific extensions or ...
Niklas Eén, Niklas Sörensson
openaire   +3 more sources