Adjacent vertex distinguishing indices of planar graphs without 3-cycles Fulltext Access 10 Pages 2015
Dichotomy results for fixed point counting in boolean dynamical systems Fulltext Access 10 Pages 2015
Fluid flow and heat transfer in a collapsible tube with heat source or sink Fulltext Access 10 Pages 2015
Linear time algorithms for weighted offensive and powerful alliances in trees Fulltext Access 10 Pages 2015
On constructing complete permutation polynomials over finite fields of even characteristic Fulltext Access 10 Pages 2015
Mathematical analyses of two-compartment model of human cholesterol circulatory transport in application to high blood cholesterol prevention, diagnosis and treatment Fulltext Access 10 Pages 2015
Recursive constructions and nonisomorphic minimal nonorientable embeddings of complete graphs Fulltext Access 11 Pages 2015
Preemptive scheduling on identical machines with delivery coordination to minimize the maximum delivery completion time Fulltext Access 11 Pages 2015
Bisimulation quantifiers and uniform interpolation for guarded first order logic Fulltext Access 11 Pages 2015
Improved approximation algorithms for constrained fault-tolerant resource allocation Fulltext Access 11 Pages 2015
Non-existence of a simple 3-(16, 7, 5) design with an automorphism of order 3 Fulltext Access 11 Pages 2015
Weighted Coxeter graphs and generalized geometric representations of Coxeter groups Fulltext Access 11 Pages 2015
A characterization of oblivious message adversaries for which Consensus is solvable Fulltext Access 11 Pages 2015
A complete solution to the complexity of Synchronizing Road Coloring for non-binary alphabets Fulltext Access 11 Pages 2015
A nonmonotone analysis with the primal–dual approach: Online routing of virtual circuits with unknown durations Fulltext Access 11 Pages 2015
A new measure for comparing biomedical regions of interest in segmentation of digital images Fulltext Access 11 Pages 2015
Polynomial time recognition of squares of Ptolemaic graphs and 3-sun-free split graphs Fulltext Access 11 Pages 2015
Termination of the iterated strong-factor operator on multipartite graphs Fulltext Access 11 Pages 2015
On solving the double loading problem using a modified particle swarm optimization Fulltext Access 11 Pages 2015
Approximation of function evaluation over sequence arguments via specialized data structures Fulltext Access 11 Pages 2015
Finding a continuous-time Markov chain via sparse stochastic matrices in manpower systems Fulltext Access 12 Pages 2015
An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method Fulltext Access 12 Pages 2015
The maximum time of 2-neighbour bootstrap percolation: Algorithmic aspects Fulltext Access 12 Pages 2015