From 4b3edfd370819a204f439e352201e13c202bf70b Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 3 Jul 2024 22:31:53 +0200 Subject: [PATCH] link to newly available paper about Grants4Companies --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 190c6164..10661a5c 100644 --- a/README.md +++ b/README.md @@ -808,9 +808,9 @@ standards compliance and warranty. Successful existing applications of Scryer Prolog include the [DocLog](https://github.com/aarroyoc/doclog) system which -generates Scryer's own documentation and homepage, [Symbolic -Analysis of Grants](https://www.brz.gv.at/en/BRZ-Tech-Blog/Tech-Blog-7-Symbolic-Analysis-of-Grants.html) -by the Austrian Federal Computing Center, and parts of the +generates Scryer's own documentation and homepage, [reasoning +about business grants](https://arxiv.org/abs/2406.15293) +in the Austrian public administration, 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 -- 2.54.0