145
click to vote
MPC
10 years 3 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...
144
click to vote
MPC
10 years 3 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...
141
click to vote
MPC
10 years 3 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...
140
click to vote
MPC
10 years 3 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...
139
click to vote
MPC
10 years 3 months 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...
|
Mathematics