j This paper presents a new concept for retractable roof structures. The new structures consist of a foldable lattice of beams connected by cylindrical joints, to which covering panels or membranes are attached. These structures fold towards their perimeter and there is practically no limit to their shape. Solutions to the key problems that have to be solved in the course of the kinematic desig...

In the setting of the π-calculus with binary sessions, we aim at relaxing the notion of duality of session types by the concept of retractable compliance developed in contract theory. This leads to extending session types with a new type operator of “speculative selection” including choices not necessarily offered by a compliant partner. We address the problem of selecting successful communicat...

It is shown that square free set theoretic involutive non-degenerate solutions of the Yang-Baxter equation whose associated permutation group (referred to as an involutive Yang-Baxter group) is abelian are retractable in the sense of Etingof, Schedler and Soloviev. This solves a problem of Gateva-Ivanova in the case of abelian IYB groups. It also implies that the corresponding finitely presente...

A ring R is called right strong stably finite (r.ssf) if for all n ≥ 1, injective endomorphisms of R (n) R are essential. If R is an r.ssf ring and e is an idempotent of R such that eR is a retractable R-module, then eRe is an r.ssf ring. A direct product of rings is an r.ssf ring if and only if each factor is so. The R.ssf condition is investigated for formal triangular matrix rings. In partic...

It is shown that square free set theoretic involutive non-degenerate solutions of the Yang-Baxter equation whose associated permutation group (referred to as an involutive Yang-Baxter group) is abelian are retractable in the sense of Etingof, Schedler and Soloviev. This solves a problem of Gateva-Ivanova in the case of abelian IYB groups. It also implies that the corresponding finitely presente...