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

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 1166

37 Team Members
Filters -> Year: 2024
1041
TITLE: Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming
AUTHORS: Elizabeth S. Burnside; Jesse Davis; Vítor Santos Costa ; Inês de Castro Dutra ; Charles Kahn Kahn Jr.; Jason Fine; David Page;
PUBLISHED: 2005, SOURCE: AMIA 2005, American Medical Informatics Association Annual Symposium, Washington, DC, USA, October 22-26, 2005, PAGES: 96-100
INDEXED IN: Scopus DBLP
1042
TITLE: MiKO - Mikado Koncurrent Objects
AUTHORS: Francisco Martins ; Liliana Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2005, SOURCE: Foundations of Global Computing 2005 in Foundations of Global Computing, 20.-25. February 2005, VOLUME: 05081
INDEXED IN: Scopus DBLP
1043
TITLE: Mode directed path finding
AUTHORS: Ong, IM; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning, ECML 2005 in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 673-681
INDEXED IN: Scopus WOS DBLP CrossRef
1044
TITLE: On applying or-parallelism and tabling to logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 5, ISSUE: 1-2, PAGES: 161-205
INDEXED IN: Scopus WOS DBLP CrossRef: 27
1045
TITLE: On applying tabling to inductive logic programming
AUTHORS: Rocha, R ; Fonseca, N ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 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, PAGES: 707-714
INDEXED IN: Scopus WOS DBLP CrossRef: 9
1046
TITLE: Probabilistic first-order theory revision from examples
AUTHORS: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625, PAGES: 295-311
INDEXED IN: Scopus DBLP CrossRef: 7
1047
TITLE: ReGS: User-level reliability in a grid environment
AUTHORS: Sanches, JAL; Vargas, PFK; Dutra, ID ; Costa, VS ; Geyer, CFR;
PUBLISHED: 2005, SOURCE: 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, PAGES: 718-725
INDEXED IN: Scopus WOS DBLP CrossRef
1048
TITLE: Strategies to parallelize ILP systems
AUTHORS: Fonseca, NA ; Silva, F ; Camacho, R ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming (ILP 2005) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3625, PAGES: 136-153
INDEXED IN: Scopus WOS DBLP CrossRef: 10
1049
TITLE: Topic 9 - Parallel Programming: Models, Methods and Languages
AUTHORS: Marco Danelutto; Denis Caromel; Duane Szafron; Fernando M A Silva ;
PUBLISHED: 2005, SOURCE: Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings, VOLUME: 3648, PAGES: 685
INDEXED IN: DBLP CrossRef
1050
TITLE: View Learning for Statistical Relational Learning: With an Application to Mammography PDF
AUTHORS: Davis, J; Burnside, E; Dutra, I ; Page, D; Ramakrishnan, R; Costa, VS ; Shavlik, J;
PUBLISHED: 2005, SOURCE: 19th International Joint Conference on Artificial Intelligence, IJCAI 2005 in 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), PAGES: 677-683
INDEXED IN: Scopus WOS DBLP
1051
TITLE: Weak linearization of the lambda calculus  Full Text
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2005, SOURCE: 2nd Annual Meeting on Applied Semantics in THEORETICAL COMPUTER SCIENCE, VOLUME: 342, ISSUE: 1, PAGES: 79-103
INDEXED IN: Scopus WOS DBLP CrossRef: 7
1052
TITLE: Application partitioning and hierarchical management in grid environments
AUTHORS: Vargas, PK; De Castro Dutra, I ; Geyer, CFR;
PUBLISHED: 2004, SOURCE: 1st International Doctoral Symposium on Middleware, DSM '04 in ACM International Conference Proceeding Series, VOLUME: 79, PAGES: 314-318
INDEXED IN: Scopus DBLP CrossRef: 5
1053
TITLE: Concurrent table accesses in parallel tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149, PAGES: 662-670
INDEXED IN: Scopus WOS DBLP CrossRef
1054
TITLE: Exploiting parallelism in the Extended Andorra Model
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2004, SOURCE: IASTED International Conference on Parallel and Distributed Computing and Networks in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, PAGES: 483-489
INDEXED IN: WOS DBLP
1055
TITLE: Extreme adaptivity
AUTHORS: Alves, MA; Jorge, A ; Leal, JP ;
PUBLISHED: 2004, SOURCE: 3rd International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems in ADAPTIVE HYPERMEDIA AND ADAPOTIVE WEB-BASED SYSTEMS, PROCEEDINGS, VOLUME: 3137, PAGES: 348-352
INDEXED IN: Scopus WOS DBLP CrossRef
1056
TITLE: On avoiding redundancy in inductive logic programming
AUTHORS: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLISHED: 2004, SOURCE: 14th International Conference on Inductive Logic Programming (ILP 2004) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3194, PAGES: 132-146
INDEXED IN: Scopus WOS DBLP CrossRef: 5
1057
TITLE: Pruning in the extended Andorra model  Full Text
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2004, SOURCE: 6th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 3057, PAGES: 120-134
INDEXED IN: Scopus WOS DBLP CrossRef: 2
1058
TITLE: Query transformations for improving the efficiency of ILP systems  Full Text
AUTHORS: Costa, VS ; Srinivasan, A; Camacho, R ; Blockeel, H; Demoen, B; Janssens, G; Struyf, J; Vandecasteele, H; Van Laer, W;
PUBLISHED: 2004, SOURCE: 10th International Conference on Inductive Logic Programming (ILP2000) in JOURNAL OF MACHINE LEARNING RESEARCH, VOLUME: 4, ISSUE: 4, PAGES: 465-491
INDEXED IN: Scopus WOS DBLP CrossRef: 13
1059
TITLE: Speculative computations in or-parallel tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 20th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3132, PAGES: 254-268
INDEXED IN: Scopus WOS DBLP CrossRef
1060
TITLE: Study of hybrid coherence protocols for parallel logic programming systems
AUTHORS: De Oliveira, EPG; Ramos, F; De Dutra, IC ; De Castro, MCS;
PUBLISHED: 2004, SOURCE: Proceedings of the 16th IASTED International Conference on Parallel and Distributed Computing and Systems in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems, VOLUME: 16, PAGES: 821-826
INDEXED IN: Scopus

Results per Page: 20.
Page 53 of 59. Total results: 1166.