2 documents found, page 1 of 1
Global impact of the COVID-19 pandemic on stroke volumes and cerebrovascular ev...
Nguyen, Thanh N.; Qureshi, Muhammad M.; Klein, Piers; Yamagami, Hiroshi; Mikulik, Robert; Czlonkowska, Anna; Abdalkader, Mohamad; Sedova, PetraBackground and objectives: Declines in stroke admission, IV thrombolysis (IVT), and mechanical thrombectomy volumes were reported during the first wave of the COVID-19 pandemic. There is a paucity of data on the longer-term effect of the pandemic on stroke volumes over the course of a year and through the second wave of the pandemic. We sought to measure the effect of the COVID-19 pandemic on the volumes of str...
Petri Net based specification and verification of globally-asynchronous-locally...
Moutinho, Filipe; Gomes, Luís; Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Figueiredo, Jorge; Costa, Aniko; Monteiro, AndreThis paper shows a methodology for Globally-Asynchronous-Locally-Synchronous (GALS) systems specification and verification. The distributed system is specified by non-autonomous Petri net modules, obtained after the partition of a (global) Petri net model. These modules are represented using IOPT (Input-Output Place-Transition) Petri net models, communicating through dedicated communication channels forming the...