5 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.LO2016
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…
q-bio.BM2016★ 5 cited
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…
cs.LO2014
Computability and Complexity over the Product Topology of Real Numbers
Walid Gomaa
Kawamura and Cook have developed a framework for studying the computability and complexity theoretic problems over "large" topological spaces. This framework has been applied to st…