41
TITLE: Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I
AUTHORS: Diogo Fernandes; Inês Dutra ;
PUBLISHED: 2019, SOURCE: XRDS, VOLUME: 26, ISSUE: 1
INDEXED IN: DBLP
42
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: IPDPS Workshops
INDEXED IN: Scopus DBLP CrossRef
43
TITLE: Bioinformatics Computational Cluster Batch Task Profiling with Machine Learning for Failure Prediction
AUTHORS: Christopher Harrison; Christine R Kirkpatrick; Inês Dutra ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1812.09537
INDEXED IN: DBLP
44
TITLE: Driven tabu search: a quantum inherent optimisation
AUTHORS: Carla Silva ; Inês Dutra ; Marcus S Dahlem;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1808.08429
INDEXED IN: DBLP
45
TITLE: Improving Candidate Quality of Probabilistic Logic Models
AUTHORS: Joana Côrte Real ; Anton Dries; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 64
INDEXED IN: Scopus DBLP
46
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
48
TITLE: Managing Diabetes: Counselling Supported by User Data in a Mobile Platform
AUTHORS: Diogo Machado; Inês Dutra ; Pedro Brandão ; Vítor Santos Costa ;
PUBLISHED: 2017, SOURCE: RuleML+RR (Supplement), VOLUME: 1875
INDEXED IN: Scopus DBLP
49
TITLE: Managing Diabetes: Pattern Discovery and Counselling supported by user data in a mobile platform
AUTHORS: Machado, D; Paiva, T; Dutra, I ; Costa, VS ; Brandao, P ;
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
50
TITLE: On Applying Probabilistic Logic Programming to Breast Cancer Data
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: ILP, VOLUME: 10759 LNAI
INDEXED IN: Scopus DBLP CrossRef: 3
Page 5 of 13. Total results: 122.