69
Voted
MPC
9 years 8 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...
68
Voted
MPC
9 years 8 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...
67
Voted
MPC
9 years 8 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...
66
Voted
MPC
9 years 8 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...
63
Voted
MPC
9 years 8 months 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...
|
Mathematics