中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [8]
计算机科学国家重点实... [3]
互联网软件技术实验室... [2]
软件工程技术研究开发... [1]
基础软件国家工程研究... [1]
作者
Content Type
会议论文 [12]
期刊论文 [3]
Issued Date
Language
英语 [8]
Source
lecture no... [4]
proceeding... [2]
computers ... [1]
discrete a... [1]
innovation... [1]
更多...
Project
Indexed
EI [7]
SCI [3]
ACM [1]
EI,ACM [1]
ISTP [1]
更多...
Spnsorship
ieee [2]
acm sighh,... [1]
acm spec. ... [1]
formal met... [1]
fudan univ... [1]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 15)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Issue Date Ascending
Issue Date Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Submitted Time Ascending
Submitted Time Descending
approximating linear order inference in owl 2 dl by horn compilation
[会议论文]
2012 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2012, Macau, China, December 4, 2012 - December 7, 2012
Du Jianfeng
;
Qi Guilin
;
Pan Jeff Z.
;
Shen Yi-Dong
complete characterization of the ground-space structure of two-body frustration-free hamiltonians for qubits
[期刊论文]
PHYSICAL REVIEW A, 2011-01-01, 卷号: 84, 期号: 4, 页码: -
Ji Zhengfeng
;
Wei Zhaohui
;
Zeng Bei
dichotomy for holant* problems of boolean domain
[会议论文]
22nd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, San Francisco, CA, United states, 23-Jan
Cai Jin-Yi
;
Lu Pinyan
;
Xia Mingji
|
holographic algorithms by fibonacci gates
[会议论文]
Cai Jin-Yi
;
Lu Pinyan
;
Xia Mingji
|
utilization bound for periodic task set with composite deadline
[期刊论文]
Computers and Electrical Engineering, 2010-01-01, 卷号: 36, 期号: 6, 页码: 1101-1109
Min-Allah Nasro
;
Ali Ishtiaq
;
Xing Jiansheng
;
Wang Yongji
|
optimal infostation deployment for spatio-temporal information dissemination
[会议论文]
15th IEEE Symposium on Computers and Communications, ISCC 2010, Riccione, Italy, 37429
Xiong Yongping
;
Tian Rui
;
Ma Jian
;
Liu Yan
;
Sun Limin
|
holographic algorithms with matchgates capture precisely tractable planar #csp
[会议论文]
2010 IEEE 51st Annual Symposium on Foundations of Computer Science, FOCS 2010, Las Vegas, NV, United states, 40839
Cai Jin-Yi
;
Lu Pinyan
;
Xia Mingji
|
a calculus for game-based security proofs
[会议论文]
4th International Conference on Provable Security, ProvSec 2010, Malacca, Malaysia, 40829
Nowak David
;
Zhang Yu
|
holographic algorithms by fibonacci gates and holographic reductions for hardness
[会议论文]
49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, Philadelphia, PA, United states, 40841
Cai Jin-Yi
;
Lu Pinyan
;
Xia Mingji
|
enhancing simulation for checking language containment
[会议论文]
4th International Conference on Theory and Applications of Models of Computation, Shanghai, PEOPLES R CHINA, MAY 22-25,
Yi Jin
;
Zhang Wenhui
|
1
2
next
Copyright © 2007-2020
中国科学院软件研究所
-
Feedback
Powered by
CSpace
