PROBLEM There has been very little study done on tobacco use and cessation among the adolescent Medicaid population. Study objectives included determining the prevalence of tobacco use among adolescents enrolled in Medicaid, and identifying subgroups within this population. METHODS To determine tobacco use among adolescents enrolled in the Wisconsin Medicaid program, we analyzed data from a m...

Abs t rac t . Our intent in this paper is to present a denotational model that supports both data and concurrency description. Data can be pure (concurrency free data such as literals) or processes. Concurrency is supported through processes that may communicate data and thus possibly processes through channels. Processes are thus sa~d:higher order communicating processes. Functions axe conside...

We present recent extensions to METRICS [10] infrastructure that allow optimization of design processes at the flow level, rather than only at the individual tool level. As previously reported, METRICS infrastructure allows automatic recording of design and process information. Our extensions include (i) the collection of design flow information for use in flow optimization, and (ii) integratio...

The wealth of information generated by users interacting with the network and its applications is often underutilized due to complications in accessing heterogeneous and dynamic data and in retrieving relevant information from sources having possibly unknown formats and structures. Processing complex requests on such information sources is, thus, costly, though not guaranteeing user satisfactio...

In this project, we investigate new approaches to personalize web search result pages for users using anonymized search logs with scant data per user. We investigate modelling users into groups and personalize the user’s SERP based on the response of the users’ ‘peers’ towards the documents in the SERP. For evaluation, we compare our personalization strategy against the popular ranking strategy...

Multi-objective probabilistic model checking provides a way to verify several, possibly conflicting, quantitative properties of a stochastic system. It has useful applications in controller synthesis and compositional probabilistic verification. However, existing methods are based on linear programming, which limits the scale of systems that can be analysed and makes verification of time-bounde...

Prior work presented the sentence tracker, a method for scoring how well a sentence describes a video clip or alternatively how well a video clip depicts a sentence. We present an improved method for optimizing the same cost function employed by this prior work, reducing the space complexity from exponential in the sentence length to polynomial, as well as producing a qualitatively identical re...

Recently, variational methods have become increasingly more popular for perspective shape from shading due to their robustness under noise and missing information. So far, however, due to the strong nonlinearity of the data term, existing numerical schemes for minimising the corresponding energy functionals were restricted to simple explicit schemes that require thousands or even millions of it...

Genetic algorithms (GAs) are multi-dimensional, blind heuristic search methods that involve complex interactions among parameters (such as population size, number of generations, GA operators and operator probabilities). The question whether the quality of results obtained by GAs depend upon the values given to these parameters, is a matter of research interest. This work studies the problem of...

Das Internet ist eine wesentliche Informationsquelle, die das Entscheidungsverhalten von Menschen in einem hohen Maße mitbestimmt. Suchmaschinen machen das Auffinden dieser entscheidungsrelevanten Informationen häufig erst möglich und nehmen somit eine Schlüsselposition ein. Suchmaschinen treten jedoch nicht nur als UniversalSuchmaschinen auf, sondern auch in Form von Produktsuchmaschinen oder ...