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: 18335
1699 Team MembersFilters -> Year: 2024
15701
TITLE: A new plant modelling approach for formal verification purposes
AUTHORS: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLISHED: 2007, SOURCE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, ISSUE: PART 1, PAGES: 167-172
AUTHORS: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLISHED: 2007, SOURCE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, ISSUE: PART 1, PAGES: 167-172
15702
TITLE: A nonlinear model predictive control of an omni-directional mobile robot
AUTHORS: Andre Scolari Conceicao; Helder P Oliveira ; Sousa S e Silva; Diogo Oliveira; Paulo P Moreira ;
PUBLISHED: 2007, SOURCE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, PAGES: 2161-2166
AUTHORS: Andre Scolari Conceicao; Helder P Oliveira ; Sousa S e Silva; Diogo Oliveira; Paulo P Moreira ;
PUBLISHED: 2007, SOURCE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, PAGES: 2161-2166
15703
TITLE: A novel audio post-processing toolkit for the Enhancement of audio signals coded at low bit rates
AUTHORS: Annadana, R; Harinarayanan, EV; Sinha, D; Ferreira, A ;
PUBLISHED: 2007, SOURCE: 123rd Audio Engineering Society Convention 2007 in Audio Engineering Society - 123rd Audio Engineering Society Convention 2007, VOLUME: 1, PAGES: 371-377
AUTHORS: Annadana, R; Harinarayanan, EV; Sinha, D; Ferreira, A ;
PUBLISHED: 2007, SOURCE: 123rd Audio Engineering Society Convention 2007 in Audio Engineering Society - 123rd Audio Engineering Society Convention 2007, VOLUME: 1, PAGES: 371-377
INDEXED IN: 
Scopus
Scopus15704
TITLE: A novel automatic noise removal technique for audio and speech signals
AUTHORS: Harinarayanan, EV; Sinha, D; Saeed, S; Ferreira, A ;
PUBLISHED: 2007, SOURCE: 123rd Audio Engineering Society Convention 2007 in Audio Engineering Society - 123rd Audio Engineering Society Convention 2007, VOLUME: 3, PAGES: 1497-1503
AUTHORS: Harinarayanan, EV; Sinha, D; Saeed, S; Ferreira, A ;
PUBLISHED: 2007, SOURCE: 123rd Audio Engineering Society Convention 2007 in Audio Engineering Society - 123rd Audio Engineering Society Convention 2007, VOLUME: 3, PAGES: 1497-1503
INDEXED IN: Scopus
Scopus15705
TITLE: A novel dry active electrode for EEG recording
AUTHORS: Fonseca, C ; Silva P S Cunha ; Martins, RE ; Ferreira, VM ; Marques de Sa, JPM; Barbosa, MA ; Martins M da Silva ;
PUBLISHED: 2007, SOURCE: IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOLUME: 54, ISSUE: 1, PAGES: 162-165
AUTHORS: Fonseca, C ; Silva P S Cunha ; Martins, RE ; Ferreira, VM ; Marques de Sa, JPM; Barbosa, MA ; Martins M da Silva ;
PUBLISHED: 2007, SOURCE: IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOLUME: 54, ISSUE: 1, PAGES: 162-165
15706
TITLE: A polynomial placement algorithm for data driven coarse-grained reconfigurable architectures
AUTHORS: Ricardo Ferreira; Alisson Garcia; Tiago Teixeira; Joao M P Cardoso ;
PUBLISHED: 2007, SOURCE: IEEE-Computer-Society Annual Symposium on VLSI in IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: EMERGING VLSI TECHNOLOGIES AND ARCHITECTURES, PAGES: 61-66
AUTHORS: Ricardo Ferreira; Alisson Garcia; Tiago Teixeira; Joao M P Cardoso ;
PUBLISHED: 2007, SOURCE: IEEE-Computer-Society Annual Symposium on VLSI in IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: EMERGING VLSI TECHNOLOGIES AND ARCHITECTURES, PAGES: 61-66
15707
TITLE: A process calculus approach to sensor network programming
AUTHORS: Lopes, L ; Martins, F ; Silva, MS; Barros, J ;
PUBLISHED: 2007, SOURCE: 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007 in 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings, PAGES: 451-456
AUTHORS: Lopes, L ; Martins, F ; Silva, MS; Barros, J ;
PUBLISHED: 2007, SOURCE: 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007 in 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings, PAGES: 451-456
15708
TITLE: A proposal to delegate GUI implementation using a source code based model
AUTHORS: Monteiro, M; Oliveira, P ; Goncalves, R ;
PUBLISHED: 2007, SOURCE: 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007 in 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007, PAGES: 29-32
AUTHORS: Monteiro, M; Oliveira, P ; Goncalves, R ;
PUBLISHED: 2007, SOURCE: 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007 in 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007, PAGES: 29-32
INDEXED IN: Scopus 
DBLP
Scopus DBLP15709
TITLE: A putative gene located at the MHC class I region around the D6S105 marker contributes to the setting of CD8+T-lymphocyte numbers in humans Full Text
AUTHORS: Vieira, J ; Cardoso, C. ; Pinto, J ; Patil, K; Brazdil, P ; Cruz, E; Mascarenhas, C; Lacerda, R; Gartner, A; Almeida, S; Alves, H; Porto, G ;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF IMMUNOGENETICS, VOLUME: 34, ISSUE: 5, PAGES: 359-367
AUTHORS: Vieira, J ; Cardoso, C. ; Pinto, J ; Patil, K; Brazdil, P ; Cruz, E; Mascarenhas, C; Lacerda, R; Gartner, A; Almeida, S; Alves, H; Porto, G ;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF IMMUNOGENETICS, VOLUME: 34, ISSUE: 5, PAGES: 359-367
15710
TITLE: A Real Time Vision System for Autonomous Systems: Characterization during a Middle Size Match
AUTHORS: Hugo Silva ; José Miguel Almeida ; Lima, L; Alfredo Martins ; Eduardo P da Silva;
PUBLISHED: 2007, SOURCE: RoboCup 2007: Robot Soccer World Cup XI, July 9-10, 2007, Atlanta, GA, USA, VOLUME: 5001, PAGES: 504-511
AUTHORS: Hugo Silva ; José Miguel Almeida ; Lima, L; Alfredo Martins ; Eduardo P da Silva;
PUBLISHED: 2007, SOURCE: RoboCup 2007: Robot Soccer World Cup XI, July 9-10, 2007, Atlanta, GA, USA, VOLUME: 5001, PAGES: 504-511
INDEXED IN: DBLP
DBLP15711
TITLE: A regulatory framework for microgeneration and microgrids
AUTHORS: Costa, PM ; Matos, MA ; Lopes, JAP ;
PUBLISHED: 2007, SOURCE: IEEE Lausanne Powertech in 2007 IEEE LAUSANNE POWERTECH, VOLS 1-5, PAGES: 633-638
AUTHORS: Costa, PM ; Matos, MA ; Lopes, JAP ;
PUBLISHED: 2007, SOURCE: IEEE Lausanne Powertech in 2007 IEEE LAUSANNE POWERTECH, VOLS 1-5, PAGES: 633-638
15712
TITLE: A relação entre a percepção de competência física, índice de massa corporal e competência efectiva em jovens praticantes de basquetebol Full Text
AUTHORS: Sandro Ferreira; Helder Miguel Fernandes; José Vasconcelos-Raposo ;
PUBLISHED: 2007, SOURCE: Motricidade, VOLUME: 3, ISSUE: 3
AUTHORS: Sandro Ferreira; Helder Miguel Fernandes; José Vasconcelos-Raposo ;
PUBLISHED: 2007, SOURCE: Motricidade, VOLUME: 3, ISSUE: 3
INDEXED IN: 
CrossRef
CrossRef15713
TITLE: A scientific note on honey bee foraging activity and airborne pollen flow
AUTHORS: Bernardo Sabugosa Madeira; Ilda Abreu ; Ribeiro, H ; Alexandra Gomes; Mario Cunha ;
PUBLISHED: 2007, SOURCE: APIDOLOGIE, VOLUME: 38, ISSUE: 1, PAGES: 122-123
AUTHORS: Bernardo Sabugosa Madeira; Ilda Abreu ; Ribeiro, H ; Alexandra Gomes; Mario Cunha ;
PUBLISHED: 2007, SOURCE: APIDOLOGIE, VOLUME: 38, ISSUE: 1, PAGES: 122-123
15714
TITLE: A short overview of some behavioural scenarios for derivative pricing in incomplete markets Full Text
AUTHORS: Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2007, SOURCE: Proc. Appl. Math. Mech. - PAMM, VOLUME: 7, ISSUE: 1, PAGES: 1060309-1060310
AUTHORS: Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2007, SOURCE: Proc. Appl. Math. Mech. - PAMM, VOLUME: 7, ISSUE: 1, PAGES: 1060309-1060310
15715
TITLE: A Shortcut Fusion Rule for Circular Program Calculation
AUTHORS: Joao Paulo Fernandes ; Alberto Pardo; Joao Saraiva ;
PUBLISHED: 2007, SOURCE: 11th ACM SIGPLAN Haskell Workshop in HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP, PAGES: 95-106
AUTHORS: Joao Paulo Fernandes ; Alberto Pardo; Joao Saraiva ;
PUBLISHED: 2007, SOURCE: 11th ACM SIGPLAN Haskell Workshop in HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP, PAGES: 95-106
15716
TITLE: A shortest path approach for staff line detection
AUTHORS: Ana Rebelo ; Artur Capela ; Joaquim F Pinto da Costa ; Carlos Guedes ; Eurico Carrapatoso ; Jaime S Cardoso ;
PUBLISHED: 2007, SOURCE: 3rd International Conference on Automated Production of Cross Media Content for Multi-Channel Distribution in AXMEDIS 2007: THIRD INTERNATIONAL CONFERENCE ON AUTOMATED PRODUCTION OF CROSS MEDIA CONTENT FOR MULTI-CHANNEL DISTRIBUTION, PROCEEDINGS, PAGES: 79-85
AUTHORS: Ana Rebelo ; Artur Capela ; Joaquim F Pinto da Costa ; Carlos Guedes ; Eurico Carrapatoso ; Jaime S Cardoso ;
PUBLISHED: 2007, SOURCE: 3rd International Conference on Automated Production of Cross Media Content for Multi-Channel Distribution in AXMEDIS 2007: THIRD INTERNATIONAL CONFERENCE ON AUTOMATED PRODUCTION OF CROSS MEDIA CONTENT FOR MULTI-CHANNEL DISTRIBUTION, PROCEEDINGS, PAGES: 79-85
15717
TITLE: A simple ESR identification methodology for electrolytic capacitors condition monitoring
AUTHORS: V. Leite; Henrique J A Teixeira; A.J. M Cardoso; Rui E Araújo ;
PUBLISHED: 2007, SOURCE: Proceedings of 20th International Congress & Exhibition on Condition Monitoring and Diagnostic Engineering Management. (COMADEM 2007)
AUTHORS: V. Leite; Henrique J A Teixeira; A.J. M Cardoso; Rui E Araújo ;
PUBLISHED: 2007, SOURCE: Proceedings of 20th International Congress & Exhibition on Condition Monitoring and Diagnostic Engineering Management. (COMADEM 2007)
INDEXED IN: 
Handle
Handle15718
TITLE: A simple ESR identification methodology for Electrolytic Capacitors conditon monitoring
AUTHORS: A. Vicente T. leite; Henrique J A Teixeira; A. J. Marques Cardoso; Rui E Araújo ;
PUBLISHED: 2007
AUTHORS: A. Vicente T. leite; Henrique J A Teixeira; A. J. Marques Cardoso; Rui E Araújo ;
PUBLISHED: 2007
INDEXED IN: Handle
Handle15719
TITLE: A simulation study of an automated system for a shoe factory using arena
AUTHORS: Antonio Carvalho Brito ; Paulo Sa Marques;
PUBLISHED: 2007, SOURCE: European Simulation and Modelling Conference (ESM 2007) in EUROPEAN SIMULATION AND MODELLING CONFERENCE 2007, PAGES: 107-111
AUTHORS: Antonio Carvalho Brito ; Paulo Sa Marques;
PUBLISHED: 2007, SOURCE: European Simulation and Modelling Conference (ESM 2007) in EUROPEAN SIMULATION AND MODELLING CONFERENCE 2007, PAGES: 107-111
INDEXED IN: Scopus 
WOS
Scopus WOS15720
TITLE: A Simulation Study of XCP-b Performance in Wireless Multi-hop Networks
AUTHORS: Filipe Abrantes; Manuel Ricardo ;
PUBLISHED: 2007, SOURCE: 2rd ACM Workshop on Q26 and Security for Wireless and Mobile Networks in Q2SWINET'07: PROCEEDINGS OF THE THIRD ACM WORKSHOP ON Q2S AND SECURITY FOR WIRELESS AND MOBILE NETWORKS, PAGES: 23-30
AUTHORS: Filipe Abrantes; Manuel Ricardo ;
PUBLISHED: 2007, SOURCE: 2rd ACM Workshop on Q26 and Security for Wireless and Mobile Networks in Q2SWINET'07: PROCEEDINGS OF THE THIRD ACM WORKSHOP ON Q2S AND SECURITY FOR WIRELESS AND MOBILE NETWORKS, PAGES: 23-30
