首页>外文期刊>计算机、自动化>Information and computation

Information and computation

Information and computation

SCIEI

中文名称：信息与计算

ISSN：0890-5401
出版周期：1.225

发文量：1368

期刊论文

年度选择

2022
- 第ptaa期
- 第ptab期
2021
- 第2期
- 第4期
- 第10期
2020
- 第2期
- 第4期
- 第6期
- 第8期
- 第10期
- 第12期
2019
- 第2期
- 第4期
- 第6期
- 第8期
- 第10期
- 第12期
2018
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
- 第12期
2017
- 第1期
- 第2期
- 第3期
- 第10期
- 第12期
2016
- 第2期
- 第4期
- 第6期
- 第8期
- 第10期
- 第12期
2015
- 第2期
- 第4期
- 第6期
- 第8期
- 第10期
- 第12期
2014
- 第2期
- 第4期
- 第8期
- 第10期
- 第11期
- 第12期
2013
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第9期
- 第10期
- 第11期
- 第12期
2012
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第novaade期
2011
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2010
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2009
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2008
- 第1期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第10期
- 第11期
- 第12期
2007
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2006
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2005
- 第1期
- 第2期
2004
- 第1期
- 第2期
2003
- 第1期
- 第2期
2002
- 第1期
- 第2期
2001
- 第1期
- 第2期
2000
- 第1期
- 第2期
1999
- 第1期
- 第2期
1998
- 第1期
- 第2期
1997
- 第1期
- 第2期
1995
- 第1期
- 第2期

更多>>

全选（0）

1.Computation of Approximate Polynomial GCDs and an Extension

机译：近似多项式GCD的计算和扩展
- 作者：Victor Y. Pan
- 期刊名称：《Information and computation》 | 2001年第2期
- polynomial GCDs;
- approximate GCDs;
- Pade approximation;
2.An Algebra of Discrete Channels That Involve Combinations of Three Basic Error Types

机译：涉及三种基本错误类型的组合的离散通道的代数
- 作者：Stavros Konstantinidis
- 期刊名称：《Information and computation》 | 2001年第2期
- channel;
- code;
- decidable;
3.Reduction Algorithms for Graphs of Small Treewidth

机译：小树宽图的约简算法
- 作者：Hans L. Bodlaender;Babette van Antwerpen-de Fluiter
- 期刊名称：《Information and computation》 | 2001年第2期
4.Static Analysis for the π-Calculus with Applications to Security

机译：π演算的静态分析及其在安全中的应用
- 作者：Chiara Bodei;Pierpaolo Degano;Flemming Nielson
- 期刊名称：《Information and computation》 | 2001年第1期
5.Dependent types with Subtyping and Late-Bound Overloading

机译：具有子类型和后期重载的从属类型
- 作者：Giuseppe Castagna;Gang Chen
- 期刊名称：《Information and computation》 | 2001年第1期
6.Circuit and Decision Tree Complexity of Some Number Theoretic Problems

机译：一些数论问题的电路和决策树复杂性
- 作者：Anna Bernasconi;Carsten Damm;Igor Shparlinski
- 期刊名称：《Information and computation》 | 2001年第2期
7.Adding For-Loops to First-Order Logic

机译：将循环添加到一阶逻辑
- 作者：fRANK Neven;Martin Otto;Jurek Tyszkiewicz
- 期刊名称：《Information and computation》 | 2001年第2期
- database theory;
- query languages;
- for-loops;
8.Lower Bounds for Merging Networks

机译：合并网络的下界
- 作者：Shigeki Iwata
- 期刊名称：《Information and computation》 | 2001年第2期
- merging network;
- odd-even merge;
- comparator;
9.The Complexity of the K_n,n -Problem for Node Replacement Graph Languages

机译：节点替换图语言的K_n，n-问题的复杂性
- 作者：Konstantin Skodinis
- 期刊名称：《Information and computation》 | 2001年第2期
10.On Some Schutzenberger Conjectures

