Zobrazeno 1 - 10
of 222
pro vyhledávání: '"Hammond, Kevin"'
Autor:
Haeri, Seyed Hossein, Thompson, Peter W., Van Roy, Peter, Haveraaen, Magne, Davies, Neil J., Barash, Mikhail, Hammond, Kevin, Chapman, James
Publikováno v:
EPTCS 383, 2023, pp. 35-54
Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, i.e., delivering results within defined time bounds, is a central aspect o
Externí odkaz:
http://arxiv.org/abs/2308.10654
Autor:
Swan, Jerry, Adriaensen, Steven, Brownlee, Alexander E. I., Hammond, Kevin, Johnson, Colin G., Kheiri, Ahmed, Krawiec, Faustyna, Merelo, J. J., Minku, Leandro L., Özcan, Ender, Pappa, Gisele L., García-Sánchez, Pablo, Sörensen, Kenneth, Voß, Stefan, Wagner, Markus, White, David R.
Following decades of sustained improvement, metaheuristics are one of the great success stories of optimization research. However, in order for research in metaheuristics to avoid fragmentation and a lack of reproducibility, there is a pressing need
Externí odkaz:
http://arxiv.org/abs/2011.09821
First-order resolution has been used for type inference for many years, including in Hindley- Milner type inference, type-classes, and constrained data types. Dependent types are a new trend in functional languages. In this paper, we show that proof-
Externí odkaz:
http://arxiv.org/abs/1804.11250
Autor:
Swan, Jerry, Adriaensen, Steven, Brownlee, Alexander E.I., Hammond, Kevin, Johnson, Colin G., Kheiri, Ahmed, Krawiec, Faustyna, Merelo, J.J., Minku, Leandro L., Özcan, Ender, Pappa, Gisele L., García-Sánchez, Pablo, Sörensen, Kenneth, Voß, Stefan, Wagner, Markus, White, David R.
Publikováno v:
In European Journal of Operational Research 1 March 2022 297(2):393-406
Horn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed, with the goal of allowing (co)recursive dictionary construction where
Externí odkaz:
http://arxiv.org/abs/1608.05233
Publikováno v:
Military Medicine. Jan/Feb2023, Vol. 188 Issue 1/2, pe339-e342. 4p.