The Semantic Type Indexing (STI) tool, developed at the National Library of Medicine (NLM), is one of the most accurate unsupervised methods for the word sense disambiguation (WSD) applications. NLM’s Lexical Systems Group (LSG) enhanced the STI tool, achieving an improved precision of 79.05% vs. baseline 73.81% when applied to NLM’s WSD test collection. An ST-based WSD tool, STWSD, has been de...

There are various kinds of type analysis of logic programs. These include for example inference of types that describe an over-approximation of the success set of a program, inference of well-typings, and abstractions based on given types. Analyses can be descriptive or prescriptive or a mixture of both, and they can be goal-dependent or goal-independent. We describe a prototype tool that can b...

IV jPhaseFit: the fitting module 5 IV-A Abstract Classes . . . . . . . . . . . . . . . . . . . . . . . . . 6 IV-B Concrete Classes: Maximum Likelihood Algorithms . . . . . . . 6 IV-B.1 General Phase-Type Distribution EM Algorithm [1] . . 6 IV-B.2 Hyper-Exponential Distribution EM Algorithm [2] . . . 7 IV-B.3 Hyper-Erlang Distribution EM Algorithm [3] . . . . . 7 IV-C Concrete Classes: Moment Ma...

This paper presents a method for debugging type errors in untyped logic programs by generating type information based on abstract interpretation with OLDT resolution. The notion \type" is extended to enable the phenomena in logic programs to be described more precisely. The classes Single Types and Collected Types are introduced. An extended OLDT resolution performs combination of derived singl...

Individuals who are currently sedentary, unfit, or overweight can benefit metabolically from simply taking breaks from sitting. Since avoidance of sedentary behavior appears to have a large impact on glycemic management, all individuals with type 2 diabetes should be encouraged to minimally engage in greater daily movement to better manage their diabetes and body weight. In addition, engaging i...