机译：关于一些舒岑贝格猜想
- 作者：Clelia De Felice
- 期刊名称：《Information and computation》 | 2001年第2期
11.Iterated Function Systems and Control Languages

机译：迭代功能系统和控制语言
- 作者：Henning Fernau;Ludwig Staiger
- 期刊名称：《Information and computation》 | 2001年第2期
12.More on Representation Theory for Default Logic

机译：有关默认逻辑的表示理论的更多信息
- 作者：Kaile Su
- 期刊名称：《Information and computation》 | 2001年第1期
- default logic;
- extensions;
- representability;
13.Incremental Convex Planarity Testing

机译：增量凸平面度测试
- 作者：Giuseppe;Di Battista;Roberto Tamassia
- 期刊名称：《Information and computation》 | 2001年第1期
14.Automata-Driven Automated Induction

机译：自动机驱动的自动感应
- 作者：Adel Bouhoula;Jean-Pierre Jouannaud
- 期刊名称：《Information and computation》 | 2001年第1期
15.A Theory of Observables for Logic Programs

机译：逻辑程序的可观察性理论
- 作者：Marco Comini;Giorgio Levi;Maria Chiara Meo
- 期刊名称：《Information and computation》 | 2001年第1期
- SLD-derivations;
- semantics;
- compositionality;
16.Context-Free Series on Trees

机译：无上下文树系列
- 作者：Symeon Bozapalidis
- 期刊名称：《Information and computation》 | 2001年第2期
17.Most Sequences Are Stochastic

机译：大多数序列是随机的
- 作者：V. V. Vyugin
- 期刊名称：《Information and computation》 | 2001年第2期
18.On the Power of Las Vegas for One-Way Communication Complexity, OBDDs, and Finite Automata

机译：论拉斯维加斯对于单向通信复杂性，OBDD和有限自动机的强大功能
- 作者：Juraj Hromkovic;Georg Schnitger
- 期刊名称：《Information and computation》 | 2001年第2期
- computational complexity;
- Las Vegas;
- determinism;
19.SGML and XML Document Grammars and Exceptions

机译：SGML和XML文档语法和异常
- 作者：Pekka kilpelainen;Derick Wood
- 期刊名称：《Information and computation》 | 2001年第2期
20.The Complexity of the Exponential Output Size Problem for Top-Down and Bottom-Up Tree Transducers

机译：自顶向下和自底向上树型换能器指数输出尺寸问题的复杂性
- 作者：Frank Drewes
- 期刊名称：《Information and computation》 | 2001年第2期
- tree transducer;
- output size;
21.Bounded Queries, Approximations, and the Boolean Hierarchy

机译：有界查询，逼近和布尔层次结构
- 作者：Richard Chang
- 期刊名称：《Information and computation》 | 2001年第2期
22.Computing a Context-Free Grammar-Generating Series

机译：计算上下文无关的语法生成序列
- 作者：Bruce Litow
- 期刊名称：《Information and computation》 | 2001年第2期
23.Quorum Systems Constructed from Combinatorial Designs

机译：从组合设计构建仲裁系统
- 作者：Charles J. Colbourn;Jeffrey H. Dinitz;Douglas R. Stinson
- 期刊名称：《Information and computation》 | 2001年第2期
24.Learning Fixed-Dimension Linear Thresholds from Fragmented Data

机译：从片段数据中学习固定维线性阈值
- 作者：Paul W. Goldberg
- 期刊名称：《Information and computation》 | 2001年第1期
25.Induction by Enumeration

机译：枚举归纳
- 作者：Eric Martin;Daniel Osherson
- 期刊名称：《Information and computation》 | 2001年第1期
26.The Query complexity of Finding Local Minima in the Lattice

机译：在格中查找局部极小值的查询复杂度
- 作者：Amos Beimel;Felix Geller;Eyal Kushilevitz
- 期刊名称：《Information and computation》 | 2001年第1期
27.Space Bounds for Resolution

