57 search results - page 3 / 12 » birthday 2009 |
BIRTHDAY
2009
Springer
14 years 1 days ago
2009
Springer
CRYPTO
2009
Springer
13 years 11 months ago
2009
Springer
BIRTHDAY
2009
Springer
14 years 1 days 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
13 years 3 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
13 years 9 months ago
2009
Springer
Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme