Anindya Banerjee

Learn More
BACKGROUND There are significant gaps in the scientific literature concerning female sexual behavior and attitudes surrounding sexuality, which have definitive implications on public health and clinical work. AIM To study the sexual behavior of young married Indian women. MATERIALS AND METHODS The study group comprised 100 consecutive women attending(More)
In this paper the effects on aggregate consumption of changes in the age distribution of the population are analysed empirically. Economic theories predict that age influences individuals’ saving and consumption behaviour. Despite this, age structure effects are rarely controlled for in empirical consumption functions. Our findings suggest that they should.(More)
AIMS To estimate depression in patients with age-related macular degeneration (AMD) and study the relationships among depression, visual acuity, and disability. MATERIALS AND METHODS It was a cross-sectional study with consecutive sampling (n = 53) of patients with AMD aged 50 years and above attending the retina clinic of a tertiary care hospital in(More)
Early intervention (EI) programs in schizophrenia and other psychoses are aimed at early detection (ED) of the disease; prevent conversion to manifested psychosis and phase-specific treatment to reduce development of chronic disabilities. EI strategies include targeting people at "high risk" for developing schizophrenia, intervening in prodromal phase of(More)
We present Relational Hoare Type Theory (RHTT), a novel language and verification system capable of expressing and verifying rich information flow and access control policies via dependent types. We show that a number of security policies which have been formalized separately in the literature can all be expressed in RHTT using only standard type-theoretic(More)
  • 1