首页>外文期刊>数学、物理、化学、力学>数学>Theory of computing systems

Theory of computing systems

Theory of computing systems

SCIEI

中文名称：计算系统理论

ISSN：1432-4350
出版周期：Bimonthly

发文量：1142

期刊论文

年度选择

2023
- 第1期
- 第2期
- 第3期
- 第4期
2022
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2021
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2020
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2019
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2018
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2017
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2016
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2015
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2014
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2013
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2012
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2011
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2010
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2009
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2008
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第4期
- 第4期
2007
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2006
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2005
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2004
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2003
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2002
- 第6期
2001
- 第1期

更多>>

全选（0）

1.Approximating the Minimum Length of Synchronizing Words Is Hard

机译：逼近同步字的最小长度很困难
- 作者：Mikhail V. Berlinkov
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Synchronizing automata;
- Polynomial-time approximation;
2.Obtaining Online Ecological Colourings by Generalizing First-Fit

机译：通过推广先行拟合获得在线生态着色
- 作者：Matthew Johnson;Viresh Patel;Danieel Paulusma;Theophile Trunck
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Graph colouring;
- Graph homomorphisms;
- Online algorithms;
3.Validating the Knuth-Morris-Pratt Failure Function, Fast and Online

机译：快速在线验证Knuth-Morris-Pratt失效函数
- 作者：Pawel Gawrychowski;Artur Jez;Lukasz Jez
- 期刊名称：《Theory of computing systems》 | 2014年第2期
4.On Equilibria in Quantitative Games with Reachability/Safety Objectives

机译：具有可达性/安全性目标的定量博弈中的均衡
- 作者：Thomas Brihaye;Veronique Bruyere;Julie De Pril
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Turn-based quantitative game;
- Nash equilibrium;
- Secure equilibrium;
- Reachability/Safety objectives;
5.Growth of Power-Free Languages over Large Alphabets

机译：大字母无动力语言的发展
- 作者：Arseny M. Shur
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Formal languages;
- Power-free languages;
- Finite automata;
- Growth rate;
6.Lower Bound on Average-Case Complexity of Inversion of Goldreich's Function by Drunken Backtracking Algorithms

机译：酒醉回溯算法反演Goldreich函数的平均情况下复杂度的下界
- 作者：Dmitry Itsykson
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- DPLL;
- Goldreich's function;
- Lower bound;
- Expander;
7.Quotient Complexity of Closed Languages

机译：封闭语言的商复杂度
- 作者：Janusz Brzozowski;Galina Jiraskova;Chenglong Zou
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Closed language;
- Finite automaton;
- Quotient complexity;
- Regular language;
- State complexity;
8.Computational Complexity of Certain Problems Related to Carefully Synchronizing Words for Partial Automata and Directing Words for Nondeterministic Automata

机译：与部分自动机的仔细同步单词和非确定性自动机的定向单词相关的某些问题的计算复杂性
- 作者：Pavel Martyugin
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Synchronization;
- Automata;
- Directing Words;
- Computational Complexity;
9.Encoding Invariance in Average Case Complexity

机译：平均案例复杂度的编码不变性
- 作者：Nikolay Vereshchagin
- 期刊名称：《Theory of computing systems》 | 2014年第2期
10.Balancing Bounded Treewidth Circuits

机译：平衡有界树宽电路
- 作者：Maurice Jansen;Jayalal Sarma
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Arithmetic circuits;
- Boolean circuits;
- Bounded treewidth;
- Depth reduction;
- Circuit value problem;
11.Special Issue on Algorithmic Game Theory

机译：算法博弈论专刊
- 作者：Giuseppe Persiano
- 期刊名称：《Theory of computing systems》 | 2014年第3期
12.A Truthful Mechanism for Value-Based Scheduling in Cloud Computing

机译：云计算中基于价值的调度的真实机制
- 作者：Navendu Jain;Ishai Menache;Joseph (Seffi) Naor;Jonathan Yaniv
- 期刊名称：《Theory of computing systems》 | 2014年第3期
- Mechanism design;
- Approximation algorithms;
- Cloud computing;
- Resource allocation;
- Scheduling algorithms;
13.Weakly-Acyclic (Internet) Routing Games

