Results 171 to 180 of about 1,423 (254)

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

Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers

, 2007
Jaroslav Ševčík
openalex   +1 more source

On approximating a new generalization of traveling salesman problem. [PDF]

Heliyon
Huang Z, Liao X, Naik PA, Lu X.
europepmc   +1 more source

Automated Theorem Proving for Prolog Verification

Fred Mesnard, Thierry Marianne, Étienne Payet   +2 more
openalex   +2 more sources

Dependently Typed Programming based on Automated Theorem Proving

, 2011
Alasdair Armstrong, Simon J. Foster, Georg Struth   +2 more
openalex   +2 more sources

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

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

Automated Discovery of Tactic Libraries for Interactive Theorem Proving

Yutong Xin, Jimmy Xin, Gabriel Poesia, Noah D. Goodman, Qiaochu Chen, Işıl Dillig   +5 more
openalex   +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

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

Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning

, 2018
Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai   +2 more
openalex   +2 more sources