机译：分辨率的空间界限
- 作者：Juan Luis Esteban;Jacobo Toran
- 期刊名称：《Information and computation》 | 2001年第1期
- resolution;
- space bounds;
- pebble game;
28.Contextual Petri Nets, Asymmetric Event Structures, and Processes

机译：上下文陪替氏网，非对称事件结构和过程
- 作者：Paolo Baldan;Andrea Corradini;Ugo Montanari
- 期刊名称：《Information and computation》 | 2001年第1期
- contexutual Petri nets;
- read arcs;
- asymmetric conflict;
- concurrent semantics;
29.Rationality in Algebras with a Series Operation

机译：代数运算的合理性
- 作者：K. Lodaya;P. Weil
- 期刊名称：《Information and computation》 | 2001年第2期
30.Approximating Unweighted Connectivity Problems in Parallel

机译：并行近似非加权连接问题
- 作者：Zhi-Zhong Chen
- 期刊名称：《Information and computation》 | 2001年第2期
31.An Infinite Hierarchy of Temporal Logics over Branching Time

机译：分支时间上时间逻辑的无限层次
- 作者：Alexander Rabinovich;Shahar Maoz
- 期刊名称：《Information and computation》 | 2001年第2期
32.A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser

机译：不是Church-Rosser的弱Church-Rosser抽象归约系统的特征
- 作者：Benedetto Intrigila
- 期刊名称：《Information and computation》 | 2001年第2期
33.Clausal Logic and Logic Programming in Algebraic Domains

机译：代数域中的从句逻辑和逻辑编程
- 作者：William C. Rounds;Guo-Qiang Zhang
- 期刊名称：《Information and computation》 | 2001年第2期
- domain theory and applications;
- logic programming;
- logics in artificial intelligence;
34.Optimal Robot Localization in Trees

机译：树中机器人的最佳定位
- 作者：Rudolf Fleischer;Kathleen Romanik;Sven Schuierer
- 期刊名称：《Information and computation》 | 2001年第2期
- tree localization;
- ocmpetitive analysis;
- online algorithm;
35.Online Variable Sized Covering

机译：在线可变尺寸覆盖
- 作者：Leah Epstein
- 期刊名称：《Information and computation》 | 2001年第2期
36.Lower Bounds for Dynamic Algebraic Problems

机译：动态代数问题的下界
- 作者：Gudmund Skovbjerg Frandsen;Johan P. Hansen;Peter Bro Miltersen
- 期刊名称：《Information and computation》 | 2001年第2期
37.Real-Time Properties of Indirect Recursive Procedures

机译：间接递归过程的实时属性
- 作者：Johann Blieberger
- 期刊名称：《Information and computation》 | 2001年第2期
38.Efficient and Flexible Matching of Recursive Types

机译：递归类型的高效灵活匹配
- 作者：Jens Palsberg;Tian Zhao
- 期刊名称：《Information and computation》 | 2001年第2期
39.Distributed probabilistic Polling and Applications to Proportionate Agreement

机译：分布式概率轮询及其在比例协议中的应用
- 作者：Yehuda Hassin;David Peleg
- 期刊名称：《Information and computation》 | 2001年第2期
40.Complexity Theory and Genetics: The Computational Power of Crossing Over

机译：复杂性理论与遗传学：交叉的计算能力
- 作者：P. Pudlak
- 期刊名称：《Information and computation》 | 2001年第2期
41.Guaranteeing the Diversity of Number Generators

机译：保证数字生成器的多样性
- 作者：Adi Shamir;Boaz Tsaban
- 期刊名称：《Information and computation》 | 2001年第2期
- pseudorandomness;
- cycle length;
- cryptography;
42.Bisimilarity of Open Terms

机译：开放条款的双重相似性
- 作者：Arend Rensink
- 期刊名称：《Information and computation》 | 2000年第2期
43.Absolute versus Relative Time in Process Algebras

机译：过程代数中的绝对时间与相对时间
- 作者：Flavio Corradini
- 期刊名称：《Information and computation》 | 2000年第2期
44.Expressive Completeness of Duration Calculus