机译：弱非循环（Internet）路由游戏
- 作者：Roee Engelberg;Michael Schapira
- 期刊名称：《Theory of computing systems》 | 2014年第3期
- Weakly-acyclic games;
- Routing games;
- Convergence to Nash equilibrium;
- Bestresponse dynamics;
14.Complexity of Rational and Irrational Nash Equilibria

机译：理性和非理性纳什均衡的复杂性
- 作者：Vittorio Bilo;Marios Mavronicolas
- 期刊名称：《Theory of computing systems》 | 2014年第3期
- Complexity theory;
- Decision problems;
- Strategic games;
- Nash equilibria;
15.Scheduling Without Payments

机译：计划无付款
- 作者：Elias Koutsoupias
- 期刊名称：《Theory of computing systems》 | 2014年第3期
- Algorithmic game theory;
- Mechanism design;
16.Strategic Pricing in Next-Hop Routing with Elastic Demands

机译：具有弹性需求的下一跳路由的战略定价
- 作者：Elliot Anshelevich;Ameya Hate;Koushik Kar
- 期刊名称：《Theory of computing systems》 | 2014年第3期
- Network pricing;
- Selfish routing;
- Elastic demand;
- Price of stability;
- Nash equilibrium;
17.Repeated Budgeted Second Price Ad Auction

机译：重复预算的二价广告拍卖
- 作者：Asaph Arnon;Yishay Mansour
- 期刊名称：《Theory of computing systems》 | 2014年第3期
- Algorithmic game theory;
- Auctions;
- Budget;
- Sponsored search;
18.Random Bimatrix Games Are Asymptotically Easy to Solve (A Simple Proof)

机译：随机Bimatrix游戏渐近易于解决（简单证明）
- 作者：Panagiota N. Panagopoulou;Paul G. Spirakis
- 期刊名称：《Theory of computing systems》 | 2014年第3期
- Approximate Nash equilibrium;
- Bimatrix game;
- Random game;
- Hoeffding bounds;
19.Picture-Hanging Puzzles

机译：画拼图
- 作者：Erik D. Demaine;Martin L. Demaine;Yair N. Minsky;Joseph S.B. Mitchell;Ronald L. Rivest;Mihai Patrascu
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Magic;
- Algorithms;
- Topology;
- Free group;
- Monotone functions;
20.Perfect Strategies for the Ulam-Renyi Game with Multi-interval Questions

机译：带有多个时间间隔问题的Ulam-Renyi游戏的完美策略
- 作者：Ferdinando Cicalese
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Searching;
- Errors;
- Interval questions;
- Perfect strategies;
- Ulam-Renyi game;
21.Optimal Sensor Networks for Area Monitoring Using Rotating and Beam Sensors

机译：使用旋转和光束传感器进行区域监控的最佳传感器网络
- 作者：Stefan Dobrev;Lata Narayanan;Jaroslav Opatrny
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Sensor network;
- Area monitoring;
- Intruder detection;
- Rotating sensors;
- Beam sensors;
22.Computational Aspects of M.C. Escher's Ribbon Patterns

机译：M.C.的计算方面埃舍尔的丝带图案
- 作者：Ellen Gethner;David G. Kirkpatrick;Nicholas J. Pippenger
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Escher;
- Ribbon patterns;
- Tiling;
- Geometric structure;
- Periodicity Optimization;
23.Practical Algorithms for Generating a Random Ordering of the Elements of a Weighted Set

机译：生成加权集元素随机排序的实用算法
- 作者：Kevin J. Lang
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Practical algorithms;
- Random ordering;
- Random sampling;
- Card shuffling;
24.Spanning Trees and the Complexity of Flood-Filling Games

机译：生成树与充水游戏的复杂性
- 作者：Kitty Meeks;Alexander Scott
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Computational complexity;
- Graph colouring;
- Games on graphs;
25.Editorial: Fun with Algorithms

机译：社论：算法的乐趣
- 作者：Evangelos Kranakis;Danny Krizanc;Flaminia Luccio
- 期刊名称：《Theory of computing systems》 | 2014年第4期
26.The Coolest Way to Generate Binary Strings

