Results 121 to 130 of about 42,931 (182)

Thermodynamics of Isomers and Solubility Prediction in Multicomponent Sugar Solutions. [PDF]

J Phys Chem B
Trespi S, Roshanfekr S, Mazzotti M.
europepmc   +1 more source

Learning and fine-tuning a generic value-selection heuristic inside a constraint programming solver. [PDF]

Constraints
Marty T, Boisvert L, François T, Tessier P, Gautier L, Rousseau LM, Cappart Q.   +6 more
europepmc   +1 more source

Solving the B-SAT Problem Using Quantum Computing: Smaller Is Sometimes Better. [PDF]

Entropy (Basel)
Bennakhi A, Byrd GT, Franzon P.
europepmc   +1 more source

Investigation of Potential Targets for Bupleuri Radix in the Treatment of Subacute Thyroiditis. [PDF]

Int J Endocrinol
Lei X, Lv L, Ma Y, Zhang C, Li L, Huang Y.   +5 more
europepmc   +1 more source

Inferring three-nucleon couplings from multi-messenger neutron-star observations. [PDF]

Nat Commun
Somasundaram R, Svensson I, De S, Deneris AE, Dietz Y, Landry P, Schwenk A, Tews I.   +7 more
europepmc   +1 more source

SAT solvers i extensions

, 2007
openaire   +1 more source

Efficient hybrid numerical modeling of the seismic wavefield in the presence of solid-fluid boundaries. [PDF]

Nat Commun
Lyu C, Romanowicz B, Zhao L, Masson Y.
europepmc   +1 more source

Hemodynamic consequences of pressure-flow curve gradient variations in continuous-flow ventricular assist devices. [PDF]

Front Physiol
Yang Y, Wang Z, Xie Z, Yu S, Zou L.
europepmc   +1 more source

A novel obfuscation method based on majority logic for preventing unauthorized access to binary deep neural networks. [PDF]

Sci Rep
Mohseni A, Moaiyeri MH, Adel MJ.
europepmc   +1 more source

A multi-factor data mining and transformer-based predictive modeling approach for career success using educational and behavioral traits. [PDF]

Sci Rep
Zihan Z.
europepmc   +1 more source