From 75c2c10d06aaaf19e927ea954581d6125e862fff Mon Sep 17 00:00:00 2001 From: Manos Date: Sun, 19 Sep 2021 22:49:18 +0200 Subject: [PATCH] thething: Added cor:thething-nb --- text/problem/thething/problem.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/text/problem/thething/problem.tex b/text/problem/thething/problem.tex index 3cb7ffb..1ab4717 100644 --- a/text/problem/thething/problem.tex +++ b/text/problem/thething/problem.tex @@ -129,10 +129,10 @@ For example, the time series ($p_1$, \dots, $p_8$) with {\thethings} set the $\{ We proceed to propose \emph{{\thething} privacy}, a configurable variation of differential privacy for time series (Definition~\ref{def:thething-prv}). -%\begin{corollary} -% \label{cor:thething-nb} -% Two {\thething} neighboring series of events are event neighboring as well. -%\end{corollary} +\begin{corollary} + \label{cor:thething-nb} + Two {\thething} neighboring series of events are event neighboring as well. +\end{corollary} %\kat{what is event neighboring?} %\kat{Up to now M was a mechanism, now it is a set of mechanisms?}