نتایج جستجو برای: edalat fi
تعداد نتایج: 26581 فیلتر نتایج به سال:
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...
بحران آب یکی مهمترین معضلات جهان امروز در بسیاری از کشورهای دنیا می باشد. این در حالی است که بخش زیادی از منابع آب شیرین در بخش کشاورزی مصرف می شود. مصرف بی رویه آب در بخش کشاورزی، علاوه بر تشدید معضل بحران آب، زمینه آبشویی املاحی چون نیترات از محدوده ریشه و آلودگی آبخوانها به مقادیر خطرساز آنها را فراهم می آورد. بهبود شیوه های مدیریتی در زمینه آبیاری می تواند راهکاری مناسب برای کنترل هر دو معض...
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...
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...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید