Michal Kouril
Michal Kouril
Verified email at
Cited by
Cited by
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
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
Building gold standard corpora for medical natural language processing tasks
L Deleger, Q Li, T Lingren, M Kaiser, K Molnar, L Stoutenborough, ...
AMIA Annual Symposium Proceedings 2012, 144, 2012
GREIN: An interactive web platform for re-analyzing GEO RNA-seq data
NA Mahi, MF Najafabadi, M Pilarczyk, M Kouril, M Medvedovic
Scientific reports 9 (1), 1-9, 2019
The van der Waerden number W (2, 6) is 1132
M Kouril, JL Paul
Experimental Mathematics 17 (1), 53-61, 2008
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 27 (7), 1121-1125, 2020
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
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), 1-11, 2017
Sounds good: Phonetic sound patterns in top brand names
R Pogacar, E Plant, LF Rosulek, M Kouril
Marketing Letters 26 (4), 549-563, 2015
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
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
Conducting IAT research within online surveys: A procedure, validation, and open source tool
T Carpenter, R Pogacar, C Pullig, M Kouril, J LaBouff, SJ Aguilar, ...
Preprint]. doi 10, 2018
Resolution tunnels for improved SAT solver performance
M Kouril, J Franco
International Conference on Theory and Applications of Satisfiability …, 2005
Connecting omics signatures of diseases, drugs, and mechanisms of actions with iLINCS
M Pilarczyk, M Kouril, B Shamsaei, J Vasiliauskas, W Niu, N Mahi, ...
BioRxiv, 826271, 2020
Analysis Of Electronic Medication Orders With Large Overdoses
ES Kirkendall, M Kouril, T Minich, SA Spooner
Applied Clinical Informatics 5 (1), 25-45, 2014
Pediatric biomedical informatics
JJ Hutton
Springer Netherlands, 2012
Computing the van der Waerden number W (3, 4)= 293
M Kouril
Integers: Electronic J. Combinatorial Number Theory 12, A46, 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
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
Implicit and explicit preferences for brand name sounds
R Pogacar, M Kouril, TP Carpenter, JJ Kellaris
Marketing Letters 29 (2), 241-259, 2018
The system can't perform the operation now. Try again later.
Articles 1–20