掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on current trends in theory and practice of computer science
International conference on current trends in theory and practice of computer science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Logical Characterisations and Compositionality of Input-Output Conformance Simulation
机译:
输入输出一致性仿真的逻辑特征和组成
作者:
Luca Aceto
;
Ignacio Fabregas
;
Carlos Gregorio-Rodriguez
;
Anna Ingolfsdottir
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
2.
A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories
机译:
行为规范理论的线性时间分支时间谱
作者:
Uli Fahrenberg
;
Axel Legay
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
3.
Software System Migration to Cloud-Native Architectures for SME-Sized Software Vendors
机译:
面向中小企业规模的软件供应商的软件系统迁移到云原生架构
作者:
Frank Fowley
;
Divyaa Manimaran Elango
;
Hany Magar
;
Claus Pahl
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Cloud migration;
Architecture evolution;
Software modernisation;
Cost models;
Cloud native;
ISV;
SME;
4.
Using n-grams for the Automated Clustering of Structural Models
机译:
使用n-gram对结构模型进行自动聚类
作者:
Oender Babur
;
Loek Cleophas
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Model-driven engineering;
Model comparison;
Vector space model;
Hierarchical clustering;
n-grams;
5.
Dependable and Optimal Cyber-Physical Systems
机译:
可靠的最佳网络物理系统
作者:
Kim Guldstrand Larsen
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
6.
Verifying Parametric Thread Creation
机译:
验证参数线程创建
作者:
Igor Walukiewicz
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
7.
Preface
机译:
前言
作者:
Bernhard Steffen
;
Christel Baier
;
Mark van den Brand
;
Johann Eder
;
Mike Hinchey
;
Tiziana Margaria
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
8.
Trends and Challenges in Predictive Analytics (Abstract of Invited Talk)
机译:
预测分析的趋势和挑战(特邀演讲摘要)
作者:
Jaakko Hollmen
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
9.
Symbolic Semantics for Multiparty Interactions in the Link-Calculus
机译:
链接演算中多方交互的符号语义
作者:
Linda Brodo
;
Carlos Olarte
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
10.
Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs
机译:
任意图上两个代理的集合速度不同
作者:
Evangelos Kranakis
;
Danny Krizanc
;
Euripides Markou
;
Aris Pagourtzis
;
Felipe Ramirez
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Graph;
Mobile agents;
Rendezvous;
Speeds;
Universal exploration sequence;
11.
Deciding Structural Liveness of Petri Nets
机译:
确定陪替氏网的结构活力
作者:
Petr Jancar
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
12.
Distributed Network Generation Based on Preferential Attachment in ABS
机译:
ABS中基于优先附件的分布式网络生成
作者:
Keyvan Azadbakht
;
Nikolaos Bezirgiannis
;
Frank S. de Boer
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Distributed programming;
Social network;
Preferential Attachment;
Actor model;
Synchronization;
13.
Completeness of Hoare Logic Relative to the Standard Model
机译:
相对于标准模型的Hoare逻辑的完整性
作者:
Zhaowei Xu
;
Wenhui Zhang
;
Yuefei Sui
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Hoare logic;
Peano arithmetic;
Arithmetical hierarchy;
The standard model;
Relative completeness;
14.
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict
机译:
具有非对称冲突的事件结构的基于配置和残差的过渡系统
作者:
Eike Best
;
Nataliya Gribovskaya
;
Irina Virbitskaite
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Bisimilarity;
Event structures with asymmetric conflict;
Labelled transition systems;
Interleaving/Multiset/Pomset semantics;
15.
Hardness of Deriving Invertible Sequences from Finite State Machines
机译:
从有限状态机导出可逆序列的难度
作者:
Robert M. Hierons
;
Mohammad Reza Mousavi
;
Michael Kirkedal Thomsen
;
Uraz Cengiz Tiirker
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
16.
A Graph-Theoretical Characterisation of State Separation
机译:
状态分离的图论表征
作者:
Eike Best
;
Raymond Devillers
;
Uli Schlachter
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Cyclic behaviour;
Labelled transition systems;
Persistent systems;
System synthesis;
17.
Selfish Transportation Games
机译:
自私的运输游戏
作者:
Dimitris Fotakis
;
Laurent Gourves
;
Jerome Monnot
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Resource allocation game;
Existence and computation of equilibria;
Price of anarchy/stability;
18.
Decomposable Relaxation for Concurrent Data Structures
机译:
并发数据结构的可分解松弛
作者:
Chao Wang
;
Yi Lv
;
Peng Wu
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
19.
Sufficient Conditions for a Connected Graph to Have a Hamiltonian Path
机译:
连通图具有哈密顿路径的充分条件
作者:
Benjamin Momege
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Combinatorial problems;
Connected graphs;
Hamiltonian path;
Degree;
20.
Enumerating Minimal Tropical Connected Sets
机译:
列举最小的热带关联集
作者:
Dieter Kratsch
;
Mathieu Liedloff
;
Mohamed Yosri Sayadi
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
21.
Bamboo Garden Trimming Problem (Perpetual Maintenance of Machines with Different Attendance Urgency Factors)
机译:
竹园修剪问题(永久性维护具有不同出勤率因素的机器)
作者:
Leszek Gasieniec
;
Ralf Klasing
;
Christos Levcopoulos
;
Andrzej Lingas
;
Jie Min
;
Tomasz Radzik
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
22.
Exact Quantum Query Complexity of EXACTJJ j
机译:
EXACTJJ j的精确量子查询复杂度
作者:
Andris Ambainis
;
Janis Iraids
;
Daniel Nagaj
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
23.
Adjacent Vertices Can Be Hard to Find by Quantum Walks
机译:
通过Quantum Walks很难找到相邻的顶点
作者:
Nikolajs Nahimovs
;
Raqueline A.M. Santos
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Quantum walks;
Stationary states;
Multiple marked vertices;
Quantum search;
Exceptional configurations;
General graphs;
Hypercube;
Two-dimensional grid;
24.
Matrix Semigroup Freeness Problems in SL(2,Z)
机译:
SL(2,Z)中的矩阵半群自由问题
作者:
Sang-Ki Ko
;
Igor Potapov
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Matrix semigroups;
Freeness;
Decision problems;
Decidability;
Computational complexity;
25.
Order-Preserving 1-String Representations of Planar Graphs
机译:
平面图的保序1字符串表示形式
作者:
Therese Biedl
;
Martin Derka
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
26.
How to Draw a Planarization
机译:
如何绘制平面图
作者:
Thomas Blasius
;
Marcel Radermacher
;
Ignaz Rutter
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
27.
Finding Largest Common Substructures of Molecules in Quadratic Time
机译:
在二次时间内找到分子的最大共同子结构
作者:
Andre Droschinsky
;
Nils Kriege
;
Petra Mutzel
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
28.
Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints
机译:
具有向量和基数约束的在线间隔着色的下界
作者:
Grzegorz Gutowski
;
Patryk Mikos
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
On-line coloring;
Interval graphs;
Unit interval graphs;
29.
Parameterized and Exact Algorithms for Class Domination Coloring
机译:
类控制着色的参数化和精确算法
作者:
R. Krithika
;
Ashutosh Rai
;
Saket Saurabh
;
Prafullkumar Tale
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
30.
The Approximability of Partial Vertex Covers in Trees
机译:
树中部分顶点覆盖的逼近度
作者:
Vahan Mkrtchyan
;
Ojas Parekh
;
Danny Segev
;
K. Subramani
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
31.
Longest Common Subsequence in at Least k Length Order-Isomorphic Substrings
机译:
至少k个长度顺序的同构子串中的最长公共子序列
作者:
Yohei Ueki
;
Diptarama
;
Masatoshi Kurihara
;
Yoshiaki Matsuoka
;
Kazuyuki Narisawa
;
Ryo Yoshinaka
;
Hideo Bannai
;
Shunsuke Inenaga
;
Ayumi Shinohara
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Longest common subsequence;
Dynamic programming;
Order-isomorphism;
Order-preserving matching;
32.
Computing Longest Single-arm-gapped Palindromes in a String
机译:
计算字符串中最长的单臂回文
作者:
Shintaro Narisada
;
Diptarama
;
Kazuyuki Narisawa
;
Shunsuke Inenaga
;
Ayumi Shinohara
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
33.
Edit-Distance Between Visibly Pushdown Languages
机译:
可视下推式语言之间的编辑距离
作者:
Yo-Sub Han
;
Sang-Ki Ko
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Visibly pushdown languages;
Edit-distance;
Algorithm;
Decidability;
34.
Model-Driven Development in Practice: From Requirements to Code
机译:
实践中的模型驱动开发:从需求到代码
作者:
Oscar Pastor
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
35.
Webpage Menu Detection Based on DOM
机译:
基于DOM的网页菜单检测
作者:
Julian Alarte
;
David Insa
;
Josep Silva
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Information retrieval;
Web template detection;
Menu detection;
36.
A Hybrid Model for Linking Multiple Social Identities Across Heterogeneous Online Social Networks
机译:
跨异构在线社交网络链接多个社交身份的混合模型
作者:
Athanasios Kokkos
;
Theodoras Tzouramanis
;
Yannis Manolopoulos
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Online identities linkage;
Online social network profiles data similarity and linkage model;
Profile matching formulas;
Machine learning;
37.
Eco-Data Warehouse Design Through Logical Variability
机译:
通过逻辑可变性设计生态数据仓库
作者:
Selma Bouarar
;
Ladjel Bellatreche
;
Amine Roukh
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
38.
On Featured Transition Systems
机译:
关于特色过渡系统
作者:
Axel Legay
;
Gilles Perrouin
;
Xavier Devroey
;
Maxime Cordy
;
Pierre-Yves Schobbens
;
Patrick Heymans
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
39.
Domain-Specific Languages: A Systematic Mapping Study
机译:
领域特定的语言:系统映射研究
作者:
Marjan Mernik
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
40.
Characterising Malicious Software with High-Level Behavioural Patterns
机译:
使用高级行为模式表征恶意软件
作者:
Jana Stastna
;
Martin Tomasek
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
关键词:
Malware analysis;
Behavioural patterns;
High-level representation;
Syntax-independent;
41.
AErlang at Work
机译:
AErlang在工作
作者:
Rocco De Nicola
;
Tan Duong
;
Omar Inverso
;
Catia Trubiani
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
42.
Network Constructors: A Model for Programmable Matter
机译:
网络构造器:可编程问题模型
作者:
Othon Michail
;
Paul G. Spirakis
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2017年
意见反馈
回到顶部
回到首页