E-LIB Suche - Ergebnisse für: Quaresma, Miguel

1

Formally verifying Kyber: Episode IV: Implementation correc..:

Bacelar Almeida, José ; Barbosa, Manuel ; Barthe, Gilles...
IACR Transactions on Cryptographic Hardware and Embedded Systems. , 2023

Link: https://doi.org/10.46586..

2

Follicular dynamics during the non‐reproductive season in M..:

Quaresma, Miguel ; Sara, Ramalheira‐Martins ; Nóvoa, Miguel..
Reproduction in Domestic Animals. 57 (2022) 6 - p. 616-624 , 2022

Link: https://doi.org/10.1111/..

3

Bayesian Linear Regression Modelling for Sperm Quality Para..:

Martins-Bessa, Ana ; Quaresma, Miguel ; Leiva, Belén..
Animals. 11 (2021) 1 - p. 176 , 2021

Link: https://doi.org/10.3390/..

4

Age-related linear and nonlinear modelling of semen quality..:

Martins-Bessa, Ana ; Quaresma, Miguel ; Leiva, Belén...
Italian Journal of Animal Science. 20 (2021) 1 - p. 1029-1041 , 2021

Link: https://doi.org/10.1080/..

5

Selenium and Vitamin E Concentrations in Miranda Jennies an..:

Quaresma, Miguel ; Marín, Carmen ; Bacellar, Daniel...
Animals. 11 (2021) 6 - p. 1772 , 2021

Link: https://doi.org/10.3390/..

6

Linear and non-linear regression model fitting of testicula..:

Martins-Bessa, Ana ; Quaresma, Miguel ; Leiva, Belén...
Italian Journal of Animal Science. 20 (2021) 1 - p. 1518-1531 , 2021

Link: https://doi.org/10.1080/..

7

Hastening Time to Ejaculation in Donkey Jacks Treated with ..:

Panzani, Duccio ; Quaresma, Miguel ; Fanelli, Diana...
Animals. 10 (2020) 12 - p. 2231 , 2020

Link: https://doi.org/10.3390/..

8

Seroprevalence of Toxoplasma gondii and Leishmania spp. in ..:

Rodrigues, Filipa Teixeira ; Pereira, Catarina ; Dubey, Jitender Prakash...
Revista Brasileira de Parasitologia Veterinária. 28 (2019) 1 - p. 172-176 , 2019

Link: https://doi.org/10.1590/..

9

Estimation of Live Weight by Body Measurements in the Miran..:

Quaresma, Miguel ; Bacellar, Daniel ; Leiva, Bélen.
Journal of Equine Veterinary Science. 79 (2019) - p. 30-34 , 2019

Link: https://doi.org/10.1016/..

10

Antimicrobial-resistant Escherichia coli and Enterococcus s..:

Carvalho, Isabel ; Campo, Rosa del ; Sousa, Margarida...
Journal of Medical Microbiology. 66 (2017) 2 - p. 191-202 , 2017

Link: https://doi.org/10.1099/..

11

Relationships between body condition score and ultrasound s..:

Silva, Severiano R. ; Payan-Carreira, Rita ; Quaresma, Miguel..
Acta Veterinaria Scandinavica. 58 (2016) S1 - p. , 2016

Link: https://doi.org/10.1186/..

12

Relationships between body condition score and ultrasound s..:

Silva, Severiano R ; Payan-Carreira, Rita ; Quaresma, Miguel..
Acta Veterinaria Scandinavica. 57 (2015) S1 - p. , 2015

Link: https://doi.org/10.1186/..

13

Formally verifying Kyber ; Formally verifying Kyber: Episod..:

Bacelar Almeida, José ; Barbosa, Manuel ; Barthe, Gilles...
info:eu-repo/semantics/altIdentifier/doi/10.46586/tches.v2023.i3.164-193. , 2023

Link: https://inria.hal.scienc..

14

Formally verifying Kyber ; Formally verifying Kyber: Episod..:

Bacelar Almeida, José ; Barbosa, Manuel ; Barthe, Gilles...
info:eu-repo/semantics/altIdentifier/doi/10.46586/tches.v2023.i3.164-193. , 2023

Link: https://inria.hal.scienc..

15

Formally verifying Kyber ; Formally verifying Kyber: Episod..:

Bacelar Almeida, José ; Barbosa, Manuel ; Barthe, Gilles...
info:eu-repo/semantics/altIdentifier/doi/10.46586/tches.v2023.i3.164-193. , 2023

Link: https://inria.hal.scienc..