首页>外文期刊>LIPIcs : Leibniz International Proceedings in Informatics

LIPIcs : Leibniz International Proceedings in Informatics

中文名称：LIPIcs：莱布尼兹国际信息学论文集

ISSN：1868-8969
出版周期：-

发文量：8057

期刊论文

热门论文

年度选择

2020
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
2019
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
2018
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第28期
- 第28期
- 第28期
- 第28期
- 第28期
- 第28期
- 第28期
- 第28期
- 第28期
- 第28期
- 第28期
- 第28期
- 第28期
- 第28期
- 第28期
- 第28期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
- 第2015期
2017
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
2016
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
2015
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
2014
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第29期
- 第29期
2013
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
2012
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第30期
- 第30期
- 第30期
- 第30期
- 第30期
2011
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第23期
- 第23期
- 第23期
- 第23期
- 第23期
- 第29期
- 第29期
- 第29期
- 第29期
- 第29期
2010
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第29期
- 第29期
- 第29期
- 第29期
- 第30期
- 第30期
- 第30期
- 第30期
2009
- 第1期
- 第1期
- 第2期
- 第2期
- 第29期
- 第29期
2008
- 第2期
- 第2期
- 第29期
- 第29期

更多>>

全选（0）

1.An Extensional Kleene Realizability Semantics for the Minimalist Foundation

机译：极简主义基金会的扩展Kleene可实现性语义
- 作者：Maria Emilia Maietti;Samuele Maschio
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
2.Certified Rule Labeling

机译：认证规则标签
- 作者：Julian Nagele;Harald Zankl
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
3.Software Verification 'Across the Stack' (Invited Talk)

机译：“跨堆栈”的软件验证（邀请演讲）
- 作者：Alexander J. Summers
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
4.On Correcting Inputs: Inverse Optimization for Online Structured Prediction

机译：关于校正输入：在线结构化预测的逆优化
- 作者：Hal Daum{e} III;Samir Khuller;Manish Purohit;Gregory Sanders
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
5.Parameterized Complexity of Secluded Connectivity Problems

机译：隔离连接问题的参数化复杂度
- 作者：Fedor V. Fomin;Petr A. Golovach;Nikolay Karpov;Alexander S. Kulikov
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
6.Programming in the Large for the Internet of Things (Invited Talk)

机译：大型物联网编程（特邀演讲）
- 作者：Jong-Deok Choi
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
7.Proving non-termination by finite automata

机译：通过有限自动机证明不终止
- 作者：J{o}rg Endrullis;Hans Zantema
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
8.A Polylogarithmic PRG for Degree 2 Threshold Functions in the Gaussian Setting

机译：高斯环境中2度阈值函数的多对数PRG
- 作者：Daniel M. Kane
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
9.Geometric Inference on Kernel Density Estimates

机译：核密度估计的几何推论
- 作者：Jeff M. Phillips;Bei Wang;Yan Zheng
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
10.Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata

机译：最大分区逻辑：实现无复制成本记录自动机的逻辑表征
- 作者：Filip Mazowiecki;Cristian Riveros
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
11.Process-Centric Views of Data-Driven Business Artifacts

机译：以数据为中心的以数据为中心的业务工件视图
- 作者：Adrien Koutsos;Victor Vianu
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
12.Howe's Method for Contextual Semantics

机译：豪的情境语义学方法
- 作者：Serguei Lenglet;Alan Schmitt
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
13.Sequential Importance Sampling Algorithms for Estimating the All-Terminal Reliability Polynomial of Sparse Graphs

机译：估计稀疏图全终端可靠性多项式的顺序重要性抽样算法
- 作者：David G. Harris;Francis Sullivan
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
14.Observability for Pair Pattern Calculi

机译：对模式计算的可观察性
- 作者：Antonio Bucciarelli;Delia Kesner;Simona Ronchi Della Rocca
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
15.Type Inference for Place-Oblivious Objects

机译：位置无关对象的类型推断
- 作者：Riyaz Haque;Jens Palsberg
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
16.Strong Equivalence of the Interleaving and Functional Distortion Metrics for Reeb Graphs

机译：Reeb图的交织和函数失真度量的强等价
- 作者：Ulrich Bauer;Elizabeth Munch;Yusu Wang
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
17.On Randomness Extraction in AC0

