???global.info.a_carregar???
Inês Dutra is an Assistant Professor in the Department of Computer Science of the Faculty of Sciences of the University of Porto, Portugal, where she teaches mostly subjects related with artificial intelligence, machine learning and distributed and parallel computation. Her main research interests are: logic programming; (probabilistic) inductive logic programming; statistical relational learning; parallelization; and biomedical applications. She obtained a Ph.D. in Computer Science in 1995 from University of Bristol, UK, an M.Sc. in Systems Engineering and Computer Science in 1988 from COPPE - Universidade Federal do Rio de Janeiro, Brazil and a B.Sc. in Mathematics - Informatics (4 years course) in 1985 from Universidade do Estado do Rio de Janeiro, Brazil.
Identificação

Identificação pessoal

Nome completo
Inês Dutra

Nomes de citação

  • Dutra, Inês

Identificadores de autor

Ciência ID
761D-F944-8A23
ORCID iD
0000-0002-3578-7769
Google Scholar ID
https://scholar.google.pt/citations?hl=en&user=MvkLC6gAAAAJ
Researcher Id
B-2881-2012
Scopus Author Id
24722670500

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Italiano Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Francês Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A1)
Espanhol; Castelhano Utilizador elementar (A2) Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A2)
Formação
Grau Classificação
1995
Concluído
Computer Science (Doutoramento)
University of Bristol, Reino Unido
"Distributing and-work and or-work in parallel logic programming systems" (TESE/DISSERTAÇÃO)
MB
1988
Concluído
Mestrado em Engenharia de Sistemas e Computação (Mestrado)
COPPE - Universidade Federal do Rio de Janeiro, Brasil
"Implementação de uma máquina virtual Prolog: tradução e execução de programas" (TESE/DISSERTAÇÃO)
MB
1985
Concluído
Bacharelado em Matemática - Modalidade Informática (curso de 4 anos de formação) (Licenciatura)
Universidade do Estado do Rio de Janeiro, Brasil
"B.Sc. em Matemática, modalidade infomática (curso de 4 anos de formação)" (TESE/DISSERTAÇÃO)
MB
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2007/02 - Atual Professor Auxiliar (Docente Universitário) Universidade do Porto, Portugal
Universidade do Porto Departamento de Ciência de Computadores, Portugal
1998/06/01 - 2007/02/01 Professor Auxiliar (Docente Universitário) Universidade Federal do Rio de Janeiro, Brasil

Cargos e Funções

Categoria Profissional
Instituição de acolhimento
Empregador
2008 - 2021/01 Conselho pedagógico Universidade do Porto, Portugal

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
2014 - Atual Member of Research Unit Centro de Investigação em Tecnologias e Serviços de Saúde, Portugal
2017/10/21 - 2017/12/15 Short term scholar Carnegie-Mellon University- Heinz College, Estados Unidos
2007 - 2016 Member of Research Unit Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
2014/10/10 - 2015/03/01 Investigador convidado na UW-Madison University of Wisconsin-Madison Department of Biostatistics and Medical Informatics, Estados Unidos
2013/07/15 - 2013/09/13 Pesquisador Visitante na UW-Madison, EUA University of Wisconsin-Madison Department of Biostatistics and Medical Informatics, Estados Unidos
2012/07/01 - 2012/08/31 Pesquisador visitante na UW-Madison, EUA. University of Wisconsin-Madison Department of Biostatistics and Medical Informatics, Estados Unidos
2003/04/01 - 2004/03/01 Pesquisador Visitante University of Wisconsin-Madison Department of Biostatistics and Medical Informatics, Estados Unidos
2001/10/01 - 2002/12/01 Pesquisador Visitante University of Wisconsin-Madison Department of Biostatistics and Medical Informatics, Estados Unidos
1986/03/01 - 1998/10/01 M.Sc. em Engenharia de Sistemas e Computação Universidade Federal do Rio de Janeiro Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia, Brasil
1985/12/01 - 1998/06/01 Analista de Sistemas Universidade Federal do Rio de Janeiro, Brasil
1990/03/01 - 1995/04/01 Ph.D. em Ciência da Computação University of Bristol Department of Computer Science, Reino Unido
1982/03/03 - 1985/12/17 Bacharelado em Matemática - Modalidade Informática Universidade do Estado do Rio de Janeiro, Brasil
Projetos

Projeto

