This paper discusses Responsible (Research and) Innovation (RRI) within a UKRI project funded through the Trustworthy Autonomous Systems Hub, Imagining Robotic Care: Identifying conflict and confluence in stakeholder imaginaries of autonomous care systems . We used LEGO ® Serious Play as an RRI methodology for focus group workshops exploring sociotechnical about how robots should (or not) be in...

We develop diagram techniques for proving confluence in abstract reductions systems. The underlying theory gives a systematic and uniform framework in which a number of known results, widely scattered throughout the literature, can be understood. These results include Newman's lemma, Lemma 3.1 of Winkler and Buchberger, the Hindley Rosen lemma, the Request lemmas of Staples, the Strong Confluen...

τ -confluence is a reduction technique used in enumerative model-checking of labeled transition systems to avoid the state explosion problem. In this paper, we propose a new on-the-fly algorithm to calculate partial τ -confluence, and propose new techniques to do so on large systems in a compositional manner. Using information inherent in the way a large system is composed of smaller systems, w...

This paper describes a new confluence tool for term rewrite systems. Due to its modular design, the few techniques implemented so far can be combined flexibly. Methods developed for termination analysis are adapted to prove and disprove confluence. Preliminary experimental results show the potential of our tool.

Concerning the previous anatomical knowledge and requirements of current hepato-pancreato-biliary practice it was our aim to enhance the anatomy knowledge of the caudate lobe biliary drainage. Using the injection-corrosion method we made 27 acrylic porto-biliary casts of proper quality from 30 post-mortem, adult human liver specimens. During the observation under a magnifying glass a portal vas...

Confluence is a critical property of computational systems which is related with determinism and non ambiguity and thus with other relevant computational attributes of functional specifications and rewriting system as termination and completion. Several criteria have been explored that guarantee confluence and their formalisations provide further interesting information. This work discusses top...

it seems that resolution of internal conflict is studied less than the international one. current literature in this regard is not focused on theoretical aspects of conflict resolution, particularly, on conditions and necessaries of resolving these kinds of conflicts. nevertheless, in political science literature it is possible to find some texts that implicitly or explicitly are related to thi...