Michal Kouril

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 7

Top Topics

Eye Detection And Tracking

Programming Interface

Bayesian Approaches

Top Venues

J. Am. Medical Informatics Assoc.

Nucleic Acids Res.

Frontiers Comput. Sci.

Appl. Clin. Inform.

Publications

Chen Chen, Bin Huang, Michal Kouril, Jinzhong Liu, Hang Kim, Siva Sivaganisan, Jeffrey A. Welge, Melissa P. Delbello
An application programming interface implementing Bayesian approaches for evaluating effect of time-varying treatment with R and Python. Frontiers Comput. Sci. 5 (2023)
Benjamin D. Wissel, P. J. Van Camp, Michal Kouril, Chad Weis, Tracy A. Glauser, Peter S. White, Isaac S. Kohane, Judith W. Dexheimer
An interactive online dashboard for tracking COVID-19 in U.S. counties, cities, and states in real time. J. Am. Medical Informatics Assoc. 27 (7) (2020)
Behrouz Shamsaei, Szymon Chojnacki, Marcin Pilarczyk, Mehdi Fazel-Najafabadi, Wen Niu, Chuming Chen, Karen Ross, Andrea Matlock, Jeremy Muhlich, Somchai Chutipongtanate, Jie Zheng, John Turner, Dusica Vidovic, Jake Jaffe, Michael J. MacCoss, Cathy Wu, Ajay Pillai, Avi Ma'ayan, Stephan C. Schürer, Michal Kouril, Mario Medvedovic, Jarek Meller
piNET: a versatile web platform for downstream analysis and visualization of proteomics data. Nucleic Acids Res. 48 (Webserver-Issue) (2020)
Judith W. Dexheimer, Eric S. Kirkendall, Michal Kouril, Philip Hagedorn, Thomas Minich, Leo L. Duan, C. Monifa Mahdi, Rhonda Szczesniak, Stephen Andrew Spooner
The Effects of Medication Alerts on Prescriber Response in a Pediatric Hospital. Appl. Clin. Inform. 8 (02) (2017)
Eric S. Kirkendall, Michal Kouril, Judith W. Dexheimer, Joshua D. Courter, Philip Hagedorn, Rhonda Szczesniak, Dan Li, Rahul Damania, Thomas Minich, Stephen Andrew Spooner
Automated identification of antibiotic overdoses and adverse drug events via analysis of prescribing alerts and medication administration records. J. Am. Medical Informatics Assoc. 24 (2) (2017)
Judith W. Dexheimer, Eric S. Kirkendall, Michal Kouril, Thomas Minich, Philip Hagedorn, Cecilia Mahdi, Stephen Andrew Spooner
2 Years Later: Follow-up to Analysis of Electronic Medication Orders with Large Overdoses. AMIA (2015)
Michal Kouril
Leveraging FPGA clusters for SAT computations. PARCO (2015)
Louise Deléger, Todd Lingren, Yizhao Ni, Megan Kaiser, Laura Stoutenborough, Keith Marsolo, Michal Kouril, Katalin Molnár, Imre Solti
Preparing an annotated gold standard corpus to share with extramural investigators for de-identification research. J. Biomed. Informatics 50 (2014)
Louise Deléger, Qi Li, Todd Lingren, Megan Kaiser, Katalin Molnár, Laura Stoutenborough, Michal Kouril, Keith Marsolo, Imre Solti
Building Gold Standard Corpora for Medical Natural Language Processing Tasks. AMIA (2012)
Michal Kouril
Computing the Van der Waerden Number W(3, 4)=293. Integers 12 (2012)
Michal Kouril, Jerome L. Paul
(2, 6) Is 1132. Exp. Math. 17 (1) (2008)
Jerome L. Paul, Michal Kouril, Kenneth A. Berman
A template library to facilitate teaching message passing parallel computing. SIGCSE (2006)
Michal Kouril, Jerome L. Paul
Brief announcement: dynamic interoperable point-to-point connection of MPI implementations. PODC (2005)
Michal Kouril, John V. Franco
Resolution Tunnels for Improved SAT Solver Performance. SAT (2005)
Michal Kouril, Jerome L. Paul
Dynamic Interoperable Message Passing. PVM/MPI (2005)
Michal Kouril, Jerome L. Paul
A parallel backtracking framework (BkFr) for single and multiple clusters. Conf. Computing Frontiers (2004)
John V. Franco, Michal Kouril, John S. Schlipf, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics. J. Univers. Comput. Sci. 10 (12) (2004)
John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet
SBSAT: a State-Based, BDD-Based Satisfiability Solver. SAT (2003)