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: 18091
1699 Team MembersFilters -> Year: 2024
15461
TITLE: A Formal Model for Programming Wireless Sensor Networks PDF
AUTHORS: Luís M. B. Lopes ; Francisco Martins; Miguel S. Silva; João Barros;
PUBLISHED: 2007, SOURCE: CoRR, VOLUME: abs/cs/0702042
AUTHORS: Luís M. B. Lopes ; Francisco Martins; Miguel S. Silva; João Barros;
PUBLISHED: 2007, SOURCE: CoRR, VOLUME: abs/cs/0702042
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv15462
TITLE: A fractional calculus perspective in the evolutionary design of combinational circuits
AUTHORS: Cecilia Reis; Tenreiro A T Machado ; Boaventura B Cunha ;
PUBLISHED: 2007, SOURCE: 2nd Symposium on Fractional Derivatives and Their Applications (FDTAs in Advances in Fractional Calculus: THEORETICAL DEVELOPMENTS AND APPLICATIONS IN PHYSICS AND ENGINEERING, PAGES: 305-322
AUTHORS: Cecilia Reis; Tenreiro A T Machado ; Boaventura B Cunha ;
PUBLISHED: 2007, SOURCE: 2nd Symposium on Fractional Derivatives and Their Applications (FDTAs in Advances in Fractional Calculus: THEORETICAL DEVELOPMENTS AND APPLICATIONS IN PHYSICS AND ENGINEERING, PAGES: 305-322
15463
TITLE: A fuzzy dynamic programming approach for evaluation of expansion distribution cost in uncertainty environments
AUTHORS: Schweickardt, GA; Miranda, V ;
PUBLISHED: 2007, SOURCE: LATIN AMERICAN APPLIED RESEARCH, VOLUME: 37, ISSUE: 4, PAGES: 227-234
AUTHORS: Schweickardt, GA; Miranda, V ;
PUBLISHED: 2007, SOURCE: LATIN AMERICAN APPLIED RESEARCH, VOLUME: 37, ISSUE: 4, PAGES: 227-234
INDEXED IN: 
Scopus 
WOS
Scopus WOS15464
TITLE: A gait analysis laboratory for rehabilitation of patients with musculoskeletal impairments
AUTHORS: Sousa, DSS; João Manuel R. S. Tavares ; Correia, MV ; Barbosa, JG ; Cha, CV; Mendes, E;
PUBLISHED: 2007, SOURCE: International Symposium on Computational Modelling of Objects Represented in Images (CompIMAGE 2006) in COMPUTATIONAL MODELLING OF OBJECTS REPRESENTED IN IMAGES: FUNDAMENTALS, METHODS AND APPLICATIONS, PAGES: 417-422
AUTHORS: Sousa, DSS; João Manuel R. S. Tavares ; Correia, MV ; Barbosa, JG ; Cha, CV; Mendes, E;
PUBLISHED: 2007, SOURCE: International Symposium on Computational Modelling of Objects Represented in Images (CompIMAGE 2006) in COMPUTATIONAL MODELLING OF OBJECTS REPRESENTED IN IMAGES: FUNDAMENTALS, METHODS AND APPLICATIONS, PAGES: 417-422
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP15465
TITLE: A Grid Framework for Non-Linear Brain fMRI Analysis
AUTHORS: Rodolfo Andrade; Ilidio Oliveira ; Jose Maria Fernandes ; Jao Paulo S Silva Cunha ;
PUBLISHED: 2007, SOURCE: 5th HealthGrid Conference in FROM GENES TO PERSONALIZED HEALTHCARE: GRID SOLUTIONS FOR THE LIFE SCIENCES, VOLUME: 126, PAGES: 299-305
AUTHORS: Rodolfo Andrade; Ilidio Oliveira ; Jose Maria Fernandes ; Jao Paulo S Silva Cunha ;
PUBLISHED: 2007, SOURCE: 5th HealthGrid Conference in FROM GENES TO PERSONALIZED HEALTHCARE: GRID SOLUTIONS FOR THE LIFE SCIENCES, VOLUME: 126, PAGES: 299-305
INDEXED IN: Scopus WOS
Scopus WOS15466
TITLE: A high-performance digitally controlled LC oscillator for Ku-band applications
AUTHORS: Luis Mendes; Solteiro J S Pires ; Joao Caldinhas Vaz ; Maria Joao Rosario ;
PUBLISHED: 2007, SOURCE: 14th IEEE International Conference on Electronics, Circuits and Systems in 2007 14TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS 1-4, PAGES: 1091-1094
AUTHORS: Luis Mendes; Solteiro J S Pires ; Joao Caldinhas Vaz ; Maria Joao Rosario ;
PUBLISHED: 2007, SOURCE: 14th IEEE International Conference on Electronics, Circuits and Systems in 2007 14TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS 1-4, PAGES: 1091-1094
15467
TITLE: A Higher-Order Calculus for Graph Transformation
AUTHORS: Fernandez, M; Mackie, I; Pinto, JS ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 72, ISSUE: 1 SPEC. ISS., PAGES: 45-58
AUTHORS: Fernandez, M; Mackie, I; Pinto, JS ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 72, ISSUE: 1 SPEC. ISS., PAGES: 45-58
15468
TITLE: A historic documentation repository for specialized and public access
AUTHORS: Cristina Ribeiro ; Gabriel David ; Catalin Calistru;
PUBLISHED: 2007, SOURCE: 11th European Conference on Digital Libraries (ECDL 2007) in Research and Advanced Technology for Digital Libraries, Proceedings, VOLUME: 4675, PAGES: 555-558
AUTHORS: Cristina Ribeiro ; Gabriel David ; Catalin Calistru;
PUBLISHED: 2007, SOURCE: 11th European Conference on Digital Libraries (ECDL 2007) in Research and Advanced Technology for Digital Libraries, Proceedings, VOLUME: 4675, PAGES: 555-558
15469
TITLE: A historical perspective of legged robots
AUTHORS: Silva, MF ; Machado, JAT ;
PUBLISHED: 2007, SOURCE: International Symposium on Mathematical Methods in Engineering (MME06) in JOURNAL OF VIBRATION AND CONTROL, VOLUME: 13, ISSUE: 9-10, PAGES: 1447-1486
AUTHORS: Silva, MF ; Machado, JAT ;
PUBLISHED: 2007, SOURCE: International Symposium on Mathematical Methods in Engineering (MME06) in JOURNAL OF VIBRATION AND CONTROL, VOLUME: 13, ISSUE: 9-10, PAGES: 1447-1486
15470
TITLE: A influência das orientações motivacionais nas atitudes desportivas em aulas de Educação Física Full Text
AUTHORS: Fernandes, HM ; José Vasconcelos-Raposo ; Miguel Moreira; Henrique Costa;
PUBLISHED: 2007, SOURCE: Motricidade, VOLUME: 3, ISSUE: 3
AUTHORS: Fernandes, HM ; José Vasconcelos-Raposo ; Miguel Moreira; Henrique Costa;
PUBLISHED: 2007, SOURCE: Motricidade, VOLUME: 3, ISSUE: 3
INDEXED IN: 
CrossRef
CrossRef15471
TITLE: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTHORS: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 176, ISSUE: 1, PAGES: 139-163
AUTHORS: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 176, ISSUE: 1, PAGES: 139-163
15472
TITLE: A Methodology of Simplification of Interfaces with the e-Consumer
AUTHORS: Henrique S Mamede ; Vitor Santos; Jose Alberto L Lopes Costa;
PUBLISHED: 2007, SOURCE: 2nd Conference of the Iberica de Sistemas e Tecnologias de Informacao in NOVAS PERSPECTIVAS EM SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 41-50
AUTHORS: Henrique S Mamede ; Vitor Santos; Jose Alberto L Lopes Costa;
PUBLISHED: 2007, SOURCE: 2nd Conference of the Iberica de Sistemas e Tecnologias de Informacao in NOVAS PERSPECTIVAS EM SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 41-50
INDEXED IN: Scopus WOS
Scopus WOS15473
TITLE: A Metric for Paraphrase Detection
AUTHORS: Joao Cordeiro ; Gael Dias; Pavel Brazdil ;
PUBLISHED: 2007, SOURCE: 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07)
AUTHORS: Joao Cordeiro ; Gael Dias; Pavel Brazdil ;
PUBLISHED: 2007, SOURCE: 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07)
15474
TITLE: A multiple scenario security constrained reactive power planning tool using EPSO
AUTHORS: Keko, H; Jaramillo Duque, A; Miranda, V ;
PUBLISHED: 2007, SOURCE: 2007 International Conference on Intelligent Systems Applications to Power Systems, ISAP
AUTHORS: Keko, H; Jaramillo Duque, A; Miranda, V ;
PUBLISHED: 2007, SOURCE: 2007 International Conference on Intelligent Systems Applications to Power Systems, ISAP
INDEXED IN: Scopus
Scopus15475
TITLE: A multiple scenario security constrained reactive power planning tool using EPSO
AUTHORS: Keko, H; Duque, AJ; Miranda, V ;
PUBLISHED: 2007, SOURCE: 14th International Conference on Intelligent System Applications to Power Systems (ISAP 2007) in ENGINEERING INTELLIGENT SYSTEMS FOR ELECTRICAL ENGINEERING AND COMMUNICATIONS, VOLUME: 15, ISSUE: 2, PAGES: 83-89
AUTHORS: Keko, H; Duque, AJ; Miranda, V ;
PUBLISHED: 2007, SOURCE: 14th International Conference on Intelligent System Applications to Power Systems (ISAP 2007) in ENGINEERING INTELLIGENT SYSTEMS FOR ELECTRICAL ENGINEERING AND COMMUNICATIONS, VOLUME: 15, ISSUE: 2, PAGES: 83-89
15476
TITLE: A new FPGA based control system for electrical propulsion with electronic differential
AUTHORS: Ricardo Pinto de Castro; Hugo Santos Oliveira; Jose Ricardo Soares; Nuno Miguel Cerqueira; Araujo, RE ;
PUBLISHED: 2007, SOURCE: 2007 European Conference on Power Electronics and Applications in 2007 EUROPEAN CONFERENCE ON POWER ELECTRONICS AND APPLICATIONS, VOLS 1-10, PAGES: 4016-4025
AUTHORS: Ricardo Pinto de Castro; Hugo Santos Oliveira; Jose Ricardo Soares; Nuno Miguel Cerqueira; Araujo, RE ;
PUBLISHED: 2007, SOURCE: 2007 European Conference on Power Electronics and Applications in 2007 EUROPEAN CONFERENCE ON POWER ELECTRONICS AND APPLICATIONS, VOLS 1-10, PAGES: 4016-4025
15477
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
15478
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
15479
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
Scopus15480
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
Scopus