1 A reservation-based autonomous intersection control system, named Autonomous Control of 2 Urban TrAffic (ACUTA) is presented in this paper. ACUTA manages autonomous vehicles in 3 the vicinity of an intersection to allow them to pass the intersection without any conflict and few 4 stops. To address the operational issues identified in previous studies on reservation-based 5 autonomous intersec...

Parasites are integral components of the biosphere. Host switching correlated with events of episodic climate change is ubiquitous in evolutionary and ecological time. Global climate change produces ecological perturbations, which cause geographical and phenological shifts, and alteration in the dynamics of parasite transmission, increasing the potential for host switching. The intersection of ...

the minimal prime decomposition for semiprime ideals is defined and studied on z-ideals of c(x). the necessary and sufficient condition for existence of the minimal prime decomposition of a z-ideal / is given, when / satisfies one of the following conditions: (i) / is an intersection of maximal ideals. (ii) i is an intersection of o , s, when x is basically disconnected. (iii) i=o , when x x ha...

Flip-pushdown automaton is pushdown automaton which has ability to flip its pushdown throughout the computation. This model was introduced in [3] by Sarkar. Here we solve in the affirmative the following open problem posed by Holzer and Kutrib in [1]: What is the power of ε-moves for nondeterministic flip-pushdown automata – can they be removed without affecting the computational capacity? (ε d...