We present a method for mending strategies for GR(1) specifications. Given the addition or removal of edges from the game graph describing a problem (essentially transition rules in a GR(1) specification), we apply a μ-calculus formula to a neighborhood of states to obtain a “local strategy” that navigates around the invalidated parts of an original synthesized strategy. Our method may thus avo...

For much of their history, the relationship between anthropology and psychology has been well captured by Robert Frost's poem, "Mending Wall," which ends with the ironic line, "good fences make good neighbors." The congenial fence was that anthropology studied what people think and psychology studied how people think. Recent research, however, shows that content and process cannot be neatly seg...

Article History The paper received on: 12/03/2014 Accepted after peer-review on: 07/05/2014 Published on: 01/06/2014 Robert Frost (1874-1963) is a famous American Poet. As most of his poems are autobiographical in subject, it is evident that he has been mostly influenced by the environment around him in composing his masterpieces. Frost’s themes are very simple in the surface meaning endowed wi...

This paper lays a theoretical foundation for scaling fault tolerant tasks to large and diversiied networks, such as the Internet. In such networks, there are always parts of the network that failed. On the other hand, various subtasks interest only parts of the network, and it is desirable that those parts, if nonfaulty, do not suuer from faults in other parts. Our approach is to reene the prev...

In this paper, we report on the development of a new and broadly applicable strategy to produce thermally mendable polymeric materials, demonstrated with an epoxy/poly(-caprolactone) (PCL) phase-separated blend. The initially miscible blend composed of 15.5 wt % PCL undergoes polymerization-induced phase separation during cross-linking of the epoxy, yielding a "bricks and mortar" morphology whe...

Applying heart failure (HF) guidelines in a rural hospital clinic setting can result significant improvements patient outcomes. We describe the early days of HF service. Northland has one highest cardiovascular disease and death rates country; addition, access to primary care is suboptimal for variety reasons. In late 2019, cardiologist with an interest took over responsibility cardiology clini...

233 Last year saw the posthumous publication of Stephen Jay Gould’s last volume, The Hedgehog, the Fox and the Magister’s Pox (Gould, 2003) with the subtitle ‘Mending and minding the misconceived gap between science and the humanities’. The two protagonists were chosen to represent metaphorically a stereotypical disparity between two different ways of ‘knowing’ or looking at nature. The hedgeho...