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

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

Journal: :International Journal of Computation and Applied Sciences 2017

Journal: :Zbornik radova Fakulteta tehničkih nauka u Novom Sadu 2018

Journal: :Organised Sound 2022

This article investigates two current incarnations of ‘lo-fi’ music and questions the extent to which these subgenres are actually low in fidelity. In essence, mainstream ‘hi-fi’ productions use similar effects, such as filtering sound like a radio or adding noise vinyl record. To understand lo-fi today, this explores by hip-hop producer ambient producer, drawing upon analytical methods Alan Mo...

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

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

A Mahmoudi, A R Mehdizadeh M B Shojaeifard S M J Mortazavi, S Nematollahii

Background: Electromagnetic fields (EMF) with different intensities are widely used at home, offices and public places.Today, there is a growing global concern about the effects of human exposure to EMFs. Epilepsy is one of the most common chronic neurological diseases, affecting 50 million people of all ages worldwide. We aimed to investigate the effect of exposure to Wi-Fi radiation on epilep...

Journal: :International Journal of Computer Applications 2014

Journal: :International Journal of Epidemiology 2003

Journal: :Perception 1989

1998
Margarita V. Korovina Oleg V. Kudinov

Characteristic properties of majorant-computable real-valued functions are studied. A formal theory of computability over the reals which satisses the requirements of numerical analysis used in Computer Science is constructed on the base of the deenition of majorant-computa-bility proposed in 13]. A model-theoretical characterization of majorant-computability real-valued functions and their dom...

Journal: :Logical Methods in Computer Science 2008
Milad Niqui

In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations — of which field operations are special cases— on a representation of real numbers by coinductive streams. The algorithms work on coinductive stream of Möbius maps and form the basis of the Edalat–Potts exact real arithmetic. We use the machiner...

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

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