Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 1120

37 Team Members
Filters -> Year: 2024
1001
TÍTULO: Coupling OPTYAP with a database system
AUTORES: Michel Ferreira ; Ricardo Rocha ;
PUBLICAÇÃO: 2005, FONTE: AC 2005, Proceedings of the IADIS International Conference on Applied Computing, Algarve, Portugal, February 22-25, 2005, 2 Volumes, PÁGINAS: 107-114
INDEXADO EM: DBLP
1002
TÍTULO: Dynamic mixed-strategy evaluation of tabled logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668, PÁGINAS: 250-264
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1003
TÍTULO: IMPACT: Innovative models for prolog with advanced control and tabling
AUTORES: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668, PÁGINAS: 416-417
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1004
TÍTULO: Improving memory usage in the BEAM
AUTORES: Lopes, R ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 7th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 3350, PÁGINAS: 143-157
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1005
TÍTULO: Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming
AUTORES: Elizabeth S. Burnside; Jesse Davis; Vítor Santos Costa ; Inês de Castro Dutra ; Charles Kahn Kahn Jr.; Jason Fine; David Page;
PUBLICAÇÃO: 2005, FONTE: AMIA 2005, American Medical Informatics Association Annual Symposium, Washington, DC, USA, October 22-26, 2005, PÁGINAS: 96-100
INDEXADO EM: Scopus DBLP
1006
TÍTULO: MiKO - Mikado Koncurrent Objects
AUTORES: Francisco Martins ; Liliana Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLICAÇÃO: 2005, FONTE: Foundations of Global Computing 2005 in Foundations of Global Computing, 20.-25. February 2005, VOLUME: 05081
INDEXADO EM: Scopus DBLP
1007
TÍTULO: Mode directed path finding
AUTORES: Ong, IM; Dutra, ID ; Page, D; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 16th European Conference on Machine Learning, ECML 2005 in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PÁGINAS: 673-681
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
1008
TÍTULO: On applying or-parallelism and tabling to logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 5, NÚMERO: 1-2, PÁGINAS: 161-205
INDEXADO EM: Scopus WOS DBLP CrossRef: 27
1009
TÍTULO: On applying tabling to inductive logic programming
AUTORES: Rocha, R ; Fonseca, N ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PÁGINAS: 707-714
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
1010
TÍTULO: Probabilistic first-order theory revision from examples
AUTORES: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625, PÁGINAS: 295-311
INDEXADO EM: Scopus DBLP CrossRef: 7
1011
TÍTULO: ReGS: User-level reliability in a grid environment
AUTORES: Sanches, JAL; Vargas, PFK; Dutra, ID ; Costa, VS ; Geyer, CFR;
PUBLICAÇÃO: 2005, FONTE: 2005 IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2005 in 2005 IEEE International Symposium on Cluster Computing and the Grid, Vols 1 and 2, VOLUME: 2, PÁGINAS: 718-725
INDEXADO EM: Scopus WOS DBLP CrossRef
1012
TÍTULO: Strategies to parallelize ILP systems
AUTORES: Fonseca, NA ; Silva, F ; Camacho, R ;
PUBLICAÇÃO: 2005, FONTE: 15th International Conference on Inductive Logic Programming (ILP 2005) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3625, PÁGINAS: 136-153
INDEXADO EM: Scopus WOS DBLP CrossRef: 10 Handle
1013
TÍTULO: Topic 9 - Parallel Programming: Models, Methods and Languages
AUTORES: Marco Danelutto; Denis Caromel; Duane Szafron; Fernando M A Silva ;
PUBLICAÇÃO: 2005, FONTE: Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings, VOLUME: 3648, PÁGINAS: 685
INDEXADO EM: DBLP CrossRef
1014
TÍTULO: View Learning for Statistical Relational Learning: With an Application to Mammography PDF
AUTORES: Davis, J; Burnside, E; Dutra, I ; Page, D; Ramakrishnan, R; Costa, VS ; Shavlik, J;
PUBLICAÇÃO: 2005, FONTE: 19th International Joint Conference on Artificial Intelligence, IJCAI 2005 in 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), PÁGINAS: 677-683
INDEXADO EM: Scopus WOS DBLP
1015
TÍTULO: Weak linearization of the lambda calculus  Full Text
AUTORES: Alves, S ; Florido, M ;
PUBLICAÇÃO: 2005, FONTE: 2nd Annual Meeting on Applied Semantics in THEORETICAL COMPUTER SCIENCE, VOLUME: 342, NÚMERO: 1, PÁGINAS: 79-103
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
1016
TÍTULO: Concurrent table accesses in parallel tabled logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2004, FONTE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149, PÁGINAS: 662-670
INDEXADO EM: Scopus WOS DBLP CrossRef
1017
TÍTULO: Exploiting parallelism in the Extended Andorra Model
AUTORES: Lopes, R ; Costa, VS ; Silva, F ;
PUBLICAÇÃO: 2004, FONTE: IASTED International Conference on Parallel and Distributed Computing and Networks in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, PÁGINAS: 483-489
INDEXADO EM: WOS DBLP
1018
TÍTULO: Extreme adaptivity
AUTORES: Alves, MA; Jorge, A ; Leal, JP ;
PUBLICAÇÃO: 2004, FONTE: 3rd International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems in ADAPTIVE HYPERMEDIA AND ADAPOTIVE WEB-BASED SYSTEMS, PROCEEDINGS, VOLUME: 3137, PÁGINAS: 348-352
INDEXADO EM: Scopus WOS DBLP CrossRef
1019
TÍTULO: On avoiding redundancy in inductive logic programming
AUTORES: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLICAÇÃO: 2004, FONTE: 14th International Conference on Inductive Logic Programming (ILP 2004) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3194, PÁGINAS: 132-146
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Handle
1020
TÍTULO: Pruning in the extended Andorra model  Full Text
AUTORES: Lopes, R ; Costa, VS ; Silva, F ;
PUBLICAÇÃO: 2004, FONTE: 6th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 3057, PÁGINAS: 120-134
INDEXADO EM: Scopus WOS DBLP CrossRef: 2

Results per Page: 20.
Página 51 de 56. Total de resultados: 1120.