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 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
Autor:
Bouzan, Rodrigo Salvador, Iniesta, Luiz Felipe Moretti, Pena-Barbosa, Jo��o Paulo Peixoto, Brescovit, Antonio Domingos
Leptodesmus silvanus Schubart, 1955 Leptodesmus silvanus Schubart, 1955: 515, Figs. 3-4 (Male holotype, MZSP, from Alto da Serra (= Serra de Paranapiacaba), Santo Andr��, 46��18���46.71���W; 23��47���02.73���S, S
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a5144ed5d2ca8a9f77394b16b544f25c
Autor:
Bouzan, Rodrigo Salvador, Iniesta, Luiz Felipe Moretti, Pena-Barbosa, Jo��o Paulo Peixoto, Brescovit, Antonio Domingos
Eurydesmus alcatrazensis (Schubart, 1945) Pseudoeurydesmus alcatrazensis Schubart, 1945b: 310, Fig. 8 (Male holotype, MZSP, from Ilha de Alcatrazes, S��o Sebasti��o, 45��41���27.36���W; 24��06���02.34���S, S�
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b3f34aa43f75f81f34701c51f7ce9ce
Autor:
Bouzan, Rodrigo Salvador, Iniesta, Luiz Felipe Moretti, Pena-Barbosa, Jo��o Paulo Peixoto, Brescovit, Antonio Domingos
Sandalodesmus araujoi Schubart, 1946 Leptodesmus araujoi Schubart, 1946: 171, Fig. 4 (Male holotype, MZSP, from Rodrigues Alves, S��o Manuel, 48��34���00.13���W; 22��44���12.63���S, S��o Paulo, Brazil); Schubar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::54b37653ae81ce1633a832a6b40433e5