机译：持续时间微积分的表达完整性
- 作者：Alexander Rabinovich
- 期刊名称：《Information and computation》 | 2000年第2期
45.Zero-Safe Nets: Comparing the Collective and Individual Token Approaches

机译：零安全网：比较集体和个人令牌方法
- 作者：Roberto Bruni;Ugo Montanari
- 期刊名称：《Information and computation》 | 2000年第2期
46.Contracts, Games, and Refinement

机译：合同，游戏和提炼
- 作者：Ralph-Johan Back;Joakim von Wright
- 期刊名称：《Information and computation》 | 2000年第2期
47.Bisimilarity in Term Graph Rewiting

机译：术语图回抽中的双相似性
- 作者：Zena M.Ariola;Jan Willem Klop;Detlef Plump
- 期刊名称：《Information and computation》 | 2000年第2期
48.Tile Formats for Located and Mobile Systems

机译：定位和移动系统的图块格式
- 作者：GianLuighi Ferrari;Ugo Montanari
- 期刊名称：《Information and computation》 | 2000年第2期
49.Specification in CTL ＋ Past for Verification in CTL

机译：CTL规范＋ CTL验证的过去
- 作者：F.Laroussinie;Ph.Schnoebelen
- 期刊名称：《Information and computation》 | 2000年第2期
50.Process Rewrite Systems

机译：流程重写系统
- 作者：Richard Mayr
- 期刊名称：《Information and computation》 | 2000年第2期
51.On the Expressiveness of Linda Coordination Primitives

机译：论琳达协调原语的表现力
- 作者：Nadia Busi;Roberto Gorrieri;Gianluigi Zavattaro
- 期刊名称：《Information and computation》 | 2000年第2期
52.What is a 'Good' Encoding of Guarded Choice?

机译：什么是守卫选择的“良好”编码？
- 作者：Uwe Nestmann
- 期刊名称：《Information and computation》 | 2000年第2期
53.Tree Canonization and Transitive Closure

机译：树规范化和传递关闭
- 作者：Kousha Etessami;Neil Immerman
- 期刊名称：《Information and computation》 | 2000年第2期
54.Structural Cut Elimination

机译：消除结构割伤
- 作者：Frank Pfenning
- 期刊名称：《Information and computation》 | 2000年第2期
55.Parallel Preprocessing for Path Queries without Concurrent Reading

机译：没有并行读取的路径查询的并行预处理
- 作者：Torben Hagerup
- 期刊名称：《Information and computation》 | 2000年第1期
56.Decidability of Bisimilarity for One-Counter Processes

机译：一计数器过程的双相似性可判定性
- 作者：Petr Jancar
- 期刊名称：《Information and computation》 | 2000年第1期
57.A Randomized Algorithm for Two Servers on the Line

机译：在线两台服务器的随机算法
- 作者：Yair Bartal;Marek Chrobak;Lawrence L.Larmore
- 期刊名称：《Information and computation》 | 2000年第1期
58.Tally NP Sets and Easy Census Functions

机译：Tally NP集和简易人口普查功能
- 作者：Judy Goldsmith;Mitsunori Ogihara;Jorg Rothe
- 期刊名称：《Information and computation》 | 2000年第1期
59.Optimal Algorithms for the Coverability, the Subword, the Containment, and the Equivalence Problems for Commutative Semigroups

机译：交换半群的可覆盖性，子词，包含和对等问题的最佳算法
- 作者：Ulla Koppenhagen;Ernst W.Mayr
- 期刊名称：《Information and computation》 | 2000年第2期
60.Communication Protocols for Secure Distributed Computation of Binary Functions

机译：用于二进制函数的安全分布式计算的通信协议
- 作者：Eytan Modiano;Anthony Ephremides
- 期刊名称：《Information and computation》 | 2000年第2期
61.A Short Note on Some Tractable Cases of the Satisfiability Problem

机译：关于可满足性问题的一些可行案例的简要说明
- 作者：Hans van Maaren
- 期刊名称：《Information and computation》 | 2000年第2期
- satisfiability;
- autarkies;
- horn;
62.Induction = 1-Axiomatization + First-Order consistency

