Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science

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

1699 Team Members
Filters -> Year: 2024
14801
TÍTULO: An integrated formal methods tool-chain and its application to verifying a file system model
AUTORES: Ferreira, MA; Oliveira, JN ;
PUBLICAÇÃO: 2009, FONTE: 12th Brazilian Symposium on Formal Methods, SBMF 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5902 LNCS, PÁGINAS: 153-169
INDEXADO EM: Scopus CrossRef Handle
14802
TÍTULO: An optimization approach for wind turbine commitment and dispatch in a wind park  Full Text
AUTORES: Carlos F Moyano; Joao A P Pecas Lopes ;
PUBLICAÇÃO: 2009, FONTE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 79, NÚMERO: 1, PÁGINAS: 71-79
INDEXADO EM: Scopus WOS CrossRef: 48
14803
TÍTULO: An Ordinal Data Method for the Classification with Reject Option
AUTORES: Sousa, R ; Mora, B; Cardoso, JS ;
PUBLICAÇÃO: 2009, FONTE: 8th International Conference on Machine Learning and Applications in EIGHTH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS, PROCEEDINGS, PÁGINAS: 746-750
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
14804
TÍTULO: An overview on mining data streams
AUTORES: Gama, J ; Rodrigues, PP ;
PUBLICAÇÃO: 2009, FONTE: Studies in Computational Intelligence, VOLUME: 206, PÁGINAS: 29-45
INDEXADO EM: Scopus DBLP CrossRef: 15
14805
TÍTULO: An SSM-Based Approach to Implement a Dynamic Performance Management System  Full Text
AUTORES: Roberto da Piedade Francisco; Americo Azevedo ;
PUBLICAÇÃO: 2009, FONTE: 10th IFIP Working Conference on Virtural Enterprises in LEVERAGING KNOWLEDGE FOR INNOVATION IN COLLABORATIVE NETWORKS, VOLUME: 307, PÁGINAS: 476-483
INDEXADO EM: Scopus WOS CrossRef: 1
14806
TÍTULO: Analysis and Forecast of Team Formation in the Simulated Robotic Soccer Domain
AUTORES: Rui Almeida; Luis Paulo Reis ; Alipio Mario Jorge ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PÁGINAS: 239-250
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
14807
TÍTULO: Analysis and forecast of team formations in the simulated robotic soccer domain using Weka classification methodologies [Análise e previsão das formações das equipas no domínio do futebol robótico simulado utilizando metodologias de classificação no weka]
AUTORES: Almeida, R; Reis, LP ; Jorge, AM ;
PUBLICAÇÃO: 2009, FONTE: 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009 - 4th Iberian Conference on Information Systems and Technologies, CISTI 2009 in Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009, PÁGINAS: 627-632
INDEXADO EM: Scopus
14808
TÍTULO: ANALYSIS AND PREDICTION OF TRAINING TEAMS IN THE FIELD OF ROBOTIC SOCCER SIMULATION METHODOLOGIES FOR CLASSIFICATION IN WEKA
AUTORES: Rui Almeida; Luis Paulo Reis ; Alipio Mario Jorge ;
PUBLICAÇÃO: 2009, FONTE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO, PÁGINAS: 627-632
INDEXADO EM: WOS
14809
TÍTULO: Architecture for a Creative Information System PDF  Full Text
AUTORES: Mamede, HS ; Santos, V;
PUBLICAÇÃO: 2009, FONTE: IFIP Conference on the Role of IS in Leveraging the Intelligence and Creativity of SMEs (CreativeSME 2009) in INFORMATION SYSTEMS - CREATIVITY AND INNOVATION IN SMALL AND MEDIUM-SIZED ENTERPRISES, VOLUME: 301, PÁGINAS: 113-121
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
14810
TÍTULO: Architecture of an innovative system for the acquisition of products in supermarkets - Business model [Arquitectura para um sistema inovador de aquisição de produtos em grandes superfícies-Modelo de negócio]
AUTORES: Santos, D; Pereira, A; Goncalves, R ;
PUBLICAÇÃO: 2009, FONTE: 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009 - 4th Iberian Conference on Information Systems and Technologies, CISTI 2009 in Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009, PÁGINAS: 61-66
INDEXADO EM: Scopus
14811
TÍTULO: Assessing the contribution of microgrids to the reliability of distribution networks  Full Text
AUTORES: Paulo Moises Costa ; Manuel A Matos ;
PUBLICAÇÃO: 2009, FONTE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 79, NÚMERO: 2, PÁGINAS: 382-389
INDEXADO EM: Scopus WOS CrossRef: 100
14812
TÍTULO: Assessing the Eligibility of Kidney Transplant Donors  Full Text
AUTORES: Reinaldo, F; Fernandes, C; Rahman, MA; Malucelli, A; Camacho, R ;
PUBLICAÇÃO: 2009, FONTE: 6th International Conference on Machine Learning and Data Mining in Pattern Recognition in MACHINE LEARNING AND DATA MINING IN PATTERN RECOGNITION, VOLUME: 5632, PÁGINAS: 802-809
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
14813
TÍTULO: Assessment of Parallel Equalizer/Phase Estimation Algorithms in Coherent Optical Systems  Full Text
AUTORES: Pessoa, LM ; Salgado, HM ; Darwazeh, I;
PUBLICAÇÃO: 2009, FONTE: Digest of the LEOS Summer Topical Meeting in 2009 DIGEST OF THE LEOS SUMMER TOPICAL MEETINGS, PÁGINAS: 79-80
INDEXADO EM: Scopus WOS CrossRef: 1
14814
TÍTULO: Authentication Architecture for Region-Wide e-Health System with Smartcards and a PKI
AUTORES: André Zúquete; Helder Gomes; João Paulo Silva Cunha ;
PUBLICAÇÃO: 2009, FONTE: Biomedical Engineering Systems and Technologies - Communications in Computer and Information Science, PÁGINAS: 479-492
INDEXADO EM: CrossRef
14815
TÍTULO: Automated Arabidopsis plant root cell segmentation based on SVM classification and region merging  Full Text
AUTORES: Monica Marcuzzo; Pedro Quelhas ; Ana Campilho ; Ana Maria Mendonca ; Aurelio Campilho ;
PUBLICAÇÃO: 2009, FONTE: COMPUTERS IN BIOLOGY AND MEDICINE, VOLUME: 39, NÚMERO: 9, PÁGINAS: 785-793
INDEXADO EM: Scopus WOS DBLP CrossRef: 27
14816
TÍTULO: AUTOMATIC GENERATION OF FPGA HARDWARE ACCELERATORS USING A DOMAIN SPECIFIC LANGUAGE
AUTORES: Ricardo Menotti; Joao M P Cardoso ; Marcio M Fernandes; Eduardo Marques;
PUBLICAÇÃO: 2009, FONTE: 19th International Conference on Field Programmable Logic and Applications in FPL: 2009 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS, PÁGINAS: 457-461
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
14817
TÍTULO: AUTOMATIC GENERATION OF USER INTERFACE MODELS AND PROTOTYPES FROM DOMAIN AND USE CASE MODELS
AUTORES: Antonio Miguel R Rosado da Cruz ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2009, FONTE: 4th International Conference on Software and Data Technologies in ICSOFT 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, VOLUME: 1, PÁGINAS: 169-176
INDEXADO EM: Scopus WOS DBLP
14818
TÍTULO: Automatic image registration through the segmentation of images preprocessed by joint histogram analysis
AUTORES: Goncalves, H ; Goncalves, JA ; Corte Real, L ;
PUBLICAÇÃO: 2009, FONTE: Image and Signal Processing for Remote Sensing XV in Proceedings of SPIE - The International Society for Optical Engineering, VOLUME: 7477
INDEXADO EM: Scopus
14819
TÍTULO: Automatic information/data gathering and distribution to support a catastrophes Early Warning System
AUTORES: De Carvalho, SCS; Pavão, JA ;
PUBLICAÇÃO: 2009, FONTE: IADIS International Conference Informatics 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009 in Proceedings of the IADIS International Conference Informatics 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009, PÁGINAS: 197-201
INDEXADO EM: Scopus
14820
TÍTULO: Automatic Recognition of Isolated Vowels Using F0-Normalized Harmonic Features  Full Text
AUTORES: Anibal Ferreira ;
PUBLICAÇÃO: 2009, FONTE: 5th International Conference on e-Business and Telecommunication in E-BUSINESS AND TELECOMMUNICATIONS, VOLUME: 48, PÁGINAS: 307-317
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 741 de 923. Total de resultados: 18456.