The library of integrated network-based cellular signatures NIH program: system-level cataloging of human cells response to perturbations AB Keenan, SL Jenkins, KM Jagodnik, S Koplev, E He, D Torre, Z Wang, ... Cell systems 6 (1), 13-24, 2018 | 174 | 2018 |
The van der Waerden number W (2, 6) is 1132 M Kouril, JL Paul Experimental Mathematics 17 (1), 53-61, 2008 | 68 | 2008 |
Building gold standard corpora for medical natural language processing tasks L Deleger, Q Li, T Lingren, M Kaiser, K Molnar AMIA Annual Symposium Proceedings 2012, 144, 2012 | 54 | 2012 |
Survey-software implicit association tests: A methodological and empirical analysis TP Carpenter, R Pogacar, C Pullig, M Kouril, S Aguilar, J LaBouff, ... Behavior research methods 51 (5), 2194-2208, 2019 | 45 | 2019 |
Survey of public domain software for docking simulations and virtual screening J Biesiada, A Porollo, P Velayutham, M Kouril, J Meller Human genomics 5 (5), 1-9, 2011 | 45 | 2011 |
SBSAT: a state-based, BDD-based satisfiability solver J Franco, M Kouril, J Schlipf, J Ward, S Weaver, M Dransfield, ... International Conference on Theory and Applications of Satisfiability …, 2003 | 38 | 2003 |
Preparing an annotated gold standard corpus to share with extramural investigators for de-identification research L Deleger, T Lingren, Y Ni, M Kaiser, L Stoutenborough, K Marsolo, ... Journal of biomedical informatics 50, 173-183, 2014 | 34 | 2014 |
Sounds good: Phonetic sound patterns in top brand names R Pogacar, E Plant, LF Rosulek, M Kouril Marketing Letters 26 (4), 549-563, 2015 | 32 | 2015 |
Resolution tunnels for improved SAT solver performance M Kouril, J Franco International Conference on Theory and Applications of Satisfiability …, 2005 | 31 | 2005 |
GRcalculator: an online tool for calculating and mining dose–response data NA Clark, M Hafner, M Kouril, EH Williams, JL Muhlich, M Pilarczyk, ... BMC cancer 17 (1), 698, 2017 | 27 | 2017 |
GREIN: An interactive web platform for re-analyzing GEO RNA-seq data N Al Mahi, MF Najafabadi, M Pilarczyk, M Kouril, M Medvedovic Scientific reports 9 (1), 1-9, 2019 | 26 | 2019 |
Conducting IAT research within online surveys: A procedure, validation, and open source tool T Carpenter, R Pogacar, C Pullig, M Kouril, J LaBouff, A Chakroff Preprint]. doi 10, 2018 | 24 | 2018 |
Analysis Of Electronic Medication Orders With Large Overdoses ES Kirkendall, M Kouril, T Minich, SA Spooner Applied Clinical Informatics 5 (1), 25-45, 2014 | 20 | 2014 |
An interactive online dashboard for tracking covid-19 in us counties, cities, and states in real time BD Wissel, PJ Van Camp, M Kouril, C Weis, TA Glauser, PS White, ... Journal of the American Medical Informatics Association, 2020 | 19 | 2020 |
Computing the van der Waerden number W (3, 4)= 293 M Kouril Integers: Electronic J. Combinatorial Number Theory 12, A46, 2012 | 18 | 2012 |
Pediatric biomedical informatics JJ Hutton Springer Netherlands, 2012 | 17 | 2012 |
A backtracking framework for beowulf clusters with an extension to multi-cluster computation and sat benchmark problem implementation M Kouril University of Cincinnati, 2006 | 15 | 2006 |
Implicit and explicit preferences for brand name sounds R Pogacar, M Kouril, TP Carpenter, JJ Kellaris Marketing Letters 29 (2), 241-259, 2018 | 14 | 2018 |
Function-complete lookahead in support of efficient SAT search heuristics J Franco, M Kouril, J Schlipf, S Weaver, M Dransfield, WM Vanfleet Journal of Universal Computer Science 10 (12), 1655-1692, 2004 | 13 | 2004 |
Theory and Applications of Satisfiability Testing F Bacchus, T Walsh Springer Berlin/Heidelberg., 2005 | 12 | 2005 |