دانلود رایگان مقالات نشریه ISI اطلاعات و محاسبات

اثبات نزدیکی برای زبان های غیر متنی و برنامه های یکپارچه خواندن

Proofs of proximity for context-free languages and read-once branching programs

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

ارتباطات تعاملی با نرخ نویز ناشناخته

Interactive communication with unknown noise rate

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

خواص گراف متقارن دارای لبه های مستقل است

Symmetric graph properties have independent edges

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

فروش دو محصول به طور مطلوب

Selling two goods optimally

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

معناشناسی بازی برای انواع وابسته

Game semantics for dependent types

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

در کاهش خطری سازی در دسترس بودن دولت

On reducing linearizability to state reachability

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

بزرگترین نقاط ثابت معادلات مینیمم / حداکثر احتمال معادله احتمال و قابل دستیابی برای شکاف فرآیندهای تصمیم مارکوف

Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes

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

مشکلات تصمیم گیری مبدل های درختی با مبدأ

Decision problems of tree transducers with origin

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

کاهش محلی

Local reduction

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

اتصال دوطرفه در نمودارهای هدایت شده

2-vertex connectivity in directed graphs

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

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

An improved combinatorial algorithm for Boolean matrix multiplication

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

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

Dynamic algorithms via the primal-dual method

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

مدارهای کمپرسور بیش از محدودیت های ارسالی محدود

Comparator Circuits over Finite Bounded Posets

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

Short proofs of the Kneser-Lovász coloring principle

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

Effect algebras, presheaves, non-locality and contextuality

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

Block interpolation: A framework for tight exponential-time counting complexity

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

Linear-time list recovery of high-rate expander codes

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