机译：关于AC0中的随机性提取
- 作者：Oded Goldreich;Emanuele Viola;Avi Wigderson
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
18.Approximation of Nested Fixpoints ? A Coalgebraic View of Parametric Dataypes

机译：嵌套不动点的逼近参数数据类型的合并视图
- 作者：Alexander Kurz;Alberto Pardo;Daniela Petrisan;Paula Severi;Fer-Jan de Vries
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
19.The Complexity of Recognizing Unique Sink Orientations

机译：识别独特的水槽方向的复杂性
- 作者：Bernd G{}rtner;Antonis Thomas
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
20.A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds

机译：多项式演算度下界的一种通用证明方法
- 作者：Mladen Miksa;Jakob Nordstr{o}m
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
21.Parameterized Algorithms for Deletion to (r,ell)-Graphs

机译：用于删除（r，ell）图的参数化算法
- 作者：Sudeshna Kolay;Fahad Panolan
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
22.Maximum Matching Width: New Characterizations and a Fast Algorithm for Dominating Set

机译：最大匹配宽度：新的特征和控制集的快速算法
- 作者：Jisu Jeong;Sigve Hortemo S?ther;Jan Arne Telle
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
23.On the Satisfiability of Indexed Linear Temporal Logics

机译：索引线性时间逻辑的可满足性
- 作者：Taolue Chen;Fu Song;Zhilin Wu
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
24.Finding Even Subgraphs Even Faster

机译：查找子图更快
- 作者：Prachi Goyal;Pranabendu Misra;Fahad Panolan;Geevarghese Philip;Saket Saurabh
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
25.Certification of Complexity Proofs using CeTA

机译：使用CeTA进行复杂性证明的认证
- 作者：Martin Avanzini;Christian Sternagel;Ren{e} Thiemann
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
26.How Many Quantum Correlations Are Not Local?

机译：有多少个量子相关关系不是局部的？
- 作者：Carlos E. Gonz{}lez-Guill{e}n;C. Hugo Jim{e}nez;Carlos Palazuelos;Ignacio Villanueva
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
27.Probabilistic Regular Expressions and MSO Logic on Finite Trees

机译：有限树上的概率正则表达式和MSO逻辑
- 作者：Thomas Weidner
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
28.Extensions of Functors From Set to V-cat

机译：函子从Set扩展到V-cat
- 作者：Adriana Balan;Alexander Kurz;Jiri Velebil
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
29.Thinking Algorithmically About Impossibility (Invited Talk)

机译：关于不可能的算法思考（特邀演讲）
- 作者：R. Ryan Williams
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
30.Terminal Semantics for Codata Types in Intensional Martin-L?f Type Theory

机译：马丁-L？f类型理论中的Codata类型的终端语义
- 作者：Benedikt Ahrens;R{e}gis Spadotti
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
31.Space-efficient Basic Graph Algorithms

机译：节省空间的基本图算法
- 作者：Amr Elmasry;Torben Hagerup;Frank Kammer
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
32.Approximating the Regular Graphic TSP in Near Linear Time

机译：在近似线性时间内逼近常规图形TSP
- 作者：Ashish Chiplunkar;Sundar Vishwanathan
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
33.Approximate Nearest Neighbor Search in Metrics of Planar Graphs

机译：平面图度量中的近似最近邻搜索
- 作者：Ittai Abraham;Shiri Chechik;Robert Krauthgamer;Udi Wieder
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
34.Improved NP-Inapproximability for 2-Variable Linear Equations

机译：2变量线性方程的改进NP不逼近
- 作者：Johan H?stad;Sangxia Huang;Rajsekar Manokaran;Ryan O?Donnell;John Wright
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
35.On Classical PCF, Linear Logic and the MIX Rule

机译：关于经典PCF，线性逻辑和MIX规则
- 作者：Shahin Amini;Thomas Erhard
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
36.Quantum Enhancement of Randomness Distribution

机译：随机分布的量子增强
- 作者：Raul Garcia-Patron;William Matthews;Andreas Winter
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
37.Dependent Types for Nominal Terms with Atom Substitutions

机译：带原子替换的名词术语的从属类型
- 作者：Elliot Fairweather;Maribel Fern{}ndez;Nora Szasz;Alvaro Tasistro
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
38.Front Matter, Table of Contents, Preface, Conference Organization