机译：归纳= 1-公理化+一阶一致性
- 作者：Hubert Comon;Robert Nieuwenhuis
- 期刊名称：《Information and computation》 | 2000年第2期
63.The Combinator S

机译：组合器S
- 作者：Johannes Waldmann
- 期刊名称：《Information and computation》 | 2000年第2期
64.A Timed Concurrent Constraint Language

机译：定时并发约束语言
- 作者：F. S. de Boer;M. Gabbrielli;M. C. Meo
- 期刊名称：《Information and computation》 | 2000年第1期
65.Type Reconstruction for Linear π-Calculus with I/O Subtyping

机译：具有I / O子类型的线性π演算的类型重构
- 作者：Atsushi Igarashi;Naoki Kobayashi
- 期刊名称：《Information and computation》 | 2000年第1期
66.Apple Tasting

机译：苹果品尝
- 作者：David P. Helmbold;Nicholas Littlestone;Philip M. Long
- 期刊名称：《Information and computation》 | 2000年第2期
67.NOTE Partitioning Methods for Satisfability Testing On Large Formulas

机译：注意用于大型公式的满意度测试的分区方法
- 作者：Tai Joon Park;Allen Van Gelder
- 期刊名称：《Information and computation》 | 2000年第2期
68.Semantic of Temporal Classes

机译：时间类别的语义
- 作者：Suad Alagic
- 期刊名称：《Information and computation》 | 2000年第1期
69.Decoding Choice Encodings

机译：解码选择编码
- 作者：Uwe Nestmann;Benjamin c. Pierce
- 期刊名称：《Information and computation》 | 2000年第1期
70.Improved time bounds for linearizable implementations of abstract data types

机译：改进了抽象数据类型的线性化实现的时间范围
- 作者：Wang Jiaqi;Talmage Edward;Lee Hyunyoung;Welch Jennifer L.
- 期刊名称：《Information and computation》 | 2018年第12期
- Abstract data types;
- Distributed computing;
- Linearizability;
- Time bounds;
71.The Church-Rosser theorem and quantitative analysis of witnesses

机译：Church-Rosser定理和证人的定量分析
- 作者：Fujita Ken-etsu
- 期刊名称：《Information and computation》 | 2018年第12期
72.Cutting-edge cryptography through the lens of secret sharing

机译：通过秘密共享的镜头进行最先进的加密
- 作者：Komargodski Ilan;Zhandry Mark
- 期刊名称：《Information and computation》 | 2018年第12期
- Computational secret sharing;
- Witness PRFs;
- Indistinguishability obfuscation;
73.Reachability analysis of quantum Markov decision processes

机译：量子马尔可夫决策过程的可达性分析
- 作者：Ying Shenggang;Ying Mingsheng
- 期刊名称：《Information and computation》 | 2018年第12期
- Quantum programming;
- Semantic model;
- Markov decision process;
- Reachability;
74.Characterizing the computational power of mobile robots on graphs and implications for the Euclidean plane

机译：在图上表征移动机器人的计算能力以及对欧几里得平面的影响
- 作者：DEmidio Mattia;Di Stefano Gabriele;Frigioni Daniele;Navarra Alfredo
- 期刊名称：《Information and computation》 | 2018年第12期
- Mobile robots;
- Computational complexity;
- Distributed algorithms;
- Luminous robots;
75.Block interpolation: A framework for tight exponential-time counting complexity

机译：块插值：紧凑的指数时间计数复杂性框架
- 作者：Curticapean Radu
- 期刊名称：《Information and computation》 | 2018年第2期
- Exponential-time hypothesis;
- Counting complexity;
- Permanent;
- Matching polynomial;
- Independent set polynomial;
- Tutte polynomial;
76.Linear-time list recovery of high-rate expander codes

