Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Brun, Matthew"'
Autor:
Brun, Matthew, Sun, Xu Andy
The electric vehicle (EV) battery supply chain will face challenges in sourcing scarce, expensive minerals required for manufacturing and in disposing of hazardous retired batteries. Integrating recycling technology into the supply chain has the pote
Externí odkaz:
http://arxiv.org/abs/2407.00864
Autor:
Brun, Matthew Alan Le, Dardha, Ornela
MAG$\pi$ is a Multiparty, Asynchronous and Generalised $\pi$-calculus that introduces timeouts into session types as a means of reasoning about failure-prone communication. Its type system guarantees that all possible message-loss is handled by timeo
Externí odkaz:
http://arxiv.org/abs/2404.16213
Autor:
Brun, Matthew Alan Le, Dardha, Ornela
Multiparty Session Types (MPST) are a typing discipline for communication-centric systems, guaranteeing communication safety, deadlock freedom and protocol compliance. Several works have emerged which model failures and introduce fault-tolerance tech
Externí odkaz:
http://arxiv.org/abs/2301.10827
Autor:
Gajjela, Chalapathi Charan, Brun, Matthew, Mankar, Rupali, Corvigno, Sara, Kennedy, Noah, Zhong, Yanping, Liu, Jinsong, Sood, Anil K., Mayerich, David, Berisha, Sebastian, Reddy, Rohith
Mid-infrared spectroscopic imaging (MIRSI) is an emerging class of label-free techniques being leveraged for digital histopathology. Modern histopathologic identification of ovarian cancer involves tissue staining followed by morphological pattern re
Externí odkaz:
http://arxiv.org/abs/2205.09285
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.
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.