66 citations · 76 across the 11 of their papers we have counts for
3 papers · 1 filter
A Framework for Algebraic Characterizations in Recursive Analysis
Olivier Bournez, Walid Gomaa, Emmanuel Hainry
Algebraic characterizations of the computational aspects of functions defined over the real numbers provide very effective tool to understand what computability and complexity over…
Deep learning is competing random forest in computational docking
Mohamed Khamis, Walid Gomaa, Basem Galal
Computational docking is the core process of computer-aided drug design; it aims at predicting the best orientation and conformation of a small drug molecule when bound to a target…
On the complexity of bounded time and precision reachability for piecewise affine systems
Hugo Bazille, Olivier Bournez, Walid Gomaa +1
Reachability for piecewise affine systems is known to be undecidable, starting from dimension . In this paper we investigate the exact complexity of several decidable variants o…