设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
CNKI学位论文(1268)
CNKI期刊论文0611(1)
知网期刊论文(246)
在“
Elsevier电子期刊
”中,
命中:
27
条,耗时:小于0.01 秒
在所有数据库中总计命中:
1,515
条
1.
Hydras: Directed hypergraphs and
Horn
formulas
作者:
Robert H. Sloan
a
;
sloan@uic.edu
;
Despina Stasi
b
;
stasdes@iit.edu
;
Gyö
;
rgy Turá
;
n
a
;
c
;
gyt@uic.edu
关键词:
Directed hypergraphs
;
Horn
formulas
;
Horn
minimization
;
Hydra
;
Hydra number
刊名:Theoretical Computer Science
出版年:2017
2.
The joy of implications, aka pure
Horn
formulas: Mainly a survey
作者:
Marcel Wild
mwild@sun.ac.za
关键词:
Pure
Horn
functions and their
minimization
;
Boolean logic
;
Association rule
;
Lattice theory
;
Formal Concept Analysis
;
Closure system
;
Convex geometry
;
Prime implicates
;
Meet-irreducibles
;
Universal algebra
刊名:Theoretical Computer Science
出版年:2017
3.
A decomposition method for CNF minimality proofs
作者:
Endre Boros
;
Ond艡ej 膶epek
;
Petr Ku膷era
关键词:
Boolean functions
;
CNF
;
Boolean
minimization
;
Horn
minimization
;
Decomposition method
刊名:Theoretical Computer Science
出版年:28 October, 2013
4.
Local joint entropy based non-rigid multimodality image registration
作者:
Yu Han
a
;
hany_xidian@126.com
;
Xiang-Chu Feng
a
;
George Baciu
b
关键词:
Image registration
;
Non-rigid
;
Weighted
Horn
regularization
;
Variational differential
;
Alternative
minimization
;
AOS algorithm
刊名:Pattern Recognition Letters
出版年:2013
5.
Generalized -ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation
作者:
Andreas Wotzlaw
;
Ewald Speckenmeyer
;
Stefan Porschen
关键词:
Satisfiability
;
Mixed
Horn
formula
;
2-CNF
;
Level graph
;
Planar embedding
;
Tanglegram
;
Crossing
minimization
;
Graph drawing
;
Computational biology
;
Combinatorial optimization
刊名:Discrete Applied Mathematics
出版年:2012
6.
The effect of hypothermia on sensory-motor function and tissue sparing after spinal cord injury
作者:
Ivana Grulova
;
Lucia Slovinska
;
Miriam Nagyova
;
Milan Cizek
;
Dasa Cizkova
关键词:
Spinal cord injury
;
Hypothermia
;
Urinary bladder
;
Sensory outcome
;
Functional recovery
刊名:The Spine Journal
出版年:1 December, 2013
7.
An economic manufacturing quantity model for a two-stage assembly system with imperfect processes and variable production rate
作者:
Horn
g-Jinh Chang
a
;
chj@mail.tku.edu.tw
;
Rung-Hung Su
b
;
runghung316@gmail.com
;
Chih-Te Yang
c
;
ctyang@cyu.edu.tw
;
Ming-Wei Weng
d
;
mingweiweng@gmail.com
关键词:
Inventory
;
Completely backlogged
;
Two-stage assembly system
;
Variable assembly rate
刊名:Computers and Industrial Engineering
出版年:2012
8.
Risk and technological decision-making during the early to mid-Holocene transition: A comparative perspective in the Argentine Puna
作者:
Federico Restifo
;
federicorestifo@gmail.com
;
Rodolphe Hoguin
刊名:Quaternary International
出版年:2012
9.
Exclusive and essential sets of implicates of Boolean functions
作者:
Endre Boros
;
Ondř
;
ej Č
;
epek
;
Alex
;
er Kogan
;
Petr Kuč
;
era
关键词:
Horn
functions
;
Boolean
minimization
;
Essential sets
;
Exclusive sets
刊名:Discrete Applied Mathematics
出版年:2010
10.
Bootstrap optical flow confidence and uncertainty measure
作者:
Jan Kybic
a
;
kybic@fel.cvut.cz"" rel=""nofollow
;
Claudia Nieuwenhuis
b
;
1
关键词:
Optical flow
;
Bootstrap
;
Confidence measure
;
Motion estimation
;
Uncertainty estimation
刊名:Computer Vision and Image Understanding
出版年:2011
1
2
3
按检索点细分(27)
关键词(7)
文摘(10)
按出版年细分(27)
2027年及以后(1)
2017年(2)
2013年(1)
2012年(3)
2011年(1)
2010年(2)
2009年(1)
2008年(2)
2007年(2)
2006年(1)
2005年(2)
2003年(1)
2000年及以前(8)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.