Results 201 to 210 of about 39,214 (275)

A Quantum Probability Approach to Improving Human-AI Decision Making. [PDF]

Entropy (Basel)
Humr S, Canan M, Demir M.
europepmc   +1 more source

The CADE-25 Automated Theorem Proving system competition – CASC-25

, 2016
Geoff Sutcliffe, Josef Urban
openalex   +2 more sources

Competitive Pricing Using Model-Based Bandits. [PDF]

Comput Econ
Sliwinski L, Treetanthiploet T, Siska D, Szpruch L.   +3 more
europepmc   +1 more source

A comparative study of machine learning models for automated detection and classification of retinal diseases in Ghana. [PDF]

PLoS One
Duah G, Nyarko E, Lotsi A.
europepmc   +1 more source

Resilient cybersecurity in smart grid ICS communication using BLAKE3-driven dynamic key rotation and intrusion detection. [PDF]

Sci Rep
Dokku NS, David Amar Raj R, Bodapati SK, Pallakonda A, Reddy YRM, Krishna Prakasha K.   +5 more
europepmc   +1 more source

circGPAcorr: an integrative tool for functional annotation of circular RNAs using expression data. [PDF]

BioData Min
Ryšavý P, Anuarbekov A, Dostálová Merkerová M, Kléma J.   +3 more
europepmc   +1 more source

LINNDA: Lymphoma identification through neural network detection aid. [PDF]

iScience
Naser PV, Fischer M, Maurer MC, Karimian-Jazi K, Ben-Salah C, Bajwa AA, Jakobs M, Jungk C, Jungwirth G, Jesser J, Kaes M, Trong PD, Bendszus M, Maier-Hein K, Krieg SM, Neumann JO, Neher P.   +16 more
europepmc   +1 more source

Heterogeneous foraging swarms can be better. [PDF]

Front Robot AI
Kaminka GA, Douchan Y.
europepmc   +1 more source

Fundamental Results on Automated Theorem Proving by Test Set Induction

, 1995
Adel Bouhoula
openalex   +1 more source

Towards sustainable architecture: Enhancing green building energy consumption prediction with integrated variational autoencoders and self-attentive gated recurrent units from multifaceted datasets. [PDF]

PLoS One
Zeng Q, Peng F, Han X.
europepmc   +1 more source