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

531 Team Members
Filters -> Year: 2024
6561
TÍTULO: Knowledge discovery from sensor data (SensorKDD)  Full Text
AUTORES: Varun Chandola; Olufemi A Omitaomu; Auroop R Ganguly; Ranga Raju Vatsavai; Nitesh V Chawla; João Gama ; Mohamed Medhat Gaber;
PUBLICAÇÃO: 2010, FONTE: SIGKDD Explorations, VOLUME: 12, NÚMERO: 2, PÁGINAS: 50-53
INDEXADO EM: DBLP CrossRef: 2
6562
TÍTULO: Knowledge Discovery from Sensor Data, Second International Workshop, Sensor-KDD 2008, Las Vegas, NV, USA, August 24-27, 2008, Revised Selected Papers
AUTORES: Mohamed Medhat Gaber; Ranga Raju Vatsavai; Olufemi A Omitaomu; João Gama ; Nitesh V Chawla; Auroop R Ganguly;
PUBLICAÇÃO: 2010, FONTE: KDD Workshop on Knowledge Discovery from Sensor Data, VOLUME: 5840
INDEXADO EM: DBLP
6563
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Vatsavai, RR; Omitaomu, OA; Gama, J ; Chawla, NV; Gaber, MM; Ganguly, AR;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus
6564
TÍTULO: Lightweight Fault-Tolerance for Peer-to-Peer Middleware  Full Text
AUTORES: Rolando Martins ; Priya Narasimhan ; Luis Lopes ; Fernando Silva ;
PUBLICAÇÃO: 2010, FONTE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PÁGINAS: 313-317
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
6565
TÍTULO: Linear Recursion PDF
AUTORES: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1001.3368
INDEXADO EM: DBLP arXiv
6566
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
6567
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
6568
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
6569
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
6570
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
6571
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
6572
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
6573
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
6574
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
6575
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
6576
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
6577
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
6578
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
6579
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
6580
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

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