Inês de Castro Dutra


AuthID: R-000-643

Confirmed Publications: 111



31
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
32
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
33
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
34
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
35
TITLE: Improving Candidate Quality of Probabilistic Logic Models  Full Text
AUTHORS: Joana Côrte Real ; Anton Dries; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018 in Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
36
TITLE: Evolvix BEST Names for semantic reproducibility across code2brain interfaces. BEST Names and semantic reproducibility  Full Text
AUTHORS: 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; ...More
PUBLISHED: 2017, SOURCE: ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, VOLUME: 1387, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
37
38
TITLE: Managing Diabetes: Counselling Supported by User Data in a Mobile Platform PDF
AUTHORS: Diogo Machado; Inês Dutra ; Pedro Brandão ; Vítor Santos Costa ;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
39
TITLE: Managing Diabetes: Pattern Discovery and Counselling supported by user data in a mobile platform
AUTHORS: Diogo Machado; Tiago Paiva; Ines Dutra ; Vitor Santos Costa ; Pedro Brandao ;
PUBLISHED: 2017, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC)
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
40
TITLE: On Applying Probabilistic Logic Programming to Breast Cancer Data
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: 27th International Conference on Inductive Logic Programming, ILP 2017 in Inductive Logic Programming - 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers, VOLUME: 10759
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 4 of 12. Total results: 111.

A place for researchers and their institutions

Useful Links

Get Help

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