In a one-counter automaton (OCA), one can produce a letter from some finite alphabet, increment and decrement the counter by one, or compare it with constants up to some threshold. It is well-known that universality and language inclusion for OCAs are undecidable. In this paper, we consider OCAs with counter observability: Whenever the automaton produces a letter, it outputs the current counter...

This paper estimates the markup for the Mexican manufacturing sector to detect the impact of trade liberalization on market power. Using Hall’s proposal that states that a procyclical Solow residual is an indication of market power, this research estimates the markup for different periods to detect the change in market power after trade liberalization was implemented. We account for the potenti...

there is a high degree (>95%) of intraspecies similarity in the coat protein (cp) amino acid sequences within passionfruit woodiness virus (pwv) and cucumber mosaic virus (cmv), both infecting passionfruit vine in new south wales. on this basis, a dual transgene containing the translatable cdnas coding for the cps of pwv and cmv was constructed in the binary vector pbi121 and used for transform...