نتایج جستجو برای: in exploited area

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

1997
Olivier Pons

In this paper we work in the area of proof script management. We study the dependencies between commands in a script and how they can be exploited in the undoing process. We present some problems that we have met in our implementation of proof managing tools in the Ctcoq interface for the Coq System.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - پژوهشکده ادبیات 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: :JNCI Journal of the National Cancer Institute 2012

Journal: :FEMS immunology and medical microbiology 2003
Andrew Stevenson Mark Roberts

Bordetella pertussis and Bordetella bronchiseptica are respiratory pathogens of humans and animals respectively. Unlike many bacteria, they are able to efficiently colonise healthy ciliated respiratory mucosa. This characteristic of Bordetella spp. can potentially be exploited to develop efficient live vaccines and vectors for delivery of heterologous antigens to the respiratory tract. Here we ...

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

چکیده : دو گیاه perovskia abrotanoides karel و zeravschania aucheri در سایه تحت جریان ملایم هوا خشک شدند. اسانس گیری از گیاهان خشک شده توسط دو روش تقطیر با آب و میکرواستخراج فاز جامد در فضای فوقانی انجام گرفت و اسانس ها با استفاده ار روش کروماتوگرافی گازی- طیف سنج جرمی (gc-ms) مورد تجزیه و تحلیل قرار گرفتند. ترکیبات عمده شناسایی شده در اسانس برگ و گل و ساقه گیاه p.abrotanoides عبارتند از: ...

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

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