机译：高速率扩展器代码的线性时间列表恢复
- 作者：Hemenway Brett;Wootters Mary
- 期刊名称：《Information and computation》 | 2018年第2期
- Coding and information theory;
- Linear codes;
- Combinatorial codes;
- Graph theory;
- Randomized algorithms;
77.Short proofs of the Kneser-Lovasz coloring principle

机译：Kneser-Lovasz着色原理的简短证明
- 作者：Aisenberg James;Luisa Bonet Maria;Buss Sam;Craciun Adrian;Istrate Gabriel
- 期刊名称：《Information and computation》 | 2018年第2期
78.Special issue for the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, Kyoto, Japan

机译：第42届国际自动机，语言和编程学术讨论会特刊，ICALP 2015，日本京都
- 作者：Halldorsson Magnus M.;Kobayashi Naoki;Speckmann Bettina
- 期刊名称：《Information and computation》 | 2018年第2期
79.An improved combinatorial algorithm for Boolean matrix multiplication

机译：布尔矩阵乘法的改进组合算法
- 作者：Yu Huacheng
- 期刊名称：《Information and computation》 | 2018年第2期
- Boolean matrix multiplication;
- Combinatorial algorithm;
- Recursion;
80.Decision problems of tree transducers with origin

机译：具有起源的树传感器的决策问题
- 作者：Filiot Emmanuel;Maneth Sebastian;Reynier Pierre-Alain;Talbot Jean-Marc
- 期刊名称：《Information and computation》 | 2018年第2期
- Top-down and MSO tree transducers;
- Origin;
- Decidability;
- Equivalence;
- Injectivity;
- Query determinacy;
81.Effect algebras, presheaves, non-locality and contextuality

机译：效果代数，前滑轮，非局部性和上下文性
- 作者：Staton Sam;Uijlen Sander
- 期刊名称：《Information and computation》 | 2018年第2期
- Effect algebras;
- Presheaves;
- Non-locality;
- Contextuality;
82.Game semantics for dependent types

机译：依赖类型的游戏语义
- 作者：Vakar Matthijs;Jagadeesan Radha;Abramsky Samson
- 期刊名称：《Information and computation》 | 2018年第2期
- Game semantics;
- Dependent type theory;
- Intensionality;
83.Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes

机译：概率最小/最大多项式方程的最大不动点，以及分支马尔可夫决策过程的可达性
- 作者：Etessami Kousha;Stewart Alistair;Yannakakis Mihalis
- 期刊名称：《Information and computation》 | 2018年第2期
84.2-vertex connectivity in directed graphs

机译：有向图中的2顶点连通性
- 作者：Georgiadis Loukas;Italiano Giuseppe F.;Laura Luigi;Parotsidis Nikos
- 期刊名称：《Information and computation》 | 2018年第2期
- Connectivity;
- Directed graph;
- Dominators;
- Flow graph;
- Strong articulation points;
85.Selling two goods optimally

机译：最佳销售两种商品
- 作者：Giannakopoulos Yiannis;Koutsoupias Elias
- 期刊名称：《Information and computation》 | 2018年第2期
- Optimal auctions;
- Revenue maximization;
- Duality;
- Mechanism design;
86.Proofs of proximity for context-free languages and read-once branching programs

机译：无上下文语言和一次读取分支程序的接近性证明
- 作者：Goldreich Oded;Gur Tom;Rothblum Ron D.
- 期刊名称：《Information and computation》 | 2018年第2期
- Property testing;
- Probabilistic proof systems;
- Interactive proofs;
87.Interactive communication with unknown noise rate

机译：未知噪声率的交互式通信
- 作者：Dani Varsha;Hayesa Thomas P.;Movahedi Mahnush;Saia Jared;Young Maxwell
- 期刊名称：《Information and computation》 | 2018年第2期
88.On reducing linearizability to state reachability

机译：关于降低线性化到状态可达性
- 作者：Bouajjani Ahmed;Emmi Michael;Enea Constantin;Hamza Jad
- 期刊名称：《Information and computation》 | 2018年第2期
89.Local reduction

