Merlijn Sevenster

发表

Henkin Quantifiers: Logic, Games, and Computation

Merlijn Sevenster, M. Sevenster, 2006, Bull. EATCS.

Evaluating the Referring Physician’s Clinical History and Indication as a Means for Communicating Chronic Conditions That Are Pertinent at the Point of Radiologic Interpretation

Charles Westin, Merlijn Sevenster, Yuechen Qian, 2015, Journal of Digital Imaging.

A Strategic Perspective on if Games

Merlijn Sevenster, M. Sevenster, 2009, Games: Unifying Logic, Language, and Philosophy.

Representation Learning of Finding Codes in Structured Echocardiogram Reporting

Xin Wang, Merlijn Sevenster, Yugang Jia, 2018, 2018 IEEE International Conference on Healthcare Informatics (ICHI).

Battleships as a Decision Problem

Merlijn Sevenster, 2004, J. Int. Comput. Games Assoc..

Independence-friendly logic

Merlijn Sevenster, Gabriel Sandu, Allen L. Mann, 2011 .

Partially Ordered Connectives and Monadic Monotone Strict NP

Lauri Hella, Merlijn Sevenster, Tero Tulenheimo, 2008, J. Log. Lang. Inf..

Expressive power of IF logic

Merlijn Sevenster, Gabriel Sandu, Allen L. Mann, 2011 .

A natural language processing pipeline for pairing measurements uniquely across free-text CT reports

Merlijn Sevenster, Jeffrey Bozeman, Andrea Cowhy, 2015, J. Biomed. Informatics.

DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS

Merlijn Sevenster, M. Sevenster, 2014, The Journal of Symbolic Logic.

Independence-Friendly Logic - a Game-Theoretic Approach

Merlijn Sevenster, Gabriel Sandu, Allen L. Mann, 2011, London Mathematical Society lecture note series.

An HL7 Data Pseudonymization Pipeline

Thusitha De Silva Mabotuwana, Rob C. van Ommering, Merlijn Sevenster, 2015, 2015 International Conference on Healthcare Informatics.

Identifying Breast Cancer Concepts in SNOMED-CT Using Large Text Corpus

Zharko Aleksovski, Merlijn Sevenster, 2010, eHealth.

First-order logic

Merlijn Sevenster, Gabriel Sandu, Allen L. Mann, 2011 .

Independence-friendly logic: A game-theoretic approach. LMS Lecture Notes, vol. 386

Merlijn Sevenster, Gabriel Sandu, Allen L. Mann, 2012 .

Sentence-based classification of free-text breast cancer radiology reports

Merlijn Sevenster, Georgi I. Nalbantov, Aisan Maghsoodi, 2012, 2012 25th IEEE International Symposium on Computer-Based Medical Systems (CBMS).

Classifying Measurements in Dictated, Free-Text Radiology Reports

Merlijn Sevenster, M. Sevenster, 2013, AIME.

Model-theoretic and Computational Properties of Modal Dependence Logic

Merlijn Sevenster, M. Sevenster, 2009, J. Log. Comput..

Partially Ordered Connectives and Sum11 on Finite Models

Merlijn Sevenster, Tero Tulenheimo, 2006, CiE.

Automatically Correlating Clinical Findings and Body Locations in Radiology Reports Using MedLEE

Rob C. van Ommering, Merlijn Sevenster, Yuechen Qian, 2012, Journal of Digital Imaging.

Automatically Pairing Measured Findings across Narrative Abdomen CT Reports

Merlijn Sevenster, Jeffrey Bozeman, Andrea Cowhy, 2013, AMIA.

The complexity of Scotland Yard

Merlijn Sevenster, M. Sevenster, 2006 .

On The Computational Consequences of Independence in Propositional Logic

Merlijn Sevenster, M. Sevenster, 2006, Synthese.

ANNOTATION D'IMAGES MÉDICALES

Merlijn Sevenster, Gabriel Ryan Mankovich, Paul Joseph Chang, 2018 .

Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications pdf

Merlijn Sevenster, M. Sevenster, 2014, ArXiv.

Algorithmic and user study of an autocompletion algorithm on a large medical vocabulary

Rob C. van Ommering, Merlijn Sevenster, Yuechen Qian, 2012, J. Biomed. Informatics.

Automated assessment of imaging biomarkers for the PanCan lung cancer risk prediction model with validation on NLST data

Feng Li, Tobias Klinder, Rafael Wiemker, 2017, Medical Imaging.

Generating links to background knowledge: a case study using narrative radiology reports

M. de Rijke, Maarten de Rijke, Jiyin He, 2011, CIKM '11.

DECIDABILITY OF INDEPENDENCE-FRIENDLY MODAL LOGIC

Merlijn Sevenster, M. Sevenster, 2010, The Review of Symbolic Logic.

Branches of imperfect information : logic, games, and computation

Merlijn Sevenster, M. Sevenster, 2002 .

On Modal Logic, IF Logic, and IF Modal Logic

Merlijn Sevenster, Tero Tulenheimo, M. Sevenster, 2006, Advances in Modal Logic.

Bridging the Text-Image Gap: a Decision Support Tool for Real-Time PACS Browsing

Rob C. van Ommering, Merlijn Sevenster, Yuechen Qian, 2012, Journal of Digital Imaging.

SNOMED CT Saves Keystrokes: Quantifying Semantic Autocompletion.

Zharko Aleksovski, Merlijn Sevenster, 2010, AMIA ... Annual Symposium proceedings. AMIA Symposium.

Using Image References in Radiology Reports to Support Enhanced Report-to-Image Navigation

Thusitha De Silva Mabotuwana, Merlijn Sevenster, Yuechen Qian, 2013, AMIA.

Equilibrium semantics of languages of imperfect information

Merlijn Sevenster, Gabriel Sandu, G. Sandu, 2010, Ann. Pure Appl. Log..

Automated mutual exclusion rules discovery for structured observational codes in echocardiography reporting

Merlijn Sevenster, Yugang Jia, Szymon Bieganski, 2015, AMIA.

A Context-Sensitive Image Annotation Recommendation Engine for Radiology

Thusitha De Silva Mabotuwana, Merlijn Sevenster, Yuechen Qian, 2014, MIE.

Generating links to background knowledge for medical content

M. de Rijke, Jiyin He, Merlijn Sevenster, 2011 .

Cross-Sectional Relatedness Between Sentences in Breast Radiology Reports: Development of an SVM Classifier and Evaluation Against Annotations of Five Breast Radiologists

Hiroyuki Abe, Merlijn Sevenster, Johannes Buurman, 2013, Journal of Digital Imaging.

Different Faces of Risky Speech

Merlijn Sevenster, Robert van Rooij, R. Rooij, 2006 .

Improved efficiency in clinical workflow of reporting measured oncology lesions via PACS-integrated lesion tracking tool.

Merlijn Sevenster, Peng Liu, Ursula Kose, 2015, AJR. American journal of roentgenology.