Applying Prolog to Develop Distributed Systems

Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. While Datalog-based languages have been actively explored for programming distributed systems, Prolog received relatively little attention in this application area so far. In this paper we present a Prolog-based programming system, called DAHL, for the declarative development of distributed systems. DAHL extends Prolog with an event-driven control mechanism and built-in networking procedures. Our experimental evaluation using a distributed hash-table data structure, a protocol for achieving Byzantine fault tolerance, and a distributed software model checker - all implemented in DAHL - indicates the viability of the approach

Distributed Intelligent MEMS: Progresses and Perspectives

International audienceMEMS research has until recently focused mainly on the engineering process, resulting in interesting products and a growing market. To fully realize the promise of MEMS, the next step is to add embedded intelligence. With embedded intelligence, the scalability of manufacturing will enable distributed MEMS systems consisting of thousands or millions of units which can work together to achieve a common goal. However, before such systems can become a reallity, we must come to grips with the challenge of scalability which will require paradigm-shifts both in hardware and software. Furthermore, the need for coordinated actuation, programming, communication and mobility management raises new challenges in both control and programming. The objective of this article is to report the progresses made by taking the example of two research projects and by giving the remaining challenges and the perspectives of distributed intelligent MEMS

Implementation of the CALM intervention for anxiety disorders: a qualitative study

<p>Abstract</p> <p>Background</p> <p>Investigators recently tested the effectiveness of a collaborative-care intervention for anxiety disorders: Coordinated Anxiety Learning and Management(CALM) []) in 17 primary care clinics around the United States. Investigators also conducted a qualitative process evaluation. Key research questions were as follows: (1) What were the facilitators/barriers to implementing CALM? (2) What were the facilitators/barriers to sustaining CALM after the study was completed?</p> <p>Methods</p> <p>Key informant interviews were conducted with 47 clinic staff members (18 primary care providers, 13 nurses, 8 clinic administrators, and 8 clinic staff) and 14 study-trained anxiety clinical specialists (ACSs) who coordinated the collaborative care and provided cognitive behavioral therapy. The interviews were semistructured and conducted by phone. Data were content analyzed with line-by-line analyses leading to the development and refinement of themes.</p> <p>Results</p> <p>Similar themes emerged across stakeholders. Important facilitators to implementation included the perception of "low burden" to implement, provider satisfaction with the intervention, and frequent provider interaction with ACSs. Barriers to implementation included variable provider interest in mental health, high rates of part-time providers in clinics, and high social stressors of lower socioeconomic-status patients interfering with adherence. Key sustainability facilitators were if a clinic had already incorporated collaborative care for another disorder and presence of onsite mental health staff. The main barrier to sustainability was funding for the ACS.</p> <p>Conclusions</p> <p>The CALM intervention was relatively easy to incorporate during the effectiveness trial, and satisfaction was generally high. Numerous implementation and sustainability barriers could limit the reach and impact of widespread adoption. Findings should be interpreted with the knowledge that the ACSs in this study were provided and trained by the study. Future research should explore uptake of CALM and similar interventions without the aid of an effectiveness trial.</p

Meld: A declarative approach to programming ensembles

Abstract — This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot communication is limited to immediate neighbors. Meld is a declarative language, based on P2, a logicprogramming language originally designed for programming overlay networks. By using logic programming, the code for an ensemble of robots can be written from a global perspective, as opposed to a large collection of independent robot views. This greatly simplifies the thought process needed for programming large ensembles. Initial experience shows that this also leads to a considerable reduction in code size and complexity. An initial implementation of Meld has been completed and has been used to demonstrate its effectiveness in the Claytronics simulator. Early results indicate that Meld programs are considerably more concise (more than 20x shorter) than programs written in C++, while running nearly as efficiently. I