Results 171 to 180 of about 39,214 (275)
Design of shared steering control system with enhanced overall stability. [PDF]
Sci RepLi X +5 more
europepmc +1 more source
Automated Theorem Proving : Resolution vs. Tableaux
, 2002 The purpose of this master thesis was to investigate which of the two methods, resolution and tableaux, that is the most appropriate for automated theorem proving. This was done by implementing an automated theorem prover, comparing and documenting implementation problems, and measuring proving efficiency. In this thesis, I conclude that the resolution
openaire +1 more source
Tradeoffs in automated financial regulation of decentralized finance due to limits on mutable turing machines. [PDF]
Sci RepCharoenwong B, Kirby RM, Reiter J.
europepmc +1 more source
Advanced ANN-LMB modeling of hepatitis B transmission across sexual networks and its disability burden. [PDF]
Sci RepZarin R +5 more
europepmc +1 more source
Applying Automated Theorem Proving to Computer Security
, 2008 Kelly K. McElroy
openalex +1 more source
Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]
Mach LearnAi L +3 more
europepmc +1 more source
Students' engagement with automated theorem provers: programming in pure mathematics
, 2022 Athina Thoma, Paola Iannone
openalex +1 more source
Monitoring and predicting cotton leaf diseases using deep learning approaches and mathematical models. [PDF]
Sci RepRehman A, Akhtar N, Alhazmi OH.
europepmc +1 more source