\input{figures/wholeschema.tex}
-
-
-
-
% \begin{algorithm}[htb]
% \SetAlgoLined
% \caption{Typical main function of an interactive application}
% }
% \end{algorithm}
-
-
-
-
%, and overlook the interaction machines have with their environment.
% While people daily interact with a world full of interactive devices, machines constantly interact with the world full of humans.
% Because of that, Goldin and Wegner showed that interaction is a more general model of computing that Turing-complete models~\cite{goldin08}.
% They argue that the universality of the computing models above is due to the fact they all rely on induction~\cite{wegner99}.
% Interaction is rather a co-inductive phenomenon.
-
-
-
-
% The induction mechanism converges to base cases, which ensures computation always terminates.
% At the opposite, co-induction is a process that applies to streams as input are received.
+\section{Contributions}
-
-\section{Case studies}
+In the previous chapters I presented contributions to improve output by leveraging the sense of touch, and input by leveraging the motor abilities.
+The contributions below use the orthogonal approach as discussed above to leverage the sensorimotor loop.
+The first contribution is two interaction paradigms that leverage gestural interaction and vibrotactile feedback.
+%The first one use semaphoric gestures to replace pointing in mid-air gestural interaction.
+The second contribution investigates the contributionn of haptics on the embodiment of an avatar in Virtual Reality.
\subsection{Haptic interaction paradigms}
\label{sec:hapticparadigms}