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

2 - اتصال نمودار های بیرونی بدون انفجار عرض مسیر

2-Connecting outerplanar graphs without blowing up the pathwidth

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

تقریبی حداقل مجموعه مستقل در گراف های متضاد

Approximating the minimum independent dominating set in perturbed graphs

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

شبکه های تبادل اجتماعی با چانه زنی دور

Social exchange networks with distant bargaining

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

یک الگوریتم سریع برای جمع آوری داده ها در طول مسیر ثابت

A fast algorithm for data collection along a fixed track

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

در عرض درخت گرافیک پویا

On the treewidth of dynamic graphs

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

برنامه هایی برای محصولات بازاریابی با منفی خارجی؟

Schedules for marketing products with negative externalities

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

طرح غیر مربع - متعامد با چند لبه خم

Non-planar square-orthogonal drawing with few-bend edges

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

الگوریتم های آنلاین برای بسته بندی بطری دو بعدی و بسته بندی مربع برای یک فضای محدود

Online algorithms for 1-space bounded 2-dimensional bin packing and square packing

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

اتصال بین ظرفیت اتصال و خواص ساختاری نمودار

Connection between conjunctive capacity and structural properties of graphs

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

یک هسته لبه خطی برای به حداقل رساندن عبور دو لایه

A linear edge kernel for two-layer crossing minimization

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

انتخاب حافظه تنها با فضای کاری محدود

Selection from read-only memory with limited workspace

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

در ژنراتورهای شبه تصادفی خطی و عملکرد هاردکور

On linear-size pseudorandom generators and hardcore functions

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

یک روش سیستماتیک برای پیدا کردن قضیه خودکار

A systematic methodology for automated theorem finding

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

Editorial Board

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

The string guessing problem as a method to prove lower bounds on the advice complexity

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

How to catch L2L2-heavy-hitters on sliding windows

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

A practical decision procedure for Propositional Projection Temporal Logic with infinite models

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

Algorithms for parameterized maximum agreement forest problem on multiple trees

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

A formal proof of the deadline driven scheduler in PPTL axiomatic system

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

H-coloring degree-bounded (acyclic) digraphs

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

On the advice complexity of the online L(2,1)L(2,1)-coloring problem on paths and cycles

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