Michal Kouril

According to our database, Michal Kouril authored at least 18 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

An application programming interface implementing Bayesian approaches for evaluating effect of time-varying treatment with R and Python.

Chen Chen, Bin Huang, Michal Kouril, Jinzhong Liu, Hang Kim, Siva Sivaganisan, Jeffrey A. Welge, Melissa P. Delbello

Frontiers Comput. Sci., 2023

2020

piNET: a versatile web platform for downstream analysis and visualization of proteomics data.

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

Nucleic Acids Res., 2020

An interactive online dashboard for tracking COVID-19 in U.S. counties, cities, and states in real time.

Benjamin D. Wissel, P. J. Van Camp, Michal Kouril, Chad Weis, Tracy A. Glauser, Peter S. White, Isaac S. Kohane, Judith W. Dexheimer

J. Am. Medical Informatics Assoc., 2020

2017

Automated identification of antibiotic overdoses and adverse drug events via analysis of prescribing alerts and medication administration records.

Eric S. Kirkendall, Michal Kouril, Judith W. Dexheimer, Joshua D. Courter, Philip Hagedorn, Rhonda Szczesniak, Dan Li, Rahul Damania, Thomas Minich, Stephen Andrew Spooner

J. Am. Medical Informatics Assoc., 2017

The Effects of Medication Alerts on Prescriber Response in a Pediatric Hospital.

Judith W. Dexheimer, Eric S. Kirkendall, Michal Kouril, Philip Hagedorn, Thomas Minich, Leo L. Duan, C. Monifa Mahdi, Rhonda Szczesniak, Stephen Andrew Spooner

Appl. Clin. Inform., 2017

2015

Leveraging FPGA clusters for SAT computations.

Michal Kouril

Proceedings of the Parallel Computing: On the Road to Exascale, 2015

2 Years Later: Follow-up to Analysis of Electronic Medication Orders with Large Overdoses.

Judith W. Dexheimer, Eric S. Kirkendall, Michal Kouril, Thomas Minich, Philip Hagedorn, Cecilia Mahdi, Stephen Andrew Spooner

Proceedings of the AMIA 2015, 2015

2014

Preparing an annotated gold standard corpus to share with extramural investigators for de-identification research.

Louise Deléger, Todd Lingren, Yizhao Ni, Megan Kaiser, Laura Stoutenborough, Keith Marsolo, Michal Kouril, Katalin Molnár, Imre Solti

J. Biomed. Informatics, 2014

2012

Computing the Van der Waerden Number W(3, 4)=293.

Michal Kouril

Integers, 2012

Building Gold Standard Corpora for Medical Natural Language Processing Tasks.

Louise Deléger, Qi Li, Todd Lingren, Megan Kaiser, Katalin Molnár, Laura Stoutenborough, Michal Kouril, Keith Marsolo, Imre Solti

Proceedings of the AMIA 2012, 2012

2008

The van der Waerden Number <i>W</i>(2, 6) Is 1132.

Michal Kouril, Jerome L. Paul

Exp. Math., 2008

2006

A template library to facilitate teaching message passing parallel computing.

Jerome L. Paul, Michal Kouril, Kenneth A. Berman

Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006

2005

Resolution Tunnels for Improved SAT Solver Performance.

Michal Kouril, John V. Franco

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Dynamic Interoperable Message Passing.

Michal Kouril, Jerome L. Paul

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2005

Brief announcement: dynamic interoperable point-to-point connection of MPI implementations.

Michal Kouril, Jerome L. Paul

Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

2004

Function-Complete Lookahead in Support of Efficient SAT Search Heuristics.

John V. Franco, Michal Kouril, John S. Schlipf, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet

J. Univers. Comput. Sci., 2004

A parallel backtracking framework (BkFr) for single and multiple clusters.

Michal Kouril, Jerome L. Paul

Proceedings of the First Conference on Computing Frontiers, 2004

2003

SBSAT: a State-Based, BDD-Based Satisfiability Solver.

John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet

Proceedings of the Theory and Applications of Satisfiability Testing, 2003