In the present paper, we introduce the backdoor set approach into the field of temporal logic for the global fragment of linear temporal logic. We study the parameterized complexity of the satisfiability problem parameterized ...

In this contribution, different obstacle-based self-calibration techniques for the measurement of the dielectric properties of liquids are investigated at microwave frequencies. The liquid under test is contained inside a ...