机译：前题，目录，前言，会议组织
- 作者：Lars Arge;J{}nos Pach
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
39.Temporal Logics with Local Constraints (Invited Talk)

机译：具有局部约束的时态逻辑（特邀演讲）
- 作者：Claudia Carapelle;Markus Lohrey
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
40.Meeting Deadlines Together

机译：一起满足最后期限
- 作者：Laura Bocchi;Julien Lange;Nobuko Yoshida
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
41.Least and Greatest Fixed Points in Ludics

机译：Ludics中的最小和最大固定点
- 作者：David Baelde;Amina Doumane;Alexis Saurin
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
42.On Unambiguous Regular Tree Languages of Index (0,2)

机译：关于索引（0,2）的明确规则树语言
- 作者：Jacques Duparc;Kevin Fournier;Szczepan Hummel
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
43.Local Convergence of Random Graph Colorings

机译：随机图着色的局部收敛
- 作者：Amin Coja-Oghlan;Charilaos Efthymiou;Nor Jaafari
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
44.The General Universal Property of the Propositional Truncation

机译：命题截断的一般普遍性质
- 作者：Nicolai Kraus
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
45.New Geometric Representations and Domination Problems on Tolerance and Multitolerance Graphs

机译：公差图和多公差图的新几何表示和控制问题
- 作者：Archontia C. Giannopoulou;George B. Mertzios
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
46.Dialectica Categories and Games with Bidding

机译：方言类别和带有竞价的游戏
- 作者：Jules Hedges
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
47.A 2-Competitive Algorithm For Online Convex Optimization With Switching Costs

机译：具有切换成本的在线凸优化的2竞争算法
- 作者：Nikhil Bansal;Anupam Gupta;Ravishankar Krishnaswamy;Kirk Pruhs;Kevin Schewior;Cliff Stein
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
48.Fixed-parameter Tractable Distances to Sparse Graph Classes

机译：稀疏图类的固定参数可伸缩距离
- 作者：Jannis Bulian;Anuj Dawar
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
49.Dynamic Planar Embeddings of Dynamic Graphs

机译：动态图的动态平面嵌入
- 作者：Jacob Holm;Eva Rotenberg
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
50.Approximating the Generalized Terminal Backup Problem via Half-integral Multiflow Relaxation

机译：通过半积分多流松弛近似广义终端备份问题
- 作者：Takuro Fukunaga
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
51.Programming with 'Big Code': Lessons, Techniques and Applications

机译：用“大代码”编程：经验教训，技术和应用
- 作者：Pavol Bielik;Veselin Raychev;Martin Vechev
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
52.Comparing Graphs via Persistence Distortion

机译：通过持久性变形比较图
- 作者：Tamal K. Dey;Dayu Shi;Yusu Wang
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
53.Correlation Clustering and Two-edge-connected Augmentation for Planar Graphs

机译：平面图的相关聚类和两边连接增强
- 作者：Philip N. Klein;Claire Mathieu;Hang Zhou
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
54.Rumors Across Radio, Wireless, Telephone

机译：广播，无线，电话中的谣言
- 作者：Jennifer Iglesias;Rajmohan Rajaraman;R. Ravi;Ravi Sundaram
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
55.A Universal Adiabatic Quantum Query Algorithm

机译：通用绝热量子查询算法
- 作者：Mathieu Brandeho;J{e}r{e}mie Roland
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
56.Reachability Analysis of First-order Definable Pushdown Systems

机译：一阶可定义下推系统的可达性分析
- 作者：Lorenzo Clemente;Slawomir Lasota
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
57.Datalog Queries Distributing over Components

机译：分布在组件上的数据日志查询
- 作者：Tom J. Ameloot;Bas Ketsman;Frank Neven;Daniel Zinn
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
58.Polynomial Time Decidability of Weighted Synchronization under Partial Observability

机译：部分可观测性下加权同步的多项式时间可判定性
- 作者：Jan Kretinsky;Kim Guldstrand Larsen;Simon Laursen;Jiri Srba
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
59.Average Distance Queries through Weighted Samples in Graphs and Metric Spaces: High Scalability with Tight Statistical Guarantees

