中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 26)

Items/Page:    Sort:
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

 
Unperturbed Schelling Segregation in Two or Three Dimensions [期刊论文]
JOURNAL OF STATISTICAL PHYSICS, 2016-01-01, 卷号: 164, 期号: 6, 页码: 1460-1487
Barmpalias, G; Elwes, R; Lewis-Pye, A
  |  
 
Solving Nonlinear SMT Problems Based on an Efficient Lazy Method [期刊论文]
JOURNAL OF INTERNET TECHNOLOGY, 2013-01-01, 卷号: 14, 期号: 3, 页码: 379-386
Ji, Xiaohui; Ma, Feifei

 
Some decidable results on reachability of solvable systems [期刊论文]
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013-01-01, 卷号: 42, 期号: 4, 页码: 405-425
Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin

 
non-linear beam tracing on a gpu [期刊论文]
COMPUTER GRAPHICS FORUM, 2011-01-01, 卷号: 30, 期号: 8, 页码: 2156-2169
Liu Baoquan; Wei Li-Yi; Yang Xu; Ma Chongyang; Xu Ying-Qing; Guo Baining; Wu Enhua

 
on the nonexistence of bent functions [期刊论文]
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011-01-01, 卷号: 22, 期号: 6, 页码: 1431-1438
Zhang Yin; Liu Meicheng; Lin Dongdai

 
global existence and blow-up of solutions to a nonlocal evolution p-laplace system with nonlinear boundary conditions [期刊论文]
Acta Mathematica Scientia, 2011-01-01, 卷号: 31, 期号: 3, 页码: 1001 - 1010
Xuesong Wu; Wenjie Gao; Jianwen Cao

 
results on the immunity of boolean functions against probabilistic algebraic attacks [会议论文]
16th Australasian Conference on Information Security and Privacy, ACISP 2011, Melbourne, VIC, Australia, 11-Jul-02
Liu Meicheng; Lin Dongdai; Pei Dingyi
  |  
 

1 2 3 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace