We consider two-player partial-observation stochastic games on finite-state graphs where player 1 has partial observation and player 2 has perfect observation. The winning condition we study are ω-regular conditions specified as parity objectives. The qualitative-analysis problem given a partial-observation stochastic game and a parity objective asks whether there is a strategy to ensure that t...

A high-performance operational transconductance amplifier (OTA) is proposed. In order to increase DC gain, gain bandwidth, and the slew rate under low standby quiescent current, the proposed OTA has the dynamic output current scaling and class AB operation. Under the condition of 250 A quiescent current and a 30 pF load capacitance with a step voltage from 1.2 to 1.5V at a rise time of 1 nsec i...

The break minimization problem is to find a home-away assignment that minimizes the number of breaks for a given schedule of a round-robin tournament. In a recent paper, Elf et al. conjectured that this minimization problem is solvable in polynomial time if the optimal value of a given instance is less than the number of teams of the instance. We prove their conjecture affirmatively by showing ...

Biophysical parameters and more specifically the leaf area index provide an absolute quantification of biomass vegetation allowing overview development status a plant. However, estimation requires sophisticated complex algorithms. This paper proposes new procedure to estimate using Sentinel-2 data. The proposed relies on 2-D convolutional network known as UNet algorithm for regression. architec...