دانلود رایگان مقالات نشریه ISI علوم کامپیوتر نظری

مدل سازی و تجزیه و تحلیل شبکه های عصبی با استفاده از جبر فرآیند ترکیبی

Modelling and analysing neural networks using a hybrid process algebra

50 صفحه فرمت PDF سال انتشار : 2016 دانلود متن کامل مقاله ISI سفارش ترجمه

محدوده پایین تر از اندازه اتوماتای ​​نهایی نیمه کوانتومی

Lower bounds on the size of semi-quantum finite automata

8 صفحه فرمت PDF سال انتشار : 2016 دانلود متن کامل مقاله ISI سفارش ترجمه

مدل سازی و تایید سیستم های عصبی وزنی

Modelling and verification of weighted spiking neural systems

11 صفحه فرمت PDF سال انتشار : 2016 دانلود متن کامل مقاله ISI سفارش ترجمه

پیچیدگی مدل چک کردن سیستم های واکنش

Complexity of model checking for reaction systems

11 صفحه فرمت PDF سال انتشار : 2016 دانلود متن کامل مقاله ISI سفارش ترجمه

بررسی علل پویایی در سیستم های واکنش

Investigating dynamic causalities in reaction systems

32 صفحه فرمت PDF سال انتشار : 2016 دانلود متن کامل مقاله ISI سفارش ترجمه

محاسبه با ویروس ها

Computing with viruses

14 صفحه فرمت PDF سال انتشار : 2016 دانلود متن کامل مقاله ISI سفارش ترجمه

کنترل قدرت موازی با استفاده از استراتژی های تکاملی متا بر روی مدل بیضوی

Mutation strength control via meta evolution strategies on the ellipsoid model

20 صفحه فرمت PDF سال انتشار : 2016 دانلود متن کامل مقاله ISI سفارش ترجمه

سیستم های عصبی پکیج مانند سلول

Cell-like spiking neural P systems

10 صفحه فرمت PDF سال انتشار : 2016 دانلود متن کامل مقاله ISI سفارش ترجمه

Editorial Board

7 صفحه فرمت PDF سال انتشار : 2016 دانلود متن کامل مقاله ISI سفارش ترجمه

Limit behaviour of μ-equicontinuous cellular automata

13 صفحه فرمت PDF سال انتشار : 2016 دانلود متن کامل مقاله ISI سفارش ترجمه

Small (purely) catalytic P systems simulating register machines

10 صفحه فرمت PDF سال انتشار : 2016 دانلود متن کامل مقاله ISI سفارش ترجمه

Flat maximal parallelism in P systems with promoters

9 صفحه فرمت PDF سال انتشار : 2016 دانلود متن کامل مقاله ISI سفارش ترجمه