ProfileOfResearchers

121

TITLE: Design, implementation, and evaluation of a dynamic compilation framework for the YAP system
AUTHORS: Anderson Faustino da Silva; Vitor Santos Costa ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 1

IN MY:

ORCID |

DBLP

122

TITLE: Improving model construction of profile HMMs for remote homology detection through structural alignment Full Text
AUTHORS: Juliana S Bernardes; Alberto Mr Davila; Vitor S Costa ; Gerson Zaverucha;
PUBLISHED: 2007, SOURCE: BMC BIOINFORMATICS, VOLUME: 8, ISSUE: 1

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 13

IN MY:

ORCID |

DBLP

123

TITLE: Inferring regulatory networks from time series expression data and relational data via inductive logic programming Full Text
AUTHORS: Irene M Ong; Scott E Topper; David Page; Vitor Santos Costa ;
PUBLISHED: 2007, SOURCE: 16th International Conference on Inductive Logic Programming in Inductive Logic Programming, VOLUME: 4455

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 2

IN MY:

ORCID |

DBLP

124

TITLE: Prolog performance on larger datasets Full Text
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 4354

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 3

IN MY:

ORCID |

DBLP

125

TITLE: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTHORS: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; Labra, J; Fiadeiro, JL; Figueiredo, L; Barbosa, LS ; Menezes, LC; Maia, M; De Valente, MTO; Bigonha, MAS; Benton, N; Rodriguez, N; Borba, P; Mosses, PD; Lins, RD; Cerqueira, R; Lima, RM; Ierusalimschy, R; Rigo, S; De Schneider, SM; Soares, S; Dascalu, S; Thompson, S; Vene, V; Costa, V ; Iorio, VD; ...More
PUBLISHED: 2007, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6

INDEXED IN:

Scopus

WOS

IN MY:

ORCID

126

TITLE: A pipelined data-parallel algorithm for ILP
AUTHORS: Fonseca, NA ; Silva, F ; Costa, VS ; Camacho, R ;
PUBLISHED: 2006, SOURCE: IEEE International Conference on Cluster Computing in 2005 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER)

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 4

Handle

IN MY:

ORCID |

DBLP

127

TITLE: Our experiences with optimizations in Sun's Java Just-In-Time compilers Full Text
AUTHORS: Da Silva, AF; Costa, VS ;
PUBLISHED: 2006, SOURCE: Journal of Universal Computer Science, VOLUME: 12, ISSUE: 7

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID |

DBLP

128

TITLE: PFORTE: Revising probabilistic FOL theories
AUTHORS: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLISHED: 2006, SOURCE: IBERAMIA-SBIA 2006 - 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4140 LNAI

INDEXED IN:

Scopus

DBLP

CrossRef

IN MY:

ORCID |

DBLP

129

TITLE: The design and implementation of the YAP compiler: An optimizing compiler for logic programming languages
AUTHORS: Da Silva, AF; Costa, VS ;
PUBLISHED: 2006, SOURCE: 22nd International Conference on Logic Programming, ICLP 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4079 LNCS

INDEXED IN:

Scopus

DBLP

CrossRef: 1

IN MY:

ORCID |

DBLP

130