ar X iv : 0 70 5 . 14 58 v 1 [ cs . P L ] 1 0 M ay 2 00 7 Mixing the Objective Caml and C # Programming Models in the . NET Framework

ar X iv : 0 70 5 . 32 58 v 1 [ as tr o - ph ] 2 2 M ay 2 00 7 Disks around Young Binary Stars

ar X iv : 0 70 5 . 31 41 v 1 [ as tr o - ph ] 2 2 M ay 2 00 7 The SARG Planet Search

ar X iv : 0 70 5 . 22 29 v 1 [ cs . C C ] 1 5 M ay 2 00 7 On tractability and congruence distributivity ∗

Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An important class of algebras are those that generate congruence distributive varieties and included among this class are lattices, and more generally, those algebras that have near-unanimity term operations. An algebra will gen...

ar X iv : c s . C L / 0 20 50 28 v 1 1 7 M ay 2 00 2 NLTK : The Natural Language Toolkit

NLTK, the Natural Language Toolkit, is a suite of open source program modules, tutorials and problem sets, providing ready-to-use computational linguistics courseware. NLTK covers symbolic and statistical natural language processing, and is interfaced to annotated corpora. Students augment and replace existing components, learn structured programming by example, and manipulate sophisticated mod...

ar X iv : 0 70 5 . 12 53 v 1 [ m at h . A C ] 9 M ay 2 00 7 DUALITIES AND INTERSECTION MULTIPLICITIES

Let R be a commutative, noetherian, local ring. Topological Q– vector spaces modelled on full subcategories of the derived category of R are constructed in order to study intersection multiplicities.