Obserwuj
Jessica Davies
Jessica Davies
Epidemiologist
Zweryfikowany adres z roche.com
Tytuł
Cytowane przez
Cytowane przez
Rok
Atezolizumab with or without cobimetinib versus regorafenib in previously treated metastatic colorectal cancer (IMblaze370): a multicentre, open-label, phase 3, randomised …
C Eng, TW Kim, J Bendell, G Argilés, NC Tebbutt, M Di Bartolomeo, ...
The lancet oncology 20 (6), 849-861, 2019
4282019
Anderson–Fabry disease: clinical manifestations of disease in female heterozygotes
C Whybra, CHR Kampmann, I Willers, J Davies, B Winchester, ...
Journal of inherited metabolic disease 24, 715-724, 2001
3772001
Solving MAXSAT by solving a sequence of simpler SAT instances
J Davies, F Bacchus
International conference on principles and practice of constraint …, 2011
2072011
Exploiting the Power of mip Solvers in maxsat
J Davies, F Bacchus
Theory and Applications of Satisfiability Testing–SAT 2013: 16th …, 2013
1362013
Complexity of and algorithms for Borda manipulation
J Davies, G Katsirelos, N Narodytska, T Walsh
Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 657-662, 2011
1042011
Computational protein design as an optimization problem
D Allouche, I André, S Barbe, J Davies, S de Givry, G Katsirelos, ...
Artificial Intelligence 212, 59-79, 2014
932014
Postponing optimization to speed up MAXSAT solving
J Davies, F Bacchus
Principles and Practice of Constraint Programming: 19th International …, 2013
922013
Real-world treatment patterns for patients receiving second-line and third-line treatment for advanced non-small cell lung cancer: a systematic review of recently published studies
J Davies, M Patel, C Gridelli, F de Marinis, D Waterkamp, ME McCusker
PLoS One 12 (4), e0175679, 2017
832017
Preprocessing qbf
H Samulowitz, J Davies, F Bacchus
Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006
602006
Comparative effectiveness from a single-arm trial and real-world data: alectinib versus ceritinib
J Davies, M Martinec, P Delmar, M Coudert, W Bordogna, S Golding, ...
Journal of comparative effectiveness research 7 (09), 855-865, 2018
552018
A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
K Chatterjee, M Chmelik, J Davies
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
522016
Relaxation search: A simple way of managing optional clauses
F Bacchus, J Davies, M Tsimpoukelli, G Katsirelos
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
482014
Different phenotypic expression in relatives with Fabry disease caused by a W226X mutation
IE Knol, M Ausems, D Lindhout, OP Van Diggelen, H Verwey, J Davies, ...
American journal of medical genetics 82 (5), 436-439, 1999
471999
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules
J Davies, G Katsirelos, N Narodytska, T Walsh, L Xia
Artificial Intelligence 217, 20-42, 2014
462014
Exploiting resolution proofs to speed up LTL vacuity detection for BMC
J Simmonds, J Davies, A Gurfinkel, M Chechik
International journal on software tools for technology transfer 12, 319-335, 2010
402010
Solving MaxSAT by decoupling optimization and satisfaction
J Davies
University of Toronto, 2013
392013
Scholarly communication trends—Voices from the vortex: A summary of specialist opinion
JE Davies, H Greenwood
Learned publishing 17 (2), 157-167, 2004
292004
Eliminating the weakest link: Making manipulation intractable?
J Davies, N Narodytska, T Walsh
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 1333-1339, 2012
222012
Using more reasoning to improve# SAT solving
J Davies, F Bacchus
Proceedings of the national conference on artificial intelligence 22 (1), 185, 2007
202007
Survival in elderly glioblastoma patients treated with bevacizumab-based regimens in the United States
J Davies, I Reyes-Rivera, T Pattipaka, S Skirboll, B Ugiliweneza, S Woo, ...
Neuro-Oncology Practice 5 (4), 251-261, 2018
182018
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20