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: 1167

37 Team Members
Filters -> Year: 2024
801
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
INDEXED IN: Scopus DBLP CrossRef: 11 Unpaywall
802
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
INDEXED IN: Scopus DBLP CrossRef: 6
803
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
INDEXED IN: Scopus CrossRef: 6
804
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
INDEXED IN: Scopus
805
TITLE: A Hybrid AIS-SVM Ensemble Approach for Text Classification
AUTHORS: Mario Antunes ; Catarina Silva; Bernardete Ribeiro ; Manuel 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
INDEXED IN: Scopus WOS DBLP CrossRef: 7
806
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
INDEXED IN: DBLP CrossRef: 6
807
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
808
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
INDEXED IN: Scopus DBLP
809
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
INDEXED IN: Scopus WOS DBLP CrossRef
810
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
INDEXED IN: Scopus
811
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
INDEXED IN: Scopus WOS DBLP CrossRef
812
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
INDEXED IN: Scopus WOS DBLP CrossRef: 40
813
TITLE: Combining Mobile and Cloud Storage for Providing Ubiquitous Data Access
AUTHORS: Soares, J ; Preguica, N ;
PUBLISHED: 2011, SOURCE: 17th International Euro-Par Conference on Parallel Processing in EURO-PAR 2011 PARALLEL PROCESSING, PT 1, VOLUME: 6852, ISSUE: PART 1, PAGES: 516-527
INDEXED IN: Scopus WOS DBLP CrossRef: 2
814
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
INDEXED IN: Scopus WOS DBLP CrossRef
815
TITLE: Detecting Cardiac Pathologies from Annotated Auscultations
AUTHORS: Pedro Ferreira ; Daniel Pereira ; Felipe Mourato; Sandra Mattos; Ricardo Cruz Correia ; Miguel Coimbra ; Ines Dutra ;
PUBLISHED: 2011, SOURCE: 25th International Symposium on Computer-Based Medical Systems (CBMS) in 2012 25TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 1-6
INDEXED IN: Scopus WOS DBLP CrossRef: 1
816
TITLE: Differences in internet and LMS usage: A case study in higher education
AUTHORS: Babo, R; Rodrigues, AC; Lopes, CT ; de Oliveira, PC; Queiros, R ; Pinto, M;
PUBLISHED: 2011, SOURCE: Higher Education Institutions and Learning Management Systems: Adoption and Standardization, PAGES: 247-270
INDEXED IN: Scopus CrossRef
817
TITLE: DigiScope - Unobtrusive Collection and Annotating of Auscultations in Real Hospital Environments
AUTHORS: Pereira, D ; Hedayioglu, F; Correia, R ; Silva, T; Dutra, I ; Almeida, F; Mattos, SS; Coimbra, M ;
PUBLISHED: 2011, SOURCE: 33rd Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2011 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 1193-1196
INDEXED IN: Scopus WOS DBLP CrossRef: 15
818
TITLE: Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5, PAGES: 697-712
INDEXED IN: Scopus WOS DBLP CrossRef
819
TITLE: Fire! Firing Inductive Rules from Economic Geography for Fire Risk Detection
AUTHORS: David Vaz; Vitor Santos Costa ; Michel Ferreira ;
PUBLISHED: 2011, SOURCE: 20th International Conference on Inductive Logic Programming (ILP) in INDUCTIVE LOGIC PROGRAMMING, ILP 2010, VOLUME: 6489, PAGES: 238-252
INDEXED IN: Scopus WOS DBLP CrossRef: 1
820
TITLE: Get Your Jokes Right: Ask the Crowd
AUTHORS: Joana Costa; Catarina Silva; Mario Antunes ; Bernardete Ribeiro ;
PUBLISHED: 2011, SOURCE: 1st International Conference on Model and Data Engineering (MEDI 2011) in MODEL AND DATA ENGINEERING, VOLUME: 6918, PAGES: 178-185
INDEXED IN: Scopus WOS DBLP CrossRef: 3

Results per Page: 20.
Página 41 de 59. Total de resultados: 1167.