Michal Kouril
Michal Kouril
Dirección de correo verificada de cchmc.org
Título
Citado por
Citado por
Año
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
1742018
The van der Waerden number W (2, 6) is 1132
M Kouril, JL Paul
Experimental Mathematics 17 (1), 53-61, 2008
682008
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
542012
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
452019
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
452011
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
382003
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
342014
Sounds good: Phonetic sound patterns in top brand names
R Pogacar, E Plant, LF Rosulek, M Kouril
Marketing Letters 26 (4), 549-563, 2015
322015
Resolution tunnels for improved SAT solver performance
M Kouril, J Franco
International Conference on Theory and Applications of Satisfiability …, 2005
312005
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
272017
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
262019
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
242018
Analysis Of Electronic Medication Orders With Large Overdoses
ES Kirkendall, M Kouril, T Minich, SA Spooner
Applied Clinical Informatics 5 (1), 25-45, 2014
202014
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
192020
Computing the van der Waerden number W (3, 4)= 293
M Kouril
Integers: Electronic J. Combinatorial Number Theory 12, A46, 2012
182012
Pediatric biomedical informatics
JJ Hutton
Springer Netherlands, 2012
172012
A backtracking framework for beowulf clusters with an extension to multi-cluster computation and sat benchmark problem implementation
M Kouril
University of Cincinnati, 2006
152006
Implicit and explicit preferences for brand name sounds
R Pogacar, M Kouril, TP Carpenter, JJ Kellaris
Marketing Letters 29 (2), 241-259, 2018
142018
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
132004
Theory and Applications of Satisfiability Testing
F Bacchus, T Walsh
Springer Berlin/Heidelberg., 2005
122005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20