The complexity of computing the behaviour of lattice automata on infinite trees Fulltext Access 16 Pages 2014
The component model for elementary landscapes and partial neighborhoods Fulltext Access 17 Pages 2014
Multi-Path Algorithms for minimum-colour path problems with applications to approximating barrier resilience Fulltext Access 17 Pages 2014
Fitting truncated geometric distributions in large scale real world networks Fulltext Access 17 Pages 2014
Dynamic 3-sided planar range queries with expected doubly-logarithmic time Fulltext Access 17 Pages 2014
A generalization of the Fibonacci word fractal and the Fibonacci snowflake Fulltext Access 17 Pages 2014
Computational complexity of threshold automata networks under different updating schemes Fulltext Access 17 Pages 2014
Ordered multiplicity lists for eigenvalues of symmetric matrices whose graph is a linear tree Fulltext Access 17 Pages 2014
Collective additive tree spanners of bounded tree-breadth graphs with generalizations and consequences Fulltext Access 17 Pages 2014
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming Fulltext Access 17 Pages 2014
Using local similarity measures to efficiently address approximate graph matching Fulltext Access 17 Pages 2014
Exact and heuristic solution approaches for the Integrated Job Scheduling and Constrained Network Routing Problem Fulltext Access 17 Pages 2014
Structural results on circular-arc graphs and circle graphs: A survey and the main open problems Fulltext Access 17 Pages 2014
Computing and counting longest paths on circular-arc graphs in polynomial time Fulltext Access 17 Pages 2014
On structural properties of trees with minimal atom-bond connectivity index Fulltext Access 17 Pages 2014
Informational Semantics, Non-Deterministic Matrices and Feasible Deduction Fulltext Access 18 Pages 2014
A branch-and-cut algorithm for the latent-class logit assortment problem Fulltext Access 18 Pages 2014
Characterization of facets of the hop constrained chain polytope via dynamic programming Fulltext Access 18 Pages 2014
Automated generation of conjectures on forbidden subgraph characterization Fulltext Access 18 Pages 2014
A reduction algorithm for the weighted stable set problem in claw-free graphs Fulltext Access 18 Pages 2014
Dense bipartite circulants and their routing via rectangular twisted torus Fulltext Access 18 Pages 2014
The location-dispatching problem: Polyhedral results and content delivery network design Fulltext Access 18 Pages 2014
Exact algorithms and heuristics for the Quadratic Traveling Salesman Problem with an application in bioinformatics Fulltext Access 18 Pages 2014
Characterization and computation of infinite-horizon specifications over Markov processes Fulltext Access 18 Pages 2014
Weighted last-step min–max algorithm with improved sub-logarithmic regret Fulltext Access 18 Pages 2014
Exact computation of the expectation surfaces for uniform crossover along with bit-flip mutation Fulltext Access 18 Pages 2014
A 4.31-approximation for the geometric unique coverage problem on unit disks Fulltext Access 18 Pages 2014
The sorting index and equidistribution of set-valued statistics over restricted permutations Fulltext Access 19 Pages 2014
Scheduling arc maintenance jobs in a network to maximize total flow over time Fulltext Access 19 Pages 2014
Combinatorial optimization with one quadratic term: Spanning trees and forests Fulltext Access 19 Pages 2014
Chosen-ciphertext secure multi-hop identity-based conditional proxy re-encryption with constant-size ciphertexts Fulltext Access 19 Pages 2014
On the efficiency of Influence-and-Exploit strategies for revenue maximization under positive externalities Fulltext Access 19 Pages 2014
Existential type systems between Church and Curry style (type-free style) Fulltext Access 19 Pages 2014
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions Fulltext Access 19 Pages 2014
Performance analysis of randomised search heuristics operating with a fixed budget Fulltext Access 20 Pages 2014
Bivariate generating functions for a class of linear recurrences: General structure Fulltext Access 20 Pages 2014
Towards a generic view of primality through multiset decompositions of natural numbers Fulltext Access 20 Pages 2014
Tree projections and structural decomposition methods: Minimality and game-theoretic characterization Fulltext Access 20 Pages 2014
A description based on languages of the final non-deterministic automaton Fulltext Access 20 Pages 2014