Closure properties and complexity of rational sets of regular languages Fulltext Access 18 Pages 2015
A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations Fulltext Access 18 Pages 2015
A combinatorial formula for principal minors of a matrix with tree-metric exponents and its applications Fulltext Access 19 Pages 2015
Numerical solution for hydromagnetic boundary layer flow and heat transfer past a stretching surface embedded in non-Darcy porous medium with fluid-particle suspension Fulltext Access 19 Pages 2015
Searching on a line: A complete characterization of the optimal solution Fulltext Access 19 Pages 2015
Spread of influence in weighted networks under time and budget constraints Fulltext Access 19 Pages 2015
Separator-based graph embedding into multidimensional grids with small edge-congestion Fulltext Access 19 Pages 2015
Extended graph rotation systems as a model for cyclic weaving on orientable surfaces Fulltext Access 19 Pages 2015
Boosting distinct random sampling for basic counting on the union of distributed streams Fulltext Access 20 Pages 2015
Worst case compromises in matroids with applications to the allocation of indivisible goods Fulltext Access 20 Pages 2015
Analysis of the dynamic stability of a viscously damped elastic quadratic model structure modulated by a periodic load Fulltext Access 20 Pages 2015
Edge-colorings avoiding a fixed matching with a prescribed color pattern Fulltext Access 20 Pages 2015
Design and analysis of different alternating variable searches for search-based software testing Fulltext Access 20 Pages 2015
Checking conformance for time-constrained scenario-based specifications Fulltext Access 20 Pages 2015
Improved even order magic square construction algorithms and their applications in multi-user shared electronic accounts Fulltext Access 20 Pages 2015
Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions Fulltext Access 21 Pages 2015
Validation of Automatic Vehicle Location Data in Public Transport Systems Fulltext Access 21 Pages 2015
Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform Fulltext Access 21 Pages 2015
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions Fulltext Access 21 Pages 2015
A new order-theoretic characterisation of the polytime computable functions Fulltext Access 22 Pages 2015
Some doubly transitive bilinear dual hyperovals and their ambient spaces Fulltext Access 22 Pages 2015
On the limiting distribution of the metric dimension for random forests Fulltext Access 22 Pages 2015
Comprehensive characterization of the behaviors of estimation of distribution algorithms Fulltext Access 23 Pages 2015
Data gathering and personalized broadcasting in radio grids with interference Fulltext Access 23 Pages 2015
System design of stochastic models using robustness of temporal properties Fulltext Access 23 Pages 2015