This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invit…
This book constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010. The 13 revised full papers presented were carefully reviewed and selected …
"This book explores the field of complexity. It features in-depth coverage of important theoretical ideas, including fractals, chaos, non-linear dynamics, artificial life and self-organisation. It also provides overviews of complexity in several applied areas, including parallel…
This book aims to reconcile theoretical models of population dynamics with what is currently known about the population dynamics of large mammalian herbivores. It arose from a working group established at the National Center for Ecological Analysis and Synthesis at the Universit…
This qualitative study explores the impact of a proposed Hybrid Dynamic Assessment (HDA) model on the essay writing of English Language Learners (ELL). The proposed model is rooted in Vygotsky's Sociocultural Theory (SCT) concept of Zone of Proximal Development (ZPD). The partic…
One component of the education arena is to provide adequate instruction for high-ability gifted learners. To ensure that gifted learners receive instruction that enables them to work and learn at their highest level of potential, proper evaluation, reform efforts, and best pract…
In this thesis, the trade balance-exchange rate relationship is examined, using the multivariate cointegration and error-correction methodology for the industrial countries during the floating exchange rate period. With regard to theory, an improved version of the Imperfect Subs…
This dissertation proposed and tested a five-dimensional theoretical framework to explain the variations in Internet use across the post-communist countries. The framework included economic, political climate and policy, technology/infrastructure, cultural, and audience factors.…
This document analyses economical convergence in Africa by using the real PIB per capita like measure of income per capita. The study considers all African countries, except Djibouti, Equatorial Guinea, Eritrea, Liberia, Libya, Mayotte, Reunion, Sao Tome and Principe and Somalia…
Technological advances, budgetary constraints and changes in regulatory regimes around the world have called into question the efficiency of state provision of roads infrastructure. However, the current mechanisms of franchising private toll roads around the world entail conside…
This research argues that the United States' version of the Least-Cost Planning (LCP) for electric power long-term development is insufficient to fully accommodate the problems associated with planning for this sub-sector in the Least-Developing Countries (LDC's). This insuffici…
The objective of this research is to develop a specialized construction price index that reflects the change in the price of school buildings in Saudi Arabia. This study was limited to school projects which are built for the MOE in Saudi Arabia. Elementary, intermediate and seco…
The primary purpose of this study is to develop a model that can be used to measure the success of information systems within public organizations. This study used the cumulative information research in both public and private organizations to develop the study model. In this st…
In construction industry, the need and significance of well developed engineering consulting firms cannot be overemphasized. There are several factors that affect the development of design firms and if these factors are identified, measures can be taken to upgrade the engineerin…
