The development of artificial intelligence (AI) technologies has far exceeded the investigation their relationship with society. Sociotechnical inquiry is needed to mitigate harms new whose potential impacts remain poorly understood. To date, subfields AI research develop primarily individual views on sociotechnics, while tools for external investigation, comparison, and cross-pollination are l...

Abstract Ultimate GemCutter verifies concurrent programs using the CEGAR paradigm, by generalizing from spurious counterexample traces to larger sets of correct traces. We integrate classical generalization with orthogonal across interleavings. Thereby, we are able prove correctness otherwise out-of-reach for interpolation-based verification. The competition results show significant advantages ...

This is a geometric approach to spatial involute gearing which has recently been developed by Jack Phillips [4]. Due to Phillips' fundamental theorems helical involute gears for parallel axes (Fig. 2) serve also as tooth flanks for a uniform transmission between skew axes, and the transmission ratio is even independent of the relative position of the axes.