We prove that there exists a structure M whose monadic second order theory is decidable, and such that the elementary theory of every expansion of M by a constant is undecidable. 1...
A limit group is a finitely generated subgroup of a residually free group. We prove the result announced in the tittle. 2000 Mathematics Subject Classification: 20E06, 20E08, 20...
We demonstrate that regularization can improve feedback in a language modeling framework. Categories and Subject Descriptors: H.3.3 Information Search and Retrieval: Relevance Fee...
We present a method for projecting retrieval scores across two corpora with a shared, parallel corpus. Categories and Subject Descriptors: H.3.3 Information Search and Retrieval: ...
We construct smallest known trivalent graphs for girths 16 and 18. One construction uses voltage graphs, and the other coset enumeration techniques for group presentations. AMS Su...