Inês de Castro Dutra


AuthID: R-000-643

Publicações Confirmadas: 80



1
TÍTULO: Erratum: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2
AUTORES: Diogo Fernandes; Carla Silva ; Inês Dutra ;
FONTE: ACM Crossroads, VOLUME: 26, NÚMERO: 3, PUBLICAÇÃO: 2020
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
2
TÍTULO: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2
AUTORES: Diogo Fernandes; Carla Silva ; Inês Dutra ;
FONTE: ACM Crossroads, VOLUME: 26, NÚMERO: 2, PUBLICAÇÃO: 2019
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
3
TÍTULO: Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I
AUTORES: Diogo Fernandes; Inês Dutra ;
FONTE: ACM Crossroads, VOLUME: 26, NÚMERO: 1, PUBLICAÇÃO: 2019
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
4
TÍTULO: atSNPInfrastructure, a Case Study for Searching Billions of Records While Providing Significant Cost Savings over Cloud Providers
AUTORES: Christopher Harrison; Sündüz Keles; Rebecca Hudson; Sunyoung Shin; Inês Dutra ;
FONTE: 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, PUBLICAÇÃO: 2018
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
5
TÍTULO: Bioinformatics Computational Cluster Batch Task Profiling with Machine Learning for Failure Prediction PDF
AUTORES: Christopher Harrison; Christine R Kirkpatrick; Inês Dutra ;
FONTE: CoRR, VOLUME: abs/1812.09537, PUBLICAÇÃO: 2018
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
6
TÍTULO: Driven tabu search: a quantum inherent optimisation PDF
AUTORES: Carla Silva ; Inês Dutra ; Marcus S Dahlem;
FONTE: CoRR, VOLUME: abs/1808.08429, PUBLICAÇÃO: 2018
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
7
TÍTULO: Improving Candidate Quality of Probabilistic Logic Models
AUTORES: Joana Côrte Real; Anton Dries; Inês Dutra ; Ricardo Rocha ;
FONTE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64, PUBLICAÇÃO: 2018
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
8
TÍTULO: Evolvix BEST Names for semantic reproducibility across code2brain interfaces  Full Text
AUTORES: Laurence Loewe; Katherine S Scheuer; Seth A Keel; Vaibhav Vyas; Ben Liblit; Bret Hanlon; Michael C Ferris; John Yin; Ines Dutra ; Anthony Pietsch; Christine G Javid; Cecilia L Moog; Jocelyn Meyer; Jerdon Dresel; Brian McLoone; Sonya Loberger; Arezoo Movaghar; Morgaine Gilchrist Scott; Yazeed Sabri; Dave Sescleifer; Ivan Pereda Zorrilla; Andrew Zietlow; Rodrigo Smith; Samantha Pietenpol; Jacob Goldfinger; Sarah L Atzen; Erika Freiberg; Noah P Waters; Claire Nusbaum; Erik Nolan; Alyssa Hotz; Richard M Kliman; Ayalew Mentewab; Nathan Fregien; Martha Loewe; ...Mais
FONTE: ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, VOLUME: 1387, NÚMERO: 1, PUBLICAÇÃO: 2017
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
9
10
TÍTULO: Managing Diabetes: Counselling Supported by User Data in a Mobile Platform PDF
AUTORES: Diogo Machado; Inês Dutra ; Pedro Brandão ; Vítor Santos Costa ;
FONTE: 2017 Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017, RuleML+RR 2017 in Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017., VOLUME: 1875, PUBLICAÇÃO: 2017
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
Página 1 de 8. Total de resultados: 80.

Um espaço para investigadores e suas instituições

Links Úteis

Ajuda

© 2020 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service