Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Leo Freitas"'
Publikováno v:
Transplantology, Vol 2, Iss 3, Pp 362-378 (2021)
With the ever-increasing disparity between the number of patients waiting for organ transplants and the number organs available, some patients are unable to receive life-saving transplantation in time. The present, widely-used form of preservation is
Externí odkaz:
https://doaj.org/article/84edf0da45de4c9688a748415676fa95
Publikováno v:
Transplantology, Vol 2, Iss 35, Pp 362-378 (2021)
With the ever-increasing disparity between the number of patients waiting for organ transplants and the number organs available, some patients are unable to receive life-saving transplantation in time. The present, widely-used form of preservation is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30d2ab42276807109d38cb94acc36fe4
https://doi.org/10.3390/transplantology2030035
https://doi.org/10.3390/transplantology2030035
Autor:
Corrêa, Léo Freitas, Glória, Maria da, Araujo, Tabata, Rangel, Gaby, Azevedo, Gizelle, Jesus, Michaela de, Cristina, Marcella, Jesus, Priscila, Pereira, Lorena, Brandão, Carlos Otávio
Publikováno v:
In Brazilian Journal of Infectious Diseases January 2021 25 Supplement 1
Publikováno v:
Rigorous State-Based Methods ISBN: 9783030480769
ABZ
ABZ
To counteract the lack of competition and innovation in the financial services industry, the EU has issued the Second Payment Services Directive (PSD2) encouraging account servicing payment service providers to share data. The UK, similarly to other
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cbc29050019201a660801fa75302b5be
https://doi.org/10.1007/978-3-030-48077-6_16
https://doi.org/10.1007/978-3-030-48077-6_16
Autor:
Costanzo Di Maria, José Creissac Campos, Michael Whitaker, Michael Drinnan, Leo Freitas, Michael D. Harrison, Paolo Masci
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
The paper is concerned with the practical use of formal techniques to contribute to the risk analysis of a new neonatal dialysis machine. The described formal analysis focuses on the controller component of the software implementation. The controller
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81c265dac60af32562c4278d5fd9ba63
Publikováno v:
Science of Computer Programming. 200:102545
We see the future of medicine as highly automated. Improvement in care-provision will be achieved by both increased clinician efficiency, as well as new computing assisted treatments and diagnoses. In other safety-critical industries, such as avionic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fdc32e399a9bf8fb0d02263fea4396be
https://doi.org/10.1016/j.scico.2020.102545
https://doi.org/10.1016/j.scico.2020.102545
Autor:
Jean-Christophe Filliâtre, Leo Freitas
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 284
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ed6001b0b782c39e07892187585f36b
https://doi.org/10.4204/eptcs.284.0.1
https://doi.org/10.4204/eptcs.284.0.1
Publikováno v:
HOWARD-60
This paper sets out the on-going research in a project which isinvestigating how to learn from one interactive proof so that other similar proofscan be completed automatically.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::119e2685bfc61ee12a1966a8203b3408
https://doi.org/10.29007/s478
https://doi.org/10.29007/s478
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030030438
SBMF
SBMF
The EMVCo (EMV® is a registered trademark or trademark of EMVCo, LLC in the US and other countries.) organisation (i.e. MasterCard, Visa, etc.) protocols facilitate worldwide interoperability of secure electronic payments. Despite recent advances, i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a9fa8a1cbe6657d4f860651ec3448cd
https://doi.org/10.1007/978-3-030-03044-5_12
https://doi.org/10.1007/978-3-030-03044-5_12
Autor:
Leo Freitas
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030030438
SBMF
SBMF
The EMV® (EMV® is a registered trademark or trademark of EMVCo, LLC in the US and other countries.) organisation specify payment protocols to facilitate worldwide interoperability of secure electronic payments. This paper is about the application a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f8e1a6b3ea9eeb8aafe864651d6a0274
https://doi.org/10.1007/978-3-030-03044-5_8
https://doi.org/10.1007/978-3-030-03044-5_8