Designação Financiadores
2019 - 2022 Safe Cities - Inovação para Cidades Seguras
POCI-01-0247-FEDER-041435
Investigador
Universidade do Porto Faculdade de Ciências, Portugal
2016 - 2019/08/01 Elven - Expressive Logics for VErifying the Net
PTDC/EEI-CTP/3506/2014
Universidade do Porto Faculdade de Ciências, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Instituto de Telecomunicações, Portugal
Fundação para a Ciência e a Tecnologia
2015 - 2018 Nanostima - Macro-to-NANO human Sensing: Towards Integrated multimodal health Mon- itoring and Analytics (NORTE-01-0145-FEDER-000016)
NORTE-01-0145-FEDER-000016
Investigador
Universidade do Porto, Portugal
Comissao de Coordenacao e Desenvolvimento Regional do Norte
2013 - 2015/08/31 ABLe: Advice-Based Learning for Health Care
PTDC/EEI-SII/2094/2012
Instituto de Engenharia de Sistemas e Computadores, Portugal
Fundação para a Ciência e a Tecnologia
2012 - 2015/08/31 ADE - Adverse Drug Effects Detection
PTDC/EIA-EIA/121686/2010
Instituto de Engenharia de Sistemas e Computadores, Portugal
Fundação para a Ciência e a Tecnologia
2011 - 2014/02/28 LEAP - Logic Environments with Advanced Parallelism
PTDC/EIA-CCO/112158/2009
Instituto de Engenharia de Sistemas e Computadores, Portugal
Fundação para a Ciência e a Tecnologia
2010 - 2013/07/31 DigiScope - DIGItally enhanced stethosCOPE for clinical usage
PTDC/EIA-CCO/100844/2008
Instituto de Telecomunicações, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade do Porto Faculdade de Medicina, Portugal
Fundação para a Ciência e a Tecnologia
2010 - 2013/03/31 HORUS, Horn Representations of Uncertain Systems
PTDC/EIA-EIA/100897/2008
Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade de Évora, Portugal
Fundação para a Ciência e a Tecnologia
Produções

Publicações

