CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 8280

531 Team Members
Filters -> Year: 2024
6561
TITLE: Knowledge Discovery from Sensor Data
AUTHORS: Mohamed Medhat Gaber; Ranga Raju Vatsavai; Olufemi A Omitaomu; João Gama ; Nitesh V Chawla; Auroop R Ganguly;
PUBLISHED: 2010, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 5
6562
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
6563
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
6564
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
6565
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
6566
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
6567
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
6568
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
6569
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
6570
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
6571
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
6572
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
6573
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
6574
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
6575
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
6576
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
6577
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
6578
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
6579
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
6580
TITLE: Modelling non-trivial evaluation processes
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010, SOURCE: Conference on Enterprise Information Systems
INDEXED IN: Handle

Results per Page: 20.
Page 329 of 414. Total results: 8280.