We introduce and study series expansions of real numbers with an arbitrary Cantor base $$\varvec{\beta }=(\beta _n)_{n\in {\mathbb {N}}}$$ , which we call }$$ -representations. In doing so, generalize both representations in bases through series. show fundamental properties -representations, each extends existing results on a base. particular, prove generalization Parry’s theorem characterizing...

Thyrotoxic periodic paralysis (TPP) attacks are characterized as recurrent, transient episodes of muscle weakness that range from mild weakness to complete flaccid paralysis. Episodes of weakness are accompanied by hypokalemia, which left untreated can lead to life-threatening arrhythmias (6). In this case study, we followed a patient's potassium levels analyzing how they correlate with electro...

We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” but it also appears in many other situations. By considering several extended temporal logics, we show that the problem of model checking a path can usually be solved efficiently, and profit from specialized algorithms. We f...

We present a patient with an adrenal pheochromocytoma with an unusual pattern of periodic alternating hypertension and hypotension. Alpha-adrenergic blockade alone failed to affect this pattern, which was abolished only after fluid repletion. The efficacy of volume expansion in ultimately correcting the wide fluctuations of blood pressure implicates a possible reflex neurogenic mechanism for th...