Zobrazeno 1 - 10
of 112
pro vyhledávání: '"Merlijn Sevenster"'
Autor:
Bradfield, Julian
Publikováno v:
The Bulletin of Symbolic Logic, 2012 Jun 01. 18(2), 272-273.
Externí odkaz:
https://www.jstor.org/stable/41494564
Autor:
Jouko Väänänen
Publikováno v:
Theory and Practice of Logic Programming. 14:137-140
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6bf03323d616602453813c06f2ad5dde
https://doi.org/10.1017/s1471068413000082
https://doi.org/10.1017/s1471068413000082
Autor:
Sevenster, Merlijn merlijn.sevenster@philips.com
Publikováno v:
Review of Symbolic Logic. Sep2010, Vol. 3 Issue 3, p415-441. 27p. 5 Diagrams.
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understo
Autor:
Julian C. Bradfield
Publikováno v:
The Bulletin of Symbolic Logic. 18:272-273
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c016c5b08a45aec17811dba68e8003d3
https://doi.org/10.1017/s1079898600000172
https://doi.org/10.1017/s1079898600000172
Autor:
Thomas Andre Forsberg, Kirk T. Spencer, Xin Wang, Yugang Jia, Lucas de Melo Oliveira, Merlijn Sevenster
Publikováno v:
ICHI
Structured echocardiogram reporting system uses predefined finding codes (FCs) that correspond to one-sentence descriptions to report medical findings. Exploring the latent relationships between FCs will facilitate the efficiency and accuracy in repo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4362ea89e00b23cc2069753e066595ef
https://doi.org/10.1109/ichi.2018.00085
https://doi.org/10.1109/ichi.2018.00085
Autor:
Merlijn Sevenster
Publikováno v:
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics ISBN: 9783319628639
In recent work, semantic games of independence-friendly logic were studied in strategic form in terms of (mixed strategy) Nash equilibria. The class of strategic games of independence-friendly logic is contained in the class of win-loss, zero-sum two
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3dec7a2102f7e3cb97438b4f594240b
https://doi.org/10.1007/978-3-319-62864-6_20
https://doi.org/10.1007/978-3-319-62864-6_20
Autor:
Merlijn Sevenster, Joost Frederik Peters, Rajiv Ganesh, Paul J. Chang, Adam R. Travis, Peng Liu, Ursula Kose
Publikováno v:
American Journal of Roentgenology. 204:576-583
OBJECTIVE. Imaging provides evidence for the response to oncology treatment by the serial measurement of reference lesions. Unfortunately, the identification, comparison, measurement, and documentation of several reference lesions can be an inefficie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::138d6e5926282259eaabc7698442f263
https://doi.org/10.2214/ajr.14.12915
https://doi.org/10.2214/ajr.14.12915
A natural language processing pipeline for pairing measurements uniquely across free-text CT reports
Publikováno v:
Journal of Biomedical Informatics. 53:36-48
Display Omitted Oncology guidelines standardize response assessment based on measurements.Regular expression-based techniques recognize measurements in reports.We introduced the task of pairing lesion measurements across consecutive reports.A natural
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f7e853c586b4b5c8caf905c5f33189ec
Autor:
Merlijn Sevenster
Publikováno v:
The Journal of Symbolic Logic. 79:1224-1246
We study the expressive power of independence-friendly quantifier prefixes composed of universal$\left( {\forall x/X} \right)$, existential$\left( {\exists x/X} \right)$, and majority quantifiers$\left( {Mx/X} \right)$. We provide four quantifier pre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1e8b17f675ff16616ed14b24283a6eee
https://doi.org/10.1017/jsl.2013.30
https://doi.org/10.1017/jsl.2013.30