Zobrazeno 1 - 10
of 221
pro vyhledávání: '"Vink E"'
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.
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
Autor:
Willett, BJ, Grove, J, MacLean, OA, Wilkie, C, De Lorenzo, G, Furnon, W, Cantoni, D, Scott, S, Logan, N, Ashraf, S, Manali, M, Szemiel, A, Cowton, V, Vink, E, Harvey, WT, Davis, C, Asamaphan, P, Smollett, K, Tong, L, Orton, R, Hughes, J, Holland, P, Silva, V, Pascall, DJ, Puxty, K, Da Silva Filipe, A, Yebra, G, Shaaban, S, Holden, MTG, Pinto, RM, Gunson, R, Templeton, K, Murcia, PR, Patel, AH, Klenerman, P, Dunachie, S, Haughney, J, Robertson, DL, Palmarini, M, Ray, S, Thomson, EC
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1032::29f8bc5b745ce7a7eba91ab22a0727c6
http://hdl.handle.net/10044/1/105302
http://hdl.handle.net/10044/1/105302
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.