An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling Fulltext Access 45 Pages 2010
Automated composition of Web services via planning in asynchronous domains Fulltext Access 46 Pages 2010
An integrated framework for the diagnosis and correction of rule-based programs Fulltext Access 47 Pages 2010
Logic-based ontology comparison and module extraction, with an application to DL-Lite Fulltext Access 49 Pages 2010
Content-dependent chunking for differential compression, the local maximum approach Fulltext Access 50 Pages 2010
Abstract interpretation based verification of temporal properties for BioAmbients Fulltext Access 53 Pages 2010
New differential approximation algorithm for k-customer vehicle routing problem Fulltext Access 4 Pages 2009
An O(n2(logn)/loglogn) algorithm for the single maximum coverage location or the (1,Xp)-medianoid problem on trees Fulltext Access 4 Pages 2009
Enforcing non-hierarchical access policies by hierarchical key assignment schemes Fulltext Access 4 Pages 2009
Adjacent vertex-distinguishing edge and total chromatic numbers of hypercubes Fulltext Access 4 Pages 2009
Improved algorithms for the k simple shortest paths and the replacement paths problems Fulltext Access 4 Pages 2009
Using the incompressibility method to obtain local lemma results for Ramsey-type problems Fulltext Access 4 Pages 2009
Range mode and range median queries in constant time and sub-quadratic space Fulltext Access 4 Pages 2009
Optimal algorithms for the average-constrained maximum-sum segment problem Fulltext Access 4 Pages 2009
Cryptanalysis and improvement of an ID-based ad-hoc anonymous identification scheme at CT-RSA 05 Fulltext Access 4 Pages 2009
On the intrinsic complexity of point finding in real singular hypersurfaces Fulltext Access 4 Pages 2009
Transforming an error-tolerant separable matrix to an error-tolerant disjunct matrix Fulltext Access 4 Pages 2009
Depth of segments and circles through points enclosing many points: a note Fulltext Access 4 Pages 2009
Approximate belief updating in max-2-connected Bayes networks is NP-hard Fulltext Access 4 Pages 2009
Steered molecular dynamics simulations of cobra cytotoxin interaction with zwitterionic lipid bilayer: No penetration of loop tips into membranes Fulltext Access 4 Pages 2009
ALIGN_MTX—An optimal pairwise textual sequence alignment program, adapted for using in sequence-structure alignment Fulltext Access 4 Pages 2009
The gene network determining development of Drosophila melanogaster mechanoreceptors Fulltext Access 4 Pages 2009
Promoters of the genes encoding the transcription factors regulating the cytokine gene expression in macrophages contain putative binding sites for aryl hydrocarbon receptor Fulltext Access 4 Pages 2009
Efficiency analysis of KNN and minimum distance-based classifiers in enzyme family prediction Fulltext Access 4 Pages 2009
Prediction of small molecule binding property of protein domains with Bayesian classifiers based on Markov chains Fulltext Access 4 Pages 2009
Modeling the folding and hydrogen production of Clostridium acetobutylicum and Clostridium saccharobutylium mutants using electrostatic potential surfaces and molecular dynamics Fulltext Access 4 Pages 2009
On the algorithmic complexity of the Mastermind game with black-peg results Fulltext Access 4 Pages 2009
A statistical measure of association and a series expansion of chain conformations Fulltext Access 4 Pages 2009
A one-round secure message broadcasting protocol through a key sharing tree Fulltext Access 4 Pages 2009
On f-fault tolerant arc-forwarding and optical indices of all-optical folded hypercubes Fulltext Access 4 Pages 2009
An efficient algorithm for minimum feedback vertex sets in rotator graphs Fulltext Access 4 Pages 2009
A note on compressed sensing and the complexity of matrix multiplication Fulltext Access 4 Pages 2009