Maximum H-colourable subdigraphs and constraint optimization with arbitrary weights Fulltext Access 12 Pages 2007
Exponential lower bounds for the number of words of uniform length avoiding a pattern Fulltext Access 12 Pages 2007
Coordinated access control with temporal and spatial constraints on mobile execution in coalition environments Fulltext Access 12 Pages 2007
Autonomous service level agreement negotiation for service composition provision Fulltext Access 12 Pages 2007
From bioinformatic web portals to semantically integrated Data Grid networks Fulltext Access 12 Pages 2007
A parallel hybrid genetic algorithm for protein structure prediction on the computational grid Fulltext Access 12 Pages 2007
On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference Fulltext Access 12 Pages 2007
Specification and Generation of Environment for Model Checking of Software Components Fulltext Access 12 Pages 2007
Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus Fulltext Access 12 Pages 2007
Modal Logic Characterization of Markovian Testing and Trace Equivalences Fulltext Access 12 Pages 2007
On the spanning connectivity and spanning laceability of hypercube-like networks Fulltext Access 12 Pages 2007
On clique separators, nearly chordal graphs, and the Maximum Weight Stable Set Problem Fulltext Access 12 Pages 2007
Polylogarithmic-round interactive proofs for coNP collapse the exponential hierarchy Fulltext Access 12 Pages 2007
A Petri Net Based Method for Refining Object Oriented System Specifications Fulltext Access 12 Pages 2007
Optimal snap-stabilizing depth-first token circulation in tree networks Fulltext Access 12 Pages 2007
Cost-efficient parallel programs based on set-distributions for polynomial interpolation Fulltext Access 12 Pages 2007
Utility-based QoS optimisation strategy for multi-criteria scheduling on the grid Fulltext Access 12 Pages 2007
An efficient and scalable parallel algorithm for out-of-core isosurface extraction and rendering Fulltext Access 12 Pages 2007
Almost-Delaunay simplices: Robust neighbor relations for imprecise 3D points using CGAL Fulltext Access 12 Pages 2007
Locating multiple interacting quantitative trait loci using robust model selection Fulltext Access 12 Pages 2007
Use of SVD-based probit transformation in clustering gene expression profiles Fulltext Access 12 Pages 2007
Maximally selected Chi-squared statistics and non-monotonic associations: An exact approach based on two cutpoints Fulltext Access 12 Pages 2007
A parametric bootstrap approach for ANOVA with unequal variances: Fixed and random models Fulltext Access 12 Pages 2007
Extending a global sensitivity analysis technique to models with correlated parameters Fulltext Access 12 Pages 2007
A Bayesian approach for analyzing a cluster-randomized trial with adjustment for risk misclassification Fulltext Access 12 Pages 2007
Using radial basis function networks and significance testing to select effective siRNA sequences Fulltext Access 12 Pages 2007
A stochastic dynamic model for optimal timing of investments in new generation capacity in restructured power systems Fulltext Access 12 Pages 2007
An optimal control strategy for power quality enhancement in a competitive environment Fulltext Access 12 Pages 2007
Coding, evaluation and selection of thermal power plants – A MADM approach Fulltext Access 12 Pages 2007
A novel algorithm for ATC calculations and applications in deregulated electricity markets Fulltext Access 12 Pages 2007
Semantic sampling of existing databases through informative Armstrong databases Fulltext Access 12 Pages 2007
A hybrid Bayesian network learning method for constructing gene networks Fulltext Access 12 Pages 2007
Ribosome kinetics and aa-tRNA competition determine rate and fidelity of peptide synthesis Fulltext Access 12 Pages 2007
Partial and Fuzzy Constraint Satisfaction to Support Coalition Formation Fulltext Access 12 Pages 2007
Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations 1 Fulltext Access 12 Pages 2007
On the edge-connectivity and restricted edge-connectivity of a product of graphs Fulltext Access 12 Pages 2007
Triangle-free graphs with uniquely restricted maximum matchings and their corresponding greedoids Fulltext Access 12 Pages 2007
Algorithms for solving multiobjective discrete control problems and dynamic c-games on networks Fulltext Access 12 Pages 2007
Axiomatic characterizations of the symmetric coalitional binomial semivalues Fulltext Access 12 Pages 2007