activity
20132022
most citedNuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover

127 citations · 215 across the 15 of their papers we have counts for

collaborators

15 papers

cs.AI2022

Deontic Meta-Rules

Francesco Olivieri, Guido Governatori, Matteo Cristani +2

The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisati…

cs.LG2019

Efficient Toxicity Prediction via Simple Features Using Shallow Neural Networks and Decision Trees

Abdul Karim, Avinash Mishra, M A Hakim Newton +1

Toxicity prediction of chemical compounds is a grand challenge. Lately, it achieved significant progress in accuracy but using a huge set of features, implementing a complex blackb…

cs.LG2018★ 1 cited

Dropout with Tabu Strategy for Regularizing Deep Neural Networks

Zongjie Ma, Abdul Sattar, Jun Zhou +2

Dropout has proven to be an effective technique for regularization and preventing the co-adaptation of neurons in deep neural networks (DNN). It randomly drops units with a probabi…

cs.LG2018★ 7 cited

Machine Learning Interpretability: A Science rather than a tool

Abdul Karim, Avinash Mishra, MA Hakim Newton +1

The term "interpretability" is oftenly used by machine learning researchers each with their own intuitive understanding of it. There is no universal well agreed upon definition of…

cs.AI2018★ 8 cited

Diversified Late Acceptance Search

Majid Namazi, Conrad Sanderson, M. A. Hakim Newton +2

The well-known Late Acceptance Hill Climbing (LAHC) search aims to overcome the main downside of traditional Hill Climbing (HC) search, which is often quickly trapped in a local op…

cs.NE2016★ 17 cited

Guided macro-mutation in a graded energy based genetic algorithm for protein structure prediction

Mahmood A. Rashid, Sumaiya Iqbal, Firas Khatib +2

Protein structure prediction is considered as one of the most challenging and computationally intractable combinatorial problem. Thus, the efficient modeling of convoluted search s…