机译：生成二进制字符串的最酷方法
- 作者：Brett Stevens;Aaron Williams
- 期刊名称：《Theory of computing systems》 | 2014年第4期
27.Gaming Is a Hard Job, but Someone Has to Do It!

机译：游戏是一项艰巨的工作，但必须有人做！
- 作者：Giovanni Viglietta
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Complexity;
- Games;
- Pac-Man;
- Tron;
- Starcraft;
28.Scandinavian Thins on Top of Cake: New and Improved Algorithms for Stacking and Packing

机译：斯堪的纳维亚薄饼上的蛋糕：堆叠和包装的新算法和改进算法
- 作者：Helmut Alt;Esther M. Arkin;Alon Efrat;George Hart;Ferran Hurtado;Irina Kostitsyna;Alexander Kroeller;Joseph S. B. Mitchell;Valentin Polishchuk
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Computational geometry;
- Enclosure;
- Packing;
29.The Kissing Problem: How to End a Gathering When Everyone Kisses Everyone Else Goodbye

机译：接吻问题：当每个人都亲吻所有人时，如何结束聚会
- 作者：Michael A. Bender;Ritwik Bose;Rezaul Chowdhury;Samuel McCauley
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Algorithms;
- Kissing;
- Goodbye;
- Block sliding;
- Approximation algorithms;
- Routing;
- Communication;
30.String Indexing for Patterns with Wildcards

机译：带通配符的模式的字符串索引
- 作者：Philip Bille;Inge Li Gortz;Hjalte Wedel Vildhoj;Soren Vind
- 期刊名称：《Theory of computing systems》 | 2014年第1期
- String indexing;
- Wildcard;
- Variable length gap;
- Suffix tree;
- LCP data structure;
31.Constant Thresholds Can Make Target Set Selection Tractable

机译：恒定的阈值可使目标集选择变得可行
- 作者：Morgan Chopin;Andre Nichterlein;Rolf Niedermeier;Mathias Weller
- 期刊名称：《Theory of computing systems》 | 2014年第1期
- Spread of influence;
- Dynamics in social networks;
- Parameterized complexity;
- Kernelization;
32.Accepting Networks of Evolutionary Processors with Subregular Filters

机译：接受带有次正规滤波器的进化处理器网络
- 作者：Florin Manea;Bianca Truthe
- 期刊名称：《Theory of computing systems》 | 2014年第1期
- Evolutionary processors;
- Network of evolutionary processors;
- Subregular control;
- Computational power;
33.Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes

机译：赋范可交换上下文无关过程的分支双仿真的可判定性
- 作者：Wojciech Czerwinski;Piotr Hofman;Slawomir Lasota
- 期刊名称：《Theory of computing systems》 | 2014年第1期
34.Constant Unary Constraints and Symmetric Real-Weighted Counting Constraint Satisfaction Problems

机译：恒定一元约束和对称加权加权约束满足问题
- 作者：Tomoyuki Yamakami
- 期刊名称：《Theory of computing systems》 | 2014年第1期
35.Dynamic Matrix Rank with Partial Lookahead

机译：具有部分先行的动态矩阵排名
- 作者：Telikepalli Kavitha
- 期刊名称：《Theory of computing systems》 | 2014年第1期
- Dynamic algorithm;
- Matrix rank;
- Lookahead;
- Bulk update using matrix multiplication;
36.Distributed Knowledge Justification Logics

机译：分布式知识论证逻辑
- 作者：Meghdad Ghari
- 期刊名称：《Theory of computing systems》 | 2014年第1期
- Justification logic;
- Distributed knowledge;
- Multi-agent systems;
- Realization theorem;
37.A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization

机译：自稳定图线性化并行运行时的一个注记
- 作者：Dominik Gall;Riko Jacob;Andrea Richa;Christian Scheideler;Stefan Schmid;Hanjo Taeubig
- 期刊名称：《Theory of computing systems》 | 2014年第1期
- Distributed algorithms;
- Distributed systems;
- Peer-to-peer systems;
- Self-stabilization;
- Overlay networks;
- Performance;
38.Improved Randomized Online Scheduling of Intervals and Jobs

