Zobrazeno 1 - 10
of 627
pro vyhledávání: '"Mackie, Ian"'
Autor:
Alves, Sandra, Mackie, Ian
Publikováno v:
EPTCS 408, 2024
This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised as a one-day satellite event of FSCD 2023, the 8th International Conf
Externí odkaz:
http://arxiv.org/abs/2409.19298
Autor:
Fernández, Maribel, Mackie, Ian
Publikováno v:
EPTCS 288, 2019
This volume contains a selection of the papers presented at TERMGRAPH 2018, the tenth edition of the international workshop on computing with terms and graphs. Graphs, and graph transformation systems, are used in many areas within Computer Science:
Externí odkaz:
http://arxiv.org/abs/1902.01510
Autor:
Pons-Estel, Guillermo, Giannakopoulos, Bill, Krilis, Steve, de Jesus, Guilherme, Levy, Roger, Signorelli, Flavio, Andrade, Danieli, Balbi, Gustavo, Clarke, Ann E., Skeith, Leslie, Fortin, Paul R., Ji, Lanlan, Zhang, Zhouli, Yang, Chengde, Shi, Hui, Zuily, Stephane, Wahl, Denis, Tektonidou, Maria G., Nalli, Cecilia, Andreoli, Laura, Tincani, Angela, Chighizola, Cecilia B., Gerosa, Maria, Meroni, Pierluigi, Pengo, Vittorio, Cheng, Chunyan, Pazzola, Giulia, Sciascia, Savino, Foddai, Silvia, Radin, Massimo, Davis, Stacy, Amengual, Olga, Atsumi, Tatsuya, Uthman, Imad, Limper, Maarten, Groot, Philip de, Ruiz—Irastorza, Guillermo, Ugarte, Amaia, Rodriguez-Pinto, Ignasi, Cervera, Ricard, Pardos-Gea, Jose, Rodriguez Almaraz, Esther, Cuadrado, Maria Jose, Aguirre Zamorano, Maria Angeles, Lopez-Pedrera, Chary, Artim-Esen, Bahar, Inanc, Murat, Bertolaccini, Maria Laura, Cohen, Hannah, Efthymiou, Maria, Khamashta, Munther, Mackie, Ian, Sanna, Giovanni, Knight, Jason, Zuo, Yu, Petri, Michelle, Leaf, Rebecca K., Roubey, Robert, Ortel, Thomas, Gonzalez, Emilio, Willis, Rohan, Kello, Nina, Belmont, Michael, Levine, Steven, Rand, Jacob, Barbhaiya, Medha, Erkan, Doruk, Salmon, Jane, Lockshin, Michael, Duarte Garcia, Ali A., Branch, D. Ware, Gkrouzman, Elena, Ruiz-Irastorza, Guillermo, Belmont, H. Michael, Rodriguez-Almaraz, Esther, Petri, Michelle A., Knight, Jason S.
Publikováno v:
In Laboratory Investigation June 2023 103(6)
Autor:
Mackie, Ian, Sato, Shinya
Publikováno v:
EPTCS 225, 2016, pp. 15-24
An algorithm is in-place, or runs in-situ, when it does not need any additional memory to execute beyond a small constant amount. There are many algorithms that are efficient because of this feature, therefore it is an important aspect of an algorith
Externí odkaz:
http://arxiv.org/abs/1609.03641
Autor:
Mackie, Ian
Publikováno v:
EPTCS 225, 2016, pp. 5-14
Kahn process networks are a model of computation based on a collection of sequential, deterministic processes that communicate by sending messages through unbounded channels. They are well suited for modelling stream-based computations, but are in no
Externí odkaz:
http://arxiv.org/abs/1609.03640
Publikováno v:
EPTCS 183, 2015, pp. 66-80
To study implementations and optimisations of interaction net systems we propose a calculus to allow us to reason about nets, a concrete data-structure that is in close correspondence with the calculus, and a low-level language to create and manipula
Externí odkaz:
http://arxiv.org/abs/1505.07164
This volume contains a selection of the papers presented at the Ninth International Workshop on Developments in Computational Models (DCM 2013) held in Buenos Aires, Argentina on 26th August 2013, as a satellite event of CONCUR 2013. Several new mode
Externí odkaz:
http://arxiv.org/abs/1403.7685
Autor:
Efthymiou, Maria *, Mackie, Ian J., Lane, Philip J., Andrade, Danieli, Willis, Rohan, Erkan, Doruk, Sciascia, Savino, Krillis, Steven, Bison, Elisa, Borges Galhardo Vendramini, Margarete, Romay‐Penabad, Zurina, Qi, Miao, Tektonidou, Maria, Ugarte, Amaia, Chighizola, Cecilia, Belmont, H. Michael, Aguirre, Maria Angeles, Ji, Lanlan, Branch, D. Ware, de Jesus, Guilherme, Fortin, Paul R., Andreoli, Laura, Petri, Michelle, Cervera, Ricard, Rodriguez, Esther, Knight, Jason S., Atsumi, Tatsuya, Vega, Joann, Sevim, Ecem, Bertolaccini, Maria Laura, Pengo, Vittorio, Cohen, Hannah
Publikováno v:
In Journal of Thrombosis and Haemostasis December 2019 17(12):2069-2080
Publikováno v:
EPTCS 110, 2013, pp. 74-81
Interaction nets are a graphical model of computation, which has been used to define efficient evaluators for functional calculi, and specifically lambda calculi with patterns. However, the flat structure of interaction nets forces pattern matching a
Externí odkaz:
http://arxiv.org/abs/1302.6339