We generalize the models of visibly pushdown automata (VPDAs) and visibly pushdown transducers (VPDTs) by equipping them with reversal-bounded counters. We show that some of the results for VPDAs and VPDTs (e.g., closure under intersection and decidability of emptiness for VPDA languages) carry over to the generalized models, but other results (e.g., determinization and closure under complement...

OBJECTIVE The current Australian Physical Activity Guidelines recommend that adults engage in regular muscle-strengthening activity (e.g. strength or resistance training). However, public health surveillance studies describing the patterns and trends of population-level muscle-strengthening activity participation are sparse. The aim of this study is to examine the prevalence, trends and sociode...

“Unidirectional channel systems” (Chambart & Schnoebelen, CONCUR 2008) are finite-state systems where one-way communication from a Sender to a Receiver goes via one reliable and one unreliable unbounded fifo channel. While reachability is decidable for these systems, equipping them with the possibility of testing regular properties on the contents of channels makes it undecidable. Decidability ...

Equipping paraprofessionals to implement evidence-based instructional practices with fidelity can enhance the education of students visual impairments. We used a multiple probe across participants design evaluate ability follow constant time delay procedures high when teaching braille words. delivered performance feedback by e-mail and examined student learning outcomes. All three achieved 100%...

todays applying concrete structures is more usual than other structures which are used in buildings as in most of the world’s countries the application ratio of concrete to steel has increased from 10 to 1. sometimes these structures require strengthening vulnerable members because of deficiency in their loading system in usual and critical conditions. there are different methods for strengthen...