نتایج جستجو برای: inapplicability of existing graphical rules

تعداد نتایج: 21178284  

2006
Max Schäfer

We present GraPE, a graphical proof editor that strives to provide a unified point-and-click interface for a variety of existing theorem provers and supports advanced proof editing features. It strictly separates the graphical user interface responsible for displaying the derivation being worked on from the actual proof engine, yielding a flexible and powerful theorem proving environment. Unlik...

پایان نامه :وزارت علوم، تحقیقات و فناوری - پژوهشگاه دانشهای بنیادی (مرکز تحقیقات فیزیک نظری و 1387

we show that when both sources ( lepton flavor violation sources and cp-violating phases) are present, the electric dipole moment of the electron, $d_e$, receives a contribution from the phase of the trilinear $a$-term of staus, $phi_{a_ au}$. for $phi_{a_ au}=pi/2$, the value of $d_e$, depending on the ratios of the lfv mass elements, can range between zero and three orders of magnitude a...

پایان نامه :وزارت علوم، تحقیقات و فناوری - پژوهشگاه علوم انسانی و مطالعات فرهنگی - دانشکده ادبیات، زبانهای خارجی و تاریخ 1391

abstract english language learning in iran has become significant in recent years, and english has been included in the curriculum of iranian schools and universities, and considerable attention has been paid to this language in our society. nevertheless, teaching and learning english in iranian schools has not been able to satisfy the specified goals, so different efl institutes have been est...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شاهد - دانشکده هنر 1391

now-a-days graphic design plays a major role in influencing culture, society, business, and customers, in such a way that one could look upon every individual as a potential customer. graphic designers seek to identify customers needs and find an intelligent solution for them. correct identification and understanding of those needs is the first step towards achieving ones goals. marketing knowh...

2006
Laurent Gatto Daniele Catanzaro Michel C. Milinkovitch

The General Time Reversible (GTR) model of nucleotide substitution is at the core of many distance-based and character-based phylogeny inference methods. The procedure described by Waddell and Steel (1997), for estimating distances and instantaneous substitution rate matrices, R, under the GTR model, is known to be inapplicable under some conditions, ie, it leads to the inapplicability of the G...

پایان نامه :0 1374

the aim of this study has been to find answers for the following questions: 1. what is the effect of immediate correction on students pronunciation errors? 2. what would be the effect of teaching the more rgular patterns of english pronunciation? 3. is there any significant difference between the two methods of dealing with pronuciation errore, i. e., correction and the teaching of the regular ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز 0

a semi-empirical mathematical model for predicting physical part of ignition delay period in the combustion of direct - injection diesel engines with swirl is developed . this model based on a single droplet evaporation model . the governing equations , namely , equations of droplet motion , heat and mass transfer were solved simultaneously using a rung-kutta step by step unmerical method . the...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه بیرجند - دانشکده ادبیات و علوم انسانی 1392

in new management approaches, in the organizations with inflexible structure, existing of red tapes and interruptions caused by limitations and also non-compliance with environmental changes, create demotivation among staff. with regard to the influence of job motivational potential and its relationship to the type of organizational structure( enabling and dissuasive), the goal of this research...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - پژوهشکده ادبیات 1393

1.0 overview it seems that grammar plays a crucial role in the area of second and foreign language learning and widely has been acknowledged in grammar research. in other words, teaching grammar is an issue which has attracted much attention to itself, and a lot of teachers argue about the existence of grammar in language teaching and learning. this issue will remind us a famous sentence f...

Journal: :international journal of nanoscience and nanotechnology 2014
a. h. korayem a. k. hoshiar n. n. ashtiani m. h. korayem

with the rise in the use of afm (atomic force microscope), we have witnessed a growing use of atomic microscope based nanorobots in the precise displacement of various particles. there are certain limitations to the application of nanorobots in the moving of nanoparticles. one of the most important of these limitations is the lack of an appropriate image feedback concurrent with the displaci...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید