نتایج جستجو برای: 3 in addition
تعداد نتایج: 17304689 فیلتر نتایج به سال:
Data logics are logical formalisms that are used to specify properties on structures equipped with data (data words, data trees, runs from counter systems, timed words, etc.). In this survey talk, we shall see how satisfiability problems for such data logics are related to reachability problems for counter systems (including counter automata with errors, vector addition systems with states, etc...
just as motivation is important in sla research, demotivation constitutes an important factor, too. there are many studies done on demotivation and burnout of teachers. many of these studies have been conducted on one or two aspects of english instruction. consequently, there are few studies which have been done on more than two aspects of english teaching. the aim of this study is to find out ...
section{introduction} the concept of {sl cartan geometry} appeared at the beginning of the twentieth century, when {e}lie cartan was working on the so-called {sl equivalence problem}, the aim of which is to determine whether two given geometric structures can be mapped bijectively onto each other by some diffeomorphism. this problem can be considered in many different contexts, such as ...
چکیده به منظور بررسی اثر تنوع گیاهی و نوع منبع تغذیه ای بر تنوع و تراکم علفهای هرز و حشرات، کارایی مصرف نهاده ها ( نور، آب، عناصر غذایی) و عملکرد و خصوصیات کیفی چند گونه زراعی، آزمایشی به صورت کرتهای خردشده بر پایه طرح بلوکهای کامل تصادفی با سه تکرار در دو سال زراعی 1385-1384 و 1386-1385 در مزرعه تحقیقاتی دانشکده کشاورزی دانشگاه فردوسی مشهد به اجرا درآمد. تیمارهای مورد بررسی دو منبع کود دامی و...
tourism , today as one of the ways to make money, create jobs , and social and political interactions is considered. this paper aims to examine the strengths and weaknesses of tourism development in mahmoud abad ( mazandaran ). the research method in this study is " descriptive - analytical " and to collection of data used field methods such as questionnaires and documentation - library. the sa...
on this project we try to calculated power of hydrogen on dycarbonil compound in different ways ; the first way is shoster way , for sain power of hydrogen notice the different power between central conforms on it and main conform that’s didn’t have hydrogen joint . or in other way different of energy between open and close form. second way, is average way? this is for way that studied conf...
abstract the present study deals with a comparison between reactive and pre-emptive focus-on-form in terms of application and efficiency. it was conducted in an intermediate english class in shahroud. 15 male learners participated in this research and their age ranged from 18 to 25. a course book, new interchange 3, and a complementary book were used. every session the learners gave lectures o...
Eukaryotic mRNA degradation proceeds through two main pathways, both involving mRNA cap breakdown. In the 3'-5' mRNA decay pathway, mRNA body degradation generates free m7GpppN that is hydrolyzed by DcpS generating m7GMP. In the 5'-3' pathway, the recently identified human Dcp2 decapping enzyme cleaves the cap of deadenylated mRNAs to produce m7GDP and 5'-phosphorylated mRNA. We investigated mR...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید