From: Markus Triska Date: Sun, 18 Feb 2024 08:18:41 +0000 (+0100) Subject: link to newly available paper on analysis of dose-escalation protocols X-Git-Tag: v0.9.4~6^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=74a525a672cd56aaf56a6248c8ade6c1b02eeb6b;p=scryer-prolog.git link to newly available paper on analysis of dose-escalation protocols Many thanks to @dcnorris for this great application and cooperation! --- diff --git a/README.md b/README.md index 10358f21..71238205 100644 --- a/README.md +++ b/README.md @@ -805,7 +805,8 @@ by the Austrian Federal Computing Center, and parts of the [precautionary](https://github.com/dcnorris/precautionary/tree/main/exec/prolog) package for the analysis of dose-escalation trials in the safety-critical and highly regulated domain of oncology -trial design. +trial design, described in [*An Executable Specification of +Oncology Dose-Escalation Protocols with Prolog*](https://arxiv.org/abs/2402.08334). Scryer Prolog is also very well suited for teaching and learning Prolog, and for testing syntactic conformance and hence portability of