نتایج جستجو برای: edalat fi

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

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

شناخت اثر تنش¬های مختلف محیطی روی فیزیولوژی گیاهان زراعی برای آگاهی از مکانیسم¬های مقاومت و بقای گیاهان در برابر تنش ضرورت دارد. خشکی یکی از معمول¬ترین تنش¬هایی است که همواره تولید محصولات کشاورزی را تهدید کرده و سطح وسیعی از مناطق جهان را تحت تاثیر خود قرار داده و بنابراین ضروری است با توجه به کمبود منابع آبی، راندمان مصرف آب در بخش کشاورزی افزایش یابد و توسعه و استفاده از روش-های کنترل کننده ...

Background: Male infertility is defined as an inability to impregnate a fertile female; it is a widespread problem which is usually caused by some male factors such as low quantity and quality of sperm, specifically oligospermia and azoospermia. Objective: This study aimed to evaluate the bio-positive effects of low power density Wi-Fi radiation on the reproductive system of infertile and...

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

در این رساله به کمک مدول های ناهم منفرد (هم منفرد)، تعمیم هایی از مدول های بالابرنده و رابطه آن‏ ها با یکدیگر مورد بررسی قرار می گیرد. همچنین کاربردهایی از مدول ناهم منفرد ‎(هم منفرد)‎ را نشان داده و در این راستا حلقه و مدول ‎($cp$‎ و ‎$delta-cp$‎ ) را معرفی و در فصل آخر، ‏خواص مدول خودهم تولیدکننده را تجزیه و تحلیل می کنیم. یکی از اهداف ما مطالعه روابط ما بین حلقه ها و مدول های معرفی شده با حل...

2013
Niels van der Weide Herman Geuvers

Finding the exact solution of initial value problems is the main topic of this thesis. Because differential equations in practice can be hard to solve, we require algorithms to solve them on a computer. Since the solution of the equation needs to be stored on a computer, we first discuss the representation of real functions. We show that approximating a function by polynomials gives a suitable ...

2005
Milad Niqui

In this work we focus on a formalisation of the algorithms of lazy exact arithmetic à la Potts and Edalat [1]. We choose the constructive type theory as our formal verification tool. We discuss an extension of the constructive type theory with coinductive types that enables one to formalise and reason about the infinite objects. We show examples of how infinite objects such as streams and expre...

Objective(s): The placenta provides nutrients and oxygen to embryo and removes waste products from embryo’s blood. As far as we know, the effects of exposure to Wi-Fi (2.4 GHz) signals on placenta have not been evaluated. Hence, we examined the effect of prenatal exposure to Wi-Fi signals on anti-oxidant capacity, expressions of CDKNA1, and GADD45a as well as apoptosis...

Journal: :Computer Networks 2015
Sahar Hoteit Stefano Secci Guy Pujolle Adam Wolisz Cezary Ziemlicki Zbigniew Smoreda

Wi-Fi technology has always been an attractive solution for catering the increasing data demand inmobile networks because of the availability ofWi-Fi networks, the high bit rates they provide, and the lower cost of ownership. However, the legacyWiFi technology lacks of seamless interworking betweenWi-Fi and mobile cellular networks on the one hand, and between Wi-Fi hotspots on the other hand. ...

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

در این پژوهش به مطالعه و بررسی اثربخشی متغیرهای دقت و اضطراب ریاضی دانشجویان با سبک های متفاوت شناختی(fd/fi) بر عملکرد و حل مسئله ی آنان در درس جبر 1در دانشکده ریاضی دانشگاه فردوسی پرداخته شده است. نتایج کلی زیر از پژوهش به دست آمده است: 1. متغیرهای دقت ریاضی، اضطراب ریاضی عملکرد حل مسئله ی جبر دانشجویان رابطه ی خطی زیر را با یکدیگر دارند: نمره اضطراب ریاضی × 237/.- نمره دقت ریاضی ×155/.+13....

1998
Prakash Panangaden

The notion of binary relation is fundamental in logic. What is the correct analogue of this concept in the probabilistic case? I will argue that the notion of conditional probability distribution (Markov kernel, stochastic kernel) is the correct generalization. One can deene a category based on stochastic kernels which has many of the formal properties of the ordinary category of relations. Usi...

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

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