We introduce Millstream systems, a mathematical framework in the tradition of the Theory of Computation that uses logic to formalize the interfaces between different aspects of language, the latter being described by any number of independent modules. Unlike other approaches that serve a similar goal, Millstream systems neither presuppose nor establish a particular linguistic theory or focus, b...

We devise a learning algorithm for deterministically recognizable tree series where the weights are taken from a commutative group. For this, we use an adaptation of the minimal adequate teacher model that was originally introduced by Angluin. The algorithm runs in polynomial time and constructs the unique minimal deterministic bottom-up finite state weighted tree automaton that recognizes the ...

emulateapj5 Accepted for publication in AJ New Southern T Dwarfs Burgasser et al. document The 2MASS Wide-Field T Dwarf Search. II. Discovery of Three T Dwarfs in the Southern Hemisphere Adam J. Burgasser1,2, Michael W. McElwain1, & J. Davy Kirkpatrick3 1Department of Astronomy & Astrophysics, University of California at Los Angeles, Los Angeles, CA, 90095-1562; [email protected], mcelwain@as...

Using the framework introduced by Rowley and Colonius [14] we construct a discretely non-reflecting boundary condition for the one-way wave equation spatially discretized with an explicit fourth order centered difference scheme. The boundary condition, which can be extended to arbitrary order accuracy, is shown to be GKSstable. We continue by deriving discretely non-reflecting boundary conditio...