نتایج جستجو برای: وارسی کننده مدل bogor

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

2007
Vincent Moron Andrew W. Robertson Rizaldi Boer

1 Spatial coherence and seasonal predictability of monsoon onset over Indonesia 1 2 3 Vincent Moron*,° Andrew W. Robertson°, Rizaldi Boer+ 4 5 6 * CEREGE, UMR 6635 CNRS, Université d’Aix-Marseille, & Institut Universitaire de France, France 7 ° International Research Institute for Climate and Society (IRI), Columbia University, Palisades, New York, USA 8 + Laboratory of Climatology, Bogor Agri...

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

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

Journal: :Transactions of the Royal Society of Tropical Medicine and Hygiene 2005
Kanti Laras Nono C Sukri Ria P Larasati Michael J Bangs Rizal Kosim Djauzi Tony Wandra John Master Herman Kosasih Sri Hartati Charmagne Beckett Endang R Sedyaningsih H James Beecham Andrew L Corwin

Twenty-four distinct outbreaks of probable chikungunya (CHIK) etiology were identified throughout Indonesia from September 2001 to March 2003, after a near 20-year hiatus of epidemic CHIK activity in the country. Thirteen outbreak reports were based on clinical observations alone, and 11 confirmed by serological/virological methods. Detailed epidemiological profiles of two investigated outbreak...

2004
Matthew Hoosier John Hatcliff Robby Matthew B. Dwyer

Despite a decade of intensive research on general techniques for reducing the complexity of model checking, scalability remains the chief obstacle to its widespread adoption. Past experience has shown that domain-specific information can often be leveraged to obtain state-space reductions that go beyond general purpose reductions by customizing existing model checker implementations or by build...

2011
A. Sulaiman F. P. Zen H. Alatas L. T. Handoko

Theoretical High Energy Physics and Instrumentation (THEPI), Department of Physics, Institut Teknologi Bandung, Jl. Ganesha 10, Bandung 40132, Indonesia. Badan Pengkajian dan Penerapan Teknologi (BPPT) ,Jl. MH. Tahmrin 8 Jakarta , Indonesia Theoretical Physics Division, Department of Physics, Bogor Agricultural University , Kampus Darmaga, Bogor, Indonesia Indonesia Center for Theoretical and M...

2014
Yukiko Nakamura Farit Mochamad Afendi Aziza Kawsar Parvin Naoaki Ono Ken Tanaka Aki Hirai Morita Tetsuo Sato Tadao Sugiura Md. Altaf-Ul-Amin Shigehiko Kanaya

the Relationships Between Metabolites and Biological Activities Yukiko Nakamura, Farit Mochamad Afendi, Aziza Kawsar Parvin, Naoaki Ono, Ken Tanaka, Aki Hirai Morita, Tetsuo Sato, Tadao Sugiura, Md. Altaf-Ul-Amin and Shigehiko Kanaya* Graduate School of Information Science, Nara Institute of Science and Technology, 8916-5 Takayama-cho, Ikoma-shi, Nara, 630-0192 Japan Biopharmaca Research Center...

2016
Munar Lubis

Copyright @ 2016 Authors. This is an open access article distributed under the terms of the Creative Commons Attribution-NonCommercial 4.0 International License (http://creativecommons.org/licenses/by-nc/4.0/), which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original author and source are properly cited. Rismala Dewi,1 Bambang Supriyatno...

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

مقدمه: هدف این پژوهش بررسی مشکلات حافظه ای افراد مبتلا به نوع وارسی و شستشو کننده اختلال وسواسی – جبری از نظر فراحافظه ، حافظه،سوگیری به حافظه و میزان اطمینان به حافظه است. مواد و روش کار: 30 فرد مبتلا به اختلال وسواسی ـ جبری (15 وارسی کننده، 15 شستشو کننده) و 30 نفر به عنوان گروه گواه (15 نفر به عنوان اضطراب منتشر،15 نفر بهنجار ) انتخاب شدند. گروه گواه از نظر متغیرهای جمعیت شناختی با گروه ه...

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

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

2013
Indra Setiawan

The objective of this research was to evaluate the response of six upland rice cultivars from East Kalimantan over different plant spacing. The experiment was conducted at Kutai Kartanegara district in East Kalimantan, Indonesia. The experimental design used was the factorial experiment in Randomized Completely Block Design (RCDB) with three replications. The first factor was six upland rice cu...

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

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