دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات محاسباتی ویرایش: 1 نویسندگان: Marino Miculan, Giorgio Bacci (auth.), Corrado Priami (eds.) سری: Lecture Notes in Computer Science 4210 ISBN (شابک) : 3540461663, 9783540461661 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 332 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب روش های محاسباتی در زیست شناسی سیستم: کنفرانس بین المللی، CMSB 2006، Trento، Italy، 18-19 اکتبر 2006. پرونده ها: شبیه سازی و مدل سازی، بیوانفورماتیک، نرم افزار کامپیوتر. در علوم زندگی، مهندسی نرم افزار، مدیریت پایگاه داده، محاسبات توسط دستگاه های انتزاعی
در صورت تبدیل فایل کتاب Computational Methods in Systems Biology: International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های محاسباتی در زیست شناسی سیستم: کنفرانس بین المللی، CMSB 2006، Trento، Italy، 18-19 اکتبر 2006. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری کنفرانس بینالمللی روشهای محاسباتی در سیستمهای زیستشناسی، CMSB 2006، برگزار شده در ترنتو، ایتالیا، در اکتبر 2006 است.
22 مقاله کامل اصلاحشده همراه با 2 مقاله دعوت شده ارائه شده گفتگوها به دقت بررسی و از بین 68 مورد ارسالی انتخاب شدند. این مقالات تکنیکهای مختلفی از علوم کامپیوتر مانند طراحی زبان، نظریه همزمانی، مهندسی نرمافزار، و روشهای رسمی را برای زیستشناسان، فیزیکدانان و ریاضیدانان علاقهمند به درک سطح سیستمی فرآیندهای سلولی ارائه میکنند.
This book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2006, held in Trento, Italy, in October 2006.
The 22 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 68 submissions. The papers present a variety of techniques from computer science, such as language design, concurrency theory, software engineering, and formal methods, for biologists, physicists, and mathematicians interested in the systems-level understanding of cellular processes.
Front Matter....Pages -
Modal Logics for Brane Calculus....Pages 1-16
Deciding Behavioural Properties in Brane Calculi....Pages 17-31
Probabilistic Model Checking of Complex Biological Pathways....Pages 32-47
Type Inference in Systems Biology....Pages 48-62
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods....Pages 63-77
A Formal Approach to Molecular Docking....Pages 78-92
Feedbacks and Oscillations in the Virtual Cell VICE....Pages 93-107
Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins....Pages 108-126
Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets....Pages 127-141
Regulatory Network Reconstruction Using Stochastic Logical Networks....Pages 142-154
Identifying Submodules of Cellular Regulatory Networks....Pages 155-168
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks....Pages 169-183
A Computational Model for Eukaryotic Directional Sensing....Pages 184-195
Modeling Evolutionary Dynamics of HIV Infection....Pages 196-211
Compositional Reachability Analysis of Genetic Networks....Pages 212-226
Randomization and Feedback Properties of Directed Graphs Inspired by Gene Networks....Pages 227-241
Computational Model of a Central Pattern Generator....Pages 242-256
Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation....Pages 257-270
Condition Transition Analysis Reveals TF Activity Related to Nutrient-Limitation-Specific Effects of Oxygen Presence in Yeast....Pages 271-284
An In Silico Analogue of In Vitro Systems Used to Study Epithelial Cell Morphogenesis....Pages 285-297
A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion....Pages 298-311
Possibilistic Approach to Biclustering: An Application to Oligonucleotide Microarray Data Analysis....Pages 312-322
Back Matter....Pages -