Zobrazeno 1 - 10
of 220
pro vyhledávání: '"Vink, E"'
Comparison of extent and transformation of South Africa's woodland biome from two national databases
[From introduction] The recent completion of the South African National Land-Cover Database and the Vegetation Map of South Africa, Swaziland and Lesotho, allows for the first time a comparison to be made on a national scale between the current and p
Externí odkaz:
http://hdl.handle.net/10962/d1007085
Publikováno v:
EPTCS 100, 2012, pp. 48-62
Inspired by RNA-editing as occurs in transcriptional processes in the living cell, we introduce an abstract notion of string adjustment, called guided rewriting. This formalism allows simultaneously inserting and deleting elements. We prove that guid
Externí odkaz:
http://arxiv.org/abs/1211.4092
Publikováno v:
EPTCS 93, 2012, pp. 23-43
Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with stochastic proces
Externí odkaz:
http://arxiv.org/abs/1209.1432
Autor:
Groenewegen, L. P. J., de Vink, E. P.
For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fly through Paradigm's constraint orchestration, also for originally unforeseen ev
Externí odkaz:
http://arxiv.org/abs/0811.3492
Autor:
Ho, A, Orton, R, Tayler, R, Asamaphan, P, Herder, V, Davis, C, Tong, L, Smollett, K, Manali, M, Allan, J, Rawlik, K, McDonald, SE, Vink, E, Pollock, L, Gannon, L, Evans, C, McMenamin, J, Roy, K, Marsh, K, Divala, T, Holden, MTG, Lockhart, M, Yirrell, D, Currie, S, O'Leary, M, Henderson, D, Shepherd, SJ, Jackson, C, Gunson, R, MacLean, A, McInnes, N, Bradley-Stewart, A, Battle, R, Hollenbach, JA, Henderson, P, Odam, M, Chikowore, P, Oosthuyzen, W, Chand, M, Hamilton, MS, Estrada-Rivadeneyra, D, Levin, M, Avramidis, N, Pairo-Castineira, E, Vitart, V, Wilkie, C, Palmarini, M, Ray, S, Wilkinson, J
An outbreak of acute hepatitis of unknown aetiology in children was reported in Scotland1 in April 2022 and has now been identified in 35 countries2. Several recent studies have suggested an association with human adenovirus with this outbreak, a vir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1064::dbda5b63a1517d3c69fb9ef13aa101f2
https://doi.org/10.1038/s41586-023-05948-2
https://doi.org/10.1038/s41586-023-05948-2
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ISTI Technical Report, ISTI-2023-TR/003, 2023
The notion of bisimilarity plays an important role in concurrency theory. It provides formal support to the idea of processes having "equivalent behaviour" and is a powerful tool for model reduction. Furthermore, bisimilarity typically coincides with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9984::c87c2efc9e5bc3740873f181631453b2
https://openportal.isti.cnr.it/doc?id=people______::1982b85554323352ce4fcf093ba28c53
https://openportal.isti.cnr.it/doc?id=people______::1982b85554323352ce4fcf093ba28c53
Publikováno v:
DisCoTec 2023-43rd IFIP WG 6.1 International Conference, FORTE 2023 Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, pp. 132–151, Lisbon, Portugal, 19-23/06/2023
The notion of bisimilarity plays an important role in con- currency theory. It provides formal support to the idea of processes hav- ing "equivalent behaviour" and is a powerful tool for model reduction. Furthermore, bisimilarity typically coincides
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9984::214952863473fe4d9dbec838e9493620
https://openportal.isti.cnr.it/doc?id=people______::5d69e328cfe288cf662a3948812e2702
https://openportal.isti.cnr.it/doc?id=people______::5d69e328cfe288cf662a3948812e2702