thething: Minor corrections for cor:thething-nb

This commit is contained in:
Manos Katsomallos 2021-09-19 23:06:12 +02:00
parent 079c2fbcd8
commit 4d10e558f9

View File

@ -125,16 +125,16 @@ Two time series of equal lengths are \emph{{\thething} neighboring} when they di
For example, the time series ($p_1$, \dots, $p_8$) with {\thethings} set the $\{p_1, p_3,p_5\}$ is {\thething} neighboring to the time series of Figure~\ref{fig:lmdk-scenario}.
%This means that we can obtain the first time series by adding/removing one event to/from the second time series.
%to/from any one of two {\thething} neighboring series of events we can obtain the other series.
% Therefore, Corollary~\ref{cor:thething-nb} follows.
We proceed to propose \emph{{\thething} privacy}, a configurable variation of differential privacy for time series (Definition~\ref{def:thething-prv}).
Therefore, Corollary~\ref{cor:thething-nb} follows.
\begin{corollary}
\label{cor:thething-nb}
Two {\thething} neighboring series of events are event neighboring as well.
Two {\thething} neighboring time series are event neighboring as well.
\end{corollary}
%\kat{what is event neighboring?}
We proceed to propose \emph{{\thething} privacy}, a configurable variation of differential privacy for time series (Definition~\ref{def:thething-prv}).
%\kat{Up to now M was a mechanism, now it is a set of mechanisms?}
\begin{definition}
% [{\Thething} privacy]