Artigo em conferência
  1. Carrera, I; Dutra, I; Tejera, E. "Representing Cellular Lines with SVM and Text Processing". 2020.
    10.1145/3388440.3414912
  2. Machado, D; Costa, VS; Dutra, I; Brandao, P. "Diabetes Management Guidance by a Logical Unit Supported by Data-Mining in a Mobile Application". 2020.
    10.1007/978-3-030-31635-8_169
  3. Real, JC; Dries, A; Dutra, I; Rocha, R. "Improving Candidate Quality of Probabilistic Logic Models". 2018.
    10.4230/oasics.iclp.2018.6
  4. Harrison, C; Keles, S; Hudson, R; Shin, S; Dutra, I. "atSNPInfrastructure, a Case Study for Searching Billions of Records While Providing Significant Cost Savings over Cloud Providers". 2018.
    10.1109/IPDPSW.2018.00086
  5. Machado, D; Paiva, T; Dutra, I; Costa, VS; Brandao, P. "Managing Diabetes: Pattern Discovery and Counselling supported by user data in a mobile platform". 2017.
    10.1109/ISCC.2017.8024545
  6. Real, JC; Dutra, I; Rocha, R. "On Applying Probabilistic Logic Programming to Breast Cancer Data". 2017.
    10.1007/978-3-319-78090-0_3
  7. Machado, D; Dutra, I; Brandão, P; Costa, VS. "Managing Diabetes: Counselling Supported by User Data in a Mobile Platform". 2017.
  8. Côrte Real,J; Inês Dutra; Ricardo Rocha. "Estimation-based search space traversal in PILP environments". 2017.
    http://dx.doi.org/10.1007/978-3-319-63342-8_1
  9. Ferreira, P; Dutra, I; Salvini, R; Burnside, E; Pedro Silva Ferreira; Inês Dutra; Salvini,R; Burnside,E. "Interpretable Models to Predict Breast Cancer". 2016.
    10.1109/BIBM.2016.7822745
  10. Roche, RS; Ferreira, P; Dutra, I; Correia, R; Salvini, R; Burnside, E; Roche,RS; et al. "A Speech-to-Text Interface for MammoClass". 2016.
    10.1109/cbms.2016.25
  11. Joana Côrte-Real; Inês Dutra; Ricardo Rocha; Real, JC; Dutra, I; Rocha, R. "Estimation-Based Search Space Traversal in PILP Environments". 2016.
    10.1007/978-3-319-63342-8_1
  12. Alberto Martinez Angeles,CA; Inês Dutra; Vítor Santos Costa; Buenabad Chavez,J; Alberto Martinez Angeles, CA; Dutra, I; Costa, VS; Buenabad Chavez, J. "Processing Markov Logic Networks with GPUs: Accelerating Network Grounding". 2016.
    http://dx.doi.org/10.1007/978-3-319-40566-7_9
  13. Corte Real, J; Mantadelis, T; Dutra, I; Rocha, R; Burnside, E; Joana Côrte-Real; Theofrastos Mantadelis; et al. "SkILL - a Stochastic Inductive Logic Learner". 2015.
    10.1109/icmla.2015.159
  14. Salvini, R; Da Silva Dias, R; Lafer, B; Dutra, I; Salvini,R; Da Silva Dias,R; Lafer,B; Inês Dutra. "A Multi-Relational Model for Depression Relapse in Patients with Bipolar Disorder". 2015.
    10.3233/978-1-61499-564-7-741
  15. Rodrigues, A; Silva, C; Borges, P; Silva, S; Dutra, I; André Valente Rodrigues; Carla Pereira Silva; et al. "Performance Evaluation of Statistical Functions". 2015.
    10.1109/smartcity.2015.159
  16. Joana Côrte-Real; Inês Dutra; Ricardo Rocha. "A hybrid mapreduce model for prolog". 2015.
    http://dx.doi.org/10.1109/ISICIR.2014.7029555
  17. Corte Real, J; Dutra, I; Rocha, R. "A Hybrid MapReduce Model for Prolog". 2014.
    10.1109/ISICIR.2014.7029555
  18. Ezilda Duarte Almeida; Pedro Silva Ferreira; Tiago Travassos Vinhoza; Inês Dutra; Borges,P; Wu,Y; Burnside,E; et al. "ExpertBayes: Automatically refining manually built Bayesian networks". 2014.
    http://dx.doi.org/10.1109/icmla.2014.64
  19. Ferreira, P; Vinhoza, TTV; Castro, A; Mourato, F; Tavares, T; Mattos, S; Dutra, I; et al. "Knowledge on Heart Condition of Children based on Demographic and Physiological Features". 2013.
    10.1109/cbms.2013.6627808
  20. Joana Côrte-Real; Inês Dutra; Ricardo Rocha. "Prolog programming with a map-reduce parallel construct". 2013.
    http://dx.doi.org/10.1145/2505879.2505882
  21. Martinez Angeles,CA; Inês Dutra; Costa,VS; Buenabad Chavez,J; Martinez Angeles, CA; Dutra, I; Costa, VS; et al. "A datalog engine for GPUs". 2013.
    10.1007/978-3-319-08909-6_10
  22. Kuusisto,F; Inês Dutra; Nassif,H; Wu,Y; Klein,ME; Neuman,HB; Shavlik,J; et al. "Using machine learning to identify benign cases with non-definitive biopsy". 2013.
    http://dx.doi.org/10.1109/healthcom.2013.6720685
  23. Nassif, H; Cunha, F; Moreira, IC; Cruz Correia, R; Sousa, E; Page, D; Burnside, E; et al. "Extracting BI-RADS features from Portuguese clinical texts". 2012.
    10.1109/bibm.2012.6392613
  24. Dutra, I; Rocha, R; Costa, VS; Silva, F; Santos, J. "Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines". 2012.
    10.1109/ipdpsw.2012.199
  25. Pereira, D; Hedayioglu, F; Correia, R; Silva, T; Dutra, I; Almeida, F; Mattos, SS; Coimbra, M. "DigiScope - Unobtrusive Collection and Annotating of Auscultations in Real Hospital Environments". 2011.
    10.1109/iembs.2011.6090280
  26. Ferreira, P; Fonseca, NA; Dutra, I; Woods, R; Burnside, E. "Predicting Malignancy from Mammography Findings and Surgical Biopsies". 2011.
    10.1109/bibm.2011.71
  27. Ferreira, P; Pereira, D; Mourato, F; Mattos, S; Cruz Correia, R; Coimbra, M; Dutra, I. "Detecting Cardiac Pathologies from Annotated Auscultations". 2011.
    10.1109/cbms.2012.6266358
  28. Fonseca, NA; Dutra, I. "UbiDis: a Flexible and General top-level Middleware to Manage Applications in Grids and Clusters". 2009.
  29. Costa, B; Dutra, I; Mattoso, M. "RL-based Scheduling Strategies in Actual Grid Environments". 2008.
    10.1109/ispa.2008.119
  30. Kopiler, AA; Dutra, ID; Franca, FMG. "Personal Autonomic Desktop Manager with a circulatory computing approach". 2008.
    10.1109/ease.2008.20
  31. Abarca, R; Acero, A; Aparicio, G; Baeza, C; Barbera, R; Blanco, F; Blanquer, I; et al. "Grid applications in EELA". 2007.
  32. Pereira, MR; Vargas, PK; Stelling de Castro, MCS; Franca, FMG; Dutra, ID. "Automatic constraint partitioning to speed up CLP execution". 2007.
    10.1109/sbac-pad.2007.29
  33. Sanches, JAL; Vargas, PK; De Dutra, IC; Costa, VS; Geyer, CFR. "ReGS: User-level reliability in a grid environment". 2005.
    10.1109/ccgrid.2005.1558634
  34. Pereira, MR; Vargas, PK; França, FMG; Castro, MCSd; Dutra, IdC. "Applying Scheduling by Edge Reversal to Constraint Partitioning". 2003.
    10.1109/CAHPC.2003.1250331
  35. Dutra, I; Santos Costa, V; Gupta, G; Pontelli, E; Carro, M; Kacsuk, P. "Electronic Notes in Theoretical Computer Science: Preface". 2000.
    10.1016/s1571-0661(05)80113-6
  36. Fonseca, N; Costa, VS; Dutra, ID. "VisAll: A universal tool to visualise the parallel execution of logic programs". 1998.
  37. Costa, VS; Bianchini, R; Dutra, IdC. "Evaluating the impact of coherence protocols on parallel logic programming systems". 1997.
  38. Dutra, IdC. "Distributing And-Work and Or-Work in Parallel Logic Programming Systems". 1996.
    10.1109/HICSS.1996.495516
  39. Dutra, IdC. "Strategies for Scheduling And- and Or-Parallel Work in Parallel Logic Programming Systems". 1994.
  40. Yang, R; Beaumont, T; Dutra, IdC; Costa, VS; Warren, DHD. "Performance of the Compiler-Based Andorra-I System". 1993.
  41. Dutra, IdC. "A Flexible Scheduler for the Andorra-I System". 1991.
    10.1007/3-540-55038-0_6
