Results 81 to 90 of about 18,622 (181)

Approaching the ground states of the random maximum two-satisfiability problem by a greedy single-spin flipping process [PDF]

, 2011
Hui Ma, Haijun Zhou
openalex   +1 more source

Efficient optimization with higher-order ising machines. [PDF]

Nat Commun, 2023
Bybee C, Kleyko D, Nikonov DE, Khosrowshahi A, Olshausen BA, Sommer FT.   +5 more
europepmc   +1 more source

Task-independent metrics of computational hardness predict human cognitive performance. [PDF]

Sci Rep, 2022
Franco JP, Doroc K, Yadav N, Bossaerts P, Murawski C.   +4 more
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

Generating Datasets for Real-Time Scheduling on 5G New Radio. [PDF]

Entropy (Basel), 2023
Jin X, Chai H, Xia C, Xu C.
europepmc   +1 more source

Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming [PDF]

, 1995
Michel X. Goemans, David P. Williamson
openalex   +1 more source

A geometric framework for reaction enumeration in computational nucleic acid devices. [PDF]

J R Soc Interface, 2023
Kumar S, Lakin MR.
europepmc   +1 more source

Enhancing Security of Web-Based IoT Services via XSS Vulnerability Detection. [PDF]

Sensors (Basel), 2023
Kim J, Park J.
europepmc   +1 more source

Acute stress impairs decision-making at varying levels of decision complexity. [PDF]

Commun Psychol
Doroc K, Yadav N, Murawski C.
europepmc   +1 more source

Accelerating hybrid XOR-CNF Boolean satisfiability problems natively with in-memory computing. [PDF]

Nat Commun
Im H, Böhm F, Pedretti G, Kushida N, Noori M, Valiante E, Zhang X, Yang CW, Bhattacharya T, Sheng X, Ignowski J, Heittmann A, Strachan JP, Mohseni M, Beausoleil R, Vaerenbergh TV, Rozada I.   +16 more
europepmc   +1 more source