نتایج جستجو برای: ضریب اشباعیت و ksp

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

2004
Maan A. Kousa

ةصلاخلا : برتلا تارفيش تذوحتسا دقل و ً ارخؤ م ب سب نيثحا بلا نم ر يثكلا ما متها ى لع ب أ هابلا ا هئاد ـ د نع ر ـ ل ةضفخنملا مي قلا ) SNR .( اًءز ج ر ثعبملا ر بتعيو اً ماه شلا هذ ه ميمصت ن م في تار . م ظعم ضرتفتو لأا ،ةيئاوشع تار ثعبم لاجملا اذه يف ثاحب أ سرد نف ثحبلا اذ ه يف ا م أ مادختساب و برت تارفي ش ءاد ّ يفص تارثعبم ،ة و ب ةقلعتملا لماوعلا نم ديدعلا أ د اهئا ميمصت لثم ، أ لوط ريثأ تو ،ةيفصلا...

2017
Cláudia Nalon Ullrich Hustadt Clare Dixon

We briefly describe an implementation of a hyperresolution-based calculus for the propositional basic multimodal logic, Kn. The prover, KSP, which allows for both local and global reasoning, is designed to support experimentation with different combinations of refinements for its basic calculus. We present an experimental evaluation that compares KSP with a range of existing reasoners for Kn.

2008
V. G. Gurzadyan A. A. Kocharyan

The Kolmogorov stochasticity parameter (KSP) is applied to quantify the degree of randomness (stochasticity) in the temperature maps of the Cosmic Microwave Background radiation maps. It is shown that, the KSP for the WMAP5 maps is about twice higher than that of the simulated maps for the concordance ΛCDM cosmological model, implying the existence of a randomizing effect not taken into account...

2011
Fouzi Harrag Abdulmalik Salman Al-Salman

صلاخلا ـ ة : ُّ دعتُ ل ثم ةيعيبطلا تاغللا ةجلاعم تاقيبطت نم ديدعلل ايساسأ انوكم ةيعوضوملا ةئزجتلا قيبطت تامولعملا عاجرتساو صوصنلا صيخلت . نم فدهلا وه ثحبلا اذ ه قت و مي ةيعوضوملا ة ئزجتلا تا يمزراوخ ة يلاعف ضوملا دودحلا ى لع فرعتلا يف ة يبرعلا صوصنلا لخاد ةيعو . م تو قايس لا اذ ه يف ة فلتخم رداصم نم ةيبرع صوصن ةسمخ لخاد اهنوظحلاي يتلا ةركفلا وأ عوضوملا تاريغت ىلع فرعتلل ةيبرعلا ةغللا ءارق نم ة...

Journal: :PLoS ONE 2008
Jindong Chen Kunihiko Futami David Petillo Jun Peng Pengfei Wang Jared Knol Yan Li Sok-Kean Khoo Dan Huang Chao-Nan Qian Ping Zhao Karl Dykyma Racheal Zhang Brian Cao Ximing J. Yang Kyle Furge Bart O. Williams Bin Tean Teh

The Birt-Hogg-Dubé (BHD) disease is a genetic cancer syndrome. The responsible gene, BHD, has been identified by positional cloning and thought to be a novel tumor suppressor gene. BHD mutations cause many types of diseases including renal cell carcinomas, fibrofolliculomas, spontaneous pneumothorax, lung cysts, and colonic polyps/cancers. By combining Gateway Technology with the Ksp-Cre gene k...

2010
Murtada D. Naser

ةصلاخلا Allopeas gracilis is recorded for the first time in southern Iraq. It was collected from two localities (Abu-Al Khaseeb region and Hareer region) from Basrah city. ضرلاا عقوقلا نم ةنيع نورشعو نامث ي Allopeas gracilis مت للاخ ةرصبلا ةنيدم ،ريرح ةقطنم و بيصخلا وبا ةقطنم نم اھعمج ناسين رھش 2008 راذاو 2008 يلاوتلا ىلع . ليجستلا اذھ ربتعي دعب ةرصبلا ةنيدم نم ةيضرلاا عقاوقلا نم ثلاثلا Monacha...

2007
Rohit Kumar Rashmi Gangadharaiah Sharath Rao Kishore Prahallad Carolyn Penstein Rosé Alan W. Black

Q: (Under given circumstances) Can we improve speech synthesis by using “more” data ? If so, How much more data is needed ? What kind of data is useful ? Circumstances we are interested in: Improve an existing Indian English Voice (CMU ARCTIC KSP) “More” data that we had for these experiments New Indian English Pronunciation Lexicon (~3500 new words with Indian English Pronunciations) New India...

2013
Dehua Liu Bojun Tu Hui Qian Zhihua Zhang

Hierarchical classification (HC) plays an significant role in machine learning and data mining. However, most of the state-of-the-art HC algorithms suffer from high computational costs. To improve the performance of solving, we propose a stochastic perceptron (SP) algorithm in the large margin framework. In particular, a stochastic choice procedure is devised to decide the direction of next ite...

2011
Lei Zou Peng Peng Dongyan Zhao

This paper studies the top-k possible shortest path (kSP) queries in a large uncertain graph, specifically, given two vertices S and T , a kSP query reports the top-k possible shortest paths from S to T . Different from existing solutions for uncertain graph problems, we adopt the possible worlds semantics. Although possible worlds semantics have been studied widely in relational databases, the...

ژورنال: :پژوهش های علوم و صنایع غذایی ایران 0
pages 23 - 35 a. gholamhosseinpor m. elahi m. j. varidi f. shahidi

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

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

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