نتایج جستجو برای: 3 in addition

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

2010
Stéphane Demri

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...

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

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 ...

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

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 ...

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

چکیده به منظور بررسی اثر تنوع گیاهی و نوع منبع تغذیه ای بر تنوع و تراکم علفهای هرز و حشرات، کارایی مصرف نهاده ها ( نور، آب، عناصر غذایی) و عملکرد و خصوصیات کیفی چند گونه زراعی، آزمایشی به صورت کرتهای خردشده بر پایه طرح بلوکهای کامل تصادفی با سه تکرار در دو سال زراعی 1385-1384 و 1386-1385 در مزرعه تحقیقاتی دانشکده کشاورزی دانشگاه فردوسی مشهد به اجرا درآمد. تیمارهای مورد بررسی دو منبع کود دامی و...

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

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...

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد شاهرود - دانشکده مهندسی شیمی 1389

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...

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

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...

Journal: :Proceedings of the National Academy of Sciences of the United States of America 2003
Erwin van Dijk Hervé Le Hir Bertrand Séraphin

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...

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

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