Zobrazeno 1 - 10
of 172
pro vyhledávání: '"Robin Milner"'
Organic aerosols (OAs) have a significant effect on Earth’s climate due to their radiation scattering properties and potential to be cloud condensation nuclei. OAs occur naturally from biological processes and biomass burning, but anthropogenic sou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46e5aeca01debf272e663b955a65082b
https://doi.org/10.5194/egusphere-egu22-8494
https://doi.org/10.5194/egusphere-egu22-8494
Autor:
Ian Wand, Robin Milner
First published in 1996, this collection of essays by distinguished computer scientists celebrates the achievements of research and speculates about the unsolved problems in computer science that require future investigation. Since the subject stretc
Autor:
Robin Milner-Gulland
Publikováno v:
Journal of European Studies. 50:238-240
Autor:
Robin Milner-Gulland
A critical biography of the most celebrated religious icon painter in medieval Russia. A monk from Moscow, Andrey Rublev (c.1360–c.1430) is heralded as the greatest painter of religious icons and frescos in medieval Russia. Nevertheless, his life r
Autor:
Robin Milner-Gulland
Publikováno v:
The Russian Twentieth Century Short Story
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9a424046b90ab7091557ae4606ff0c7b
https://doi.org/10.1515/9781618110169-012
https://doi.org/10.1515/9781618110169-012
Autor:
Robin Milner-Gulland
Publikováno v:
Journal of European Studies. 48:205-208
Autor:
Robin Milner-Gulland
Publikováno v:
Tomb and Temple. :233-254
Autor:
Robin Milner-Gulland
Publikováno v:
Journal of European Studies. 48:199-201
Autor:
Robin Milner-Gulland
This book provides a remarkable overview of significant themes in Russian history and culture, in each case starting well before the eighteenth century, while frequently following them up into the nineteenth and twentieth centuries. Robin Milner-Gull
Publikováno v:
Formal Aspects of Computing. 25:257-288
We analyze the matching problem for bigraphs. In particular, we present a sound and complete inductive characterization of matching in bigraphs with binding. Our results yield a specification for a provably correct matching algorithm, as needed by ou