Results 141 to 150 of about 12,229,216 (240)

Testing Quantum Satisfiability. [PDF]

Commun Math Phys
Montanaro A, Shao C, Verdon D, Verdon D.
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

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

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

How large language models need symbolism. [PDF]

Natl Sci Rev
Deng X, Li H.
europepmc   +1 more source

The neural dynamics associated with computational complexity. [PDF]

PLoS Comput Biol
Franco JP, Bossaerts P, Murawski C.
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

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

FullSynesth: Syntenic Reconciliation of a Set of Consistent Gene Trees. [PDF]

Theory Comput Syst
Gascon M, Delabre M, El-Mabrouk N.
europepmc   +1 more source

A new paradox for well-being subjectivism. [PDF]

Analysis, 2023
Davies B.
europepmc   +1 more source