中国科学院软件研究所机构知识库
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
软件所图书馆 [732]
计算机科学国家重... [167]
信息安全国家重点... [109]
基础软件国家工程研... [69]
人机交互技术与智能... [46]
更多...
作者
王健 [4]
罗雄飞 [3]
王雅哲 [2]
张扶桑 [2]
左正康 [2]
更多...
Content Type
会议论文 [772]
期刊论文 [479]
学位论文 [8]
专著章节/文集论文 [6]
Issued Date
2019 [1]
2018 [2]
2017 [1]
2016 [25]
2015 [5]
Language
英语 [731]
中文 [83]
Source
lecture ... [407]
journal o... [73]
theoretic... [38]
lecture n... [27]
proceedin... [17]
更多...
Project
descriptio... [1]
Indexed
EI [672]
SCI [268]
ISTP [95]
其他 [76]
SPRINGER [34]
更多...
Spnsorship
ieee [12]
china com... [11]
ieee; iee... [10]
national n... [8]
ieee compu... [7]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 1265)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
Blind Image Deblurring with Reinforced Use of Edges
[会议论文]
Computer Graphics International 2019, MacEwan Hall Conference Center, University of Calgary, Calgary, Alberta, Canada T2N 1N4, 2019-6-20
Qiu F(邱枫)
  |  
Incremental Voronoi sets for instant stippling
[期刊论文]
The Visual Computer, 2018-01-01, 卷号: 34, 期号: 6-8
Ma Lei(马雷)
;
Yanyun Chen
;
Yingling Qian
;
Hanqiu Sun
  |  
Instant Stippling on 3D Scenes
[期刊论文]
Computer Graphics Forum, 2018-01-01, 卷号: 37, 期号: 7, 页码: 255-266
Ma Lei(马雷)
;
Jiangwei Guo
;
Dong-ming Yan
;
Hanqiu Sun
;
Yanyun Chen
  |  
Barrier certificates revisited
[期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2017-05-01, 卷号: 80, 页码: 62-86
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
A NONLINEARLY PRECONDITIONED INEXACT NEWTON ALGORITHM FOR STEADY STATE LATTICE BOLTZMANN EQUATIONS
[期刊论文]
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2016-01-01, 卷号: 38, 期号: 3, 页码: A1701-A1724
Huang, JZ
;
Yang, C
;
Cai, XC
ACTIVE-SET REDUCED-SPACE METHODS WITH NONLINEAR ELIMINATION FOR TWO-PHASE FLOW PROBLEMS IN POROUS MEDIA
[期刊论文]
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2016-01-01, 卷号: 38, 期号: 4, 页码: B593-B618
Yang, HJ
;
Yang, C
;
Sun, SY
Context-Based Moving Object Trajectory Uncertainty Reduction and Ranking in Road Network
[期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 1, 页码: 167-184
Dai, J
;
Ding, ZM
;
Xu, JJ
Multiphase until formulas over Markov reward models: An algebraic approach
[期刊论文]
THEORETICAL COMPUTER SCIENCE, 2016-01-01, 卷号: 611, 页码: 116-135
Xu, M
;
Zhang, LJ
;
Jansen, DN
;
Zhu, HB
;
Yang, ZY
  |  
Completeness of Hoare logic with inputs over the standard model
[期刊论文]
THEORETICAL COMPUTER SCIENCE, 2016-01-01, 卷号: 612, 页码: 23-28
Xu, ZW
;
Sui, YF
;
Zhang, WH
  |  
Termination analysis with recursive calling graphs
[期刊论文]
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2016-01-01, 卷号: 59, 页码: 109-116
Long, T
;
Zhang, WH
  |  
1
2
3
4
5
6
7
8
9
10
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace