The purpose of this study was to investigate the relationship among Iranian EFL university lecturers’ professional and institutional identity, and their teaching efficacy. To this end, 100 EFL university lecturers from different branches of Islamic Azad Universities, including Kermanshah, Isfahan and Hamedan, took part in the study by completing the Professional Identity Questionnaire, the Inst...

Run-to-run optimization methodologies exploit the repetitive nature of batch processes to find the optimal operating policy in the presence of uncertainty. For the class of batch optimization problems where the solution is determined by terminal constraints, the update of the decision variables towards their optimal values is realized using a constraint control scheme. The methodology is adapte...

Universities and higher education institutions (HEIs) aim to provide the maximum support for community. Hence, obtain optimum results, educational policies must be in alignment with societies’ needs prerequisites. The present research investigated undergraduates’ expectations of studying at university fulfillment those prior after being accepted into university. 600 first-year undergraduates we...

This paper studies the long-run dynamics of Pareto-optimal self-enforcing contracts in a repeated principal-agent framework with differential discounting. In such a setting, impatience concerns encourage contracts to favor the patient player in the long run and incentive concerns encourage contracts to favor the agent in the long run. When these two forces are aligned or one is relatively stron...

Physical Layer Model Design for Wireless Networks. (August 2006) Yi Yu, B.S., Southeast University; M.S., Southeast University Chair of Advisory Committee: Dr. Scott L. Miller Wireless network analysis and simulations rely on accurate physical layer models. The increased interest in wireless network design and cross-layer design require an accurate and efficient physical layer model especially ...

Run-Time Optimization of Adaptive Irregular Applications. (August 2004) Hao Yu, B.S., Tsinghua University, PR China; M.S., Tsinghua University, PR China Chair of Advisory Committee: Dr. Lawrence Rauchwerger Compared to traditional compile-time optimization, run-time optimization could offer significant performance improvements when parallelizing and optimizing adaptive irregular applications, b...

This paper briefly describes the Forester tree automata-based shape analyser and its participation in the SV-COMP’16 competition on software verification. In particular, it summarizes the verification approach used by Forester, its architecture and setup for the competition, as well as its strengths and weaknesses observed in the competition run. The paper highlights the newly added counterexam...