Research Publications

 
Search | Show all
All
Conference Paper
Narrow your search
« 1 2 3 4 5 6 ... 17 18 »

Results per Page 10 25 50 100 250
173 result(s)
By Type
By Year
By Research Group
Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh
Social networks are increasingly being used to conduct polls. We introduce a simple model of such social polling. We suppose agents vote sequentially, but the order in which agents choose to vote is not necessarily fixed. We also suppose that an agent’s ...
International Conference on Autonomous Agents and Multiagent Systems (AAMAS) - May 2013
Nina Narodytska, Toby Walsh
We study the computational complexity of manipulating two stage voting rules like Black's procedure. This voting rule selects the Condorcet winner if they exist and otherwise elects the Borda winner. In general, there is no connection between the ...
12th International Conference on Autonomous Agents and Multiagent System (AAMAS 2013) - May 2013
Peter Stuckey, Guido Tack
Functional relations are ubiquitous in combinatorial problems - the Global Constraint Catalog lists 120 functional constraints. This paper argues that the ability to express functional constraints with functional syntax leads to more elegant and readable ...
International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR) - May 2013
Abdollah Dehzangi, Abdul Sattar
Protein Fold Recognition (PFR) is de ned as assigning a given protein to a fold based on its major secondary structure. PFR is considered as an important step toward protein structure prediction and drug design. However, it still remains as an unsolved...
Asian Conference on Intelligent Information and Database Systems (ACIIDS2013) - March 2013
Abdollah Dehzangi, Abdul Sattar
Protein Fold recognition (PFR) is considered as an important step towards protein structure prediction. It also provides significant information about general functionality of a given protein. Despite all the efforts have been made, PFR still remains ...
Asian Conference on Intelligent Information and Database Systems (ACIIDS2013) - March 2013
Serge Gaspers, Sebastian Ordyniak, M.S. Ramanujan, Saket Saurabh, Stefan Szeider
The class q-Horn, introduced by Boros, Crama and Hammer in 1990, is one of the largest known classes of propositional CNF formulas for which satisfiability can be decided in polynomial time. This class properly contains the fundamental classes of Horn and...
STACS 2013 - the 30th Symposium on Theoretical Aspects of Computer Science - February 2013
Swakkhar Shatabda, M A Hakim Newton, Duc Nghia Pham, Abdul Sattar
Protein Structure Prediction based on Hydrophobic-Polar energy model essentially becomes searching for a conformation having a compact hydrophobic core at the center. The hydrophobic core minimizes the interaction energy between the amino acids of the ...
International Conference on Bioinformatics Models, Methods and Algorithms - February 2013
Rehan Aziz, Peter Stuckey, Zoltan Somogyi
Australasian Computer Science Conference - February 2013
Swakkhar Shatabda, Hakim Newton, Duc Nghia Pham, Abdul Sattar
Given a protein's amino acid sequence, the protein structure prediction problem is to find a three dimensional structure that has the native energy level. For many decades, it has been one of the most challenging problems in computational biology. A ...
The Eleventh Asia Pacific Bioinformatics Conference - January 2013
Mahmood Abdur Rashid, Swakkhar Shatabda, M.A.Hakim Newton, Md Tamjidul Hoque, Duc Nghia Pham, Abdul Sattar
Background: Protein structure prediction is an important but unsolved problem in biological science. Predicted structures vary much with energy functions and structure-mapping spaces. In our simplified ab initio protein structure prediction methods, we ...
The Eleventh Asia Pacific Bioinformatics Conference (APBC'2013) - January 2013