We study the complexity of automatic structures via well-established concepts from both logic and model theory, including ordinal heights (of well-founded relations), Scott ranks of structures, and Cantor-Bendixson ranks (of trees). We prove the following results: 1) The ordinal height of any automatic wellfounded partial order is bounded by ω; 2) The ordinal heights of automatic well-founded r...

the main concern of this study was communication strategies (css) which are used to compensate for communication breakdown. the goals of this study were to examine whether proficiency level of iranian students had any relationship with their choice of css. this research was descriptive in nature. the participants were 15 pre-intermediate and 14 intermediate efl learners between 16 to 21years ol...

We study the complexity of automatic structures via wellestablished concepts from both logic and model theory, including ordinal heights (of well-founded relations), Scott ranks of structures, and CantorBendixson ranks (of trees). We prove the following results: 1) The ordinal height of any automatic well-founded partial order is bounded by ω; 2) The ordinal heights of automatic well-founded re...

Let (M,X ) |= ACA0 be such that PX , the collection of all unbounded sets in X , admits a definable complete ultrafilter and let T be a theory extending first order arithmetic coded in X such that M thinks T is consistent. We prove that there is an end-extension N |= T of M such that the subsets of M coded in N are precisely those in X . As a special case we get that any Scott set with a defina...

The Scott-Magat polymer theory, which assumes that polymers have heterogeneous structure and takes into account the polydispersity in the molecular weight of polymers, is a method to model asphaltene precipitation conditions. The traditional Scott-Magat polymer theory based models assume that the precipitated phase consists of asphaltene only. In the present work, we introduce a model based on ...

My research combines analysis, computation, and modeling to understand problems stemming from general pattern forming systems. My thesis work applied dynamical systems techniques to understand localized structures in reaction-diffusion systems. Most of these patterns can be understood as stationary or traveling wave solutions to partial differential equations (PDEs). More recently I have focuse...

The M•CORE microRISC architecture has been developed to address the growing need for long battery life among today’s portable applications. In this paper, we will present the low-power design techniques and architectural trade-offs made during the development of this processor. Specifically, we will discuss the initial benchmarking, the development of the Instruction Set Architecture (ISA), the...