Zobrazeno 1 - 10
of 84
pro vyhledávání: '"Barbosa JO"'
In this paper we present a new static data type inference algorithm for logic programming. Without the need of declaring types for predicates, our algorithm is able to automatically assign types to predicates which, in most cases, correspond to the d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::065012b02a40c9a72149fb15602afab2
A modela����o de baixo relevos com mapas polinomiais de texturas (PTM) permite uma an��lise pormenorizada dos seus detalhes. A gera����o dum modelo PTM de qualidade requer, contudo, a coloca����o de um conjunto elevado de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d1d196cc6c4f6e098ab658beaeb26ad
Types in logic programming have focused on conservative approximations of program semantics by regular types, on one hand, and on type systems based on a prescriptive semantics defined for typed programs, on the other. In this paper, we define a new
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61cd00b28a1047e3b8174b071e6e15e3
Autor:
Bouzan, Rodrigo Salvador, Iniesta, Luiz Felipe Moretti, Pena-Barbosa, Jo��o Paulo Peixoto, Brescovit, Antonio Domingos
Leptodesmus intricatus Schubart, 1955 Leptodesmus intricatus Schubart, 1955: 528, Fig. 25 (Male holotype, MZSP, from Sales��polis, 45��52���11���W; 23��37���51���S, S��o Paulo, Brazil). Historical records: BRAZ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::25884c13e58c39afd4b4ac481a87b82a
Autor:
Bouzan, Rodrigo Salvador, Iniesta, Luiz Felipe Moretti, Pena-Barbosa, Jo��o Paulo Peixoto, Brescovit, Antonio Domingos
Leptodesmus rubricus Schubart, 1955 Leptodesmus rubricus Schubart, 1955: 525, Fig. 22 (Male holotype, MZSP, from Campos do Jord��o, 45��35���51.03���W; 22��44���36.61���S, S��o Paulo, Brazil). Historical record
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00bfd74eb2bdc75347182212e1479f6b
Autor:
Bouzan, Rodrigo Salvador, Iniesta, Luiz Felipe Moretti, Pena-Barbosa, Jo��o Paulo Peixoto, Brescovit, Antonio Domingos
Leptodesmus godoii Schubart, 1946 Leptodesmus godoii Schubart, 1946: 169, Fig. 3 (Male holotype, MZSP, from Rio Sapuca��, Corredeira Alegre, S��o Joaquim da Barra, 47��51���35.96���W; 20��35���19.74���S, S�
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::249c407d254ed8ce2c07c0fbe46dc2d8
Autor:
Bouzan, Rodrigo Salvador, Iniesta, Luiz Felipe Moretti, Pena-Barbosa, Jo��o Paulo Peixoto, Brescovit, Antonio Domingos
Leptodesmus verrucula Br��lemann, 1902 Leptodesmus verrucula Br��lemann, 1902a: 83, Figs. 80-81 (Female holotype, MZSP, from Alto da Serra (= Serra de Paranapiacaba), Santo Andr��, 46��18���39.26���W; 23��46���57
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9669a8fcf8b0804df8522a56c971754b
Autor:
Bouzan, Rodrigo Salvador, Iniesta, Luiz Felipe Moretti, Pena-Barbosa, Jo��o Paulo Peixoto, Brescovit, Antonio Domingos
Eurydesmus lomatus (Schubart, 1955) Pseudoeydesmella lomata Schubart, 1955: 530, Fig. 30 (Male holotype, MZSP, from Serra de Paranapiacaba, 46��18���59.74���W; 23��46���59.81���S, Santo Andr��, S��o Paulo, Braz
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19b13fa1d9b5cc74ccd242c76f4e070a
Autor:
Bouzan, Rodrigo Salvador, Iniesta, Luiz Felipe Moretti, Pena-Barbosa, Jo��o Paulo Peixoto, Brescovit, Antonio Domingos
Atlantodesmus Hoffman, 2000 Atlantodesmus Hoffman, 2000: 101-113. Type species: Leptodesmus (Odontopeltis) eimeri Attems, 1898, by original designation; Bouzan et al. 2017. Iemanja Hoffman, 2000: 101-113. Type species: I. teresa Hoffman, 2000, by ori
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::208f04f99ab08f368c684a1747d7dc91
Autor:
Bouzan, Rodrigo Salvador, Iniesta, Luiz Felipe Moretti, Pena-Barbosa, Jo��o Paulo Peixoto, Brescovit, Antonio Domingos
Henrisaussurea ramosa (Schubart, 1944) Leptodesmus (Leptodesmus) ramosus Schubart, 1944; 359, Figs. 30-31 (Male holotype, MZSP, from Fazenda Retiro das Sete Lagoas, Mogi Gua��u, 46��56���24.61���W; 22��22���29.29��
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e2d10b11020bd45ae6dc2be0b146f5e