Advanced Search
Now showing items 1-10 of 20
Long term behavior of dynamic equilibria in fluid queuing networks
(Springer, 2017)
Towards hospitalization after readmission risk prediction using ELMs
(Springer Verlag, 2017)
Adaptivity in Network Interdiction
(Springer, 2017)
Gradual program verification
(Springer Verlag, 2018)
On the approximation ratio of Lempel-Ziv parsing
(Springer Verlag, 2018)
Computing coverage kernels under restricted settings
(Springer Verlag, 2018)
LZ78 compression in low main memory space
(Springer, 2017)
A gradual interpretation of union types
(Springer, 2017)
A formal framework for comparing linked data fragments
(Springer, 2017)