咨询与建议

限定检索结果

文献类型

  • 2,350 篇 期刊文献
  • 763 篇 会议
  • 119 册 图书
  • 41 篇 学位论文
  • 1 篇 资讯

馆藏范围

  • 3,257 篇 电子文献
  • 25 种 纸本馆藏

日期分布

学科分类号

  • 2,813 篇 工学
    • 1,135 篇 计算机科学与技术...
    • 653 篇 电气工程
    • 509 篇 控制科学与工程
    • 447 篇 软件工程
    • 302 篇 信息与通信工程
    • 200 篇 机械工程
    • 196 篇 仪器科学与技术
    • 154 篇 电子科学与技术(可...
    • 86 篇 生物工程
    • 70 篇 动力工程及工程热...
    • 67 篇 化学工程与技术
    • 64 篇 力学(可授工学、理...
    • 53 篇 航空宇航科学与技...
    • 43 篇 材料科学与工程(可...
    • 36 篇 交通运输工程
    • 33 篇 土木工程
    • 30 篇 船舶与海洋工程
    • 25 篇 测绘科学与技术
    • 24 篇 建筑学
    • 22 篇 石油与天然气工程
  • 1,187 篇 理学
    • 530 篇 数学
    • 228 篇 物理学
    • 217 篇 系统科学
    • 184 篇 生物学
    • 107 篇 统计学(可授理学、...
    • 56 篇 化学
  • 261 篇 管理学
    • 251 篇 管理科学与工程(可...
  • 211 篇 医学
    • 96 篇 临床医学
    • 92 篇 基础医学(可授医学...
  • 60 篇 农学
  • 30 篇 经济学
    • 21 篇 应用经济学
  • 30 篇 教育学
  • 23 篇 艺术学
  • 10 篇 法学
  • 9 篇 文学
  • 4 篇 哲学
  • 3 篇 军事学
  • 1 篇 历史学

主题

  • 3,274 篇 computer algorit...
  • 166 篇 algorithms
  • 151 篇 computer simulat...
  • 131 篇 computer program...
  • 124 篇 wireless sensor ...
  • 95 篇 mathematical opt...
  • 82 篇 particle swarm o...
  • 81 篇 computational co...
  • 80 篇 machine learning
  • 77 篇 standing orders
  • 77 篇 mathematical mod...
  • 77 篇 computer softwar...
  • 73 篇 computer science
  • 71 篇 problem solving
  • 69 篇 neural networks ...
  • 69 篇 controllers
  • 64 篇 performance eval...
  • 62 篇 robust control
  • 59 篇 electronic data ...
  • 57 篇 data analysis

机构

  • 10 篇 russian acad sci...
  • 7 篇 hong kong univer...
  • 6 篇 russian acad sci...
  • 6 篇 harbin engn univ...
  • 5 篇 columbia univers...
  • 5 篇 shanghai maritim...
  • 5 篇 northeastern uni...
  • 5 篇 harbin inst tech...
  • 5 篇 beijing univ pos...
  • 5 篇 beihang univ sch...
  • 5 篇 ucl london wc1e ...
  • 5 篇 univ calif san d...
  • 5 篇 nanjing univ aer...
  • 5 篇 stanford univ de...
  • 5 篇 univ elect sci &...
  • 4 篇 russian acad sci...
  • 4 篇 russian acad sci...
  • 4 篇 ibm corp div res...
  • 4 篇 northeastern uni...
  • 4 篇 china univ min &...

作者

  • 6 篇 liu yang
  • 6 篇 wang wei
  • 5 篇 yongcan cao
  • 5 篇 singh bhim
  • 5 篇 wang jun
  • 4 篇 ye mao
  • 4 篇 masakatsu g. fuj...
  • 4 篇 wang yan
  • 4 篇 jesse b. hoagg
  • 4 篇 liu tian-hua
  • 4 篇 yilmaz sozer
  • 4 篇 karimi hamid rez...
  • 4 篇 liu wei
  • 4 篇 wang yu
  • 4 篇 zhang jun
  • 4 篇 nikhil chopra
  • 4 篇 tansel yucelen
  • 4 篇 dennis s. bernst...
  • 4 篇 li wei
  • 4 篇 wei wei

语言

  • 2,971 篇 英文
  • 184 篇 其他
  • 117 篇 中文
  • 1 篇 德文
  • 1 篇 法文
检索条件"主题词=Computer algorithms"
3274 条 记 录,以下是2681-2690 订阅
排序:
An exact subexponential-time lattice algorithm for Asian options
收藏 引用
ACTA INFORMATICA 2007年 第1期44卷 23-39页
作者: Dai, Tian-Shyr Lyuu, Yuh-Dauh Natl Taiwan Univ Dept Comp Sci & Informat Engn Taipei 106 Taiwan Natl Chiao Tung Univ Dept Informat & Finance Management Hsinchu 300 Taiwan
Asian options are popular financial derivative securities. Unfortunately, no exact pricing formulas exist for their price under continuous-time models. Asian options can also be priced on the lattice, which is a discr... 详细信息
来源: 评论
Simultaneous tracking and classification: A modularized scheme
收藏 引用
IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS 2007年 第2期43卷 581-599页
作者: Mei, Wei Shan, Gan-Lin Li, X. Rong Shijiazhuang Mech Engn Coll Dept Elect Engn Shijiazhuang 050003 Peoples R China Univ New Orleans Dept Elect Engn New Orleans LA 70148 USA
The high computational complexity of existing joint tracking and classification (JTC) algorithms hampers their application. After presenting a new description of the JTC problem-simultaneous tracking and classificatio... 详细信息
来源: 评论
Fair ambients
收藏 引用
ACTA INFORMATICA 2007年 第8期43卷 535-594页
作者: Fu, Yuxi Shanghai Jiao Tong Univ Dept Comp Sci BASICS Shanghai 200030 Peoples R China
Based on an analysis of the capability operators of the Calculus of Mobile Ambients, three fairness principles are proposed to safeguard the interactions of the ambients. The Calculus of Fair Ambient is designed to me... 详细信息
来源: 评论
On Abelian 2-avoidable binary patterns
收藏 引用
ACTA INFORMATICA 2007年 第8期43卷 521-533页
作者: Currie, James D. Visentin, Terry I. Univ Winnipeg Dept Math & Stat Winnipeg MB R3B 2E9 Canada
We give the first example of a binary pattern which is Abelian 2-avoidable, but which contains no Abelian fourth power. We introduce a family {fn}(n=1)(infinity) of binary morphisms which offer a common generalization... 详细信息
来源: 评论
Concept for facilitating analyst-mediated interpretation of qualitative chromatographic-mass spectral data: An alternative to manual examination of extracted ion chromatograms (vol 79, pg 4805, 2007)
收藏 引用
ANALYTICAL CHEMISTRY 2007年 第17期79卷 6894-6894页
作者: Borges, Chad R. Sports Medicine Research and Testing Laboratory Department of Pharmacology & Toxicology University of Utah Salt Lake City Utah 84108
A chemometrics-based data analysis concept has been developed as a substitute for manual inspection of extracted ion chromatograms (XICs), which facilitates rapid, analyst-mediated interpretation of GC- and LC/MS(n) d... 详细信息
来源: 评论
Spatial error concealment method based on POCS with a correlation-based initial block
收藏 引用
IET IMAGE PROCESSING 2007年 第2期1卷 134-140页
作者: Kim, M. Lee, S.-W. Kim, S.-D. Korea Adv Inst Sci & Technol Dept EE&CS Div EE Taejon 305701 South Korea
A spatial error concealment method is proposed based on projections onto convex sets (POCS) with a correlation-based initial block. The conventional POCS results heavily depend on an initial block. To cope with this p... 详细信息
来源: 评论
A criterion for atomicity revisited
收藏 引用
ACTA INFORMATICA 2007年 第2期44卷 123-151页
作者: Hesselink, Wim H. Univ Groningen Dept Math & Comp Sci NL-9700 AV Groningen Netherlands
Concurrent and reactive programs are specified by their behaviours in the presence of a nondeterministic environment. In a natural way, this gives a specification (ARW) of an atomic variable in the style of Abadi and ... 详细信息
来源: 评论
On selection of nonmultiplicative prolongations in computation of janet bases
收藏 引用
PROGRAMMING AND computer SOFTWARE 2007年 第3期33卷 147-153页
作者: Gerdt, V. P. Blinkov, Yu. A. Joint Inst Nucl Res Informat Technol Lab Dubna 141980 Russia Saratov NG Chernyshevskii State Univ Dept Math & Mech Saratov 410071 Russia
We consider three modifications of our basic involutive algorithm for computing polynomial Janet bases. These modifications, which are related to degree-compatible monomial orders, yield specific selection strategies ... 详细信息
来源: 评论
Elliptical-Tukey chirp signal for high-resolution, air-coupled ultrasonic imaging
收藏 引用
IEEE TRANSACTIONS ON ULTRASONICS FERROELECTRICS AND FREQUENCY CONTROL 2007年 第8期54卷 1530-1540页
作者: Pallav, Prakash Gan, Tat Hean Hutchins, David A. Univ Warwick Sch Engn Coventry CV4 7AL W Midlands England
A new signal processing method, which uses a modified chirp signal for air-coupled ultrasonic imaging, is described. A combination of the elliptical and Tukey window functions has been shown to give a better performan... 详细信息
来源: 评论
Randomized algorithms for 3-SAT
收藏 引用
THEORY OF COMPUTING SYSTEMS 2007年 第3期40卷 249-262页
作者: Hofmeister, Thomas Schoening, Uwe Schuler, Rainer Watanabe, Osamu Univ Dortmund D-44221 Dortmund Germany Univ Ulm Abt Theoret Informat D-89069 Ulm Germany Tokyo Inst Technol Dept Math & Comp Sci Tokyo 1528552 Japan
In [S1] Schoning proposed a simple yet efficient randomized algorithm for solving the k-SAT problem. In the case of 3-SAT, the algorithm has an expected running time of poly(n) center dot (4/3)(n) = 0(1.334(n)). In th... 详细信息
来源: 评论