机译：改进的间隔和作业随机在线计划
- 作者：Stanley P.Y. Fung;Chung Keung Poon;Feifeng Zheng
- 期刊名称：《Theory of computing systems》 | 2014年第1期
- Interval and job scheduling;
- Preemption with restarts;
- Online algorithms;
- Randomized;
- Lower bound;
39.The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages

机译：多种上下文无关语言的强抽动引理失败
- 作者：Makoto Kanazawa;Gregory M. Kobele;Jens Michaelis;Sylvain Salvati;Ryo Yoshinaka
- 期刊名称：《Theory of computing systems》 | 2014年第1期
- Multiple context-free grammar;
- Pumping lemma;
40.Editorial

机译：社论
- 作者：Nikolay Vereshchagin
- 期刊名称：《Theory of computing systems》 | 2014年第2期
41.Improving the Space-Bounded Version of Muchnik's Conditional Complexity Theorem via 'Naive' Derandomization

机译：通过“朴素”去随机化改进Muchnik条件复杂性定理的有界形式
- 作者：Daniil Musatov
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Space-bounded Kolmogorov complexity;
- Muchnik's theorem;
- Nisan-Wigderson generators;
- Derandomisation;
- Extractors;
42.An Extended Tree-Width Notion for Directed Graphs Related to the Computation of Permanents

机译：与永久性计算相关的有向图的扩展树宽概念
- 作者：Klaus Meer
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Treewidth notions for digraphs;
- Efficient algorithms;
- Computation of the permanent;
43.The Complexity of Solving Reachability Games Using Value and Strategy Iteration

机译：用价值和策略迭代法解决可及性博弈的复杂性
- 作者：Kristoffer Arnsfelt Hansen;Rasmus Ibsen-Jensen;Peter Bro Miltersen
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Concurrent reachability games;
- Value iteration;
- Strategy iteration;
- Analysis of algorithms;
44.Learning Read-Constant Polynomials of Constant Degree Modulo Composites

机译：学习恒定度模量复合材料的恒定常数多项式
- 作者：Arkadev Chattopadhyay;Ricard Gavalda;Kristoffer Arnsfelt Hansen;Denis Therien
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Polynomials over finite rings;
- Exact learning;
- Membership queries;
- Modular gates;
45.The Equivalence of Sampling and Searching

机译：采样与搜索的等价
- 作者：Scott Aaronson
- 期刊名称：《Theory of computing systems》 | 2014年第2期
46.Pseudo-Random Graphs and Bit Probe Schemes with One-Sided Error

机译：具有单面错误的伪随机图和位探测方案
- 作者：Andrei Romashchenko
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Data structures;
- Derandomization;
- Pseudorandom number generators;
- Expander graphs;
47.Join-Reachability Problems in Directed Graphs

机译：有向图的联接可达性问题
- 作者：Loukas Georgiadis;Stavros D. Nikolopoulos;Leonidas Palios
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Algorithms;
- Data structures;
- Graph algorithms;
- Reachability;
- Combinatorial complexity;
48.Two-Way Automata Versus Logarithmic Space

机译：两向自动机与对数空间
- 作者：Christos A. Kapoutsis
- 期刊名称：《Theory of computing systems》 | 2014年第2期
- Two-way finite automata;
- 2D versus 2N;
- Sakoda-Sipser conjecture;
- Logarithmic space;
- L versus NL;
- Sub-logarithmic space;
49.Foreword: Parallelism in Algorithms and Architectures

机译：前言：算法和体系结构中的并行性
- 作者：Geppino Pucci;Victor Luchangco;Rajmohan Rajaraman
- 期刊名称：《Theory of computing systems》 | 2014年第3期
50.Nearly-Linear Work Parallel SDD Solvers, Low-Diameter Decomposition, and Low-Stretch Subgraphs

机译：几乎线性的工作并行SDD求解器，低直径分解和低拉伸子图
- 作者：Guy E. Blelloch;Anupam Gupta;Ioannis Koutis;Gary L. Miller;Richard Peng;Kanat Tangwongsan
- 期刊名称：《Theory of computing systems》 | 2014年第3期
- Parallel algorithms;
- Linear systems;
- Low-stretch spanning trees;
- Low-stretch subgraphs;
- Low-diameter decomposition;
51.Re-Chord: A Self-stabilizing Chord Overlay Network

