Improved approximation algorithms for scheduling parallel jobs on identical clusters Fulltext Access 16 Pages 2015
The structure and metric dimension of the power graph of a finite group Fulltext Access 16 Pages 2015
Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties Fulltext Access 16 Pages 2015
Approximation algorithms for sorting by length-weighted prefix and suffix operations Fulltext Access 16 Pages 2015
Analysis of fully distributed splitting and naming probabilistic procedures and applications Fulltext Access 16 Pages 2015
Power and exponential sums for generalized coding systems by a measure theoretic approach Fulltext Access 16 Pages 2015
On the commutative equivalence of bounded context-free and regular languages: The code case Fulltext Access 16 Pages 2015
A bound for the convergence rate of parallel tempering for sampling restricted Boltzmann machines Fulltext Access 16 Pages 2015
Practical (fully) distributed signatures provably secure in the standard model Fulltext Access 16 Pages 2015
How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning Fulltext Access 16 Pages 2015
Exact algorithms for dominating induced matching based on graph partition Fulltext Access 16 Pages 2015
Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders Fulltext Access 16 Pages 2015
On the recognition of unit disk graphs and the Distance Geometry Problem with Ranges Fulltext Access 17 Pages 2015
Bijections for pairs of non-crossing lattice paths and walks in the plane Fulltext Access 17 Pages 2015
Parameterized and approximation algorithms for maximum agreement forest in multifurcating trees Fulltext Access 17 Pages 2015
Feasibility checking in Horn constraint systems through a reduction based approach Fulltext Access 17 Pages 2015
Numerical solution of heat conduction problems using orthogonal collocation on finite elements Fulltext Access 17 Pages 2015
A unified approach to computing the nearest complex polynomial with a given zero Fulltext Access 17 Pages 2015
Using dual feasible functions to construct fast lower bounds for routing and location problems Fulltext Access 17 Pages 2015
Quality bounds for binary tomography with arbitrary projection matrices Fulltext Access 17 Pages 2015
Fast recognition of a Digital Straight Line subsegment: Two algorithms of logarithmic time complexity Fulltext Access 17 Pages 2015
Performance guarantees for scheduling algorithms under perturbed machine speeds Fulltext Access 17 Pages 2015
A Framework for the Analysis of Access Control Policies with Emergency Management Fulltext Access 17 Pages 2015
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics Fulltext Access 17 Pages 2015
Hardness results, approximation and exact algorithms for liar's domination problem in graphs Fulltext Access 17 Pages 2015
Local event boundary detection with unreliable sensors: Analysis of the majority vote scheme Fulltext Access 17 Pages 2015
Dealing with undependable workers in decentralized network supercomputing Fulltext Access 17 Pages 2015
Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata Fulltext Access 18 Pages 2015
Closure properties and complexity of rational sets of regular languages Fulltext Access 18 Pages 2015
Robust similarity between hypergraphs based on valuations and mathematical morphology operators Fulltext Access 18 Pages 2015
Sufficient conditions for reachability in automata networks with priorities Fulltext Access 18 Pages 2015
Performance guarantees for a scheduling problem with common stepwise job payoffs Fulltext Access 18 Pages 2015
Algebraic–coalgebraic recursion theory of history-dependent dynamical system models Fulltext Access 18 Pages 2015
Three overlapping squares: The general case characterized & applications Fulltext Access 18 Pages 2015
Online parallel scheduling of non-uniform tasks: Trading failures for energy Fulltext Access 18 Pages 2015
Connectivity and stretch factor trade-offs in wireless sensor networks with directional antennae Fulltext Access 18 Pages 2015