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

531 Team Members
Filters -> Year: 2024
5901
TITLE: Towards Utility Maximization in Regression
AUTHORS: Rita P Ribeiro ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Data Mining (ICDM) in 12TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2012), PAGES: 179-186
INDEXED IN: Scopus WOS DBLP CrossRef: 1
5902
TITLE: Trends in ozone concentrations in the Iberian Peninsula by quantile regression and clustering  Full Text
AUTHORS: Monteiro, A ; Carvalho, A; Ribeiro, I; Scotto, M ; Barbosa, S ; Alonso, A; Baldasano, JM; Pay, MT; Miranda, AI ; Borrego, C ;
PUBLISHED: 2012, SOURCE: ATMOSPHERIC ENVIRONMENT, VOLUME: 56, PAGES: 184-193
INDEXED IN: Scopus WOS CrossRef Handle
5903
TITLE: Tweens' characterization of digital technologies  Full Text
AUTHORS: Pedro Quelhas Brito ;
PUBLISHED: 2012, SOURCE: COMPUTERS & EDUCATION, VOLUME: 59, ISSUE: 2, PAGES: 580-593
INDEXED IN: Scopus WOS CrossRef: 13
5904
TITLE: Type checking cryptography implementations
AUTHORS: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLISHED: 2012, SOURCE: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7141 LNCS, PAGES: 316-334
INDEXED IN: Scopus DBLP CrossRef: 3
5905
TITLE: Typed linear algebra for weigthed (probabilistic) automata
AUTHORS: Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS, PAGES: 52-65
INDEXED IN: Scopus CrossRef: 1
5907
TITLE: Unachievable region in precision-recall space and its effect on empirical evaluation
AUTHORS: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PAGES: 639-646
INDEXED IN: Scopus DBLP
5908
TITLE: Usability test of 3Dconnexion 3D mice versus keyboard plus mouse in Second Life undertaken by people with motor disabilities due to medullary lesions
AUTHORS: Marcio Martins ; Antonio Cunha ; Leonel Morgado ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 119-127
INDEXED IN: Scopus WOS DBLP CrossRef: 6
5909
TITLE: Using Peano-Hilbert space filling curves for fast bidimensional ensemble EMD realization  Full Text
AUTHORS: Paulo Costa; Joao Barroso ; Hugo Fernandes ; Leontios J Hadjileontiadis;
PUBLISHED: 2012, SOURCE: EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, VOLUME: 2012, ISSUE: 1, PAGES: 181
INDEXED IN: Scopus WOS DBLP CrossRef: 4
5910
TITLE: Using Serious Games to Train Evacuation Behaviour PDF
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, VOLUME: abs/1303.3828, PAGES: 771-776
INDEXED IN: Scopus WOS DBLP arXiv
5911
TITLE: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
AUTHORS: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317, PAGES: 493-495
INDEXED IN: Scopus DBLP CrossRef
5912
TITLE: Using the overlapping community structure of a network of tags to improve text clustering
AUTHORS: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PAGES: 239-244
INDEXED IN: Scopus DBLP CrossRef: 4
5913
TITLE: Vehicular sensing: Emergence of a massive urban scanner
AUTHORS: Ferreira, M ; Fernandes, R; Conceicao, H ; Gomes, P; D'Orey, PM ; Moreira Matias, L ; Gama, J ; Lima, F; Damas, L ;
PUBLISHED: 2012, SOURCE: 3rd International ICST Conference on Sensor Systems and Software, S-Cube 2012 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 102 LNICST, PAGES: 1-14
INDEXED IN: Scopus DBLP CrossRef: 5
5914
TITLE: Verification conditions for single-assignment programs  Full Text
AUTHORS: Da Cruz, D; Frade, MJ ; Pinto, JS ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1264-1270
INDEXED IN: Scopus DBLP CrossRef: 1
5915
TITLE: Verification of MPI Programs Using Session Types
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490, PAGES: 291-293
INDEXED IN: Scopus DBLP CrossRef: 11 Unpaywall
5916
TITLE: Very fast decision rules for multi-class problems  Full Text
AUTHORS: Kosina, P; Gama, J ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 795-800
INDEXED IN: Scopus DBLP CrossRef: 10
5917
TITLE: Virtual Centre for the Rehabilitation of Road Accident Victims (VICERAVI)
AUTHORS: Liliana Mendes; Artemisa Rocha Dores; Paula Alexandra Rego; Pedro Miguel Moreira ; Fernando Barbosa ; Luis Paulo Reis ; Jose Viana; Antonio Coelho ; Armando Sousa ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 817-822
INDEXED IN: Scopus WOS
5918
TITLE: Virtual Centre for the Rehabilitation of Road Accident Victims (VICERAVI)
AUTHORS: Liliana Mendes; Artemisa Rocha Dores; Fernando Barbosa; Paula Alexandra Rego ; Pedro Miguel Moreira ; Luis Paulo Reis ; Jose Viana; Antonio Coelho ; Armando Sousa ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
INDEXED IN: WOS
5919
TITLE: Virtual City Neurocognitive Rehabilitation of Acquired Brain Injury
AUTHORS: Dores, AR; Miranda, MJ; Carvalho, IP ; Mendes, L; Barbosa, F ; Coelho, A ; de Sousa, L ; Caldas, AC;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
INDEXED IN: Scopus WOS Handle
5920

Results per Page: 20.
Página 296 de 407. Total de resultados: 8136.