This paper presents the results of a survey to assess the extent of use of safety architectural patterns in Logica to solve commonly reoccurring problems in the safety domain. A number of Logica safety related projects, active during August 2011, were considered to establish which specific patterns had been used so a profile of pattern use could be established along with a view of their perceiv...

We study the unwheeled rational Kontsevich integral of torus knots. We give a precise formula for these invariants up to loop degree 3 and show that they appear as colorings of simple diagrams. We show that they behave under cyclic branched coverings in a very simple way. Our proof is combinatorial: it uses the results of Wheels and Wheelings and new decorations of diagrams.

Many spiders, and in particular those in the genus Argiope, spin highly visible web decorations whose function and significance are the subject of spirited debate. In this work, we present data to address two of the competing hypotheses that fuel this controversy. In particular, we examine the relationship between the presence of web decorations and spider survivorship (predator-protection hypo...

We study the unwheeled rational Kontsevich integral of torus knots. We give a precise formula for these invariants up to loop degree 3 and show that they appear as colorings of simple diagrams. We show that they behave under cyclic branched coverings in a very simple way. Our proof is combinatorial: it uses the results of Wheels and Wheelings and new decorations of diagrams.