机译：通过图形和度量空间中的加权样本进行的平均距离查询：具有严格的统计保证的高可伸缩性
- 作者：Shiri Chechik;Edith Cohen;Haim Kaplan
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
60.Uniform One-Dimensional Fragments with One Equivalence Relation

机译：具有一等价关系的均匀一维碎片
- 作者：Emanuel Kier{o}nski;Antti Kuusisto
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
61.Quick but Odd Growth of Cacti

机译：仙人掌快速但奇特的生长
- 作者：Sudeshna Kolay;Daniel Lokshtanov;Fahad Panolan;Saket Saurabh
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
62.Beyond Matrix Completion (Invited Talk)

机译：超越矩阵完成（特邀演讲）
- 作者：Ankur Moitra
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
63.A Framework for Transactional Consistency Models with Atomic Visibility

机译：具有原子可见性的事务一致性模型的框架
- 作者：Andrea Cerone;Giovanni Bernardi;Alexey Gotsman
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2015年第29期
64.Ethical Preference-Based Decision Support Systems (Invited Paper)

机译：基于道德偏好的决策支持系统（邀请论文）
- 作者：Francesca Rossi
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
65.Online Row Sampling

机译：在线行采样
- 作者：Michael B. Cohen;Cameron Musco;Jakub Pachocki
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
66.A Formal Study of Collaborative Access Control in Distributed Datalog

机译：分布式数据日志中协同访问控制的形式化研究
- 作者：Serge Abiteboul;Pierre Bourhis;Victor Vianu
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
67.Pointer Quantum PCPs and Multi-Prover Games

机译：指针式量子PCP和多功能游戏
- 作者：Alex B. Grilo;Iordanis Kerenidis;Attila Pereszl{e}nyi
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
68.Randomization Can Be as Helpful as a Glimpse of the Future in Online Computation

机译：随机化可以像在线计算中的未来一样有用
- 作者：Jesper W. Mikkelsen
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
69.Space-Efficient Biconnected Components and Recognition of Outerplanar Graphs

机译：空间高效的双连通分量和平面图的识别
- 作者：Frank Kammer;Dieter Kratsch;Moritz Laudahn
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
70.Randomized Query Complexity of Sabotaged and Composed Functions

机译：破坏和组合函数的随机查询复杂度
- 作者：Ben-David Shalev;Robin Kothari
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
71.Eulerian Paths with Regular Constraints

机译：具有规则约束的欧拉路径
- 作者：Orna Kupferman;Gal Vardi
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
72.Invariance Principle on the Slice

机译：切片的不变性原理
- 作者：Yuval Filmus;Guy Kindler;Elchanan Mossel;Karl Wimmer
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
73.Supplementarity is Necessary for Quantum Diagram Reasoning

机译：量子图推理需要补充性
- 作者：Simon Perdrix;Quanlong Wang
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
74.Descriptive Complexity of #AC^0 Functions

机译：＃AC ^ 0函数的描述复杂性
- 作者：Arnaud Durand;Anselm Haak;Juha Kontinen;Heribert Vollmer
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
75.Reconstruction of Trees from Jumbled and Weighted Subtrees

机译：从混杂的子树和加权子树重建树
- 作者：D{e}nes Bartha;Peter Burcsi;Zsuzsanna Lipt{}k
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
76.Summaries for Context-Free Games

机译：上下文无关游戏摘要
- 作者：Luk{}s Hol{i}k;Roland Meyer;Sebastian Muskalla
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
77.Complexity Hierarchies and Higher-Order Cons-Free Rewriting

机译：复杂性层次结构和高阶无条件重写
- 作者：Cynthia Kop;Jakob Grue Simonsen
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
78.The Complexity of Rational Synthesis

机译：理性综合的复杂性
- 作者：Rodica Condurache;Emmanuel Filiot;Raffaella Gentilini;Jean-Fran{c{c}}ois Raskin
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
79.Dynamic Streaming Algorithms for Epsilon-Kernels

机译：Epsilon内核的动态流算法
- 作者：Timothy M. Chan
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
80.A Linear Time Algorithm for Quantum 2-SAT

机译：量子2-SAT的线性时间算法
- 作者：Niel de Beaudrap;Sevag Gharibian
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
81.Computing the Pattern Waiting Time: A Revisit of the Intuitive Approach

