咨询与建议

限定检索结果

文献类型

  • 519 篇 会议
  • 300 篇 期刊文献
  • 9 册 图书

馆藏范围

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

日期分布

学科分类号

  • 426 篇 工学
    • 320 篇 计算机科学与技术...
    • 248 篇 软件工程
    • 77 篇 信息与通信工程
    • 59 篇 控制科学与工程
    • 31 篇 生物工程
    • 28 篇 电气工程
    • 26 篇 化学工程与技术
    • 24 篇 机械工程
    • 20 篇 电子科学与技术(可...
    • 19 篇 动力工程及工程热...
    • 18 篇 生物医学工程(可授...
    • 15 篇 力学(可授工学、理...
    • 15 篇 光学工程
    • 15 篇 仪器科学与技术
    • 15 篇 材料科学与工程(可...
    • 7 篇 航空宇航科学与技...
  • 371 篇 理学
    • 302 篇 数学
    • 92 篇 统计学(可授理学、...
    • 62 篇 物理学
    • 40 篇 生物学
    • 28 篇 化学
    • 28 篇 系统科学
  • 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
  • 17 篇 artificial intel...
  • 16 篇 educational inst...
  • 16 篇 computational mo...
  • 14 篇 humans
  • 14 篇 shape
  • 13 篇 data mining
  • 13 篇 equations
  • 12 篇 application soft...
  • 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 篇 irit dinur
  • 5 篇 macdonell stephe...
  • 5 篇 mendes emília
  • 5 篇 pinchasi rom
  • 5 篇 evangelos a. the...

语言

  • 810 篇 英文
  • 16 篇 其他
  • 3 篇 中文
检索条件"机构=Department of Applied Math. and Computer Science"
828 条 记 录,以下是161-170 订阅
排序:
Chaotic Associative Recalls for Fixed Point Attractor Patterns
Chaotic Associative Recalls for Fixed Point Attractor Patter...
收藏 引用
International Joint Conference on Neural Networks 2003
作者: Zhao, Liang Cáceres, Juan C.G. Szu, Harold Inst. of Math. and Computer Science University of São Paulo Sao Paulo Brazil Digital Media RF Lab. Sch. of Eng. and Applied Science George Washington University Washington DC United States
Human perception is a complex nonlinear dynamics. On the one hand it is periodic dynamics and on the other hand it is chaotic. Thus, we wish to propose a hybrid - the spatial chaotic dynamics for the associative recal... 详细信息
来源: 评论
Multiway trees of maximum and minimum probability under the random permutation model
收藏 引用
Combinatorics Probability and Computing 1996年 第4期5.0卷 351-371页
作者: Dobrow, Robert P. Fill, James Allen Div. of Math. and Computer Science Truman State University Kirksville MO 63501 United States Department of Mathematical Sciences Johns Hopkins University Baltimore MD 21218-2692 United States
Multiway trees, also known as m-ary search trees, are data structures generalising binary search trees. A common probability model for analysing the behaviour of these structures is the random permutation model. The p...
来源: 评论
Performance evaluation of FDDI-what about packet loss?
Performance evaluation of FDDI-what about packet loss?
收藏 引用
Conference on Local computer Networks (LCN)
作者: P. Martini R. Wittenberg Department of Math. and Computer Science University of Paderborn Paderborn Germany
Recently, a discussion came up dealing with the frame copied indicator in the frame status sequence of FDDI. This indicator shows whether or not the destination has copied the frame and this way allows the sender to r... 详细信息
来源: 评论
Paragon: Novel uses of type hierarchies for data abstraction  84
Paragon: Novel uses of type hierarchies for data abstraction
收藏 引用
Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
作者: Mark Sherman Department of Math. and Computer Science Dartmouth College Hanover NH
来源: 评论
Chemical graphs, chemical reaction graphs, and chemical graph transformation
Chemical graphs, chemical reaction graphs, and chemical grap...
收藏 引用
Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004)
作者: Rosselló, Francesc Valiente, Gabriel Dept. of Math. and Computer Science Research Institute of Health Science University of the Balearic Islands E-07122 Palma de Mallorca Department of Software Technical University of Catalonia E-08034 Barcelona
Chemical reactions are described by edge relabeling graph transformation rules, in which a substrate chemical graph is transformed into a product chemical graph by breaking existing bonds and creating new bonds betwee... 详细信息
来源: 评论
Flow control functions for high-speed transport protocols in local workstation environments
Flow control functions for high-speed transport protocols in...
收藏 引用
Conference on Local computer Networks (LCN)
作者: M. Frank R. Wittenberg Department of Math. and Computer Science University of Paderborn Paderborn Germany
We study the impact of the selection of flow control functions in high-speed transport protocols on the performance for both nonbursty client-server traffic and bulk-data communication such as file transfer in a local... 详细信息
来源: 评论
Skeletonization of ribbon-like shapes with new wavelet function
Skeletonization of ribbon-like shapes with new wavelet funct...
收藏 引用
Proceedings of 2002 International Conference on Machine Learning and Cybernetics
作者: You, Xin-Ge Tang, Yuan Y. Sun, Lu Faculty of Math. and Comp. Sci. Hubei University Wuhan 430062 China Department of Computer Science Hong Kong Baptist University Kowloon Tong Hong Kong
In this paper we propose a new scheme to extract skeleton of Ribbon-like shape with a novel wavelet function. It consists of two phases, namely: based on these perfect properties of new wavelet function, and symmetry ... 详细信息
来源: 评论
Measurements in a FDDI workstation cluster
Measurements in a FDDI workstation cluster
收藏 引用
Conference on Local computer Networks (LCN)
作者: R. Wittenberg P. Martini Department of Math. and Computer Science University of Paderborn Paderborn Germany
We study the throughput characteristics of a FDDI workstation cluster installed at the University of Paderborn. We compare theoretical results to the performance really available to the user at the service access poin... 详细信息
来源: 评论
Optimization of checkpointing/recovery strategy in cloud computing with adaptive storage management
Optimization of checkpointing/recovery strategy in cloud com...
收藏 引用
作者: Meroufel, Bakhta Belalem, Ghalem Department of Math and Computer Science Faculty of Exact Sciences and Computer Science University of Abdelhamid Ibn Badis of Mostaganem Mostaganem Algeria Department of Computer Science Faculty of Exact and Applied Sciences University of Oran1 Ahmed Ben Bella Oran Algeria
Cloud Computing is a type of distributed system that is usually based on the services offered to the user based on SLA contract. In this case, the implementation of a fault-tolerant system that ensures the reliability... 详细信息
来源: 评论
A transformation of SDL specifications - A step towards the verification
A transformation of SDL specifications - A step towards the ...
收藏 引用
4th International Andrei Ershov Memorial Conference on "Perspectives of System Informatics", PSI 2001
作者: Ioustinova, Natalia Sidorova, Natalia Department of Computer Science University of Rostock Alb. Einstein Str. 21 D-18059 Rostock Germany Dept. of Math. and Computer Science Eindhoven University of Technology PO Box 513 5600 MB Eindhoven Netherlands
Industrial-size specifications/models (whose state space is often infinite) can not be model checked in a direct way - A verification model of a system is model checked instead. Program transformation is a way to buil... 详细信息
来源: 评论