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

531 Team Members
Filters -> Year: 2024
6401
TITLE: Knowledge discovery from sensor data (SensorKDD)  Full Text
AUTHORS: Varun Chandola; Olufemi A Omitaomu; Auroop R Ganguly; Ranga Raju Vatsavai; Nitesh V Chawla; João Gama ; Mohamed Medhat Gaber;
PUBLISHED: 2010, SOURCE: SIGKDD Explorations, VOLUME: 12, ISSUE: 2, PAGES: 50-53
INDEXED IN: DBLP CrossRef: 2
6402
TITLE: Knowledge Discovery from Sensor Data, Second International Workshop, Sensor-KDD 2008, Las Vegas, NV, USA, August 24-27, 2008, Revised Selected Papers
AUTHORS: Mohamed Medhat Gaber; Ranga Raju Vatsavai; Olufemi A Omitaomu; João Gama ; Nitesh V Chawla; Auroop R Ganguly;
PUBLISHED: 2010, SOURCE: KDD Workshop on Knowledge Discovery from Sensor Data, VOLUME: 5840
INDEXED IN: DBLP
6403
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Vatsavai, RR; Omitaomu, OA; Gama, J ; Chawla, NV; Gaber, MM; Ganguly, AR;
PUBLISHED: 2010, SOURCE: 2nd International Workshop on Knowledge Discovery from Sensor Data, Sensor-KDD 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5840 LNCS
INDEXED IN: Scopus
6404
TITLE: Lightweight Fault-Tolerance for Peer-to-Peer Middleware  Full Text
AUTHORS: Rolando Martins ; Priya Narasimhan ; Luis Lopes ; Fernando Silva ;
PUBLISHED: 2010, SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PAGES: 313-317
INDEXED IN: Scopus WOS DBLP CrossRef: 3
6405
TITLE: Linear Recursion PDF
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
INDEXED IN: DBLP arXiv
6406
TITLE: Linearity and iterator types for Gödel's System ℐ
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLISHED: 2010, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 23, ISSUE: 1, PAGES: 1-27
INDEXED IN: Scopus DBLP CrossRef: 1
6407
TITLE: Machine learning support for kidney transplantation decision making
AUTHORS: Reinaldo, F; Md A Rahman; Alves, CF; Malucelli, A; Camacho, R ;
PUBLISHED: 2010, SOURCE: International Symposium on Biocomputing, ISB 2010 in ISB 2010 Proceedings - International Symposium on Biocomputing
INDEXED IN: Scopus CrossRef: 2
6408
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
6409
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
6410
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
6411
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
6412
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
6413
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
6414
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
6415
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
6416
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
6417
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
6418
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
6419
TITLE: Modelling non-trivial evaluation processes
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010, SOURCE: Conference on Enterprise Information Systems
INDEXED IN: Handle
6420
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

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