CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
7521
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
7522
TITLE: On estimations for compiling software to FPGA-based systems  Full Text
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: 16th IEEE International Conference on Application-Specific Systems, Architecture and Processors in 16th International Conference on Application-Specific Systems, Architecture and Processors, Proceedings, PAGES: 225-230
INDEXED IN: Scopus WOS DBLP CrossRef: 3
7523
TITLE: On refinement of software architectures  Full Text
AUTHORS: Meng, S; Barbosa, LS ; Zhang, NX;
PUBLISHED: 2005, SOURCE: 2nd International Colloquium on Theoretical Aspects of Computing in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, VOLUME: 3722, PAGES: 469-484
INDEXED IN: Scopus WOS DBLP CrossRef: 3
7524
TITLE: On the automatic construction of indistinguishable operations
AUTHORS: Barbosa, M ; Page, D;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PAGES: 233-247
INDEXED IN: Scopus WOS DBLP CrossRef: 11
7525
TITLE: On the Automatic Construction of Indistinguishable Operations
AUTHORS: Manuel Barbosa ; Dan Page;
PUBLISHED: 2005, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2005, PAGES: 174
INDEXED IN: DBLP
7526
TITLE: Partition incremental discretization
AUTHORS: Carlos M. Afonso; Joao Gama ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 168-174
INDEXED IN: WOS CrossRef: 2
7527
TITLE: Pipelining sequences of loops: A first example
AUTHORS: Rodrigues, R; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PAGES: 147-151
INDEXED IN: Scopus
7528
TITLE: Point-free program calculation
AUTHORS: Alcino Cunha ;
PUBLISHED: 2005
INDEXED IN: DBLP
7529
TITLE: Point-free program transformation  Full Text
AUTHORS: Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 66, ISSUE: 4, PAGES: 315-352
INDEXED IN: Scopus WOS DBLP
7530
TITLE: Predicting relative performance of classifiers from samples
AUTHORS: Leite, R; Brazdil, P ;
PUBLISHED: 2005, SOURCE: ICML 2005: 22nd International Conference on Machine Learning in ICML 2005 - Proceedings of the 22nd International Conference on Machine Learning, VOLUME: 119, PAGES: 497-504
INDEXED IN: Scopus DBLP CrossRef: 30
7531
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
7532
TITLE: Protein sequence classification through relevant sequence mining and Bayes Classifiers
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 236-247
INDEXED IN: Scopus WOS DBLP CrossRef: 18
7533
TITLE: Protein sequence pattern mining with constraints  Full Text
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2005, VOLUME: 3721, PAGES: 96-107
INDEXED IN: Scopus WOS DBLP CrossRef: 12
7534
TITLE: Queuing and Routing in a Hierarchical Powerline Communication System
AUTHORS: Filipe de Faria Pacheco ; Luis Miguel Pinho ; Eduardo Tovar ;
PUBLISHED: 2005, SOURCE: 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2 2 OF 2 VOL, PAGES: 59-66
INDEXED IN: Scopus WOS CrossRef
7535
TITLE: Recursion patterns and time-analysis
AUTHORS: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 40, ISSUE: 5, PAGES: 45-54
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7536
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
7537
TITLE: Replicated INAR(1) processes  Full Text
AUTHORS: SILVA, ISABEL ; Silva, ME ; Isabel Pereira ; Silva, N;
PUBLISHED: 2005, SOURCE: METHODOLOGY AND COMPUTING IN APPLIED PROBABILITY, VOLUME: 7, ISSUE: 4, PAGES: 517-542
INDEXED IN: Scopus WOS CrossRef: 12
7538
TITLE: Reverse Engineering of Framework Design using a Meta-Patterns-based Approach
AUTHORS: Nuno Flores ; Ademar Aguiar ;
PUBLISHED: 2005, SOURCE: 3rd IEEE/ACS International Conference on Computer Systems and Applications (AICCSA-05) in 3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005, VOLUME: 2005, PAGES: 941-946
INDEXED IN: Scopus WOS DBLP CrossRef
7539
TITLE: Rigidity of hyperbolic sets on surfaces  Full Text
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 2005, SOURCE: JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, VOLUME: 71, ISSUE: 2, PAGES: 481-502
INDEXED IN: Scopus WOS CrossRef: 7
7540
TITLE: Selective component-based rendering
AUTHORS: Debattista, K; Sundstedt, V; Santos, LP ; Chalmers, A;
PUBLISHED: 2005, SOURCE: GRAPHITE 2005 - 3rd International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia in Proceedings - GRAPHITE 2005 - 3rd International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia, PAGES: 13-22
INDEXED IN: Scopus CrossRef: 10

Results per Page: 20.
Página 377 de 406. Total de resultados: 8102.