Inês de Castro Dutra


AuthID: R-000-643

Confirmed Publications: 118



31
TITLE: Erratum: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2
AUTHORS: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLISHED: 2020, SOURCE: ACM Crossroads, VOLUME: 26, ISSUE: 3
INDEXED IN: DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
32
TITLE: Mapping graph coloring to quantum annealing
AUTHORS: Silva, C ; Aguiar, A ; Lima, PMV; Dutra, I ;
PUBLISHED: 2020, SOURCE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 2, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | DBLP | CIÊNCIAVITAE
33
TITLE: Message from the General Chairs: SBAC-PAD 2020  Full Text
AUTHORS: Miguel Areias ; Barbosa, J ; Dutra, I ;
PUBLISHED: 2020, SOURCE: 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2020 in Proceedings - Symposium on Computer Architecture and High Performance Computing, VOLUME: 2020-September
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
34
TITLE: Representing Cellular Lines with SVM and Text Processing
AUTHORS: Iván Carrera; Inês Dutra ; Eduardo Tejera;
PUBLISHED: 2020, SOURCE: 11th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics, BCB 2020 in BCB '20: 11th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics, Virtual Event, USA, September 21-24, 2020
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
35
TITLE: Characterizing Bipolar Disorder-Associated Single Nucleotide Polymorphisms in a Large British Cohort Using Association Rules
AUTHORS: Alberto Pinheira; Rodrigo da Silva Dias; Camila Nascimento; Inês Dutra ;
PUBLISHED: 2019, SOURCE: 16th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2019 in Computational Intelligence Methods for Bioinformatics and Biostatistics - 16th International Meeting, CIBB 2019, Bergamo, Italy, September 4-6, 2019, Revised Selected Papers, VOLUME: 12313
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
36
TITLE: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2
AUTHORS: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLISHED: 2019, SOURCE: ACM Crossroads, VOLUME: 26, ISSUE: 2
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
37
TITLE: Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I
AUTHORS: Diogo Fernandes; Inês Dutra ;
PUBLISHED: 2019, SOURCE: ACM Crossroads, VOLUME: 26, ISSUE: 1
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
38
TITLE: atSNPInfrastructure, a Case Study for Searching Billions of Records While Providing Significant Cost Savings over Cloud Providers
AUTHORS: Christopher Harrison; Sündüz Keles; Rebecca Hudson; Sunyoung Shin; Inês Dutra ;
PUBLISHED: 2018, SOURCE: 32nd IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2018 in 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2018, Vancouver, BC, Canada, May 21-25, 2018
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
39
TITLE: Bioinformatics Computational Cluster Batch Task Profiling with Machine Learning for Failure Prediction PDF
AUTHORS: Christopher Harrison; Christine R Kirkpatrick; Inês Dutra ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1812.09537
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
40
TITLE: Driven tabu search: a quantum inherent optimisation PDF
AUTHORS: Carla Silva ; Inês Dutra ; Marcus S Dahlem;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1808.08429
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
Page 4 of 12. Total results: 118.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service