MPC
2015
Springer
8 years 10 days ago
2015
Springer
We show that every regular language, via some DFA which accepts it, gives rise to a homomorphism from the semiring of polynomial functors to the semiring of n×n matrices over poly...
MPC
2015
Springer
8 years 10 days ago
2015
Springer
In this paper we use a duality result between equations and coequations for automata, proved by Ballester-Bolinches, Cosme-Ll´opez, and Rutten to characterize nonempty classes of ...
MPC
2015
Springer
8 years 10 days ago
2015
Springer
Rely-Guarantee reasoning is a well-known method for verification of shared-variable concurrent programs. However, it is difficult for users to define rely/guarantee conditions, ...
MPC
2015
Springer
8 years 10 days ago
2015
Springer
The correspondence between up-closed multirelations and isotone predicate transformers is well known. Less known is that multirelations have also been used for modelling topologica...
MPC
2015
Springer
8 years 10 days ago
2015
Springer
Abstract. Bidirectional transformations (bx) support principled consistency maintenance among data sources. Each data source corresponds to one perspective on a composite system, m...
MPC
2016
Springer
8 years 17 days ago
2016
Springer
We discuss the variability in the performance of multiple runs of branch-and-cut Mixed Integer Linear Programming solvers, and we concentrate on the one deriving from the use of di...
MPC
2016
Springer
8 years 17 days ago
2016
Springer
The primal-dual column generation method (PDCGM) is a general-purpose column generation technique that relies on the primal-dual interior point method to solve the restricted mast...
DMTCS
2016
8 years 23 days ago
2016
In this paper, we explore completely regular codes in the Hamming graphs and related graphs. Experimental evidence suggests that many completely regular codes have the property th...
CALCO
2013
Springer
8 years 11 months ago
2013
Springer
We present an effect system for algebraic effects and handlers. Because handlers may transform an effectful computation into a pure one, the effect system is non-monotone in the s...
ADG
2013
Springer
9 years 12 months ago
2013
Springer
We consider the relationships between algebra, geometry, computation, and proof. Computers have been used to verify geometrical facts by reducing them to algebraic computations. Bu...