Artigo em revista
  1. Sabrina Magalhaes Araujo; Paulino Sousa; Inês Dutra. "Clinical Decision Support Systems for Pressure Ulcer Management: Systematic Review". JMIR Medical Informatics (2020): https://doi.org/10.2196/21621.
    10.2196/21621
  2. Fernandes, D; Silva, C; Dutra, I. "Erratum: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2". ACM Crossroads (2020):
    10.1145/3368085
  3. Silva, C; Aguiar, A; Lima, PMV; Dutra, I. "Mapping graph coloring to quantum annealing". Quantum Mach. Intell. (2020):
    10.1007/s42484-020-00028-4
  4. Fernandes, D; Silva, C; Dutra, I. "Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2". ACM Crossroads (2019):
    10.1145/3386233
  5. Fernandes, D; Dutra, I. "Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I". ACM Crossroads (2019):
  6. Rodrigues, A; Silva, C; Koerich Borges, PV; Silva, S; Dutra, I. "Optimising the calculation of statistical functions". IJBDI (2017):
    10.1504/ijbdi.2017.083155
  7. Loewe, L; Scheuer, KS; Keel, SA; Vyas, V; Liblit, B; Hanlon, B; Ferris, MC; et al. "Evolvix BEST Names for semantic reproducibility across code2brain interfaces". ANNALS OF THE NEW YORK ACADEMY OF SCIENCES (2017):
    10.1111/nyas.13192
  8. Alberto Martinez Angeles, CA; Wu, HC; Dutra, I; Costa, VS; Buenabad Chavez, J. "Relational Learning with GPUs: Accelerating Rule Coverage". INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING (2016):
    10.1007/s10766-015-0364-7
  9. Ferreira, P; Fonseca, NA; Dutra, I; Woods, R; Burnside, E. "Predicting malignancy from mammography findings and image-guided core biopsies". INTERNATIONAL JOURNAL OF DATA MINING AND BIOINFORMATICS (2015):
    10.1504/ijdmb.2015.067319
  10. Côrte-Real, J.; Dutra, I.; Rocha, R.. "Prolog programming with a map-reduce parallel construct". Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013 (2013): 285-296. http://www.scopus.com/inward/record.url?eid=2-s2.0-84885210109&partnerID=MN8TOARS.
    10.1145/2505879.2505882
  11. Dutra, I.; Rocha, R.; Costa, V.S.; Silva, F.; Santos, J.. "Scheduling OR-parallelism in YapOr and ThOr on multi-core machines". Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012 (2012): 1581-1590. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867415701&partnerID=MN8TOARS.
    10.1109/IPDPSW.2012.199
  12. Nassif, H.; Cunha, F.; Moreira, I.C.; Cruz-Correia, R.; Sousa, E.; Page, D.; Burnside, E.; Dutra, I.. "Extracting BI-RADS features from Portuguese clinical texts". Proceedings - 2012 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2012 (2012): 539-542. http://www.scopus.com/inward/record.url?eid=2-s2.0-84872556682&partnerID=MN8TOARS.
    10.1109/BIBM.2012.6392613
  13. Ferreira, P.; Pereira, D.; Mourato, F.; Mattos, S.; Cruz-Correia, R.; Coimbra, M.; Dutra, I.. "Detecting cardiac pathologies from annotated auscultations". Proceedings - IEEE Symposium on Computer-Based Medical Systems (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84867286647&partnerID=MN8TOARS.
    10.1109/CBMS.2012.6266358
  14. Pereira, D.; Hedayioglu, F.; Correia, R.; Silva, T.; Dutra, I.; Almeida, F.; Mattos, S.S.; Coimbra, M.. "DigiScope--unobtrusive collection and annotating of auscultations in real hospital environments.". Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Conference 2011 (2011): 1193-1196. http://www.scopus.com/inward/record.url?eid=2-s2.0-84861944926&partnerID=MN8TOARS.
    10.1109/IEMBS.2011.6090280
  15. Ferreira, P.; Fonseca, N.A.; Dutra, I.; Woods, R.; Burnside, E.. "Predicting malignancy from mammography findings and surgical biopsies". Proceedings - 2011 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2011 (2011): 339-344. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856046908&partnerID=MN8TOARS.
    10.1109/BIBM.2011.71
  16. Ferreira, P.; Dutra, I.; Fonseca, N.A.; Woods, R.; Burnside, E.. "Studying the relevance of breast imaging features". HEALTHINF 2011 - Proceedings of the International Conference on Health Informatics (2011): 337-342. http://www.scopus.com/inward/record.url?eid=2-s2.0-79960190863&partnerID=MN8TOARS.
  17. Silva, T.; Dutra, I.. "T-SPPA: Trended statistical preprocessing algorithm". Communications in Computer and Information Science 188 CCIS PART 1 (2011): 118-131. http://www.scopus.com/inward/record.url?eid=2-s2.0-79960317068&partnerID=MN8TOARS.
    10.1007/978-3-642-22389-1_11
  18. Dutra, I.; Nassif, H.; Page, D.; Shavlik, J.; Strigel, R.M.; Wu, Y.; Elezaby, M.E.; Burnside, E.. "Integrating machine learning and physician knowledge to improve the accuracy of breast biopsy.". AMIA ... Annual Symposium proceedings / AMIA Symposium. AMIA Symposium 2011 (2011): 349-355. http://www.scopus.com/inward/record.url?eid=2-s2.0-84866765313&partnerID=MN8TOARS.
  19. Costa, VS; Dutra, I; Rocha, R; Santos Costa, V.; Dutra, I.; Rocha, R.. "Threads and or-parallelism unified". THEORY AND PRACTICE OF LOGIC PROGRAMMING 10 4-6 (2010): 417-432. http://www.scopus.com/inward/record.url?eid=2-s2.0-77957240853&partnerID=MN8TOARS.
    10.1017/s1471068410000190
  20. Costa, BF; Mattoso, M; Dutra, I; Costa, B.F.; Mattoso, M.; Dutra, I.. "Applying reinforcement learning to scheduling strategies in an actual grid environment". International Journal of High Performance Systems Architecture 2 2 (2009): 116-128. http://www.scopus.com/inward/record.url?eid=2-s2.0-77949389561&partnerID=MN8TOARS.
    10.1504/ijhpsa.2009.032029
  21. Kopiler, A.A.; Dutra, I.D.C.; França, F.M.G.. "Personal autonomic desktop manager with a circulatory computing approach". Proceedings of the 5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2008 (2008): 119-127. http://www.scopus.com/inward/record.url?eid=2-s2.0-50149121230&partnerID=MN8TOARS.
    10.1109/EASe.2008.20
  22. Costa, B.; Dutra, I.; Mattoso, M.. "RL-based scheduling strategies in actual grid environments". Proceedings of the 2008 International Symposium on Parallel and Distributed Processing with Applications, ISPA 2008 (2008): 572-577. http://www.scopus.com/inward/record.url?eid=2-s2.0-60649100645&partnerID=MN8TOARS.
    10.1109/ISPA.2008.119
  23. Vargas, P.K.; Dutra, I.C.; Do Nascimento, V.D.; Santos, L.A.S.; Da Silva, L.C.; Geyer, C.F.R.; Schulze, B.. "GRAND: Toward scalability in a Grid environment". Concurrency Computation Practice and Experience 19 14 (2007): 1991-2009. http://www.scopus.com/inward/record.url?eid=2-s2.0-34548730161&partnerID=MN8TOARS.
    10.1002/cpe.1138
  24. Pereira, M.R.; Vargas, P.K.; De Castro, M.C.S.; França, F.M.G.; De Dutra, I.C.. "Automatic constraint partitioning to speed up CLP execution". Proceedings - Symposium on Computer Architecture and High Performance Computing (2007): 271-278. http://www.scopus.com/inward/record.url?eid=2-s2.0-47249102034&partnerID=MN8TOARS.
    10.1109/SBAC-PAD.2007.14
  25. Ong, I.M.; De Castro Dutra, I.; Page, D.; Costa, V.S.. "Mode directed path finding". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3720 LNAI (2005): 673-681. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646404059&partnerID=MN8TOARS.
    10.1007/11564096_68
  26. Burnside, E.S.; Davis, J.; Costa, V.S.; Dutra, I.C.; Kahn Jr., C.E.; Fine, J.; Page, D.. "Knowledge discovery from structured mammography reports using inductive logic programming.". AMIA ... Annual Symposium proceedings / AMIA Symposium. AMIA Symposium (2005): 96-100. http://www.scopus.com/inward/record.url?eid=2-s2.0-39049194227&partnerID=MN8TOARS.
  27. Vargas, P.K.; De Castro Dutra, I.; Dalto Do Nascimento, V.; Santos, L.A.S.; Da Silva, L.C.; Geyer, C.F.R.; Schulze, B.. "Hierarchical submission in a Grid environment". ACM International Conference Proceeding Series 117 (2005): http://www.scopus.com/inward/record.url?eid=2-s2.0-77954440525&partnerID=MN8TOARS.
    10.1145/1101499.1101513
  28. Sanches, J.A.L.; Vargas, P.K.; De Dutra, I.C.; Costa, V.S.; Geyer, C.F.R.. "ReGS: User-level reliability in a grid environment". 2005 IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2005 2 (2005): 718-725. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845344709&partnerID=MN8TOARS.
    10.1109/CCGRID.2005.1558634
  29. Davis, J.; Burnside, E.; De Castro Dutra, I.; Page, D.; Santos Costa, V.. "An integrated approach to learning Bayesian networks of rules". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3720 LNAI (2005): 84-95. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646424350&partnerID=MN8TOARS.
    10.1007/11564096_13
  30. Davis, J.; Burnside, E.; Dutra, I.; Page, D.; Ramakrishnan, R.; Costa, V.S.; Shavlik, J.. "View learning for statistical relational learning: With an application to mammography". IJCAI International Joint Conference on Artificial Intelligence (2005): 677-683. http://www.scopus.com/inward/record.url?eid=2-s2.0-84880739463&partnerID=MN8TOARS.
  31. Dutra, I.; Page, D.; Costa, V.S.; Shavlik, J.; Waddell, M.. "Toward automatic management of embarrassingly parallel applications". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2790 (2004): 509-516. http://www.scopus.com/inward/record.url?eid=2-s2.0-35048838145&partnerID=MN8TOARS.
    10.1007/978-3-540-45209-6_73
  32. De Oliveira, E.P.G.; Ramos, F.; De Dutra, I.C.; De Castro, M.C.S.. "Study of hybrid coherence protocols for parallel logic programming systems". Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems 16 (2004): 821-826. http://www.scopus.com/inward/record.url?eid=2-s2.0-11844259508&partnerID=MN8TOARS.
  33. Vargas, P.K.; De Castro Dutra, I.; Geyer, C.F.R.. "Application partitioning and hierarchical management in grid environments". ACM International Conference Proceeding Series 79 (2004): 314-318. http://www.scopus.com/inward/record.url?eid=2-s2.0-77952989384&partnerID=MN8TOARS.
    10.1145/1028480.1028487
  34. De Dutra, I.C.; Page, D.; Costa, V.S.; Shavlik, J.. "An empirical evaluation of bagging in inductive logic programming". Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) 2583 (2003): 48-65. http://www.scopus.com/inward/record.url?eid=2-s2.0-7044227546&partnerID=MN8TOARS.
    10.1007/3-540-36468-4_4
  35. De Castro Dutra, I.; Costa, V.S.; Bianchini, R.. "The impact of cache coherence protocols on parallel logic programming systems". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1861 LNAI (2000): 1285-1299. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867796901&partnerID=MN8TOARS.
    10.1007/3-540-44957-4_86
  36. Santos Costa, V.; Bianchini, R.; De Castro Dutra, I.. "Parallel Logic Programming Systems on Scalable Architectures". Journal of Parallel and Distributed Computing 60 7 (2000): 835-852. http://www.scopus.com/inward/record.url?eid=2-s2.0-0039083576&partnerID=MN8TOARS.
    10.1006/jpdc.2000.1629
  37. Dutra, I.; Santos Costa, V.; Gupta, G.; Pontelli, E.; Carro, M.; Kacsuk, P.. "Electronic Notes in Theoretical Computer Science: Preface". Electronic Notes in Theoretical Computer Science 30 3 (2000): 1-2. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944403051&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80113-6
  38. Silva, M.G.; Dutra, I.C.; Bianchini, R.; Costa, V.S.. "The influence of architectural parameters on the performance of parallel logic programming systems". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1551 LNCS (1999): 122-136. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867445128&partnerID=MN8TOARS.
    10.1007/3-540-49201-1_9
  39. Calegario, V.M.; De Castro Dutra, I.. "Performance evaluation of or-parallel logic programming systems on distributed shared-memory architectures". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1685 LNCS (1999): 1484-1491. http://www.scopus.com/inward/record.url?eid=2-s2.0-84878655008&partnerID=MN8TOARS.
    10.1007/3-540-48311-X_211
  40. Costa, Vitor Santos; Bianchini, Ricardo; de Castro Dutra, Ines. "Evaluating parallel logic programming systems on scalable multiprocessors". International Symposium on Parallel Symbolic Computation, Proceedings, PASCO (1997): 58-67. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030648715&partnerID=MN8TOARS.
    10.1145/266670.266687
