This paper presents a new approach to optimizing functional programs based on combining partial evaluation and rewriting. Programs are composed of higher-order primitives. Partial evaluation is used to eliminate higher-order functions. First-order rewriting is used to process the transformation. Laws about the higher-order primitives that are relevant for the optimizations are automatically ext...

the primary purpose of this study is to determine the status of human capital management practices in faculties of management and psychology and education university of tehran. the present study is an applied research in terms of aim, and is a descriptive-survey research in terms of data collection .so, 118 employees were chosen through stratified sampling. they completed human capital drivers ...

large cities and metropolitan areas in developing countries are growing rapidly. these areas grew by attracting all facilities, services and capital of the country. tehran has been the major city and center for decision and policy making in various administrative, political, economic and socialaspects. this political focus has brought economic, social, educational focus that attracted a vast ma...

introduction: teaching is one of the main components in educational planning which is a key factor in conducting educational plans. despite the importance of good teaching, the outcomes are far from ideal. the present qualitative study aimed to investigate effective teaching in higher education in iran based on the experiences of best professors in the country and the best local professors of i...

In 1985 the Ministry of Higher Education and Science published a document entitled Higher Education: Autonomy and Quality [1]. According to this document, quality was the responsibility of the HEIs (higher education institutions) and they were therefore accountable for their internal evaluation. The external quality assessment was seen as a task for a newly created inspectorate for the universi...

different developments in recent years have provided protection for participative and interdisciplinary research from research and educational institutes and other organizations which invest in research. because of the need for having a comprehensive look in solving problems and understanding complexities and also multidimensionality of problems which societies encounter some special ideas have...

introduction: netiquette is network etiquette or the etiquette of cyberspace. recognizing organizational culture and its relationship with the netiquette offers strategies applied in order to communication development and creating learning organizations through the internet for senior management. the purpose of this study has been relationship between organizational culture and netiquette among...