Michal Kouril

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2020
piNET: a versatile web platform for downstream analysis and visualization of proteomics data.
Nucleic Acids Res., 2020

An interactive online dashboard for tracking COVID-19 in U.S. counties, cities, and states in real time.
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.
J. Am. Medical Informatics Assoc., 2017

The Effects of Medication Alerts on Prescriber Response in a Pediatric Hospital.
Appl. Clin. Inform., 2017

2015
Leveraging FPGA clusters for SAT computations.
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.
Proceedings of the AMIA 2015, 2015

2014
Preparing an annotated gold standard corpus to share with extramural investigators for de-identification research.
J. Biomed. Informatics, 2014

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

Building Gold Standard Corpora for Medical Natural Language Processing Tasks.
Proceedings of the AMIA 2012, 2012

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

2006
A template library to facilitate teaching message passing parallel computing.
Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006

2005
Resolution Tunnels for Improved SAT Solver Performance.
Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Dynamic Interoperable Message Passing.
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.
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.
J. Univers. Comput. Sci., 2004

A parallel backtracking framework (BkFr) for single and multiple clusters.
Proceedings of the First Conference on Computing Frontiers, 2004

2003
SBSAT: a State-Based, BDD-Based Satisfiability Solver.
Proceedings of the Theory and Applications of Satisfiability Testing, 2003


  Loading...