机译：重新和弦：一个自稳定的和弦叠加网络
- 作者：Sebastian Kniesburges;Andreas Koutsopoulos;Christian Scheideler
- 期刊名称：《Theory of computing systems》 | 2014年第3期
- Chord;
- Peer-to-peer networks;
- Self-stabilizing protocols;
- Distributed algorithms;
52.Tight Bounds for Adopt-Commit Objects

机译：收养对象的严格界限
- 作者：James Aspnes;Faith Ellen
- 期刊名称：《Theory of computing systems》 | 2014年第3期
- Distributed computing;
- Shared memory;
- Anonymity;
- Lower bounds;
- Covering argument;
- Adopt-commit;
- Randomized consensus;
53.Highly-Efficient Wait-Free Synchronization

机译：高效的免等待同步
- 作者：Panagiota Fatourou;Nikolaos D. Kallimanis
- 期刊名称：《Theory of computing systems》 | 2014年第3期
- Concurrent data structures;
- Concurrent queues;
- Concurrent stacks;
- Wait freedom;
- Synchronization;
- Combining;
- Universal constructions;
54.Software Engineering with Transactional Memory Versus Locks in Practice

机译：实践中具有事务性内存与锁的软件工程
- 作者：Victor Pankratius;Ali-Reza Adl-Tabatabai
- 期刊名称：《Theory of computing systems》 | 2014年第3期
- Parallel programming;
- Transactional memory;
- Language design;
- Human factors;
- Synchronization;
- Programming techniques;
55.On a Local Protocol for Concurrent File Transfers

机译：关于并发文件传输的本地协议
- 作者：Mohammad Taghi Hajiaghayi;Rohit Khandekar;Guy Kortsarz;Vahid Liaghat
- 期刊名称：《Theory of computing systems》 | 2014年第3期
- Local protocol;
- Scheduling;
- File transfer;
- Average completion time;
- MakeSpan;
56.Preface of STACS 2012 Special Issue

机译：STACS 2012特刊序言
- 作者：Christoph Duerr;Thomas Wilke
- 期刊名称：《Theory of computing systems》 | 2014年第4期
57.The Complexity of Compressed Membership Problems for Finite Automata

机译：有限自动机压缩成员问题的复杂性
- 作者：Artur Jez
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Compressed membership problem;
- SLP;
- Finite automata;
- Algorithms for compressed data;
58.Efficient Algorithms for Highly Compressed Data: The Word Problem in Generalized Higman Groups Is in P

机译：高效压缩数据的算法：广义Higman组中的Word问题在P中
- 作者：Juern Laun
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Data structures;
- Compression;
- Algorithmic group theory;
- Word problem;
59.On the Separation Question for Tree Languages

机译：关于树语言的分离问题
- 作者：Andre Arnold;Henryk Michalewski;Damian Niwinski
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Alternating tree automata;
- Separation property;
- Rabin-Mostowski index;
60.13/9-Approximation for Graphic TSP

机译：图形TSP的13/9逼近
- 作者：Marcin Mucha
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Approximation algorithms;
- Travelling salesman problem;
61.Playing Mastermind with Constant-Size Memory

机译：使用恒定大小的内存播放主脑
- 作者：Benjamin Doerr;Carola Winzen
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Mastermind;
- Query complexity;
- Memory-restricted algorithms;
62.Linear-Space Data Structures for Range Mode Query in Arrays

机译：数组中范围模式查询的线性空间数据结构
- 作者：Timothy M. Chan;Stephane Durocher;Kasper Green Larsen;Jason Morrison;Bryan T. Wilkinson
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Mode;
- Range query;
- Data structure;
- Linear space;
- Array;
63.On First-Order Logic and CPDA Graphs

机译：关于一阶逻辑和CPDA图
- 作者：Christopher H. Broadbent
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Collapsible pushdown automata;
- First order logic;
- Logical reflection;
64.Model-Theoretic Properties of ω-Automatic Structures

