The Conceptual Design of a Smart Wrist Orthosis and Functional Performance - Project Overview

The idea of the project was to find a conceptual design of a multi-functional smart orthosis for wrist fixation. The application of additive technologies presents the potential in designing a customised orthosis for every patient individually. By using pre-generated 3d models of various hand shapes it is possible to prepare models for several shapes and sizes of forearms and hands. The conceptual design provides a possible solution for a two-part orthosis bound around the forearm and a modular extension to stabilize the wrist without additional compression. The multi-functionality occurs with the development of a small pre-defined electronic plate located in the bottom part of the orthosis. The temperature and heart rate are constantly monitored and displayed wirelessly on a smartphone. The target group are the patients active in sports or patients with minor injuries. Moreover, the orthosis can be used for body temperature and heart function monitoring during recovery period.

Repeat proteins as versatile scaffolds for arrays of redox-active FeS clusters

Molecular string of beads: modular extension of a protein backbone builds a chain of electroactive clusters.

Ground Associative and Commutative Completion Modulo Shostak Theories

AC-completion efficiently handles equality modulo associative and commutative function symbols. In the ground case, the procedure terminates and provides a decision algorithm for the word problem. In this paper, we present a modular extension of ground AC-completion for deciding formulas in the combination of the theory of equality with user-defined AC symbols, uninterpreted symbols and an arbitrary signature disjoint Shostak theory X. The main ideas of our algorithm are first to adapt the definition of rewriting in order to integrate the canonizer of X and second, to replace the equation orientation mechanism found in ground AC-completion with the solver for X.