نتایج جستجو برای: institution based order
تعداد نتایج: 3596685 فیلتر نتایج به سال:
The present paper describes a method for proving Downward Löwenheim-Skolem Theorem within an arbitrary institution satisfying certain logic properties. In order to demonstrate the applicability of the present approach, the abstract results are instantiated to many-sorted first-order logic and preorder algebra. In addition to the first technique for proving Downward Löwenheim-Skolem Theorem, ano...
The paper provides an organisation of order-sorted equational logic as an Institution.
power transformers are important equipments in power systems. thus there is a large number of researches devoted of power transformers. however, there is still a demand for future investigations, especially in the field of diagnosis of transformer failures. in order to fulfill the demand, the first part reports a study case in which four main types of failures on the active part are investigate...
this research aims at answering the questions about translation problems and strategies applied by translators when translating cultural concepts. in order to address this issue, qualitative and quantitative study were conducted on two groups of subjects at imam reza international university of mashhad. these two groups were assigned as beginner and advanced translation students (10 students). ...
in this thesis, structural, electronical, and optical properties of inverse pervskite(ca3pbo) in cubic phase have been investigated.the calculation have been done based on density functional theory and according to generalized gradiant approximate (gga) as correlating potential. in order to calculate the configurations, implementing in the wien2k code have been used from 2013 version. first of ...
writing an academic article requires the researchers to provide support for their works by learning how to cite the works of others. various studies regarding the analysis of citation in m.a theses have been done, while little work has been done on comparison of citations among elt scopus journal articles, and so the dearth of research in this area demands for further investigation into citatio...
textbooks play a crucial role in language learning classrooms. the problem is that among the great quantity of available textbooks on the market which one is appropriate for a specific classroom and a group of learners. in order to evaluate elt textbooks, theorists and writers have offered different kinds of evaluative frameworks based on a number of principles and criteria. this study evaluate...
with the adoption of the new islamic penal code, the electronic monitoring was entered iranian criminal justice system, while in the system of other countries, have the older history. comprising more than five decades of history in america and adopted in thirty different countries act. in the new islamic penal code, implementation of electronic surveillance, as many of these institutions are su...
the main objective of the paper is to investigate customer treatment, financial efficiency and supporting customer services with modern banking technology in financial institutions. the customer orientation and business performance of financial institutions targets customer services to maintain long term mutual relationships. the findings of the study has direct practical relevance for the bank...
the study of air infiltration into the buildings is important from several perspectives that may be noted to energy and design of hvac systems, indoor air quality and thermal comfort and design of smoke control systems. given the importance of this issue, an experimental and numerical study of air infiltration through conventional doors and windows has been explored in iran. to this end, at fir...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید