100
click to vote
MPC
10 years 10 days 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...
MPC
10 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
10 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
10 years 10 days 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...
MPC
10 years 10 days ago
2015 Springer
Quadratic programming problems (QPs) that arise from dynamic optimization problems typically exhibit a very particular structure. We address the ubiquitous case where these QPs are...
|