Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4655

62 Team Members
Filters -> Year: 2026
1961
TITLE: Supervised learning methods for pathological arterial pulse wave differentiation: A SVM and neural networks approach
AUTHORS: Joana S Paiva ; Joao Cardoso; Tania Pereira ;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 109, PAGES: 30-38
1962
TITLE: Supporting Description of Research Data: Evaluation and Comparison of Term and Concept Extraction Approaches
AUTHORS: Monteiro, C; Lopes, CT ; Silva, JR ;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Theory and Practice of Digital Libraries (TPDL) in DIGITAL LIBRARIES FOR OPEN KNOWLEDGE, TPDL 2018, VOLUME: 11057, PAGES: 377-380
1963
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proença, J ;
PUBLISHED: 2018, SOURCE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, ISSUE: ICFP, PAGES: 82:1-82:17
1964
TITLE: Test Patterns for IoT
AUTHORS: Pontes, PM; Lima, B ; Faria, JP ;
PUBLISHED: 2018, SOURCE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PAGES: 63-66
1965
TITLE: The effects of body position on Reflexive Motor Acts and the sense of presence in virtual environments
AUTHORS: Bessa, M ; Melo, M ; de Sousa, AA ; Vasconcelos Raposo, J ;
PUBLISHED: 2018, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 71, PAGES: 35-41
1966
TITLE: The electrum analyzer: model checking relational first-order temporal specifications
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2018, SOURCE: ASE, PAGES: 884-887
1967
TITLE: The influence of document characteristics on the quality of health web documents
AUTHORS: Melinda Oroszlanyova; Carla Teixeira Lopes ; Sergio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-7
1968
1969
TITLE: THE USE OF FACEBOOK IN THE TEACHING / LEARNING PROCESS AND ITS INFLUENCE ON ENGAGEMENT AND ACADEMIC PERFORMANCE
AUTHORS: Pereira, V; Oliveira, E ;
PUBLISHED: 2018, SOURCE: 12th International Technology, Education and Development Conference (INTED) in 12TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED), PAGES: 318-325
1970
TITLE: Thermographic Evaluation of the Saxophonists' Embouchure
AUTHORS: Joana Cerqueira; Miguel Pais Clemente ; Gilberto Bernardes ; Henk Van Twillert; Ana Portela; Joaquim Mendes ; Mario Vasconcelos;
PUBLISHED: 2018, SOURCE: 6th ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in VIPIMAGE 2017, VOLUME: 27, PAGES: 1069-1078
1971
TITLE: Torque controlled biped model through a bio-inspired controller using adaptive learning
AUTHORS: César Ferreira; Tomas Cunha; Cristina P Santos ; Luís Paulo Reis ;
PUBLISHED: 2018, SOURCE: 25th IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2018 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 4369-4374
1972
TITLE: Totally Ordered Replication for Massive Scale Key-Value Stores
AUTHORS: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos ;
PUBLISHED: 2018, SOURCE: DAIS, VOLUME: 10853 LNCS, PAGES: 58-74
1973
TITLE: Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests
AUTHORS: Alberto Rodrigues da Silva ; Ana C R Paiva ; Valter Emanuel R da Silva;
PUBLISHED: 2018, SOURCE: MODELSWARD, VOLUME: 2018-January, PAGES: 213-224
1974
1975
TITLE: Towards cognitive support for unit testing: A qualitative study with practitioners
AUTHORS: Prado, MP; VINCENZI, AURI M. R. ;
PUBLISHED: 2018, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 141, PAGES: 66-84
1976
TITLE: Towards General Cooperative Game Playing
AUTHORS: João Marinheiro; Henrique Lopes Cardoso ;
PUBLISHED: 2018, SOURCE: Transactions on Computational Collective Intelligence XXVIII, VOLUME: 28, PAGES: 164-192
1977
TITLE: Towards Player Adaptivity in Mobile Exergames
AUTHORS: Jacob, J ; Lopes, A ; Nobrega, R ; Rodrigues, R ; Coelho, A ;
PUBLISHED: 2018, SOURCE: ADVANCES IN COMPUTER ENTERTAINMENT TECHNOLOGY, ACE 2017, VOLUME: 10714, PAGES: 278-292
1978
TITLE: Towards Real-Time Patient Prioritization in Hospital Emergency Services
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: HealthCom, PAGES: 1-4
1979
TITLE: Towards Reproducible Empirical Research in Meta-Learning
AUTHORS: Adriano Rivolli ; Luís Paulo F Garcia; Carlos Soares ; Joaquin Vanschoren; André C P L F de Carvalho;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1808.10406
1980
TITLE: Towards Verified Handwritten Calculational Proofs
AUTHORS: Mendes, A ; Ferreira, JF;
PUBLISHED: 2018, SOURCE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895, PAGES: 432-440

Results per Page: 20.
Page 99 of 233. Total results: 4655.