2 documents found, page 1 of 1
Diagnosis methods for COVID-19: A systematic review
Maia, Renata Patrícia Faria; Carvalho, Violeta Meneses; Faria, Bernardo Almeida Leite; Miranda, Inês Sofia Ferreira; Catarino, Susana OliveiraAt the end of 2019, the coronavirus appeared and spread extremely rapidly, causing millions of infections and deaths worldwide, and becoming a global pandemic. For this reason, it became urgent and essential to find adequate tests for an accurate and fast diagnosis of this disease. In the present study, a systematic review was performed in order to provide an overview of the COVID-19 diagnosis methods and tests...
Combining paraconsistent and dynamic logic for Qiskit
Faria, Bernardo Almeida LeiteThis dissertation introduces a logic aimed at combining dynamic logic and paraconsistent logic for application to the quantum domain, to reason about quantum phase properties: Paraconsistent Phased Logic Of Quantum Programs (PhLQP◦ ). In the design PhLQP◦ , firstly the dynamic was built first, Phased Logic Of Quantum Programs (PhLQP). PhLQP is itself a dynamic logic capable of dealing with quantum phase propert...