Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-1RA
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
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!
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!
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!
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 MembersFilters -> Year: 2024
761
TITLE: The YAP Prolog system
AUTHORS: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2, PAGES: 5-34
AUTHORS: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2, PAGES: 5-34
762
TITLE: Towards multi-threaded local tabling using a common table space
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5, PAGES: 427-443
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5, PAGES: 427-443
763
TITLE: Unachievable region in precision-recall space and its effect on empirical evaluation
AUTHORS: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PAGES: 639-646
AUTHORS: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PAGES: 639-646
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP764
TITLE: Using the overlapping community structure of a network of tags to improve text clustering
AUTHORS: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PAGES: 239-244
AUTHORS: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PAGES: 239-244
765
TITLE: Verification of MPI Programs Using Session Types
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490, PAGES: 291-293
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490, PAGES: 291-293
766
TITLE: Visual Analysis of Online Interactions through Social Network Patterns
AUTHORS: André Silva; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012 in 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012, Rome, Italy, July 4-6, 2012, PAGES: 639-641
AUTHORS: André Silva; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012 in 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012, Rome, Italy, July 4-6, 2012, PAGES: 639-641
767
TITLE: A comparative study on LMS interoperability
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2011, SOURCE: Higher Education Institutions and Learning Management Systems: Adoption and Standardization, PAGES: 142-161
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2011, SOURCE: Higher Education Institutions and Learning Management Systems: Adoption and Standardization, PAGES: 142-161
768
TITLE: A framework to develop meta web interfaces
AUTHORS: Leal, JP ; Dias, H;
PUBLISHED: 2011, SOURCE: IADIS International Conference WWW/Internet 2011, ICWI 2011 in Proceedings of the IADIS International Conference WWW/Internet 2011, ICWI 2011, PAGES: 301-308
AUTHORS: Leal, JP ; Dias, H;
PUBLISHED: 2011, SOURCE: IADIS International Conference WWW/Internet 2011, ICWI 2011 in Proceedings of the IADIS International Conference WWW/Internet 2011, ICWI 2011, PAGES: 301-308
INDEXED IN: Scopus
Scopus769
TITLE: A Hybrid AIS-SVM Ensemble Approach for Text Classification
AUTHORS: Mario Antunes ; Catarina Silva ; Bernardete Ribeiro ; Manuel E. Correia ;
PUBLISHED: 2011, SOURCE: 10th International Conference on Artificial Neural Networks and Genetic Algorithms in ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, PT II, VOLUME: 6594, ISSUE: PART 2, PAGES: 342-352
AUTHORS: Mario Antunes ; Catarina Silva ; Bernardete Ribeiro ; Manuel E. Correia ;
PUBLISHED: 2011, SOURCE: 10th International Conference on Artificial Neural Networks and Genetic Algorithms in ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, PT II, VOLUME: 6594, ISSUE: PART 2, PAGES: 342-352
770
TITLE: A new graphical calculus of proofs Full Text
AUTHORS: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLISHED: 2011, SOURCE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48, PAGES: 69-84
AUTHORS: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLISHED: 2011, SOURCE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48, PAGES: 69-84
771
TITLE: A Parallel Algorithm for Counting Subgraphs in Complex Networks Full Text
AUTHORS: Pedro Ribeiro ; Fernando Silva ; Luis Lopes ;
PUBLISHED: 2011, SOURCE: 3rd International Joint Conference on Biomedical Engineering Systems and Technologies in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOLUME: 127, PAGES: 380-393
AUTHORS: Pedro Ribeiro ; Fernando Silva ; Luis Lopes ;
PUBLISHED: 2011, SOURCE: 3rd International Joint Conference on Biomedical Engineering Systems and Technologies in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOLUME: 127, PAGES: 380-393
772
TITLE: A programming exercise evaluation service for Mooshak
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2011, SOURCE: ACM International Collegiate Programming Contest World Finals, Collaborative Learning Institute Symposium
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2011, SOURCE: ACM International Collegiate Programming Contest World Finals, Collaborative Learning Institute Symposium
INDEXED IN: 
Handle
Handle773
TITLE: A Relational Learning Approach to Structure-Activity Relationships in Drug Design Toxicity Studies
AUTHORS: Rui Camacho ; Max Pereira; Vítor Santos Costa ; Nuno A Fonseca ; Carlos Adriano Gonçalves ; Carlos J V Simões; Rui M M Brito ;
PUBLISHED: 2011, SOURCE: J. Integrative Bioinformatics, VOLUME: 8, ISSUE: 3, PAGES: 182
AUTHORS: Rui Camacho ; Max Pereira; Vítor Santos Costa ; Nuno A Fonseca ; Carlos Adriano Gonçalves ; Carlos J V Simões; Rui M M Brito ;
PUBLISHED: 2011, SOURCE: J. Integrative Bioinformatics, VOLUME: 8, ISSUE: 3, PAGES: 182
INDEXED IN: Scopus DBLP Handle
Scopus DBLP Handle774
TITLE: A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs Full Text
AUTHORS: Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 239-253
AUTHORS: Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 239-253
775
TITLE: A Survey on eLearning Content Standardization
AUTHORS: Ricardo Queirós ; José Paulo Leal ;
PUBLISHED: 2011, SOURCE: Information Systems, E-learning, and Knowledge Management Research - 4th World Summit on the Knowledge Society, WSKS 2011, Mykonos, Greece, September 21-23, 2011. Revised Selected Papers, VOLUME: 278, PAGES: 433-438
AUTHORS: Ricardo Queirós ; José Paulo Leal ;
PUBLISHED: 2011, SOURCE: Information Systems, E-learning, and Knowledge Management Research - 4th World Summit on the Knowledge Society, WSKS 2011, Mykonos, Greece, September 21-23, 2011. Revised Selected Papers, VOLUME: 278, PAGES: 433-438
776
TITLE: An educational library based on clusters of semantic proximity
AUTHORS: Alves, H; Figueira, A ;
PUBLISHED: 2011, SOURCE: IADIS European Conference on Data Mining 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011 in Proceedings of the IADIS European Conference on Data Mining 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011, PAGES: 226-228
AUTHORS: Alves, H; Figueira, A ;
PUBLISHED: 2011, SOURCE: IADIS European Conference on Data Mining 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011 in Proceedings of the IADIS European Conference on Data Mining 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011, PAGES: 226-228
INDEXED IN: Scopus
Scopus777
TITLE: An engine for generating XSLT from examples
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2011, SOURCE: Conferência Nacional XATA: XML, aplicações e tecnologias associadas, 9.ª
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2011, SOURCE: Conferência Nacional XATA: XML, aplicações e tecnologias associadas, 9.ª
INDEXED IN: Handle
Handle778
TITLE: Assessing the Effect of 2D Fingerprint Filtering on ILP-Based Structure-Activity Relationships Toxicity Studies in Drug Design
AUTHORS: Rui Camacho ; Max Pereira; Vitor Santos Costa ; Nuno A Fonseca ; Carlos J V Simoes; Rui M M Brito ;
PUBLISHED: 2011, SOURCE: 5th International Conference on Practical Applications of Computational Biology and Bioinformatics in 5TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS (PACBB 2011), VOLUME: 93, PAGES: 355-363
AUTHORS: Rui Camacho ; Max Pereira; Vitor Santos Costa ; Nuno A Fonseca ; Carlos J V Simoes; Rui M M Brito ;
PUBLISHED: 2011, SOURCE: 5th International Conference on Practical Applications of Computational Biology and Bioinformatics in 5TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS (PACBB 2011), VOLUME: 93, PAGES: 355-363
779
TITLE: Clustering distributed sensor data streams using local processing and reduced communication Full Text
AUTHORS: Joao Gama ; Pedro Pereira Rodrigues ; Luis Lopes ;
PUBLISHED: 2011, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 15, ISSUE: 1, PAGES: 3-28
AUTHORS: Joao Gama ; Pedro Pereira Rodrigues ; Luis Lopes ;
PUBLISHED: 2011, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 15, ISSUE: 1, PAGES: 3-28
780
TITLE: Constrained Sequential Pattern Knowledge in Multi-relational Learning Full Text
AUTHORS: Carlos Abreu Ferreira ; Joao Gama ; Vitor Santos Costa ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 282-296
AUTHORS: Carlos Abreu Ferreira ; Joao Gama ; Vitor Santos Costa ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 282-296
