Learning Languages in the Limit from Positive Information with Finitely Many Memory Changes

Autor: Timo Kötzing, Karen Seidel

Publikováno v: Lecture Notes in Computer Science ISBN: 9783030800482
CiE

We investigate learning collections of languages from texts by an inductive inference machine with access to the current datum and a bounded memory in form of states. Such a bounded memory states (\(\mathbf {BMS}\)) learner is considered successful i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f554919647a245cf1a95cb5ef8339e3d
https://doi.org/10.1007/978-3-030-80049-9_29

A 'universal' model of metastatic cancer, its parametric forms and their identification: what can be learned from site-specific volumes of metastases

Autor: Dietrich Stoevesandt, Karen Seidel, Leonid Hanin

Publikováno v: Journal of mathematical biology. 72(6)

We develop a methodology for estimating unobservable characteristics of the individual natural history of metastatic cancer from the volume of the primary tumor and site-specific volumes of metastases measured before, or shortly after, the start of t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a7ca8c1122540d816cbabe007d26af96
https://pubmed.ncbi.nlm.nih.gov/26307099

Structured development of a virtual shared memory system

Autor: Paul Gardiner, Karen Seidel

Publikováno v: Formal Aspects of Computing. 8:67-85

In this paper we formalise three different views of a virtual shared memory system and show that they are equivalent. The formalisation starts with five basic component processes specified in the language of CSP [Hoa85], which can be adapted as neces

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::712dce18bfcc63bbccf4a1f032b4e5bc
https://doi.org/10.1007/bf01211051

Refinement-oriented probability for CSP

Autor: J. W. Sanders, Karen Seidel, Carroll Morgan, Annabelle McIver

Publikováno v: Macquarie University

Jones and Plotkin give a general construction for forming a probabilistic powerdomain over any directed-complete partial order [Jon90, JoP89]. We apply their technique to the failures/divergences semantic model for Communicating Sequential Processes

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::118914d9b34d8d05160d8d37ed3525e8
https://researchers.mq.edu.au/en/publications/6b4bdfcf-2e2e-42aa-b4f3-696bd4ae6f41

Convalescent plasma in the treatment of moderate to severe COVID-19 pneumonia: a randomized controlled trial (PROTECT-Patient Trial).

Autor: van den Berg, Karin^1,2,3 (AUTHOR) Karin.vandenberg@sanbs.org.za, Glatt, Tanya Nadia¹ (AUTHOR), Vermeulen, Marion^3,4 (AUTHOR), Little, Francesca⁵ (AUTHOR), Swanevelder, Ronel¹ (AUTHOR), Barrett, Claire⁶ (AUTHOR), Court, Richard^7,8 (AUTHOR), Bremer, Marise⁸ (AUTHOR), Nyoni, Cynthia¹ (AUTHOR), Swarts, Avril¹ (AUTHOR), Mmenu, Cordelia⁴ (AUTHOR), Crede, Thomas⁹ (AUTHOR), Kritzinger, Gerdien² (AUTHOR), Naude, Jonathan⁹ (AUTHOR), Szymanski, Patryk⁹ (AUTHOR), Cowley, James¹⁰ (AUTHOR), Moyo-Gwete, Thandeka^11,12 (AUTHOR), Moore, Penny L.^11,12 (AUTHOR), Black, John¹³ (AUTHOR), Singh, Jaimendra¹⁴ (AUTHOR)

Publikováno v: Scientific Reports. 2/15/2022, Vol. 12 Issue 1, p1-11. 11p.