机译：ω-自动结构的模型理论性质
- 作者：Faried Abu Zaid;Erich Graedel;Lukasz Kaiser;Wied Pakusa
- 期刊名称：《Theory of computing systems》 | 2014年第4期
- Logic;
- Algorithmic model theory;
- Automatic structures;
65.Maximal Pairs of Computably Enumerable Sets in the Computably Lipschitz Degrees

机译：可计算Lipschitz度中的最大可计算集对
- 作者：Klaus Ambos-Spies;Decheng Ding;Yun Fan;Wolfgang Merkle
- 期刊名称：《Theory of computing systems》 | 2013年第1期
- computably lipschitz degrees;
- maximal pairs;
- computably enumerable sets;
66.Effective Randomness of Unions and Intersections

机译：并集和相交的有效随机性
- 作者：Douglas Cenzer;Rebecca Weber
- 期刊名称：《Theory of computing systems》 | 2013年第1期
- computable analysis;
- computability;
- randomness;
67.One-Way Functions Using Algorithmic and Classical Information Theories

机译：使用算法和经典信息论的单向函数
- 作者：Luis Antunes;Armando Matos;Alexandre Pinto;Andre Souto;Andreia Teixeira
- 期刊名称：《Theory of computing systems》 | 2013年第1期
- kolmogorov complexity;
- one-way functions;
- symmetry of information;
- yao entropy;
68.Computability, Complexity and Randomness

机译：可计算性，复杂性和随机性
- 作者：Rod Downey
- 期刊名称：《Theory of computing systems》 | 2013年第1期
69.On the Gap Between Trivial and Nontrivial Initial Segment Prefix-Free Complexity

机译：平凡和非平凡的初始段无前缀复杂性之间的差距
- 作者：Martijn Baartse;George Barmpalias
- 期刊名称：《Theory of computing systems》 | 2013年第1期
- kolmogorov complexity;
- initial segment prefix-free complexity;
- K-triviality;
- low for Ω;
70.Martin-Loef Randomness, Invariant Measures and Countable Homogeneous Structures

机译：Martin-Loef随机性，不变测度和可数同质结构
- 作者：Willem L. Fouche
- 期刊名称：《Theory of computing systems》 | 2013年第1期
- martin-loef randomness;
- topological dynamics;
- amenable groups;
- fraisse limits;
- ramsey theory;
71.Time-Bounded Kolmogorov Complexity and Solovay Functions

机译：有时间限制的Kolmogorov复杂度和Solovy函数
- 作者：Rupert Hoelzl;Thorsten Kraeling;Wolfgang Merkle
- 期刊名称：《Theory of computing systems》 | 2013年第1期
- kolmogorov complexity;
- solovay function;
- computational depth;
- kummer's gap theorem;
- traceability;
- high degree;
72.Dimension Is Compression

机译：尺寸就是压缩
- 作者：Maria Lopez-Valdes;Elvira Mayordomo
- 期刊名称：《Theory of computing systems》 | 2013年第1期
- computational complexity;
- information theory;
- effective dimension;
73.Characterization of Kurtz Randomness by a Differentiation Theorem

机译：用微分定理刻画Kurtz随机性
- 作者：Kenshi Miyabe
- 期刊名称：《Theory of computing systems》 | 2013年第1期
- differentiability;
- the differentiation theorem;
- kurtz randomness;
- integral test;
- computable metric space;
74.Using Ideas of Kolmogorov Complexity for Studying Biological Texts

机译：利用柯尔莫哥洛夫复杂性思想研究生物学文本
- 作者：Boris Ryabko;Zhanna Reznikova;Alexey Druzyaka;Sofia Panteleeva
- 期刊名称：《Theory of computing systems》 | 2013年第1期
- kolmogorov complexity;
- hypothesis testing;
75.Axiomatizing Kolmogorov Complexity

机译：公理化Kolmogorov复杂度
- 作者：Antoine Taveneaux
- 期刊名称：《Theory of computing systems》 | 2013年第1期
- kolmogorov complexity;
- slow growing functions;
76.Deterministic Rendezvous of Asynchronous Bounded-Memory Agents in Polygonal Terrains

机译：多边形地形中的异步有界存储代理的确定性集合
- 作者：Jurek Czyzowicz;Adrian Kosowski;Andrzej Pelc
- 期刊名称：《Theory of computing systems》 | 2013年第2期
- mobile agent;
- rendezvous;
- deterministic;
- polygon;
- obstacle;
- bounded memory;
77.Parameterized Random Complexity

