We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
Cloud security issues have recently gained traction in the research community, with much of the focus primarily concentrated on securing the operating systems and virtual machines...
Wenchao Zhou, Micah Sherr, William R. Marczak, Zhu...
To classify spectroscopic measurements it is necessary to have comparable methods of evaluation. In Terahertz (THz) time-domain spectroscopy, as a new technology, neither the pres...
Henrike Stephani, Joachim Jonuscheit, Christoph Ro...
This paper proposes a general learning framework for a class of problems that require learning over latent intermediate representations. Many natural language processing (NLP) dec...
Ming-Wei Chang, Dan Goldwasser, Dan Roth, Vivek Sr...
The second person pronoun you serves different functions in English. Each of these different types often corresponds to a different term when translated into another language. Cor...