Michal Kouril - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2023

An application programming interface implementing Bayesian approaches for evaluating effect of time-varying treatment with R and PythonChen Chen, Bin Huang, Michal Kouril, Jinzhong Liu, Hang Kim, Siva Sivaganisan, Jeffrey A. Welge, Melissa P. Delbello. fcomp, 5, 2023. [doi]

2020

2017

2015

2 Years Later: Follow-up to Analysis of Electronic Medication Orders with Large OverdosesJudith W. Dexheimer, Eric S. Kirkendall, Michal Kouril, Thomas Minich, Philip Hagedorn, Cecilia Mahdi, Stephen Spooner. amia 2015: [doi]

Leveraging FPGA clusters for SAT computationsMichal Kouril. parco 2016: 525-532 [doi]

2014

Preparing an annotated gold standard corpus to share with extramural investigators for de-identification researchLouise Deléger, Todd Lingren, Yizhao Ni, Megan Kaiser, Laura Stoutenborough, Keith Marsolo, Michal Kouril, Katalin Molnár, Imre Solti. jbi, 50:173-183, 2014. [doi]

2012

Building Gold Standard Corpora for Medical Natural Language Processing TasksLouise Deléger, Qi Li, Todd Lingren, Megan Kaiser, Katalin Molnár, Laura Stoutenborough, Michal Kouril, Keith Marsolo, Imre Solti. amia 2012: [doi]

Computing the Van der Waerden Number W(3, 4)=293Michal Kouril. int, 12, 2012. [doi]

2008

W(2, 6) Is 1132Michal Kouril, Jerome L. Paul. em, 17(1):53-61, 2008. [doi]

2006

A template library to facilitate teaching message passing parallel computingJerome L. Paul, Michal Kouril, Kenneth A. Berman. sigcse 2006: 464-468 [doi]

2005

Brief announcement: dynamic interoperable point-to-point connection of MPI implementationsMichal Kouril, Jerome L. Paul. podc 2005: 352 [doi]

Resolution Tunnels for Improved SAT Solver PerformanceMichal Kouril, John V. Franco. sat 2005: 143-157 [doi]

Dynamic Interoperable Message PassingMichal Kouril, Jerome L. Paul. pvm 2005: 167-174 [doi]

2004

Function-Complete Lookahead in Support of Efficient SAT Search HeuristicsJohn V. Franco, Michal Kouril, John S. Schlipf, Sean Weaver, Michael Dransfield, W. Mark Vanfleet. jucs, 10(12):1655-1695, 2004. [doi]

A parallel backtracking framework (BkFr) for single and multiple clustersMichal Kouril, Jerome L. Paul. cf 2004: 302-312 [doi]

2003

SBSAT: a State-Based, BDD-Based Satisfiability SolverJohn V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean Weaver, Michael Dransfield, W. Mark Vanfleet. sat 2004: 398-410 [doi]

Sign in or sign up to see more results.

runs on WebDSL