机译：局部减少
- 作者：Jahanjou Hamidreza;Miles Eric;Viola Emanuele
- 期刊名称：《Information and computation》 | 2018年第2期
- Computational complexity;
- Cook-Levin;
- Reductions;
- ACC0;
90.Dynamic algorithms via the primal-dual method

机译：通过原始对偶方法的动态算法
- 作者：Bhattacharya Sayan;Henzinger Monika;Italiano Giuseppe
- 期刊名称：《Information and computation》 | 2018年第2期
- Dynamic algorithms;
- Primal-dual method;
- Data structures;
91.Comparator Circuits over Finite Bounded Posets

机译：有限边界集上的比较器电路
- 作者：Komarath Balagopal;Sarma Jayalal;Sunil K. S.
- 期刊名称：《Information and computation》 | 2018年第2期
- Comparator circuits;
- Logspace computation;
- Polynomial size circuits;
92.Symmetric graph properties have independent edges

机译：对称图属性具有独立边
- 作者：Achlioptas Dimitris;Siminelakis Paris
- 期刊名称：《Information and computation》 | 2018年第2期
- Random graphs;
- Symmetric graph properties;
- Concentration of measure;
- Approximate independence;
- Maximum Entropy Principle;
93.Binary constraint satisfaction problems defined by excluded topological minors

机译：由排除的拓扑未成年人定义的二元约束满足问题
- 作者：Cohen David A.;Cooper Martin C.;Jeavons Peter G.;Zivny Stanislav
- 期刊名称：《Information and computation》 | 2019年第2期
- Constraint satisfaction;
- Forbidden substructures;
- Forbidden patterns;
- Topological minors;
94.On blockwise symmetric matchgate signatures and higher domain #CSP

机译：关于逐块对称Matchgate签名和更高域的#CSP
- 作者：Fu Zhiguo;Yang Fengqin;Yin Minghao
- 期刊名称：《Information and computation》 | 2019年第2期
- Blockwise symmetry;
- Matchgate;
- Holographic transformation;
- #CSP;
95.Design patterns in beeping algorithms: Examples, emulation, and analysis

机译：蜂鸣算法中的设计模式：示例，仿真和分析
- 作者：Casteigts A.;Metivier Y.;Robson J. M.;Zemmari A.
- 期刊名称：《Information and computation》 | 2019年第2期
- Beeping models;
- Design patterns;
- Collision detection;
- Colouring;
- 2-hop colouring;
- Degree computation;
- Emulation;
96.A mesh of automata

机译：自动机网格
- 作者：Broda Sabine;Holzer Markus;Maia Eva;Moreira Nelma;Reis Rogerio
- 期刊名称：《Information and computation》 | 2019年第4期
- Regular expressions;
- Finite automata;
- Regular languages;
97.The first fully polynomial stabilizing algorithm for BFS tree construction

机译：BFS树构造的第一个全多项式稳定算法
- 作者：Cournier Alain;Rovedakis Stephane;Villain Vincent
- 期刊名称：《Information and computation》 | 2019年第4期
- Distributed systems;
- Fault-tolerance;
- Stabilization;
- Spanning tree construction;
98.On the height of towers of subsequences and prefixes

机译：关于子序列和前缀的塔的高度
- 作者：Holub Stepan;Masopust Tomas;Thomazo Michael
- 期刊名称：《Information and computation》 | 2019年第4期
- Automata;
- Languages;
- Alternating towers;
- Subsequences;
- Prefixes;
- Upper and lower bounds;
99.Lempel-Ziv compressed structures for document retrieval

机译：Lempel-Ziv压缩结构用于文档检索
- 作者：Ferrada Hector;Navarro Gonzalo
- 期刊名称：《Information and computation》 | 2019年第4期
- Document retrieval;
- Document listing;
- Top-k queries;
- String databases;
- Compressed data structures;
100.Language theoretic properties of regular DAG languages

机译：常规DAG语言的语言理论特性
- 作者：Blum Johannes;Drewes Frank
- 期刊名称：《Information and computation》 | 2019年第4期

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号