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

531 Team Members
Filters -> Year: 2024
6401
TITLE: Matrices as Arrows! A Biproduct Approach to Typed Linear Algebra
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 271-287
INDEXED IN: Scopus WOS
6402
TITLE: Measuring Software Systems Scalability for Proactive Data Center Management
AUTHORS: Nuno A Carvalho; Jose Pereira ;
PUBLISHED: 2010, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, ISSUE: PART 2, PAGES: 829-842
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6403
TITLE: Message from the technical program co-chairs  Full Text
AUTHORS: Joshi, A; Oliveira, R ; Prakash, A;
PUBLISHED: 2010, SOURCE: 29th IEEE Symposium on Reliable Distributed Systems, SRDS 2010 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
INDEXED IN: Scopus CrossRef
6404
TITLE: Meta-heuristics tunning using CBR for dynamic scheduling
AUTHORS: Pereira, I ; Madureira, A ;
PUBLISHED: 2010, SOURCE: 2010 IEEE 9th International Conference on Cybernetic Intelligent Systems, CIS 2010 in 2010 IEEE 9th International Conference on Cybernetic Intelligent Systems, CIS 2010
INDEXED IN: Scopus CrossRef Handle
6405
TITLE: Meta-Learning - Concepts and Techniques
AUTHORS: Ricardo Vilalta; Christophe Giraud G Carrier; Pavel Brazdil ;
PUBLISHED: 2010, SOURCE: Data Mining and Knowledge Discovery Handbook, 2nd ed., PAGES: 717-731
INDEXED IN: DBLP CrossRef: 14
6406
TITLE: Metalearning
AUTHORS: 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; ...More
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 662-666
INDEXED IN: DBLP CrossRef
6407
TITLE: Minimal switching time of agent formations with collision avoidance
AUTHORS: Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2010, SOURCE: Springer Optimization and Its Applications, VOLUME: 40, PAGES: 305-321
INDEXED IN: Scopus CrossRef: 3
6408
TITLE: Mitotic cell-cycle progression is regulated by CPEB1 and CPEB4-dependent translational control  Full Text
AUTHORS: Isabel Novoa; Javier Gallego; Pedro G Ferreira ; Raul Mendez;
PUBLISHED: 2010, SOURCE: NATURE CELL BIOLOGY, VOLUME: 12, ISSUE: 5, PAGES: 447-U82
INDEXED IN: Scopus WOS CrossRef: 133
6409
TITLE: Model Migration Approach for Database Preservation
AUTHORS: Arif Ur Rahman; Gabriel David ; Cristina Ribeiro ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Asia-Pacific Digital Libraries in ROLE OF DIGITAL LIBRARIES IN A TIME OF GLOBAL CHANGE, VOLUME: 6102, PAGES: 81-90
INDEXED IN: Scopus WOS DBLP CrossRef: 3
6410
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 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, ISSUE: PART 2, PAGES: 191-205
INDEXED IN: Scopus WOS DBLP CrossRef Handle
6411
TITLE: Modeling 802.11 AP usage through daily keep-alive event counts
AUTHORS: Morla, R ; Massa, D;
PUBLISHED: 2010, SOURCE: 13th International Conference on Network-Based Information Systems, NBiS 2010 in Proceedings - 13th International Conference on Network-Based Information Systems, NBiS 2010, PAGES: 195-200
INDEXED IN: Scopus DBLP CrossRef
6412
TITLE: Modelling non-trivial evaluation processes
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010, SOURCE: Conference on Enterprise Information Systems
INDEXED IN: Handle
6413
TITLE: Monitoring Incremental Histogram Distribution for Change Detection in Data Streams
AUTHORS: Raquel Sebastiao ; Joao Gama ; Pedro Pereira Rodrigues ; Joao Bernardes ;
PUBLISHED: 2010, SOURCE: 2nd International Workshop on Knowledge Discovery from Sensor Data in KNOWLEDGE DISCOVERY FROM SENSOR DATA, VOLUME: 5840, PAGES: 25-42
INDEXED IN: Scopus WOS DBLP CrossRef: 11
6414
TITLE: Multiresolution motif discovery in time series
AUTHORS: Castro, N ; Azevedo, P ;
PUBLISHED: 2010, SOURCE: 10th SIAM International Conference on Data Mining, SDM 2010 in Proceedings of the 10th SIAM International Conference on Data Mining, SDM 2010, PAGES: 665-676
INDEXED IN: Scopus DBLP CrossRef: 47
6415
TITLE: Multiyear to daily radon variability from continuous monitoring at the Amram tunnel, southern Israel. Multiyear to daily radon variability  Full Text
AUTHORS: Barbosa, SM ; Zafrir, H; Malik, U; Piatibratova, O;
PUBLISHED: 2010, SOURCE: GEOPHYSICAL JOURNAL INTERNATIONAL, VOLUME: 182, ISSUE: 2, PAGES: 829-842
INDEXED IN: Scopus WOS CrossRef: 55
6416
TITLE: Negro and Danube are mirror rivers  Full Text
AUTHORS: Goncalves, R ; Pinto, A ;
PUBLISHED: 2010, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 16, ISSUE: 12, PAGES: 1491-1499
INDEXED IN: Scopus WOS CrossRef: 1
6417
TITLE: NITROGEN BALANCE ASSESSMENT IN BURN PATIENTS  Full Text
AUTHORS: Andreia Beca; Paula Egipto; Davide Carvalho ; Flora Correia ; Bruno Oliveira ; Acacio Rodrigues ; Jose Amarante ; Luis L Medina;
PUBLISHED: 2010, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 23, ISSUE: 5, PAGES: 883-890
INDEXED IN: Scopus WOS
6418
TITLE: Non-iterative frequency estimation in the DFT magnitude domain
AUTHORS: Sousa, R ; Ferreira, A ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus CrossRef: 3
6419
TITLE: Nova política editorial  Full Text
AUTHORS: José Vasconcelos-Raposo ;
PUBLISHED: 2010, SOURCE: Motricidade, VOLUME: 6, ISSUE: 3
INDEXED IN: CrossRef
6420
TITLE: O fórum central: catalizador da participação do aluno em turmas virtuais no ensino a distancia online
AUTHORS: José Coelho ; Adérito Fernandes Marcos ;
PUBLISHED: 2010, SOURCE: Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf. - Encontros Bibli: Revista Eletrônica de Biblioteconomia e Ciência da Informação, PAGES: 85-99
INDEXED IN: CrossRef

Results per Page: 20.
Página 321 de 406. Total de resultados: 8103.