Capítulo de livro
  1. Alberto Pinheira; Rodrigo Dias; Camila Nascimento; Inês Dutra. "Characterizing Bipolar Disorder-Associated Single Nucleotide Polymorphisms in a Large British Cohort Using Association Rules". 2020.
    10.1007/978-3-030-63061-4_20
  2. Velikova, M; Dutra, I; Burnside, ES; Velikova,M; Inês Dutra; Burnside,ES. "Automated Diagnosis of Breast Cancer on Medical Images". 2015.
    10.1007/978-3-319-28007-3_4
Edição de livro
  1. Dutra, I; Camacho, R; Barbosa, JG; Marques, O. High Performance Computing for Computational Science - VECPAR 2016 - 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers. 2017.
Livro
  1. Barbosa, JG; Dutra, I; Barbosa,JG; Inês Dutra. Grid computing: Techniques and future prospects. 2015.
Resumo em conferência
  1. Dias, R; Salvini, R; Dutra, I; Lafer, B. "A multi-relational model for depression relapse in patients with bipolar disorder by means of a machine learning approach". 2015.
Tese / Dissertação
  1. Dutra, Inês. "Distributing and- and or-work in the Andorra-I parallel logic programming system". 1995.

Outros

Outra produção
  1. Sabrina Magalhaes Araujo; Paulino Sousa; Inês Dutra. 2020. Clinical Decision Support Systems for Pressure Ulcer Management: Systematic Review (Preprint). https://doi.org/10.2196/preprints.21621.
    10.2196/preprints.21621
  2. Silva, C; Dutra, I; Dahlem, MS. 2018. Driven tabu search: a quantum inherent optimisation.
  3. Harrison, C; Kirkpatrick, CR; Dutra, I. 2018. Bioinformatics Computational Cluster Batch Task Profiling with Machine Learning for Failure Prediction.
  4. Rodrigues,Andre; Carla Pereira Silva; Borges,PauloViniciusKoerich; Silva,Sergio; Inês Dutra. 2017. Optimising the calculation of statistical functions. http://repositorio.inesctec.pt/handle/123456789/6985.
  5. Inês Dutra; Rui Camacho; Barbosa,JG; Marques,O. 2017. High Performance Computing for Computational Science - VECPAR 2016 - 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers. http://repositorio.inesctec.pt/handle/123456789/6984.
  6. Angeles,CAM; Wu,H; Inês Dutra; Vítor Santos Costa; Chavez,JB. 2016. Relational Learning with GPUs: Accelerating Rule Coverage. Relational learning algorithms mine complex databases for interesting patterns. Usually, the search space of patterns grows very quickly with the increase in data size, making it impractical to solve important problems. In this work we present the design of a relational learning system, that takes advantage of graphics processing units (GPUs) to perform the most time consuming function of the lear. http://repositorio.inesctec.pt/handle/123456789/6974.
    http://dx.doi.org/10.1007/s10766-015-0364-7
  7. Barbosa, JG; Dutra, I. 2015. Preface.
  8. André Valente Rodrigues; Alípio Jorge; Inês Dutra; Rodrigues, AV; Jorge, A; Dutra, I. 2015. Accelerating Recommender Systems using GPUs. http://repositorio.inesctec.pt/handle/123456789/6980.
    10.1145/2695664.2695850
  9. Pedro Silva Ferreira; Fonseca,NA; Inês Dutra; Woods,R; Burnside,E. 2015. Predicting malignancy from mammography findings and image-guided core biopsies. The main goal of this work is to produce machine learning models that predict the outcome of a mammography from a reduced set of annotated mammography findings. In the study we used a dataset consisting of 348 consecutive breast masses that underwent image guided core biopsy performed between October 2005 and December 2007 on 328 female subjects. We applied various algorithms with parameter variat. http://repositorio.inesctec.pt/handle/123456789/6970.
    http://dx.doi.org/10.1504/ijdmb.2015.067319
  10. Fernando Silva; Inês Dutra; Vítor Santos Costa; Silva, FMA; Castro Dutra, Id; Costa, VS. 2014. Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings. http://repositorio.inesctec.pt/handle/123456789/7025.
    http://dx.doi.org/10.1007/978-3-319-09873-9
  11. Silva, F; Dutra, I; Costa, VS. 2014. Preface.
  12. Inês Dutra; Vítor Santos Costa; Ricardo Rocha. 2010. Threads and Or-Parallelism Unified. One of the main advantages of Logic Programming (LP) is that it provides an excellent framework for the parallel execution of programs. In this work we investigate novel techniques to efficiently exploit parallelism from real-world applications in low cost multi-core architectures. To achieve these goals, we revive and redesign the YapOr system to exploit or-parallelism based on a multi-threaded i. http://repositorio.inesctec.pt/handle/123456789/2952.
    http://dx.doi.org/10.1017/S1471068410000190
