Results 91 to 100 of about 157 (118)
Some of the next articles are maybe not open access.
Quati: An Automated Tool for Proving Permutation Lemmas
Lecture Notes in Computer Science, 2014The proof of many foundational results in structural proof theory, such as the admissibility of the cut rule and the completeness of the focusing discipline, rely on permutation lemmas. It is often a tedious and error prone task to prove such lemmas as they involve many cases.
Giselle Reis +2 more
exaly +2 more sources
A Trip to Al Aber, Quati State, Hadramaut, Eastern Aden Protectorate
Journal of the East Africa Natural History Society and National Museum, 1965 (Uploaded by Plazi from the Biodiversity Heritage Library) No abstract provided.
Ionides, C. J. P. (Constantine John Philip) +1 more
exaly +2 more sources
ANATOMIA MACROSCÓPICA COMPARATIVA DO TELENCÉFALO DE QUATI (Nasua nasua)
Enciclopédia Biosfera, 2017 Tarley Oliveira +4 more
exaly +4 more sources
Quati: A Brazilian Portuguese Information Retrieval Dataset from Native Speakers
Anais do XV Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana (STIL 2024)We present Quati, a dataset specifically designed for evaluating Information Retrieval (IR) systems for the Brazilian Portuguese language. It comprises a collection of queries formulated by native speakers and a curated set of documents sourced from a selection of frequently accessed Brazilian Portuguese websites, which ensures a representative and ...
Jayr Pereira +2 more
exaly +3 more sources
Morfometria e esqueletopia dos rins e vasos renais no “quati de cauda anelada” (Nasua nasua)
Ciencia Animal Brasileira, 2022 Resumo Nasua nasua é um carnívoro da família Procyonidae amplamente distribuído pela América do Sul. Detalhes de sua anatomia são fundamentais para a anatomia aplicada e o entendimento de sua história natural. Objetvou-se determinar a média do comprimento, largura, espessura e volume elipsoide dos rins, a média do comprimento das artérias e veias ...
Marcelo Abidu-Figueiredo +1 more
exaly +2 more sources