In this paper j, k will denote natural numbers. Let p be a finite partial state of SCMFSA and let k be a natural number. The functor Relocated(p, k) yields a finite partial state of SCMFSA and is defined as follows: (Def. 1) Relocated(p, k) = Start-At(ICp + k)+· IncAddr(Shift(ProgramPart(p), k), k)+·DataPart(p). We now state a number of propositions: (1) For every finite partial state p of SCMF...

linear state bisection is introduced as a new method to find time-invariant state feedback control laws for a special form of underactuated nonlinear systems. the specialty of the systems considered is that every unactuated state should be coupled with at least two directly actuated states. the basic idea is based on bisecting actuated states and using linear combinations with adjustable parame...

Goal: This study analyzes the impacts of transportation sector on air pollution within scope one major Brazilian metropolitan region. Design/Methodology/Approach: A literature review was conducted subject's constructs, with subsequent reasoning grounded fleet's characteristics and data obtained from in-depth interviews a government agency. Results: The results show Brazil's contextual evidence ...