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

به حداقل رساندن زمان جریان متوسط ​​تحت محدودیت کوله پشتی

Minimizing average flow-time under knapsack constraint

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

تقریب برای حداقل هزینه حل دوبعدی مشکل

Approximation for the minimum cost doubly resolving set problem

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

یک روش تصمیمی مبتنی بر کانونی و روش چک کردن مدل برای منطق زمانی منطقی گزاره ای

A canonical form based decision procedure and model checking approach for propositional projection temporal logic

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

کوتاه ترین فواصل زمان بندی رنگ

Shortest color-spanning intervals

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

الگوریتم های کوانتومی برای پیدا کردن زیرپراگراف های ثابت

Quantum algorithms for finding constant-sized sub-hypergraphs

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

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

On the hardness of labeled correlation clustering problem: A parameterized complexity view

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

در پیچیدگی بازبینی درخواست نمونه گیری محدود پایگاه داده تعمیر از نقض وابستگی عملکردی

On the complexity of sampling query feedback restricted database repair of functional dependency violations

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

اسکن بسته بهینه در برابر حملات مخرب در شبکه های هوشمند

Optimal packet scan against malicious attacks in smart grids

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

یک سیستم عاملی کامل برای منطق زمانی گزاره ای با مدل محاسبات سیلندر

A complete axiom system for propositional projection temporal logic with cylinder computation model

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

ارتفاعات صاف درخت و درخت پاتریشیا

Smoothed heights of tries and patricia tries

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

Editorial Board

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

Approximation algorithm for the balanced 2-connected k-partition problem

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

A new approximation algorithm for the unbalanced Min s–t Cut problem

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