机译：计算模式等待时间：对直觉方法的回顾
- 作者：Kai Jin
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
82.Polynomial Space Randomness in Analysis

机译：分析中的多项式空间随机性
- 作者：Xiang Huang;Donald M. Stull
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
83.Polynomial Bounds for Decoupling, with Applications

机译：解耦的多项式界及其应用
- 作者：Ryan ODonnell;Yu Zhao
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
84.Decoding Reed-Muller Codes Over Product Sets

机译：解码产品集上的里德-穆勒码
- 作者：John Y. Kim;Swastik Kopparty
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
85.Delaunay Triangulations on Orientable Surfaces of Low Genus

机译：低属可定向曲面上的Delaunay三角剖分
- 作者：Mikhail Bogdanov;Monique Teillaud;Gert Vegter
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
86.Fast, Robust, Quantizable Approximate Consensus

机译：快速，强大，可量化的近似共识
- 作者：Bernadette Charron-Bost;Matthias F{u}gger;Thomas Nowak
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
87.Faster External Memory LCP Array Construction

机译：更快的外部存储器LCP阵列构建
- 作者：Juha K{}rkk{}inen;Dominik Kempa
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
88.Estimating Parameters Associated with Monotone Properties

机译：估计与单调属性相关的参数
- 作者：Carlos Hoppen;Yoshiharu Kohayakawa;Richard Lang;Hanno Lefmann;Henrique Stagni
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
89.Algorithms with Provable Guarantees for Clustering (Invited Talk)

机译：具有可证明的聚类算法（特邀演讲）
- 作者：Ola Svensson
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
90.On (1, epsilon)-Restricted Max-Min Fair Allocation Problem

机译：关于（1，epsilon）限制的最大-最小公平分配问题
- 作者：T-H. Hubert Chan;Zhihao Gavin Tang;Xiaowei Wu
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
91.Private Names in Non-Commutative Logic

机译：非交换逻辑中的私有名称
- 作者：Ross Horne;Alwen Tiu;Bogdan Aman;Gabriel Ciobanu
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
92.Efficient Summing over Sliding Windows

机译：滑动窗上的高效求和
- 作者：Ran Ben Basat;Gil Einziger;Roy Friedman;Yaron Kassner
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
93.Guarded Cubical Type Theory: Path Equality for Guarded Recursion

机译：防护立方类型理论：防护递归的路径相等
- 作者：Lars Birkedal;Ale{{s}} Bizjak;Ranald Clouston;Hans Bugge Grathwohl;Bas Spitters;Andrea Vezzosi
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
94.Competitive Packet Routing with Priority Lists

机译：具有优先级列表的竞争性数据包路由
- 作者：Tobias Harks;Britta Peis;Daniel Schmand;Laura Vargas Koch
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
95.Path Planning for Simple Robots using Soft Subdivision Search

机译：使用软细分搜索的简单机器人路径规划
- 作者：Ching-Hsiang Hsu;John Paul Ryan;Chee Yap
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
96.Fractals for Kernelization Lower Bounds, With an Application to Length-Bounded Cut Problems

机译：分形的内核下界及其在限界割问题中的应用
- 作者：Till Fluschnik;Danny Hermelin;Andr{e} Nichterlein;Rolf Niedermeier
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
97.The Densest Subgraph Problem with a Convex/Concave Size Function

机译：具有凸/凹尺寸函数的最密子图问题
- 作者：Yasushi Kawase;Atsushi Miyauchi
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
98.Nesting Depth of Operators in Graph Database Queries: Expressiveness vs. Evaluation Complexity

机译：图数据库查询中运算符的嵌套深度：表达性与评估复杂性
- 作者：M. Praveen;B. Srivathsan
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
99.How Hard is it to Find (Honest) Witnesses?

机译：寻找（诚实）证人有多困难？
- 作者：Isaac Goldstein;Tsvi Kopelowitz;Moshe Lewenstein;Ely Porat
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期
100.Graph Motif Problems Parameterized by Dual

机译：对偶参数化的图形母题
- 作者：Guillaume Fertin;Christian Komusiewicz
- 期刊名称：《LIPIcs : Leibniz International Proceedings in Informatics》 | 2016年第29期

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号