Detalles de la búsqueda
1.
A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm.
J Autom Reason
; 64(4): 699-735, 2020.
Artículo
en Inglés
| MEDLINE | ID: mdl-32269396
2.
A Verified Implementation of Algebraic Numbers in Isabelle/HOL.
J Autom Reason
; 64(3): 363-389, 2020.
Artículo
en Inglés
| MEDLINE | ID: mdl-32226180
3.
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.
J Autom Reason
; 64(5): 827-856, 2020.
Artículo
en Inglés
| MEDLINE | ID: mdl-32831440
4.
Intraoperative Molecular Imaging in Lung Cancer: The State of the Art and the Future.
Mol Ther
; 26(2): 338-341, 2018 02 07.
Artículo
en Inglés
| MEDLINE | ID: mdl-29398484
5.
The shifting lipidomic landscape of blood monocytes and neutrophils during pneumonia.
JCI Insight
; 9(4)2024 Feb 22.
Artículo
en Inglés
| MEDLINE | ID: mdl-38385743
6.
Lymphopenia is associated with broad host response aberrations in community-acquired pneumonia.
J Infect
; 88(4): 106131, 2024 Apr.
Artículo
en Inglés
| MEDLINE | ID: mdl-38431153
Resultados
1 -
6
de 6
1
Próxima >
>>