Atividades

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2020 - 2020 Análise de dados biométricos de jogadores de futebol para previsão de performance
Orientador
Informática Médica (Mestrado)
Universidade do Porto Faculdade de Medicina, Portugal
2020 - 2020 MultimodalDermaCAD - Classification of multimodal dermatological data
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2020 Predicting Hard Disk Drive Failures and Misbehavior
Orientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2020 WebBCCT.core - A Web Application for the Assessment of Breast Cancer Conservative Treatment Cosmetic Results
Orientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2020 Artificial Neural Networks Performance Study
Orientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2020 Feature Selection with the MS-EPSO Algorithm to Predict Cardiac Pathology in Children and Teenagers
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2020 Quantum Transfer Learning for Breast Cancer Detection
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2020 Previsão de número de dias de internamento em doentes diabéticos – Uma abordagem de Machine Learning
Orientador
Informática Médica (Mestrado)
Universidade do Porto Faculdade de Medicina, Portugal
2019 - 2019 Machine learning models for predicting disease-related biological interactions
Orientador
Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2019 - 2019 Towards Improving the Search for Multi-Relational Concepts in ILP
Coorientador
Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2019 - 2019 Genetic Analysis of Patients with Bipolar Disorder
Orientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2019 - 2019 Artificial Intelligence Applied to Software Testing
Orientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2019 - 2019 Análise de Desempenho de Redes Bayesianas de Grande Escala em Julia
Orientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2019 - 2019 Is Multiple Kernel Learning better than other classifier methods?
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2018 - 2018 Towards an Applied Quantum Machine Learning
Orientador
Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2018 - 2018 On the Scalability of Bayesian Network Algorithms
Orientador
Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2018 - 2018 Exascale computing with custom Linear Mixed Model kernels and GPU accelerators for Genomic Wide Association Studies and personalized medicine
Orientador
Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2018 - 2018 Extraction of a Bipolar Disorder associated genetic pattern
Orientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2015 - 2018 Towards Efficient and ScalableProbabilistic Inductive LogicProgramming
Orientador
computer science (Doutoramento)
Universidade do Porto Departamento de Ciência de Computadores, Portugal
2017 - 2017 Execução e Gestão de Aplicações Conteinerizadas
Orientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2017 - 2017 Weighted Multiple Kernel Learning for Breast Cancer Diagnosis applied to Mammograms
Orientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2017 - 2017 Improving the search for multi-relational concepts in ILP
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2016 - 2016 Melhorias no controlo da glicemia através de data mining
Coorientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2016 - 2016 Implementação e Avaliação do Algoritmo MCTS-UCT para o jogo Chinese Checkers
Orientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2016 - 2016 Implementação de uma ferramenta de suporte à entrada de texto em Português, escrito e falado, para o sistema de apoio à decisão clínica MammoClass
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2014 Towards Efficient and Scalable Probabilistic Inductive Logic Programming
Orientador
Informática (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2014 Diagnóstico de cancro de mama a partir de anotações de imagens de mamografias e biópsias
Orientador
Informática Médica (Mestrado)
Universidade do Porto Faculdade de Medicina, Portugal
2014 - 2014 Grid Scheduling Strategies for Applications that require DataTransfer
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2014 Monitorização de Redes e Sistemas Informáticos
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2014 Paralelização de algoritmos de fatorização de matrizes para recomendação usando GPU
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2014 Multiple Kernel Learning for Breast Cancer Classification
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2014 Design and implementation of an algorithmic trading system for the Sifox application
Orientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2013 Construção de uma base de dados e repositório em Cardiologia
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2013 Particionamento Automático de Redes de Restrições para Execução Paralela
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2006 - 2010 A model of auto-management based on the circulatory system for distributed systems
Orientador
Computer Science (Doutoramento)
Universidade Federal do Rio de Janeiro Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia, Brasil
2005 - 2010 A Methodology to extract information from immunological systems
Orientador
Computer Science (Doutoramento)
Universidade Federal do Rio de Janeiro Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia, Brasil
2005 - 2008 A New Methodology to improve classifiers based on inductive logic programming
Orientador
Computer Science (Doutoramento)
Universidade Federal do Rio de Janeiro Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia, Brasil
2003 - 2007 Conflict Resolution in Multi-agent systems
Orientador
Computer Science (Doutoramento)
Universidade Federal do Rio de Janeiro Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia, Brasil
2003 - 2006 GRAND: a model for hierarchical application management in grid environments
Orientador
Computer Science (Doutoramento)
Universidade Federal do Rio de Janeiro Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia, Brasil
2003 - 2006 Automatic Constraint Partitioning
Orientador
Computer Science (Doutoramento)
Universidade Federal do Rio de Janeiro Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia, Brasil
Distinções

Outra distinção

2017 Premio de Inovação Pedagógica da Universidade do Porto
Universidade do Porto, Portugal
2017 Bolsa concedida pelo programa Faculty Exchange CMU-Portugal
2010 Bolsa para licença sabática, oferecida pela FCT, de Setembro de 2010 a Fevereiro de 2011
Fundação para a Ciência e a Tecnologia, Portugal
2005 “Best Technical Paper” award na “International Conference on Intelligence Analysis”,
2003 NEC-AWARD “best paper in the area of Applications in High-Performance Systems”
2001 Bolsa para estágio no exterior, oferecida pelo CNPq, de Out 2001 a Set 2002
1998 Bolsa de produtividade em pesquisa oferecida pelo CNPq/Brasil, de 1998 a 2002.
1997 Bolsa de Pesquisador Visitante, JNICT, Portugal, Janeiro a Abril de 1997.
1994 Bolsa ERCIM (European Consortium on Mathematics and Informatics), Julho de 1994
1990 Bolsa para Doutorado no exterior, oferecida pelo CNPq/Brasil, de Março de 1990 a Junho de 1994.
1988 Bolsa de pesquisa oferecida pelo CNPq/Brasil, de Outubro de 1988 a Março de 1990. •