research
∙
09/23/2022
Deontic Meta-Rules
The use of meta-rules in logic, i.e., rules whose content includes other...
share
research
∙
05/14/2020
Surrogate Assisted Optimisation for Travelling Thief Problems
The travelling thief problem (TTP) is a multi-component optimisation pro...
research
∙
11/08/2019
A Cooperative Coordination Solver for Travelling Thief Problems
In the travelling thief problem (TTP), a thief undertakes a cyclic tour ...
research
∙
07/19/2019
Toxicity Prediction by Multimodal Deep Learning
Prediction of toxicity levels of chemical compounds is an important issu...
research
∙
01/26/2019
Efficient Toxicity Prediction via Simple Features Using Shallow Neural Networks and Decision Trees
Toxicity prediction of chemical compounds is a grand challenge. Lately, ...
research
∙
08/29/2018
Dropout with Tabu Strategy for Regularizing Deep Neural Networks
Dropout has proven to be an effective technique for regularization and p...
research
∙
06/25/2018
Diversified Late Acceptance Search
The well-known Late Acceptance Hill Climbing (LAHC) search aims to overc...
research
∙
03/31/2016
A New Approach for Revising Logic Programs
Belief revision has been studied mainly with respect to background logic...
research
∙
03/07/2016
Guided macro-mutation in a graded energy based genetic algorithm for protein structure prediction
Protein structure prediction is considered as one of the most challengin...
research
∙
09/19/2015
Exploiting Reduction Rules and Data Structures: Local Search for Minimum Vertex Cover in Massive Graphs
The Minimum Vertex Cover (MinVC) problem is a well-known NP-hard problem...
research
∙
02/04/2014
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover
The Minimum Vertex Cover (MVC) problem is a prominent NP-hard combinator...
research
∙
01/15/2014
Variable Forgetting in Reasoning about Knowledge
In this paper, we investigate knowledge reasoning within a simple framew...
research
∙
11/15/2013