机译：参数化随机复杂度
- 作者：Juan Andres Montoya;Moritz Mueller
- 期刊名称：《Theory of computing systems》 | 2013年第2期
78.A Combinatorial Analysis for the Critical Clause Tree

机译：关键子句树的组合分析
- 作者：Masaki Yamamoto
- 期刊名称：《Theory of computing systems》 | 2013年第2期
- critical clause tree;
- k-SAT;
79.Strategic Multiway Cut and Multicut Games

机译：战略多方切入和多切游戏
- 作者：Elliot Anshelevich;Bugra Caskurlu;Ameya Hate
- 期刊名称：《Theory of computing systems》 | 2013年第2期
- network formation games;
- price of stability;
- approximate nash equilibrium;
- multiway cut;
- multi-cut;
80.Energy-Efficient Communication in Multi-interface Wireless Networks

机译：多接口无线网络中的节能通信
- 作者：Stavros Athanassopoulos;Ioannis Caragiannis;Christos Kaklamanis;Evi Papaioannou
- 期刊名称：《Theory of computing systems》 | 2013年第2期
- wireless networks;
- energy-efficiency;
- approximation algorithms;
81.An Additivity Theorem for Plain Kolmogorov　Complexity

机译：平原Kolmogorov复杂性的加和定理
- 作者：Bruno Bauwens;Alexander Shen
- 期刊名称：《Theory of computing systems》 | 2013年第2期
- kolmogorov complexity;
- symmetry of information;
- additivity of kolmogorov complexity;
- plain complexity;
82.On Reversible Cascades in Scale-Free and Erdos-Renyi Random Graphs

机译：无标度和Erdos-Renyi随机图中的可逆级联
- 作者：Ching-Lueh Chang;Chao-Hong Wang
- 期刊名称：《Theory of computing systems》 | 2013年第2期
- reversible dynamic monopoly;
- local interaction game;
- repetitive polling game;
- static monopoly;
- fault propagation;
- global cascade;
83.On the Expansion and Diameter of Bluetooth-Like Topologies

机译：像蓝牙一样的拓扑结构的扩展和直径
- 作者：Alberto Pettarin;Andrea Pietracaprina;Geppino Pucci
- 期刊名称：《Theory of computing systems》 | 2013年第2期
- wireless networks;
- expansion;
- diameter;
- random graphs;
- bluetooth protocol;
84.Preface

机译：前言
- 作者：Tova Milo
- 期刊名称：《Theory of computing systems》 | 2013年第3期
85.Knowledge Compilation Meets Database Theory:Compiling Queries to Decision Diagrams

机译：知识编译符合数据库理论：对决策图的查询
- 作者：Abhay Jha;Dan Suciu
- 期刊名称：《Theory of computing systems》 | 2013年第3期
- probabilistic databases;
- knowledge compilation;
- binary decision diagrams;
- OBDD;
- FBDD;
- d-DNNF;
86.Relaxed Notions of Schema Mapping Equivalence Revisited

机译：重新审视模式映射对等概念
- 作者：Reinhard Pichler;Emanuel Sallinger;Vadim Savenkov
- 期刊名称：《Theory of computing systems》 | 2013年第3期
- data integration;
- schema mapping optimization;
- equivalence of schema mappings;
87.(Approximate) Uncertain Skylines

机译：（大约）不确定的天际线
- 作者：Peyman Afshani;Pankaj K. Agarwal;Lars Arge;Kasper Green Larsen;Jeff M. Phillips
- 期刊名称：《Theory of computing systems》 | 2013年第3期
- data structures;
- approximation algorithms;
- computational geometry;
88.Querying Probabilistic Business Processes for Sub-Flows

机译：查询子流的概率业务流程
- 作者：Daniel Deutch
- 期刊名称：《Theory of computing systems》 | 2013年第3期
- business processes;
- projection queries;
- probabilistic models;
89.Data Cleaning and Query Answering with Matching Dependencies and Matching Functions

