An Updated Theory for Communicating Sequential Processes in Coq
ETP DIGITAL SYSTEM: Uma solução de apoio a construção do Estudo
Técnico Preliminar, em licitações de bens e serviços de Tecnologia da
Informação e Comunicação na esfera do Governo Federal
Machine Learning Efficiency on iOS: Comparing CoreML, Tensorflow
and Pytorch
LEVERARING MULTILINGUAL MODELS AND RANK FUSION FOR TRANSLATION MEMORY RETRIEVAL