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

531 Team Members
Filters -> Year: 2024
6561
TÍTULO: Linearity and iterator types for Gödel's System ℐ
AUTORES: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLICAÇÃO: 2010, FONTE: Higher-Order and Symbolic Computation, VOLUME: 23, NÚMERO: 1, PÁGINAS: 1-27
INDEXADO EM: Scopus DBLP CrossRef: 1
6562
TÍTULO: Machine learning support for kidney transplantation decision making
AUTORES: Reinaldo, F; Md A Rahman; Alves, CF; Malucelli, A; Camacho, R ;
PUBLICAÇÃO: 2010, FONTE: International Symposium on Biocomputing, ISB 2010 in ISB 2010 Proceedings - International Symposium on Biocomputing
INDEXADO EM: Scopus CrossRef: 2
6563
TÍTULO: Matrices as Arrows! A Biproduct Approach to Typed Linear Algebra
AUTORES: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PÁGINAS: 271-287
INDEXADO EM: Scopus WOS
6564
TÍTULO: Measuring Software Systems Scalability for Proactive Data Center Management
AUTORES: Nuno A Carvalho; Jose Pereira ;
PUBLICAÇÃO: 2010, FONTE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, NÚMERO: PART 2, PÁGINAS: 829-842
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
6565
TÍTULO: Message from the technical program co-chairs  Full Text
AUTORES: Joshi, A; Oliveira, R ; Prakash, A;
PUBLICAÇÃO: 2010, FONTE: 29th IEEE Symposium on Reliable Distributed Systems, SRDS 2010 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
INDEXADO EM: Scopus CrossRef
6566
TÍTULO: Meta-heuristics tunning using CBR for dynamic scheduling
AUTORES: Pereira, I ; Madureira, A ;
PUBLICAÇÃO: 2010, FONTE: 2010 IEEE 9th International Conference on Cybernetic Intelligent Systems, CIS 2010 in 2010 IEEE 9th International Conference on Cybernetic Intelligent Systems, CIS 2010
INDEXADO EM: Scopus CrossRef Handle
6567
TÍTULO: Meta-Learning - Concepts and Techniques
AUTORES: Ricardo Vilalta; Christophe Giraud G Carrier; Pavel Brazdil ;
PUBLICAÇÃO: 2010, FONTE: Data Mining and Knowledge Discovery Handbook, 2nd ed., PÁGINAS: 717-731
INDEXADO EM: DBLP CrossRef: 14
6568
TÍTULO: Metalearning
AUTORES: Johannes Fürnkranz; Philip K Chan; Susan Craw; Claude Sammut; William Uther; Adwait Ratnaparkhi; Xin Jin; Jiawei Han; Ying Yang; Katharina Morik; Marco Dorigo; Mauro Birattari; Thomas Stützle; Pavel Brazdil ; Ricardo Vilalta; Christophe Giraud-Carrier; Carlos Soares ; Jorma Rissanen; Rohan A Baxter; Ivan Bruha; Rohan A Baxter; Geoffrey I Webb; Luís Torgo; Arindam Banerjee; Hanhuai Shan; Soumya Ray; Prasad Tadepalli; Yoav Shoham; Rob Powers; Yoav Shoham; Rob Powers; Geoffrey I Webb; Soumya Ray; Stephen Scott; Hendrik Blockeel; Luc De Raedt; ...Mais
PUBLICAÇÃO: 2010, FONTE: Encyclopedia of Machine Learning, PÁGINAS: 662-666
INDEXADO EM: DBLP CrossRef
6569
TÍTULO: Minimal switching time of agent formations with collision avoidance
AUTORES: Fontes, DBMM ; Fontes, FACC ;
PUBLICAÇÃO: 2010, FONTE: Springer Optimization and Its Applications, VOLUME: 40, PÁGINAS: 305-321
INDEXADO EM: Scopus CrossRef: 3
6570
TÍTULO: Mitotic cell-cycle progression is regulated by CPEB1 and CPEB4-dependent translational control  Full Text
AUTORES: Isabel Novoa; Javier Gallego; Pedro G Ferreira ; Raul Mendez;
PUBLICAÇÃO: 2010, FONTE: NATURE CELL BIOLOGY, VOLUME: 12, NÚMERO: 5, PÁGINAS: 447-U82
INDEXADO EM: Scopus WOS CrossRef: 133
6571
TÍTULO: Model Migration Approach for Database Preservation
AUTORES: Arif Ur Rahman; Gabriel David ; Cristina Ribeiro ;
PUBLICAÇÃO: 2010, FONTE: 12th International Conference on Asia-Pacific Digital Libraries in ROLE OF DIGITAL LIBRARIES IN A TIME OF GLOBAL CHANGE, VOLUME: 6102, PÁGINAS: 81-90
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
6572
TÍTULO: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTORES: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, NÚMERO: PART 2, PÁGINAS: 191-205
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
6573
TÍTULO: Modeling 802.11 AP usage through daily keep-alive event counts
AUTORES: Morla, R ; Massa, D;
PUBLICAÇÃO: 2010, FONTE: 13th International Conference on Network-Based Information Systems, NBiS 2010 in Proceedings - 13th International Conference on Network-Based Information Systems, NBiS 2010, PÁGINAS: 195-200
INDEXADO EM: Scopus DBLP CrossRef
6574
TÍTULO: Modelling non-trivial evaluation processes
AUTORES: José P Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2010, FONTE: Conference on Enterprise Information Systems
INDEXADO EM: Handle
6575
TÍTULO: Monitoring Incremental Histogram Distribution for Change Detection in Data Streams
AUTORES: Raquel Sebastiao ; Joao Gama ; Pedro Pereira Rodrigues ; Joao Bernardes ;
PUBLICAÇÃO: 2010, FONTE: 2nd International Workshop on Knowledge Discovery from Sensor Data in KNOWLEDGE DISCOVERY FROM SENSOR DATA, VOLUME: 5840, PÁGINAS: 25-42
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
6576
TÍTULO: Multiresolution motif discovery in time series
AUTORES: Castro, N ; Azevedo, P ;
PUBLICAÇÃO: 2010, FONTE: 10th SIAM International Conference on Data Mining, SDM 2010 in Proceedings of the 10th SIAM International Conference on Data Mining, SDM 2010, PÁGINAS: 665-676
INDEXADO EM: Scopus DBLP CrossRef: 47
6577
TÍTULO: Multiyear to daily radon variability from continuous monitoring at the Amram tunnel, southern Israel. Multiyear to daily radon variability  Full Text
AUTORES: Barbosa, SM ; Zafrir, H; Malik, U; Piatibratova, O;
PUBLICAÇÃO: 2010, FONTE: GEOPHYSICAL JOURNAL INTERNATIONAL, VOLUME: 182, NÚMERO: 2, PÁGINAS: 829-842
INDEXADO EM: Scopus WOS CrossRef: 55
6578
TÍTULO: Negro and Danube are mirror rivers  Full Text
AUTORES: Goncalves, R ; Pinto, A ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 16, NÚMERO: 12, PÁGINAS: 1491-1499
INDEXADO EM: Scopus WOS CrossRef: 1
6579
TÍTULO: NITROGEN BALANCE ASSESSMENT IN BURN PATIENTS  Full Text
AUTORES: Andreia Beca; Paula Egipto; Davide Carvalho ; Flora Correia ; Bruno Oliveira ; Acacio Rodrigues ; Jose Amarante ; Luis L Medina;
PUBLICAÇÃO: 2010, FONTE: ACTA MEDICA PORTUGUESA, VOLUME: 23, NÚMERO: 5, PÁGINAS: 883-890
INDEXADO EM: Scopus WOS
6580
TÍTULO: Non-iterative frequency estimation in the DFT magnitude domain
AUTORES: Sousa, R ; Ferreira, A ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Communications, Control, and Signal Processing, ISCCSP-2010 in Final Program and Abstract Book - 4th International Symposium on Communications, Control, and Signal Processing, ISCCSP 2010
INDEXADO EM: Scopus CrossRef: 3

Results per Page: 20.
Página 329 de 414. Total de resultados: 8274.