咨询与建议

限定检索结果

文献类型

  • 518 篇 会议
  • 298 篇 期刊文献

馆藏范围

  • 816 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 424 篇 工学
    • 319 篇 计算机科学与技术...
    • 248 篇 软件工程
    • 77 篇 信息与通信工程
    • 58 篇 控制科学与工程
    • 30 篇 生物工程
    • 27 篇 电气工程
    • 26 篇 化学工程与技术
    • 24 篇 机械工程
    • 19 篇 动力工程及工程热...
    • 19 篇 电子科学与技术(可...
    • 17 篇 生物医学工程(可授...
    • 15 篇 力学(可授工学、理...
    • 15 篇 光学工程
    • 15 篇 仪器科学与技术
    • 15 篇 材料科学与工程(可...
    • 7 篇 航空宇航科学与技...
  • 370 篇 理学
    • 302 篇 数学
    • 92 篇 统计学(可授理学、...
    • 61 篇 物理学
    • 39 篇 生物学
    • 28 篇 系统科学
    • 27 篇 化学
  • 80 篇 管理学
    • 42 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 13 篇 教育学
    • 13 篇 教育学
  • 12 篇 经济学
    • 12 篇 应用经济学
  • 12 篇 医学
    • 10 篇 临床医学
    • 8 篇 基础医学(可授医学...
  • 7 篇 法学
    • 6 篇 社会学
  • 5 篇 农学
  • 1 篇 哲学
  • 1 篇 文学
  • 1 篇 历史学
  • 1 篇 军事学
  • 1 篇 艺术学

主题

  • 118 篇 computer science
  • 40 篇 mathematics
  • 19 篇 algorithm design...
  • 19 篇 polynomials
  • 16 篇 educational inst...
  • 16 篇 computational mo...
  • 14 篇 humans
  • 14 篇 shape
  • 13 篇 data mining
  • 13 篇 equations
  • 12 篇 application soft...
  • 12 篇 artificial intel...
  • 11 篇 routing
  • 11 篇 mathematical mod...
  • 11 篇 layout
  • 10 篇 concurrent compu...
  • 10 篇 control systems
  • 10 篇 topology
  • 10 篇 robustness
  • 9 篇 cameras

机构

  • 21 篇 department of co...
  • 11 篇 math. division n...
  • 11 篇 department of ma...
  • 9 篇 college of mathe...
  • 8 篇 courant inst. of...
  • 7 篇 department of ap...
  • 7 篇 inst. math. stoc...
  • 6 篇 department of co...
  • 6 篇 department of co...
  • 6 篇 machine learning...
  • 6 篇 department of ap...
  • 5 篇 department of ap...
  • 5 篇 school of comput...
  • 5 篇 research centre ...
  • 5 篇 department of ap...
  • 5 篇 dept. of math. a...
  • 4 篇 department of ma...
  • 4 篇 math. research i...
  • 4 篇 department of co...
  • 4 篇 department of ma...

作者

  • 11 篇 naor moni
  • 11 篇 ban jung-chao
  • 9 篇 hu wen-guei
  • 9 篇 sharir micha
  • 8 篇 alsmeyer gerold
  • 8 篇 m. irani
  • 8 篇 lai guan-yu
  • 7 篇 r. basri
  • 6 篇 hemaspaandra edi...
  • 6 篇 krishnaswamy smi...
  • 6 篇 srivastava gauta...
  • 6 篇 fitzsimmons zack
  • 6 篇 wu yu-liang
  • 5 篇 chang chih-hung
  • 5 篇 maldonado josé c...
  • 5 篇 macdonell stephe...
  • 5 篇 mendes emília
  • 5 篇 pinchasi rom
  • 5 篇 evangelos a. the...
  • 5 篇 lin jerry chun-w...

语言

  • 797 篇 英文
  • 17 篇 其他
  • 2 篇 中文
检索条件"机构=Department of Applied Math. and Computer Science"
816 条 记 录,以下是761-770 订阅
排序:
Freeness, Sharing, linearity and correctness- all at once  3rd
收藏 引用
3rd Workshop on Static Analysis, WSA 1993
作者: Bruynooghe, M. Codish, M. Department of Computer Science K.U. Leuven Belgium Dept. of Math. and Comp. Sci. Ben Gurion Univ. Beer-Sheba Israel
The availability of freeness and sharing information for logic programs has proven useful in a wide variety of applications. However, deriving correct freeness and sharing information turns out to be a complex task. I... 详细信息
来源: 评论
Character recognition using class 2 dynamical systems
Character recognition using class 2 dynamical systems
收藏 引用
International Symposium on Uncertainty Modeling and Analysis (ISUMA)
作者: Y. Liu Department of Math. and Computer Science Savannah State College Savannah GA USA
The author introduces the theory of pattern recognition using class 2 dynamical systems. In particular, the theory of fractal learning is considered, and fractal learning theory is applied to character recognition. Fr... 详细信息
来源: 评论
Image compression using stochastic neural networks
Image compression using stochastic neural networks
收藏 引用
International Conference on Neural Networks
作者: Y. Liu Department of Math. and Computer Science Savannah State College Savannah GA USA
Image compression using stochastic artificial neural networks (SANNs) is studied. The ideal is to store an image in a stable distribution of a stochastic neural network. Given an input image f epsilon F, one can find ... 详细信息
来源: 评论
A real-time image filtration system
A real-time image filtration system
收藏 引用
1993 IEEE Workshop on Real-Time Applications, RTA 1993
作者: Laplante, P.A. Zalewski, D. Dept. of Math. and Comput. Sci. Fairleigh Dickinson Univ. MadisonNJ07480e United States Department of Computer Science NJIT NewarkNJ07102 United States
A system for performing highly parallel, predictable real-time image filtration is described. The application software was developed using a special class of abstract data types (ADT) constructed in the RT-X language ... 详细信息
来源: 评论
Hot-potato worm routing is almost as easy as store-and-forward packet routing
Hot-potato worm routing is almost as easy as store-and-forwa...
收藏 引用
Israel Symposium on the Theory of Computing and Systems
作者: I. Newman A. Schuster Math. and Computer Sci. Haifa University Computer Science Department Technion-Israel Institute of Technology Israel
The theory of worm routing (rather than packet routing) recently attracts an increased attention as an abstraction of the underlying communication mechanisms in many parallel machines. Routing the worms in the hot-pot... 详细信息
来源: 评论
Taking it to the limit: on infinite variants of NP-complete problems
Taking it to the limit: on infinite variants of NP-complete ...
收藏 引用
Annual Conference on Structure in Complexity Theory
作者: T. Hirst D. Harel Department of Applied Mathematics & Computer Science Weizmann Institute of Science Rehovot Israel Dept. of Appl. Math. & Comput. Sci. Weizmann Inst. of Sci. Rehovot Israel
Infinite, recursive versions of NP optimization problems are defined. For example, MAX CLIQUE becomes the question of whether a recursive graph contains an infinite clique. The work was motivated by trying to understa... 详细信息
来源: 评论
On linear-time deterministic algorithms for optimization problems in fixed dimension  93
On linear-time deterministic algorithms for optimization pro...
收藏 引用
Proceedings of the fourth annual ACM-SIAM symposium on Discrete algorithms
作者: Bernard Chazelle Jiří Matoušek Dept. Computer science Princeton Univ. Dept. Applied Math. Charles University Prague Czechoslovakia and Free Univ. Berlin Germany
来源: 评论
3-D docking of protein molecules  4th
收藏 引用
Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2017 and 16th International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, IWIFSGN 2017
作者: Fischer, Daniel Norel, Raquel Nussinov, Ruth Wolfson, Haim J. Computer Science Department Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University Israel Sackler Inst. of Molecular Medicine Faculty of Medicine Tel Aviv University Israel Lab of Math. Biology PRI - Dynacor NCI-FCRF NIH United States
We present geometric algorithms which tackle the docking problem in Molecular Biology. This problem is a central research topic both for synthetic drug design and for biomolecular recognition and interaction of protei... 详细信息
来源: 评论
Model based corner detection
Model based corner detection
收藏 引用
Conference on computer Vision and Pattern Recognition (CVPR)
作者: C.M. Orange F.C.A. Groen Department of Applied Physics Technical University Delft Delft Netherlands Department of Math and Computer Science University of Amsterdam Amsterdam Netherlands
A method is presented to correct an approximate polygonal sketch of an image object boundary by adjusting the location of each corner point in the sketch. The method is suitable for the segmentation of unknown images ... 详细信息
来源: 评论
New wormhole routing algorithms for multicomputers
New wormhole routing algorithms for multicomputers
收藏 引用
International Symposium on Parallel Processing
作者: R.V. Boppana S. Chalasani Division of Math. and Computer Science University of Texas San Antonio San Antonio TX USA ECE Department University of Wisconsin Madison Madison WI USA
Development of wormhole routing techniques so far has been largely independent of the results available for store-and-forward routing in literature. The authors provide a general result which enables them to design de... 详细信息
来源: 评论