75
Voted
MPC
9 years 9 months 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...
75
Voted
MPC
9 years 9 months ago
2015 Springer 
Generic programming (GP) is a form of abstraction in programming languages that serves to reduce code duplication by exploiting the regular structure of algebraic datatypes. Severa...
74
Voted
MPC
9 years 9 months 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...
72
Voted
MPC
9 years 9 months ago
2015 Springer
We develop a method for computing facet-defining valid inequalities for any mixed-integer set PJ . While our practical implementation does not return only facet-defining inequal...
69
Voted
MPC
9 years 9 months ago
2015 Springer
Abstract We address the solution of a very challenging (and previously unsolved) instance of the quadratic 3-dimensional assignment problem, arising in digital wireless communicati...
|
Mathematics