A prominent relationship has been proposed between compliance and various factors, like the patient's individual characteristics, the illness and medication being prescribed to the patient. We compared 20 manic patients who were non compliant to medication with a control group, who were matched on the demographic variable, illness variables and the treatment prescribed. We first examined the re...

We explore an axiomatized nominal approach to variable binding in Coq, using an untyped lambda-calculus as our test case. In our nominal approach, alpha-equality of lambda terms coincides with Coq’s builtin equality. Our axiomatization includes a nominal induction principle and functions for calculating free variables and substitution. These axioms are collected in a module signature and proved...

We explore an axiomatized nominal approach to variable binding in Coq, using an untyped lambda-calculus as our test case. In our nominal approach, alpha-equality of lambda terms coincides with Coq’s builtin equality. Our axiomatization includes a nominal induction principle and functions for calculating free variables and substitution. These axioms are collected in a module signature and proved...

We derived mice that carry a targeted insertion of a neor gene in the int-2 (Fgf-3) proto-oncogene coding sequences. The mutation was found to be recessive and mice that were homozygous for the insertion did not often survive to adulthood. The mutant mice had defects in the development of the tail and inner ear that could be correlated with disruption of int-2 expression in the posterior primit...

This paper concerns the prefix-primitive (shortly, p-primitive) conjugates of related primitive words. The non-p-primitive conjugates of square-free words are studied. We show that every d-primitive square-free word over an alphabet with three elements has at most one non-p-primitive conjugate. We also find that all the conjugates of a primitive word are nor p-primitive.

This paper presents a gesture-based variable impedance control approach for haptic guidance in humanrobot interaction. In this approach, applied forces have adaptively been calculated in real time with respect to gestural differences between user motions and reference models. A virtual task has been segmented into primitive gestures and reference hidden Markov models (HMMs) have been trained ac...

The initial design motivation of the VisAD system was to enable visualization of any data defined in a scientific program, without the need for users to custom-code display procedures for new data structures they invented as they wrote their programs. The solution was a data model with schemas that could express any data defined in common programming languages, combined with a display model bas...

This paper provides a general framework that enables many existing inference methods for predictive accuracy to be used in applications that involve forecasts of latent target variables. Such applications include the forecasting of volatility, correlation, beta, quadratic variation, jump variation, and other functionals of an underlying continuous-time process. We provide primitive conditions u...