机译：具有匹配依赖项和匹配功能的数据清理和查询应答
- 作者：Leopoldo Bertossi;Solinaz Kolahi;Laks V.S. Lakshmanan
- 期刊名称：《Theory of computing systems》 | 2013年第3期
- databases;
- data cleaning;
- matching dependency;
- entity resolution;
- matching function;
- semantic domination;
- lattice;
- certain answer;
- possible answer;
- query relaxation;
90.Generating, Sampling and Counting Subclasses of Regular Tree Languages

机译：生成，采样和计数常规树语言的子类
- 作者：Timos Antonopoulos;Floris Geerts;Wim Martens;Frank Neven
- 期刊名称：《Theory of computing systems》 | 2013年第3期
- XML schema languages;
- counting;
- complexity;
91.On Rationality of Verbal Subsets in a Group

机译：论群体语言子集的合理性
- 作者：A. Myasnikov;V. Romankov
- 期刊名称：《Theory of computing systems》 | 2013年第4期
- free groups;
- free products;
- finite automata;
- verbal sets;
92.The Rank-Width of Edge-Coloured Graphs

机译：边色图的等级宽度
- 作者：Mamadou Moustapha Kante;Michael Rao
- 期刊名称：《Theory of computing systems》 | 2013年第4期
- rank-width;
- clique-width;
- local complementation;
- vertex-minor;
- excluded configuration;
- 2-structure;
- sigma-symmetry;
93.Parameterized Complexity of Satisfying Almost All Linear Equations over F_2

机译：满足F_2上几乎所有线性方程组的参数化复杂度
- 作者：R. Crowston;G. Gutin;M. Jones;A. Yeo
- 期刊名称：《Theory of computing systems》 | 2013年第4期
- parameterized complexity;
- linear equations;
- finite field;
94.Collusion in Atomic Splittable Routing Games

机译：原子可拆分路由游戏中的合谋
- 作者：Chien-Chung Huang
- 期刊名称：《Theory of computing systems》 | 2013年第4期
- selfish routing;
- collusion;
- social cost;
- nash equilibria;
- exact algorithms;
95.Colorings with few Colors: Counting, Enumeration and Combinatorial Bounds

机译：几乎没有颜色的着色：计数，枚举和组合边界
- 作者：Jean-Francois Couturier;Petr A. Golovach;Dieter Kratsch;Mathieu Liedloff;Artem Pyatkin
- 期刊名称：《Theory of computing systems》 | 2013年第4期
- algorithms;
- graphs;
- exact exponential time algorithms;
- enumeration;
- counting;
- coloring;
96.Improved Lower Bounds on the Price of Stability of Undirected Network Design Games

机译：改进了无向网络设计游戏稳定性价格的下界
- 作者：Vittorio Bilo;Ioannis Caragiannis;Angelo Fanelli;Gianpiero Monaco
- 期刊名称：《Theory of computing systems》 | 2013年第4期
97.Partition Into Triangles on Bounded Degree Graphs

机译：在有界度图上划分成三角形
- 作者：Johan M.M. van Rooij;Marcel E. van Kooten Niekerk;Hans L. Bodlaender
- 期刊名称：《Theory of computing systems》 | 2013年第4期
- algorithms;
- exact algorithms;
- partition into triangles;
- graph algorithms;
- bounded degree graphs;
- satisfiability;
98.Built-in Coloring for Highly-Concurrent Doubly-Linked Lists

机译：内置着色的高并发双链接列表
- 作者：Hagit Attiya;Eshcar Hillel
- 期刊名称：《Theory of computing systems》 | 2013年第4期
99.Preface to Special Issue on Algorithmic Game Theory

机译：算法博弈论特刊序
- 作者：Spyros Kontogiannis;Elias Koutsoupias;Pavlos Spirakis
- 期刊名称：《Theory of computing systems》 | 2013年第1期
100.Mixing Time and Stationary Expected Social Welfare of Logit Dynamics

机译：Logit Dynamics的混合时间和固定的预期社会福利
- 作者：Vincenzo Auletta;Diodato Ferraioli;Francesco Pasquale;Giuseppe Persiano
- 期刊名称：《Theory of computing systems》 | 2013年第1期
- Logit dynamics;
- Mixing time;
- Social welfare;
- Equilibria;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号