57 search results - page 3 / 12 » birthday 2009 |
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
CRYPTO
2009
Springer
15 years 4 months ago
2009
Springer
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
Energy has become a scarce and expensive resource. There is a growing awareness in society that energy saving is a critical issue. This paper surveys algorithmic solutions to reduc...
BIRTHDAY
2009
Springer
14 years 7 months ago
2009
Springer
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
BIRTHDAY
2009
Springer
15 years 1 months ago
2009
Springer
Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme