We report on the construction of a gold-standard dataset consisting of annotated clinical notes suitable for evaluating our biomedical named entity recognition system. The dataset...
Philip V. Ogren, Guergana K. Savova, Christopher G...
For bidders in standard sealed bid auctions, I believe that decision theory dominates game theory. Even in the design of auctions, decision theory competes well with game theory. ...
In this paper, a Successive Interference Cancellation (SIC) receiver typically used for Code Division Multiple Access (CDMA) communications is developed to be used as piano chord ...
Ana M. Barbancho, Isabel Barbancho, Beatriz Soto, ...
This paper introduces the idea of actualizing theory in the context of artistic practice. We describe the project BodyDaemon and its function as a technology-based artwork that is...
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...