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

AuthID: I-000-0K9


Publications Count: 3965

49 Team Members
Filters -> Year: 2025
1161
TÍTULO: Segmentation of gynaecological ultrasound images using different U-Net based approaches
AUTORES: Sonia Marques; Catarina Carvalho ; Carla Peixoto; Duarte Pignatelli; Jorge Beires; Jorge Silva ; Aurelio Campilho ;
PUBLICAÇÃO: 2019, FONTE: IEEE International Ultrasonics Symposium (IUS) in 2019 IEEE INTERNATIONAL ULTRASONICS SYMPOSIUM (IUS), VOLUME: 2019-October, PÁGINAS: 1485-1488
1162
TÍTULO: Self-adaptive Cobots in Cyber-Physical Production Systems
AUTORES: Roberto Nogueira; Joao Reis; Rui Pinto ; Gil Gonçalves ;
PUBLICAÇÃO: 2019, FONTE: 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2019-September, PÁGINAS: 521-528
1163
TÍTULO: Self-adaptive Cobots in Cyber-Physical Production Systems
AUTORES: Roberto Nogueira; João Reis; Rui Pinto ; Gil Gonçalves ;
PUBLICAÇÃO: 2019, FONTE: 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, PÁGINAS: 521-528
1164
TÍTULO: Semantics-aware Virtual Machine Image Management in IaaS Clouds
AUTORES: Saurabh, N; Remmers, J; Kimovski, D; Prodan, R; Barbosa, JG ;
PUBLICAÇÃO: 2019, FONTE: 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2019 IEEE 33RD INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2019), PÁGINAS: 418-427
1165
TÍTULO: Semantics-aware Virtual Machine Image Management in IaaS Clouds
AUTORES: Nishant Saurabh; Julian Remmers; Dragi Kimovski; Radu Prodan; Jorge G Barbosa ;
PUBLICAÇÃO: 2019, FONTE: 33rd IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019 in CoRR, VOLUME: abs/1906.09122, PÁGINAS: 418-427
1166
TÍTULO: Serious games for ageing: a pilot interventional study in a cohort of heterogeneous cognitive impairment
AUTORES: Marco Simões; Rui Abreu ; Hélio Gonçalves; Ana Rodrigues; Inês Bernardino; Miguel Castelo Branco;
PUBLICAÇÃO: 2019, FONTE: 7th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2019, Kyoto, Japan, August 5-7, 2019, PÁGINAS: 1-8
1167
TÍTULO: Sharing and Learning Alloy on the Web
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.02275
1168
TÍTULO: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTORES: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2019, FONTE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PÁGINAS: 38-55
1169
TÍTULO: Simulation under Arbitrary Temporal Logic Constraints
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PÁGINAS: 63-69
1170
TÍTULO: Static-time Extraction and Analysis of the ROS Computation Graph
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PÁGINAS: 62-69
1171
TÍTULO: Stop PropagHate at SemEval-2019 Tasks 5 and 6: Are abusive language classification results reproducible?
AUTORES: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PÁGINAS: 745-752
1172
TÍTULO: Supporting the Scale-up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach
AUTORES: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Lasri, I; Libri, A; Manelfi, C; Martinovic, J; Palermo, G; Pinto, P; Rohou, E; Sanna, N; Slaninova, K; Vitali, E; ...Mais
PUBLICAÇÃO: 2019, FONTE: 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) in 2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP), PÁGINAS: 116-123
1173
TÍTULO: Tactical Level Decision-Making for Platoons of Autonomous Vehicles Using Auction Mechanisms
AUTORES: Zafeiris Kokkinogenis ; Miguel Teixeira; Pedro M d'Orey ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2019, FONTE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PÁGINAS: 1632-1638
1174
TÍTULO: Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets
AUTORES: Awan, MA; Bletsas, KN; Souto, PF ; Akesson, B; Tovar, E ;
PUBLICAÇÃO: 2019, FONTE: Embedded Systems Week / Int Conf on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) / International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) / Int Conf on Embedded Software (EMSOFT) in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, VOLUME: 18, NÚMERO: 5, PÁGINAS: 109:1-109:23
1175
TÍTULO: Testing and Deployment Patterns for the Internet-of-Things
AUTORES: Joao Pedro Dias ; Hugo Sereno Ferreira ; Tiago Boldt Sousa;
PUBLICAÇÃO: 2019, FONTE: 24th European Conference on Pattern Languages of Programs (EuroPLoP) in PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS (EUROPLOP 2019), PÁGINAS: 16:1-16:8
1176
TÍTULO: Testing Android Incoming Calls
AUTORES: Ana C R Paiva ; Marco A Goncalves; Andre R Barros;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PÁGINAS: 441-448
1177
TÍTULO: Testing When Mobile Apps Go to Background and Come Back to Foreground
AUTORES: Ana C R Paiva ; Joao M E P Gouveia; Jean David Elizabeth; Marcio E Delamaro;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2019), PÁGINAS: 102-111
1178
TÍTULO: Text mining applications to facilitate economic and food safety law enforcement
AUTORES: Magalhães, G; Faria, BM ; Reis, LP ; Cardoso, HL ;
PUBLICAÇÃO: 2019, FONTE: 4th International Conference on Big Data Analytics, Data Mining and Computational Intelligence 2019, BigDaCI 2019 and the 8th International Conference on Theory and Practice in Modern Computing 2019, TPMC 2019 in Multi Conference on Computer Science and Information Systems, MCCSIS 2019 - Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2019 and Theory and Practice in Modern Computing 2019, PÁGINAS: 199-203
1179
TÍTULO: The ANTAREX domain specific language for high performance computing
AUTORES: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Libri, A; Martinovic, J; Palermo, G; Pinto, P; Rohou, E; Slaninova, K; Vitali, E; ...Mais
PUBLICAÇÃO: 2019, FONTE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 68, PÁGINAS: 58-73
1180
TÍTULO: The Challenges of European Public Health Surveillance Systems - An Overview of the HIV-AIDS Surveillance
AUTORES: Alexandra Oliveira ; Luís Paulo Reis ; Rita Gaio ;
PUBLICAÇÃO: 2019, FONTE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 3, VOLUME: 932, PÁGINAS: 513-523

Results per Page: 20.
Página 59 de 199. Total de resultados: 3965.