中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

北京大学 [54]

内容类型

期刊论文 [26]

会议论文 [5]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共54条，第1-10条

帮助

限定条件	专题：北京大学第一署名单位第一作者单位通讯作者单位

已选(0)清除条数/页：排序方式：
	Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess 期刊论文 JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2017 Cai, Shaowei; Lin, Jinkun; Luo, Chuan 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/12/03 INDEPENDENT SET PROBLEM NETWORKS
	Restricted Four-Valued Semantics for Answer Set Programming 其他 2016-01-01 Chen, Chen; Lin, Zuoquan 收藏 \| 浏览/下载：1/0 \| 提交时间：2017/12/03 LOGIC
	New local search methods for partial MaxSAT 期刊论文 ARTIFICIAL INTELLIGENCE, 2016 Cai, Shaowei; Luo, Chuan; Lin, Jinkun; Su, Kaile 收藏 \| 浏览/下载：4/0 \| 提交时间：2017/12/03 Partial MaxSAT Local search Hard and soft score Initialization CORE-GUIDED MAXSAT CARDINALITY CONSTRAINTS CONFIGURATION CHECKING INFERENCE RULES SAT ALGORITHMS
	A unified gas-kinetic scheme for continuum and rarefied flows IV: Full Boltzmann and model equations 期刊论文 JOURNAL OF COMPUTATIONAL PHYSICS, 2016 Liu, Chang; Xu, Kun; Sun, Quanhua; Cai, Qingdong 收藏 \| 浏览/下载：4/0 \| 提交时间：2017/12/03 Direct modeling Unified gas kinetic scheme Boltzmann equation Kinetic collision model Asymptotic preserving ASYMPTOTIC PRESERVING SCHEME RADIATIVE-TRANSFER EQUATIONS EXPONENTIAL RUNGE-KUTTA NAVIER-STOKES EQUATIONS COLLISION OPERATOR NUMERICAL-SOLUTIONS DIFFUSION LIMIT VELOCITY SPACE HIGH-ORDER APPROXIMATION
	A parareal method for time-fractional differential equations 其他 2015-01-01 Xu, Qinwu; Hesthaven, Jan S.; Chen, Feng 收藏 \| 浏览/下载：4/0 \| 提交时间：2017/12/03 Fractional calculus Time-fractional Parareal Parallel-in-time Multi-domain spectral PARALLEL ALGORITHM DISCRETIZATION PDES
	Smaller SDP for SOS decomposition 其他 2015-01-01 Dai, Liyun; Xia, Bican 收藏 \| 浏览/下载：6/0 \| 提交时间：2017/12/03 SOS SDP Newton polytope Convex cover polynomial Split polynomial POLYNOMIAL OPTIMIZATION PROBLEMS SQUARES SUMS RELAXATIONS FORMS ALGORITHM SPARSITY
	CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability 期刊论文 IEEE TRANSACTIONS ON COMPUTERS, 2015 Luo, Chuan; Cai, Shaowei; Wu, Wei; Jie, Zhong; Su, Kaile 收藏 \| 浏览/下载：5/0 \| 提交时间：2017/12/03 Local search weighted maximum satisfiability configuration checking make MAX-SAT PROBLEMS CONFIGURATION CHECKING INFERENCE RULES FORMULATION MINIMUM
	Supervised Learning via Euler's Elastica Models 期刊论文 JOURNAL OF MACHINE LEARNING RESEARCH, 2015 Lin, Tong; Xue, Hanlin; Wang, Ling; Huang, Bo; Zha, Hongbin 收藏 \| 浏览/下载：8/0 \| 提交时间：2017/12/03 supervised learning Euler&apos total variation geometric regularization Euler-Lagrange PDE function approximation universal consistency AUGMENTED LAGRANGIAN METHOD SUPPORT VECTOR MACHINES CLASSIFICATION METHODS STATISTICAL-ANALYSIS RANDOM FORESTS CONSISTENCY CLASSIFIERS CURVATURE ALGORITHMS s elastica
	TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation 其他 2015-01-01 Lin, Jinkun; Luo, Chuan; Cai, Shaowei; Su, Kaile; Hao, Dan; Zhang, Lu 收藏 \| 浏览/下载：8/0 \| 提交时间：2017/12/03 INTERACTION TEST SUITES COVERING ARRAYS CONFIGURATION CHECKING LOCAL SEARCH TABU SEARCH SATISFIABILITY SYSTEM
	CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability 其他 2015-01-01 Cai, Shaowei; Luo, Chuan; Su, Kaile 收藏 \| 浏览/下载：6/0 \| 提交时间：2017/12/03

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace