掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Annual ACM/IEEE Symposium on Logic in Computer Science
Annual ACM/IEEE Symposium on Logic in Computer Science
召开年:
2016
召开地:
New York(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Interacting Frobenius Algebras are Hopf
机译:
相互作用的Frobenius代数是Hopf
作者:
Ross Duncan
;
Kevin Dunne
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Algebra;
Quantum mechanics;
Quantum computing;
Generators;
Control theory;
Hilbert space;
2.
Semi-galois Categories I: The Classical Eilenberg Variety Theory
机译:
半伽罗瓦类别I:古典艾伦伯格多样性理论
作者:
Takeo Uramoto
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Automata;
Pins;
Frequency modulation;
Systematics;
Servers;
Formal languages;
Terminology;
3.
Unifying Logical and Statistical AI
机译:
统一逻辑和统计AI
作者:
Pedro Domingos
;
Daniel Lowd
;
Stanley Kok
;
Aniruddh Nath
;
Hoifung Poon
;
Matthew Richardson
;
Parag Singla
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Markov random fields;
Probabilistic logic;
Inference algorithms;
Knowledge based systems;
Graphical models;
4.
Two-variable Logic with a Between Relation
机译:
具有相互关系的二变量逻辑
作者:
Andreas Krebs
;
Kamal Lodaya
;
Paritosh Pandya
;
Howard Straubing
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Complexity theory;
Algebra;
Upper bound;
Syntactics;
Analytical models;
Mathematical model;
Servers;
5.
Decidability and Complexity for Quiescent Consistency
机译:
静态一致性的可判定性和复杂性
作者:
Brijesh Dongol
;
Robert M. Hierons
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
History;
Automata;
Complexity theory;
Data structures;
Concurrent computing;
Queueing analysis;
Computer science;
6.
Duality in Computer Science
*
机译:
计算机科学的双重性
* sup>
作者:
Mai Gehrke
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Boolean algebra;
Lattices;
Semantics;
Formal languages;
Complexity theory;
7.
From positive and intuitionistic bounded arithmetic to monotone proof complexity
机译:
从正直觉有界算术到单调证明复杂性
作者:
Anupam Das
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Complexity theory;
Calculus;
Hafnium;
Additives;
Lips;
Servers;
MONOS devices;
8.
Gödel’s functional interpretation and the concept of learning
机译:
哥德尔的功能诠释和学习理念
作者:
Thomas Powell
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Bars;
Semantics;
Approximation algorithms;
Syntactics;
Calculus;
Reactive power;
History;
9.
Understanding Gentzen and Frege Systems for QBF
机译:
了解QBF的Gentzen和Frege系统
作者:
Olaf Beyersdorff
;
Ján Pich
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Standards;
Computational complexity;
Calculus;
Analytical models;
Tools;
Integrated circuit modeling;
10.
Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics
机译:
古典,直觉和仿射逻辑的统一语义和证明系统
作者:
Chuck Liang
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Semantics;
Calculus;
Focusing;
Syntactics;
Color;
Image color analysis;
Boolean algebra;
11.
Data Communicating Processes with Unreliable Channels
机译:
具有不可靠通道的数据通信过程
作者:
Parosh Aziz Abdulla
;
C. Aiswarya
;
Mohamed Faouzi Atig
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Data models;
Automata;
Registers;
Encoding;
Model checking;
Protocols;
Syntactics;
12.
A New Perspective on FO Model Checking of Dense Graph Classes
机译:
稠密图类的FOR模型检查的新视角
作者:
J. Gajarský
;
P. Hliněný
;
J. Obdržálek
;
D. Lokshtanov
;
M. S. Ramanujan
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Model checking;
Partitioning algorithms;
Mathematical model;
Complexity theory;
Standards;
Classification algorithms;
Servers;
13.
Proving Liveness of Parameterized Programs
机译:
证明参数化程序的生命力
作者:
Azadeh Farzan
;
Zachary Kincaid
;
Andreas Podelski
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Instruction sets;
Safety;
Protocols;
Automata;
Linux;
Kernel;
Context;
14.
Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction *
机译:
有条件下界的模型和目标分离:分离比连接更难*
作者:
Krishnendu Chatterjee
;
Wolfgang Dvořák
;
Monika Henzinger
;
Veronika Loitzenbauer
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Upper bound;
Standards;
Computational modeling;
Markov processes;
Safety;
Probabilistic logic;
Heuristic algorithms;
15.
The complexity of regular abstractions of one-counter languages
机译:
一站式语言的常规抽象的复杂性
作者:
Mohamed Faouzi Atig
;
Dmitry Chistikov
;
Piotr Hofman
;
K Narayan Kumar
;
Prakash Saivasan
;
Georg Zetzsche
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Automata;
Complexity theory;
Gold;
Task analysis;
Petri nets;
Standards;
Software systems;
16.
Two-Way Visibly Pushdown Automata and Transducers
*
机译:
双向可视下推自动机和换能器
* sup>
作者:
Luc Dartois
;
Emmanuel Filiot
;
Pierre-Alain Reynier
;
Jean-Marc Talbot
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Transducers;
Vegetation;
Automata;
Computational modeling;
Registers;
XML;
Complexity theory;
17.
Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings
机译:
兄弟姐妹之间具有等式和不等式约束的无限树上的自动机
作者:
Arnaud Carayol
;
Christof Loding
;
Olivier Serre
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Automata;
Tools;
Analytical models;
Binary trees;
Boolean algebra;
Gold;
XML;
18.
Plays as Resource Terms via Non-idempotent Intersection Types
机译:
通过非幂等交叉点类型充当资源项
作者:
Takeshi Tsukada
;
C.-H. Luke
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Games;
Calculus;
Semantics;
Taylor series;
Syntactics;
Computational modeling;
Head;
19.
Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives*
机译:
具有广义均值支付目标的完美信息随机游戏*
作者:
Krishnendu Chatterjee
;
Laurent Doyen
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Games;
Stochastic processes;
Memory management;
Probabilistic logic;
Semantics;
Probability distribution;
Upper bound;
20.
Games with bound guess actions
机译:
带有猜猜动作的游戏
作者:
Thomas Colcombet
;
Stefan Göller
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Games;
Cost function;
Registers;
Reactive power;
Automata;
Task analysis;
Standards;
21.
Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler–Leman Refinement Steps
机译:
量词深度和Weisfeiler-Leman精炼步骤的接近最佳下界
作者:
Christoph Berkholz
;
Jakob Nordström
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Color;
Complexity theory;
Upper bound;
Mathematical model;
Computational modeling;
Testing;
Partitioning algorithms;
22.
Blockchains and the logic of accountability
机译:
区块链与责任逻辑
作者:
Maurice Herlihy
;
Mark Moir
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Bitcoin;
Data structures;
Peer-to-peer computing;
Protocols;
Authorization;
23.
Hanf normal form for first-order logic with unary counting quantifiers
机译:
带一元计数量词的一阶逻辑的Hanf范式
作者:
Lucas Heimberg
;
Dietrich Kuske
;
Nicole Schweikardt
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Model checking;
Periodic structures;
Mathematical model;
Servers;
Complexity theory;
Databases;
Delays;
24.
Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic
机译:
一阶逻辑中用于图微分的量词深度的上界
作者:
Sandra Kiefer
;
Pascal Schweitzer
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Color;
Upper bound;
Partitioning algorithms;
Games;
Machine learning algorithms;
Servers;
25.
Querying Visible and Invisible Information
机译:
查询可见和不可见信息
作者:
Michael Benedikt
;
Pierre Bourhis
;
Balder ten Cate
;
Gabriele Puppis
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Complexity theory;
Databases;
Cognition;
Encoding;
Terminology;
Writing;
Data privacy;
26.
Coinduction All the Way Up
机译:
一路走来
作者:
Damien Pous
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Lattices;
Upper bound;
Calculus;
Cognition;
Tools;
Europe;
Lips;
27.
The Probabilistic Model Checking Landscape*
机译:
概率模型检查景观*
作者:
Joost-Pieter Katoen
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Probabilistic logic;
Markov processes;
Automata;
Model checking;
Clocks;
Exponential distribution;
28.
Denotational semantics of recursive types in synthetic guarded domain theory
机译:
综合保护域理论中递归类型的指称语义
作者:
Rasmus Ejlers Møgelberg
;
Marco Paviotti
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Computational modeling;
Semantics;
Mathematical model;
Calculus;
Cognition;
Syntactics;
Computer languages;
29.
Type Theory based on Dependent Inductive and Coinductive Types
机译:
基于从属归纳和共归类型的类型理论
作者:
Henning Basold
;
Herman Geuvers
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Calculus;
Jacobian matrices;
Productivity;
Servers;
Encoding;
Cats;
Cognition;
30.
Program Equivalence is Coinductive
机译:
程序对等是可归纳的
作者:
Dirk Pattinson
;
Lutz Schröder
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Mathematical model;
Computational modeling;
Cognition;
Magnetic heads;
Standards;
Calculus;
Turing machines;
31.
Fixed Points In Quantitative Semantics
机译:
定量语义学中的定点
作者:
J. Laird
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Semantics;
Computational modeling;
Algebra;
Additives;
Calculus;
Convergence;
Syntactics;
32.
Ability to Count Messages Is Worth Θ(Δ) Rounds in Distributed Computing
机译:
在分布式计算中,消息计数能力值得Θ(Δ)回合
作者:
Tuomo Lempiäinen
会议名称:
《》
|
2016年
关键词:
Computational modeling;
Distributed computing;
Distributed algorithms;
Biological system modeling;
Mathematical model;
Complexity theory;
Additives;
33.
The Definitional Side of the Forcing
机译:
强迫的定义面
作者:
Guilhem Jaber
;
Gabriel Lewertowski
;
Pierre-Marie Pedrot
;
Matthieu Sozeau
;
Nicolas Tabareau
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Calculus;
Force;
Syntactics;
Generators;
Mathematical model;
Coherence;
Standards;
34.
First-order definability of rational transductions: An algebraic approach
机译:
有理转导的一阶可定性:一种代数方法
作者:
Emmanuel Filiot
;
Olivier Gauwin
;
Nathan Lhote
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Transducers;
Automata;
Syntactics;
Formal languages;
Indexes;
Tools;
Minimization;
35.
Order Invariance on Decomposable Structures
机译:
可分解结构的阶不变性
作者:
Michael Elberfeld
;
Marlin Frickenschmidt
;
Martin Grohe
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Vocabulary;
Databases;
Encoding;
Complexity theory;
Semiconductor device modeling;
Mathematical model;
Adhesives;
36.
Definability equals recognizability for graphs of bounded treewidth
*
机译:
可定义性等于有界树宽
* sup>的图的可识别性
作者:
Mikołaj Bojańczyk
;
Michał Pilipczuk
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Vegetation;
Vocabulary;
Automata;
Adhesives;
Forestry;
Labeling;
Encoding;
37.
Monadic second order logic as the model companion of temporal logic
机译:
一元二阶逻辑作为时间逻辑的模型伴侣
作者:
Silvio Ghilardi
;
Sam van Gool
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Mathematical model;
Computational modeling;
Boolean algebra;
Automata;
Calculus;
Computer science;
38.
Interaction Graphs: Full Linear Logic
机译:
交互图:全线性逻辑
作者:
Thomas Seiller
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Semantics;
Geometry;
Games;
Computational modeling;
Extraterrestrial measurements;
Adaptation models;
Additives;
39.
Conflict nets: Efficient locally canonical MALL proof nets
机译:
冲突网:高效的本地规范MALL证明网
作者:
Dominic Hughes
;
Willem Heijltjes
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Additives;
Complexity theory;
Coherence;
Computer science;
Servers;
Joining processes;
Standards;
40.
Infinitary Lambda Calculi from a Linear Perspective
机译:
线性视角下的不定式Lambda结石
作者:
Ugo Dal Lago
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Calculus;
Productivity;
Linearity;
Adaptation models;
Data structures;
Computational modeling;
Analytical models;
41.
First-order logic with reachability for infinite-state systems
机译:
具有无限状态系统可达性的一阶逻辑
作者:
Emanuele DOsualdo
;
Roland Meyer
;
Georg Zetzsche
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Automata;
Finite element analysis;
Model checking;
Petri nets;
Computational modeling;
Context modeling;
42.
Stochastic mechanics of graph rewriting
机译:
图重写的随机力学
作者:
Nicolas Behr
;
Vincent Danos
;
Ilias Garnier
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Algebra;
Mathematical model;
Stochastic processes;
Concurrent computing;
Engines;
Syntactics;
Computational modeling;
43.
The Complexity of Coverability in ν-Petri Nets
机译:
ν-Petri网覆盖性的复杂性
作者:
Ranko Lazić
;
Sylvain Schmitz
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Petri nets;
Complexity theory;
Upper bound;
Reactive power;
Semantics;
Syntactics;
Safety;
44.
Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete
*
机译:
具有状态的二维一元向量加法系统的可达性是NL-Complete
* sup>
作者:
Matthias Englert
;
Ranko Lazić
;
Patrick Totzke
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Complexity theory;
Upper bound;
Encoding;
Bars;
Formal languages;
History;
45.
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective
机译:
比较化学反应网络:分类和算法的角度
作者:
Luca Cardelli
;
Mirco Tribastone
;
Max Tschaikowski
;
Andrea Vandin
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Emulation;
Partitioning algorithms;
Biological system modeling;
Mathematical model;
Computational modeling;
Chemicals;
Trajectory;
46.
A categorical approach to open and interconnected dynamical systems
机译:
开放和相互联系的动力系统的一种分类方法
作者:
Brendan Fong
;
Paweł Sobociński
;
Paolo Rapisarda
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Semantics;
Linear systems;
Controllability;
Trajectory;
Computer science;
Logic gates;
Algebra;
47.
Differential Refinement Logic
*
机译:
差分优化逻辑
* sup>
作者:
Sarah M. Loos
;
Andre Platzer
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Cognition;
Safety;
Semantics;
Calculus;
Syntactics;
Mathematical model;
Continuous time systems;
48.
On Recurrent Reachability for Continuous Linear Dynamical Systems
机译:
连续线性动力系统的递归可达性
作者:
Ventsislav Chonev
;
Joël Ouaknine
;
James Worrell
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Differential equations;
Markov processes;
Automata;
Approximation algorithms;
Trajectory;
Tools;
Heuristic algorithms;
49.
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
机译:
概率编程的语义:高阶函数,连续分布和软约束
作者:
Sam Staton
;
Frank Wood
;
Hongseok Yang
;
Chris Heunen
;
Ohad Kammar
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Probabilistic logic;
Semantics;
Extraterrestrial measurements;
Probability distribution;
Computer languages;
Algebra;
Stochastic processes;
50.
On the Satisfiability of Some Simple Probabilistic Logics
机译:
关于一些简单概率逻辑的可满足性
作者:
Souymodip Chakraborty
;
Joost-Pieter Katoen
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Probabilistic logic;
Markov processes;
Calculus;
Games;
Semantics;
Syntactics;
Complexity theory;
51.
A Mechanization of the Blakers–Massey Connectivity Theorem in Homotopy Type Theory
机译:
同态型理论中的Blakes-Massey连通性定理的机械化
作者:
Kuen-Bang Hou Favonia
;
Eric Finster
;
Daniel R. Licata
;
Peter LeFanu Lumsdaine
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Government;
Servers;
Complexity theory;
Logic gates;
Tools;
Topology;
Standards;
52.
Hybrid realizability for intuitionistic and classical choice
机译:
直觉和经典选择的混合实现
作者:
Valentin Blot
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Bars;
Calculus;
Cognition;
Mathematical model;
Computational modeling;
Semantics;
Computer languages;
53.
Trace semantics for polymorphic references
*
机译:
多态引用的跟踪语义
* sup>
作者:
Guilhem Jaber
;
Nikos Tzevelekos
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Semantics;
Games;
Calculus;
Syntactics;
Standards;
Programming;
Data structures;
54.
Constructions with Non-Recursive Higher Inductive Types
机译:
非递归高感应类型的构造
作者:
Nicolai Kraus
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Standards;
Poles and towers;
Calculus;
Servers;
Topology;
Conferences;
Coherence;
55.
A constructive function-theoretic approach to topological compactness
机译:
构造性理论的拓扑紧凑性方法
作者:
Iosif Petrakis
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Extraterrestrial measurements;
Topology;
Bridges;
Standards;
Integrated circuits;
56.
The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems
机译:
无限域约束满足问题的代数二分猜想
作者:
Libor Barto
;
Michael Pinsker
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Cloning;
Algebra;
Physics;
Servers;
Computational complexity;
57.
Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction
机译:
减少有限界同构结构,并提高有限域约束满足的可处理性
作者:
Manuel Bodirsky
;
Antoine Mottet
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Cloning;
Computational complexity;
Algebra;
Task analysis;
Context modeling;
Periodic structures;
58.
Weak consistency notions for all the CSPs of bounded width
∗
机译:
边界宽度为
∗ sup>的所有CSP的一致性一致性概念都很弱
作者:
Marcin Kozik
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Algebra;
Approximation algorithms;
Databases;
Ear;
Programming;
59.
Graphs of relational structures: restricted types
机译:
关系结构图:受限类型
作者:
Andrei A. Bulatov
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Algebra;
Complexity theory;
Standards;
Computer science;
Games;
Optimization;
60.
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
*
机译:
由部分有序禁止模式定义的CSP电弧一致性的力量
* sup>
作者:
Martin C. Cooper
;
Stanislav Živný
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Computational complexity;
Hybrid power systems;
Algebra;
Servers;
61.
Distinguishing Hidden Markov Chains
*
机译:
区分隐藏的马尔可夫链
* sup>
作者:
Stefan Kiefer
;
A. Prasad Sistla
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Monitoring;
Markov processes;
Hidden Markov models;
Signal processing algorithms;
Biomedical monitoring;
Probabilistic logic;
Runtime;
62.
Winning Cores in Parity Games
机译:
奇偶游戏的制胜核心
作者:
Steen Vester
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Games;
History;
Approximation algorithms;
Color;
Benchmark testing;
Mathematical model;
Automata;
63.
Reasoning about Recursive Probabilistic Programs
*
机译:
递归概率程序的推理
* sup>
作者:
Federico Olmedo
;
Benjamin Lucien Kaminski
;
Joost-Pieter Katoen
;
Christoph Matheja
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Probabilistic logic;
Runtime;
Semantics;
Cognition;
Calculus;
Programming;
Automata;
64.
Healthiness from Duality
机译:
双重性带来的健康
作者:
Wataru Hino
;
Hiroki Kobayashi
;
Ichiro Hasuo
;
Bart Jacobs
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Algebra;
Semantics;
Probabilistic logic;
Quantum mechanics;
Cats;
Integrated circuits;
Computational modeling;
65.
Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes
机译:
Kolmogorov扩展,Martingale收敛和过程组成
作者:
Dexter Kozen
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Kernel;
Markov processes;
Convergence;
Semantics;
Probabilistic logic;
Radon;
Extraterrestrial measurements;
66.
Quantitative Algebraic Reasoning
机译:
定量代数推理
作者:
Radu Mardare
;
Prakash Panangaden
;
Gordon Plotkin
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Algebra;
Measurement;
Probabilistic logic;
Computer languages;
Semantics;
Mathematical model;
Cognition;
67.
Rewriting modulo symmetric monoidal structure
机译:
重写模对称单曲面结构
作者:
Filippo Bonchi
;
Fabio Gadducci
;
Aleks Kissinger
;
Paweł Sobociński
;
Fabio Zanasi
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Syntactics;
Algebra;
Computer science;
Quantum mechanics;
Mathematical model;
Quantum computing;
68.
Effective Brenier Theorem : Applications to Computable Analysis and Algorithmic Randomness
机译:
有效的布雷尼定理:在可计算分析和算法随机性中的应用
作者:
Alex Galicki
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Convex functions;
Mathematical model;
Convergence;
Cost function;
History;
Economics;
Government;
69.
Quantifier Free Definability on Infinite Algebras
机译:
无限代数上的无量词可定义性
作者:
Bakh Khoussainov
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Algebra;
Computational modeling;
Computer science;
Standards;
Automata;
Servers;
Cognition;
70.
Proving Differential Privacy via Probabilistic Couplings
机译:
通过概率耦合证明差异隐私
作者:
Gilles Barthe
;
Marco Gaboardi
;
Benjamin Grégoire
;
Justin Hsu
;
Pierre-Yves Strub
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Probabilistic logic;
Privacy;
Tools;
Couplings;
Approximation algorithms;
Cognition;
71.
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory
机译:
在稀薄的空气中读向轻松记忆的事件结构模型
作者:
Alan Jeffrey
;
James Riely
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Visualization;
Semantics;
Periodic structures;
Games;
Atmospheric modeling;
Cognition;
Concurrent computing;
72.
Quantitative Automata under Probabilistic Semantics
机译:
概率语义学下的定量自动机
作者:
Krishnendu Chatterjee
;
Thomas A. Henzinger
;
Jan Otop
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Automata;
Probabilistic logic;
Monitoring;
Semantics;
Gold;
Markov processes;
Time factors;
73.
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems*
机译:
在非确定性和非输入接受系统中实现成分反馈*
作者:
Viorel Preoteasa
;
Stavros Tripakis
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Semantics;
Law;
Transforms;
Cognition;
Complex systems;
Calculus;
74.
Divide and Congruence II: Delay and Weak Bisimilarity
机译:
除法和同余二:延迟和弱双相似性
作者:
Wan Fokkink
;
Rob van Glabbeek
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Semantics;
Delays;
Syntactics;
Standards;
Algebra;
Australia;
Resistance;
75.
How unprovable is Rabin’s decidability theorem?
机译:
Rabin的可判定性定理有多么不可证明?
作者:
Leszek Aleksander Kołodziejczyk
;
Henryk Michalewski
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Games;
Mathematics;
Automata;
Binary trees;
Computer science;
Gold;
Computational modeling;
76.
Solvability of Matrix-Exponential Equations
机译:
矩阵指数方程的可解性
作者:
Joël Ouaknine
;
Amaury Pouly
;
João Sousa-Pinto
;
James Worrell
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Mathematical model;
Automata;
Differential equations;
Lattices;
Analytical models;
Linear programming;
Computational modeling;
77.
Order-Invariance of Two-Variable Logic is Decidable
机译:
二变量逻辑的阶不变性是可确定的
作者:
Thomas Zeume
;
Frederik Harwath
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Silicon;
Complexity theory;
Database languages;
XML;
Servers;
Automata;
Databases;
78.
A Step Up in Expressiveness of Decidable Fixpoint Logics
机译:
决定性定点逻辑的表达能力的提高
作者:
Michael Benedikt
;
Pierre Bourhis
;
Michael Vanden Boom
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Automata;
Complexity theory;
Semantics;
Cost accounting;
Static analysis;
Servers;
Poles and towers;
79.
Church Meets Cook and Levin
机译:
教会遇见库克和莱文
作者:
Damiano Mazza
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Calculus;
Turing machines;
Complexity theory;
Avatars;
Standards;
Runtime;
Encoding;
80.
Complexity Theory of (Functions on) Compact Metric Spaces
机译:
紧度量空间的(复杂度)理论
作者:
Akitoshi Kawamura
;
Florian Steinberg
;
Martin Ziegler
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Extraterrestrial measurements;
Encoding;
Entropy;
Standards;
Computational complexity;
81.
Semantically Acyclic Conjunctive Queries under Functional Dependencies
机译:
功能依赖项下的语义非循环合取查询
作者:
Diego Figueira
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Databases;
Complexity theory;
Semantics;
Algebra;
Syntactics;
Vocabulary;
Database languages;
82.
A Generalised Twinning Property for Minimisation of Cost Register Automata*
机译:
最小化成本登记自动机的广义孪生属性*
作者:
Laure Daviaud
;
Pierre-Alain Reynier
;
Jean-Marc Talbot
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Automata;
Registers;
Transducers;
Minimization;
Computational modeling;
Additives;
Complexity theory;
83.
Deciding First-Order Satisfiability when Universal and Existential Variables are Separated
机译:
通用变量和现有变量分开时确定一阶可满足性
作者:
Thomas Sturm
;
Marco Voigt
;
Christoph Weidenbach
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Informatics;
Syntactics;
Semantics;
Computational modeling;
Cognition;
Reactive power;
Transforms;
84.
Invisible Pushdown Languages
机译:
不可见下推语言
作者:
Eryk Kopczyński
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Automata;
XML;
Grammar;
Encoding;
Production;
Handheld computers;
Periodic structures;
85.
Towards Completeness via Proof Search in the Linear Time µ-calculus : The case of Büchi inclusions
机译:
在线性时间µ-演算中通过证明搜索实现完整性:Büchi夹杂物的情况
作者:
Amina Doumane
;
David Baelde
;
Lucca Hirschi
;
Alexis Saurin
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Calculus;
Automata;
Ear;
Labeling;
Gold;
Search problems;
86.
Factor Varieties and Symbolic Computation
机译:
因子种类和符号计算
作者:
Antonino Salibra
;
Giulio Manzonetto
;
Giordano Favro
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Mathematical model;
Switches;
Artificial intelligence;
Matrix decomposition;
Logic gates;
Boolean algebra;
87.
A bifibrational reconstruction of Lawvere’s presheaf hyperdoctrine
机译:
Lawvere的束前高学说的双歧重建
作者:
Paul-André Melliès
;
Noam Zeilberger
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Cats;
Calculus;
Semantics;
Computer languages;
Servers;
Junctions;
Terminology;
88.
Minimization of Symbolic Tree Automata
机译:
最小化符号树自动机
作者:
Loris D’Antoni
;
Margus Veanes
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Automata;
Minimization;
HTML;
Boolean algebra;
Gold;
Software algorithms;
Software;
89.
The Diagonal Problem for Higher-Order Recursion Schemes is Decidable*
机译:
高阶递归方案的对角线问题是可确定的*
作者:
Lorenzo Clemente
;
Paweł Parys
;
Sylvain Salvati
;
Igor Walukiewicz
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2016年
关键词:
Automata;
Grammar;
Computational modeling;
Reachability analysis;
Servers;
Java;
意见反馈
回到顶部
回到首页