(Unlike most posts on stackexchange with that word,
I really do doubt that they work as described.)
In Figure 15 of this paper, the cells two to the right of the leftmost circle and two to the left of the rightmost circle hold the values 3 and 1 respectively. $\:$ Due to the rows of 1s that are three above each of those circles, the mostly-blank area is presumably supposed to have no mines, which would make the value 3 impossible. $\:$ Since the figure is otherwise mostly symmetric, I believe the 3 I mentioned two sentences ago should be replaced with a 1. $\:$ However, even if that is done, I do not see any way to determine the status of the $z$s even after both $r$ and $s$ are revealed, despite the three sentences on the previous page whose middle sentence starts with "Additionally". $\:$ For the same reason, Figure 14 also does not seem to do what it is supposed to.
Am I missing something here?