Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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
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!
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!
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!
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: 18522
1699 Team MembersFilters -> Year: 2024
14501
TITLE: Mashup Enabled Dynamic Capabilities in the Fuzzy Front-End of Innovation
AUTHORS: Luis C S Barradas; Pinto Ferreira, JJP ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT II, VOLUME: 110, ISSUE: PART 2, PAGES: 228-237
AUTHORS: Luis C S Barradas; Pinto Ferreira, JJP ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT II, VOLUME: 110, ISSUE: PART 2, PAGES: 228-237
14502
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
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
Scopus WOS14503
TITLE: Maximin Spreading Algorithm
AUTHORS: Solteiro Pires, EJS ; Luis Mendes; Antonio M Lopes ; de Moura Oliveira, PBD ; Tenreiro Machado, JAT ; Joao Vaz ; Maria J Rosario ;
PUBLISHED: 2010, SOURCE: 2010 IEEE World Congress on Computational Intelligence in 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 1-8
AUTHORS: Solteiro Pires, EJS ; Luis Mendes; Antonio M Lopes ; de Moura Oliveira, PBD ; Tenreiro Machado, JAT ; Joao Vaz ; Maria J Rosario ;
PUBLISHED: 2010, SOURCE: 2010 IEEE World Congress on Computational Intelligence in 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 1-8
14504
TITLE: Measurement of CO2 using refractometric fiber optic sensors
AUTHORS: Gouveia, C; Markovics, A; Baptista, JM ; Kovacs, B; Jorge, PAS ;
PUBLISHED: 2010, SOURCE: 3rd WSEAS International Conference on Sensors and Signals, SENSIG'10, 3rd WSEAS International Conference on Materials Science, MATERIALS'10 in Advances in Sensors, Signals and Materials - 3rd WSEAS International Conference on Sensors and Signals, SENSIG'10, 3rd WSEAS International Conference on Materials Science, MATERIALS'10, PAGES: 169-173
AUTHORS: Gouveia, C; Markovics, A; Baptista, JM ; Kovacs, B; Jorge, PAS ;
PUBLISHED: 2010, SOURCE: 3rd WSEAS International Conference on Sensors and Signals, SENSIG'10, 3rd WSEAS International Conference on Materials Science, MATERIALS'10 in Advances in Sensors, Signals and Materials - 3rd WSEAS International Conference on Sensors and Signals, SENSIG'10, 3rd WSEAS International Conference on Materials Science, MATERIALS'10, PAGES: 169-173
INDEXED IN: Scopus
Scopus14505
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
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
14506
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
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
Scopus CrossRef14507
TITLE: Meta-heuristics self-configuration for scheduling
AUTHORS: Ana M Madureira ; Nuno Fonseca; Ivo Pereira;
PUBLISHED: 2010, SOURCE: Business Sustainablity I: Management, Technology and Learning for Individuals, Organisations and Society in Turbulent Environments
AUTHORS: Ana M Madureira ; Nuno Fonseca; Ivo Pereira;
PUBLISHED: 2010, SOURCE: Business Sustainablity I: Management, Technology and Learning for Individuals, Organisations and Society in Turbulent Environments
INDEXED IN: 
Handle
Handle14508
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
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
14509
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
AUTHORS: Ricardo Vilalta; Christophe Giraud G Carrier; Pavel Brazdil ;
PUBLISHED: 2010, SOURCE: Data Mining and Knowledge Discovery Handbook, 2nd ed., PAGES: 717-731
14510
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; ...More
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 662-666
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; ...More
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 662-666
INDEXED IN: 
DBLP CrossRef
DBLP CrossRef14511
TITLE: Methodology for non-hierarchical collaboration networks for complex products manufacturing
AUTHORS: Kankaanpää, T; Shamsuzzoha, A; Carneiro, L ; Almeida, R; Helo, P; Fornasiero, R; Ferreira, PS; Chiodi, A;
PUBLISHED: 2010, SOURCE: IEEE International Technology Management Conference, ICE 2010 in 2010 IEEE International Technology Management Conference, ICE 2010
AUTHORS: Kankaanpää, T; Shamsuzzoha, A; Carneiro, L ; Almeida, R; Helo, P; Fornasiero, R; Ferreira, PS; Chiodi, A;
PUBLISHED: 2010, SOURCE: IEEE International Technology Management Conference, ICE 2010 in 2010 IEEE International Technology Management Conference, ICE 2010
14512
TITLE: MICROGRIDS OPERATION AND CONTROL UNDER EMERGENCY CONDITIONS
AUTHORS: Moreira, CL ; Pecas Lopes, JAP ;
PUBLISHED: 2010, SOURCE: INTELLIGENT AUTOMATION AND SOFT COMPUTING, VOLUME: 16, ISSUE: 2, PAGES: 255-272
AUTHORS: Moreira, CL ; Pecas Lopes, JAP ;
PUBLISHED: 2010, SOURCE: INTELLIGENT AUTOMATION AND SOFT COMPUTING, VOLUME: 16, ISSUE: 2, PAGES: 255-272
14513
TITLE: Miniature High-Temperature Fiber Bragg Grating Sensor Design Based on U-Shaped Lossless Taper for Thermal Mapping Applications
AUTHORS: Diana Viegas ; Silvia Abad; Jose Luis Santos ; Luis Alberto Ferreira; Francisco Manuel M Moita Araujo;
PUBLISHED: 2010, SOURCE: IEEE PHOTONICS TECHNOLOGY LETTERS, VOLUME: 22, ISSUE: 11, PAGES: 811-813
AUTHORS: Diana Viegas ; Silvia Abad; Jose Luis Santos ; Luis Alberto Ferreira; Francisco Manuel M Moita Araujo;
PUBLISHED: 2010, SOURCE: IEEE PHOTONICS TECHNOLOGY LETTERS, VOLUME: 22, ISSUE: 11, PAGES: 811-813
14514
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
AUTHORS: Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2010, SOURCE: Springer Optimization and Its Applications, VOLUME: 40, PAGES: 305-321
14515
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
AUTHORS: Isabel Novoa; Javier Gallego; Pedro G Ferreira ; Raul Mendez;
PUBLISHED: 2010, SOURCE: NATURE CELL BIOLOGY, VOLUME: 12, ISSUE: 5, PAGES: 447-U82
14516
TITLE: Mobile service experiences: Qualitative study with a broader perspective. qualitative study with a broader perspective
AUTHORS: Sarmento, T; Patricio, L ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI2010 in ACM International Conference Proceeding Series, PAGES: 413-414
AUTHORS: Sarmento, T; Patricio, L ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI2010 in ACM International Conference Proceeding Series, PAGES: 413-414
14517
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
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
14518
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
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
14519
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
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
14520
TITLE: Modeling and Control of the MARES Autonomous Underwater Vehicle
AUTHORS: Bruno Ferreira ; Anibal Matos ; Nuno Cruz ; Miguel Pinto;
PUBLISHED: 2010, SOURCE: MARINE TECHNOLOGY SOCIETY JOURNAL, VOLUME: 44, ISSUE: 2, PAGES: 19-36
AUTHORS: Bruno Ferreira ; Anibal Matos ; Nuno Cruz ; Miguel Pinto;
PUBLISHED: 2010, SOURCE: MARINE TECHNOLOGY SOCIETY JOURNAL, VOLUME: 44, ISSUE: 2, PAGES: 19-36
