Main library for Southern Illinois University Carbondale [2] Holds more than 2.6 million volumes, 200,000 e-books, 43,000 current periodicals and serials, and over 3.6 million microform units Provides access to I-Share [3] (the statewide automated library system) and to a comprehensive array of databases and other electronic data files Offers a wide range of services, including Reference assist...

This means we cannot justify the correctness of the “Partition” subroutine by the Hoare’s axiom on program verification. This article is organized as follows. First, we present several fundamental properties of “while” program and finite sequence. Second, we define the “Partition” subroutine on SCMPDS, the task of which is to split a sequence into a smaller and a larger subsequence. The definit...

The Gene Ontology (GO [5]) is a dynamic controlled vocabulary [6] that details the biological processes, molecular functions and cellular components of a generic cell. The UniProt-Gene Ontology Annotation (UniProt-GOA [7]) project uses GO to describe proteins in UniProtKB [8]. The project has assigned GO terms to all complete and incomplete proteomes that exist in UniProtKB, using a combination...

denotes the soluble catalytic headgroup where ATP synthesis and hydrolysis occur, and F o is the ion-translocating membrane domain (see Figure). What is it? An enzyme that uses energy from the transmembrane proton electrochemical gradient, generated by oxidative metabolism or photosynthesis, to produce ATP from ADP and P i. The enzyme can also act in reverse, hydrolysing ATP and pumping H + or ...

Main library for Southern Illinois University Carbondale [2] Holds more than 2.6 million volumes, 200,000 e-books, 43,000 current periodicals and serials, and over 3.6 million microform units Provides access to I-Share [3] (the statewide automated library system) and to a comprehensive array of databases and other electronic data files Offers a wide range of services, including Reference assist...

Information such as gene sequence, splice variants and further annotation [3] can be retrieved at the genome, gene and protein level. This includes information on protein domains, genetic variation, homology, syntenic regions and regulatory elements. Coupled with analyses such as whole genome alignments and the effects of sequence variation on proteins, this powerful tool aims to describe a gen...

اندازه‌گیری پرتو گاما در زمینه‌های مختلف تحقیقاتی نیازمند آشکارسازهای کارآمد است. زمینه دزیمتری فوتون آشکارساز جرقه‌ای NaI(Tl) به عنوان یکی از سوسوزن معدنی (غیرآلی)، علت دارا بودن مقدار بالای نور خروجی بسیار حایز اهمیت این پژوهش سعی گردیده است، با کمک کد مونت‌کارلو (MCNPX) مقدمات مشخصه‌یابی توسط و بهره‌گیری روش‌های متفاوت محاسبه دز (تالی‌های 6F، 4*F، 6+F 8*F) انجام شود. طور معمول، یک تابش (شمار...

هدف: پژوهش حاضر با هدف شناسایی و اولویت‌بندی پیشایندها پسایندهای سبک رهبری چابک استفاده از روش دلفی فازی صورت پذیرفت.طراحی/ روش‌شناسی/ رویکرد: این نوع پژوهش‌های آمیخته رویکرد کیفی کمی در پارادایم استقرایی است که نظر هدف، کاربردی لحاظ ماهیت روش، اکتشافی است. جامعه آماری شرکت‌های دانش‌بنیان استان لرستان هستند 30 نفر خبرگان آنها بر اساس اصل کفایت نظری نمونه‌گیری هدفمند انتخاب شده‌اند. ابزار گردآور...

in this paper, acceptance criteria of steel building code, comprehensive and quick evaluation procedures for x-bracing, are compared to each other parametrically and numerically. for this purpose, it is assumed first that the sample building is designed to meet steel building code and then by introducing transform parameters and using stress ratio of the designed components, acceptance of the d...