A study of substitution, using nominal techniques and Fraenkel–Mostowksi sets Fulltext Access 31 Pages 2009
Quantified epistemic logics for reasoning about knowledge in multi-agent systems Fulltext Access 32 Pages 2009
Improved conditions for bounded tardiness under EPDF Pfair multiprocessor scheduling Fulltext Access 33 Pages 2009
Memory intensive AND/OR search for combinatorial optimization in graphical models Fulltext Access 33 Pages 2009
Fully abstract models and refinements as tools to compare agents in timed coordination languages Fulltext Access 33 Pages 2009
Relating state-based and process-based concurrency through linear logic (full-version) Fulltext Access 34 Pages 2009
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications Fulltext Access 34 Pages 2009
Enactive artificial intelligence: Investigating the systemic organization of life and mind Fulltext Access 35 Pages 2009
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study Fulltext Access 35 Pages 2009
AND/OR Branch-and-Bound search for combinatorial optimization in graphical models Fulltext Access 35 Pages 2009
Representing ontologies using description logics, description graphs, and rules Fulltext Access 35 Pages 2009
Managing concurrency in temporal planning using planner-scheduler interaction Fulltext Access 44 Pages 2009
Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners Fulltext Access 50 Pages 2009
Embedding a family of disjoint multi-dimensional meshes into a crossed cube Fulltext Access 4 Pages 2008
Fast computation of smallest enclosing circle with center on a query line segment Fulltext Access 4 Pages 2008
Improved upper bounds on the L(2,1) -labeling of the skew and converse skew product graphs Fulltext Access 4 Pages 2008
Climate change, global warming and coral reefs: Modelling the effects of temperature Fulltext Access 4 Pages 2008
An improvement on the complexity of factoring read-once Boolean functions Fulltext Access 4 Pages 2008
Efficient simulation of a bivariate exponential conditionals distribution Fulltext Access 4 Pages 2008
Relationship between degree–rank function and degree distribution of protein–protein interaction networks Fulltext Access 4 Pages 2008
Morphological variation in the oral disc of the scleractinian coral Favia speciosa (Dana) at Indonesia Fulltext Access 4 Pages 2008
A feature vector integration approach for a generalized support vector machine pairwise homology algorithm Fulltext Access 4 Pages 2008
Protein subcellular location prediction using optimally weighted fuzzy k-NN algorithm Fulltext Access 4 Pages 2008
Prediction of Alzheimer's diagnosis using semi-supervised distance metric learning with label propagation Fulltext Access 4 Pages 2008
A method for discovering transmembrane beta-barrel proteins in Gram-negative bacterial proteomes Fulltext Access 4 Pages 2008
Why have serine/threonine/tyrosine kinases been evolutionarily selected in eukaryotic signaling cascades? Fulltext Access 4 Pages 2008
A constant approximation algorithm for the densest k-subgraph problem on chordal graphs Fulltext Access 4 Pages 2008
Finding a maximum-density path in a tree under the weight and length constraints Fulltext Access 4 Pages 2008
On the fixed-parameter tractability of parameterized model-checking problems Fulltext Access 4 Pages 2008
An improved algorithm for finding a length-constrained maximum-density subtree in a tree Fulltext Access 4 Pages 2008
Exponential behaviour of the Butkovič–Zimmermann algorithm for solving two-sided linear systems in max-algebra Fulltext Access 4 Pages 2008