We discuss Gubser-Klebanov-Polyakov proposal for the gauge/string theory correspondence for gauge theories in curved space. Specifically, we consider KlebanovTseytlin cascading gauge theory compactified on S. We explain regime when this gauge theory is a small deformation of the superconformal N = 1 gauge theory on the world volume of regular D3-branes at the tip of the conifold. We study close...

Effective patient-provider communication (PPC) promotes patient adherence and retention in long-term care. Sub-Saharan Africa faces unprecedented demand for chronic care for HIV patients on antiretroviral therapy (ART), yet adherence and retention remain challenging. In high-income countries, research describing patient preferences for different PPC styles has guided interventions to improve PP...

Multimedia style sheet systems uniformly use a constraint-based model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and are better-suited to non-textual media than flow models. We have developed a prototype style sheet system, Proteus, and have used it with a variety of document types, including program source code. This work has exposed a cri...

This paper discusses the implementation of adaptability in environments that are based on the Standard Reference Model for Intelligent Multimedia Presentation Systems. This adaptability is explored in the context of style sheets, which are represented in such formats as DSSSL. The use of existing public standards and tools for this implementation of style sheet-based adaptability is described. ...

Call-by-name can be simulated in a call-by-value setting using \thunks" (i.e., parameterless procedures) or continuation-passing-style (CPS). In this paper we uncover a relationship between the two simulations. We prove that the call-by-value CPS transformation Cv, when applied to a term T (t) which simulates call-by-name using thunks, yields a term identical to the call-by-name CPS transformat...

Formatting of technical papers is important to those interested in seeing conference proceedings that have a consistent appearance. This paper presents the guidelines for authors wishing to submit a paper for the 7 Annual Conference of the International Group for Lean Construction. The guidelines presented here have also been adopted while formatting the present paper. Styles have been defined....

The information visualization process can be described as a set of transformations applied to raw data to produce interactive graphical representations of information for end-users. A challenge in information visualization is to provide flexible and powerful ways of describing and controlling this process. Most work in this domain address the problem at either application level or toolkit level...