CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
6581
TITLE: An integrated formal methods tool-chain and its application to verifying a file system model
AUTHORS: Ferreira, MA; Oliveira, JN ;
PUBLISHED: 2009, SOURCE: 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, PAGES: 153-169
INDEXED IN: Scopus CrossRef Handle
6582
TITLE: An overview on mining data streams
AUTHORS: Gama, J ; Rodrigues, PP ;
PUBLISHED: 2009, SOURCE: Studies in Computational Intelligence, VOLUME: 206, PAGES: 29-45
INDEXED IN: Scopus DBLP CrossRef: 15
6583
TITLE: Analysis and Forecast of Team Formation in the Simulated Robotic Soccer Domain
AUTHORS: Rui Almeida; Luis Paulo Reis ; Alipio Mario Jorge ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 239-250
INDEXED IN: Scopus WOS DBLP CrossRef: 14
6584
TITLE: 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]
AUTHORS: Almeida, R; Reis, LP ; Jorge, AM ;
PUBLISHED: 2009, SOURCE: 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, PAGES: 627-632
INDEXED IN: Scopus
6585
TITLE: ANALYSIS AND PREDICTION OF TRAINING TEAMS IN THE FIELD OF ROBOTIC SOCCER SIMULATION METHODOLOGIES FOR CLASSIFICATION IN WEKA
AUTHORS: Rui Almeida; Luis Paulo Reis ; Alipio Mario Jorge ;
PUBLISHED: 2009, SOURCE: 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, PAGES: 627-632
INDEXED IN: WOS
6586
TITLE: Architecture for a Creative Information System PDF  Full Text
AUTHORS: Mamede, HS ; Santos, V;
PUBLISHED: 2009, SOURCE: 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, PAGES: 113-121
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6587
TITLE: 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]
AUTHORS: Santos, D; Pereira, A; Goncalves, R ;
PUBLISHED: 2009, SOURCE: 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, PAGES: 61-66
INDEXED IN: Scopus
6588
TITLE: Assessing the Eligibility of Kidney Transplant Donors  Full Text
AUTHORS: Reinaldo, F; Fernandes, C; Rahman, MA; Malucelli, A; Camacho, R ;
PUBLISHED: 2009, SOURCE: 6th International Conference on Machine Learning and Data Mining in Pattern Recognition in MACHINE LEARNING AND DATA MINING IN PATTERN RECOGNITION, VOLUME: 5632, PAGES: 802-809
INDEXED IN: Scopus WOS DBLP CrossRef Handle
6589
TITLE: AUTOMATIC GENERATION OF FPGA HARDWARE ACCELERATORS USING A DOMAIN SPECIFIC LANGUAGE
AUTHORS: Ricardo Menotti; Joao M P Cardoso ; Marcio M Fernandes; Eduardo Marques;
PUBLISHED: 2009, SOURCE: 19th International Conference on Field Programmable Logic and Applications in FPL: 2009 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS, PAGES: 457-461
INDEXED IN: Scopus WOS DBLP CrossRef: 4
6590
TITLE: AUTOMATIC GENERATION OF USER INTERFACE MODELS AND PROTOTYPES FROM DOMAIN AND USE CASE MODELS
AUTHORS: Antonio Miguel R Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2009, SOURCE: 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, PAGES: 169-176
INDEXED IN: Scopus WOS DBLP
6591
TITLE: Automatic information/data gathering and distribution to support a catastrophes Early Warning System
AUTHORS: De Carvalho, SCS; Pavão, JA ;
PUBLISHED: 2009, SOURCE: 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, PAGES: 197-201
INDEXED IN: Scopus
6592
TITLE: Balanço do ano editorial  Full Text
AUTHORS: José Vasconcelos-Raposo ; Fernandes, HM ; Daniel Almeida Marinho; Carla Maria Teixeira;
PUBLISHED: 2009, SOURCE: Motricidade, VOLUME: 5, ISSUE: 4
INDEXED IN: CrossRef
6593
TITLE: BEAM SEARCH HEURISTICS FOR THE SINGLE MACHINE SCHEDULING PROBLEM WITH LINEAR EARLINESS AND QUADRATIC TARDINESS COSTS  Full Text
AUTHORS: Jorge M S Valente ;
PUBLISHED: 2009, SOURCE: ASIA-PACIFIC JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 26, ISSUE: 3, PAGES: 319-339
INDEXED IN: Scopus WOS CrossRef: 14
6594
TITLE: Bidirectional data-flow analyses, type-systematically
AUTHORS: Frade, MJ ; Saabas, A; Uustalu, T;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09, PAGES: 141-149
INDEXED IN: Scopus CrossRef: 1
6595
TITLE: BIORED - A Genetic Algorithm for Pattern Detection in Biosequences
AUTHORS: Pedro Pereira; Fernando Silva ; Nuno A Fonseca ;
PUBLISHED: 2009, SOURCE: 2nd International Workshop on Practical Applications of Computational Biology and Bioinformatics (IWPACBB 08) in 2ND INTERNATIONAL WORKSHOP ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY AND BIOINFORMATICS (IWPACBB 2008), VOLUME: 49, PAGES: 156-165
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6596
TITLE: CAD LUNG SYSTEM: TEXTURE BASED CLASSIFIER OF PULMONARY PATHOLOGIES
AUTHORS: Veronica Vasconcelos ; Jose Silvestre Silva ; Joao Barroso ;
PUBLISHED: 2009, SOURCE: 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, PAGES: 383-386
INDEXED IN: Scopus WOS
6597
TITLE: Caracterização dos níveis de negativismo, activação, autoconfiança e orientações motivacionais de alpinistas  Full Text
AUTHORS: Ana Dalila Rodrigues; João Paulo Lázaro; Helder Miguel Fernandes; José Vasconcelos-Raposo ;
PUBLISHED: 2009, SOURCE: Motricidade, VOLUME: 5, ISSUE: 2
INDEXED IN: CrossRef
6598
TITLE: Change Detection in Climate Data over the Iberian Peninsula
AUTHORS: Raquel Sebastiao ; Pedro Pereira Rodrigues ; Joao Gama ;
PUBLISHED: 2009, SOURCE: 9th IEEE International Conference on Data Mining in 2009 IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2009), PAGES: 248-253
INDEXED IN: Scopus WOS DBLP CrossRef: 3
6599
TITLE: Changing seasonality in Europe's air temperature  Full Text
AUTHORS: Barbosa, SM ;
PUBLISHED: 2009, SOURCE: EUROPEAN PHYSICAL JOURNAL-SPECIAL TOPICS, VOLUME: 174, ISSUE: 1, PAGES: 81-89
INDEXED IN: Scopus WOS CrossRef: 6
6600
TITLE: CHARACTERIZATION OF e-BANKING TECHNOLOGICAL SOLUTIONS IN PORTUGAL
AUTHORS: Juliana Tavares; Ramiro Goncalves ; Paulo Martins ;
PUBLISHED: 2009, SOURCE: 5th International Conference on Web Information Systems and Technologies in WEBIST 2009: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES, PAGES: 577-580
INDEXED IN: Scopus WOS DBLP

Results per Page: 20.
Página 330 de 406. Total de resultados: 8103.