We describe the design and implementation of P, a domain-specific language to write
asynchronous event driven code. P allows the programmer to specify the system as a collection of …

The recent drive towards achieving greater autonomy and intelligence in robotics has led to
high levels of complexity. Autonomous robots increasingly depend on third-party off-the-…

Background Non-communicable disease (NCD) rates are rapidly increasing in India with
wide regional variations. We aimed to quantify the prevalence of metabolic NCDs in India and …

A major challenge towards large scale deployment of autonomous mobile robots is to program
them with formal guarantees and high assurance of correct operation. To this end, we …

The increasing use of deep neural networks in a variety of applications, including some
safety-critical ones, has brought renewed interest in the topic of verification of neural networks. …

This article has been corrected. The original version (PDF) is appended to this article as a
Supplement . Background: Achievement of diabetes care goals is suboptimal globally. …

Distributed mobile robotics (DMR) involves teams of networked robots navigating in a physical
space to achieve tasks in a coordinated fashion. A major challenge in DMR is to program …

Importance Women with recent gestational diabetes (GDM) have increased risk of developing
type 2 diabetes. Objective To investigate whether a resource-appropriate and context-…

A real-world distributed system is rarely implemented as a standalone monolithic system.
Instead, it is composed of multiple independent interacting components that together ensure …

Objective This study was planned to describe thyroid functional status in different stages of
puberty. Study design We collected data from five schools across different geographical …