咨询与建议

限定检索结果

文献类型

  • 521 篇 会议
  • 298 篇 期刊文献
  • 9 册 图书

馆藏范围

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

日期分布

学科分类号

  • 424 篇 工学
    • 321 篇 计算机科学与技术...
    • 249 篇 软件工程
    • 77 篇 信息与通信工程
    • 59 篇 控制科学与工程
    • 30 篇 生物工程
    • 26 篇 电气工程
    • 26 篇 化学工程与技术
    • 23 篇 机械工程
    • 19 篇 电子科学与技术(可...
    • 18 篇 动力工程及工程热...
    • 17 篇 生物医学工程(可授...
    • 15 篇 力学(可授工学、理...
    • 15 篇 材料科学与工程(可...
    • 14 篇 光学工程
    • 14 篇 仪器科学与技术
    • 6 篇 航空宇航科学与技...
  • 370 篇 理学
    • 302 篇 数学
    • 93 篇 统计学(可授理学、...
    • 60 篇 物理学
    • 39 篇 生物学
    • 28 篇 化学
    • 28 篇 系统科学
  • 80 篇 管理学
    • 42 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 13 篇 医学
    • 11 篇 临床医学
    • 9 篇 基础医学(可授医学...
  • 12 篇 经济学
    • 12 篇 应用经济学
  • 12 篇 教育学
    • 12 篇 教育学
  • 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...

语言

  • 805 篇 英文
  • 20 篇 其他
  • 3 篇 中文
  • 1 篇 西班牙文
检索条件"机构=Computer Science and Applied Math. Department"
828 条 记 录,以下是421-430 订阅
排序:
Computing Moments by Prefix Sums
收藏 引用
Journal of VLSI signal processing systems for signal, image and video technology 2005年 第1期25卷 5-17页
作者: Zhou, Feng Kornerup, Peter Department of Information and Electronic Eng. Zhejiang University People's Republic of China Department of Math. and Computer Science SDU/Odense University Denmark
Moments of images are widely used in pattern recognition, because in suitable form they can be made invariant to variations in translation, rotation and size. However the computation of discrete moments by their defin...
来源: 评论
Consistent code generation from UML models
Consistent code generation from UML models
收藏 引用
2005 Australian Software Engineering Conference ASWEC 2005
作者: Long, Quan Liu, Zhiming Li, Xiaoshan Jifeng, He International Institute for Software Technology United Nations University Macao China Department of Informatics School of Math. Peking University Beijing China Faculty of Science and Technology University of Macau Macao China Department of Computer Science University of Leicester United Kingdom East China Normal University China
Relational Calculus of Object Systems (rCOS) is an OO-language which is equipped with an observation-oriented semantics and a refinement calculus based on the Hoare and He's Unifying Theories of Programming (UTP).... 详细信息
来源: 评论
A simulator and an evolution program for conformon-P systems
A simulator and an evolution program for conformon-P systems
收藏 引用
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
作者: P. Frisco R.T. Gibson Department of Computer Science School of Engineering C. S. and Math. University of Exeter Exeter UK
A simulator for conformon-P systems is presented together with an initial study of an evolution program optimising processes described by conformon-P systems.
来源: 评论
Animated simulation of integrated UML behavioral models based on graph transformation
Animated simulation of integrated UML behavioral models base...
收藏 引用
IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC)
作者: C. Ermel K. Holscher S. Kuske P. Ziemann Fac. Electrical Eng. and Computer Science Technical University Berlin Berlin Germany Department for Math. and Computer Science University of Brethemen Bremen Germany
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach is based on graph transformation, i.e.... 详细信息
来源: 评论
Robin boundary value problem for the Cauchy-Riemann operator
收藏 引用
Complex Variables and Elliptic Equations 2005年 第15期50卷 1125-1136页
作者: H. Begehr[a] G. Harutjunjan[b] [a] I. Math. Inst FU Berlin Arnimallee 3 D-14195 Berlin Germany [b] Faculty Computer Science and Applied Mathematics Jerevan State University Alex Manoogian 1 375049 Jerewan Republic of Armenia
The aim of this article is to give explicit representations for solutions of the Robin boundary value problem for the Cauchy-Riemann operator  [image omitted]. In the homogeneous cases we investigate the Robin bo... 详细信息
来源: 评论
Fuzzy shortest path problem with finite fuzzy quantities
Fuzzy shortest path problem with finite fuzzy quantities
收藏 引用
Conference of the North American Fuzzy Information Processing Society - NAFIPS
作者: S. Moazeni Applied Math Department of Mathematics and Computer Science Tehran Polytechnic Amirkabir University of Technology슠 Tehran Iran
We discuss the problem of finding the shortest paths from a fixed origin to all nodes on a network not necessarily acyclic, with each arc length represented as positive fuzzy quantity with finite support. At first, we... 详细信息
来源: 评论
Via-aware global routing for good VLSI manufacturability and high yield
Via-aware global routing for good VLSI manufacturability and...
收藏 引用
International Conference on Application Specific Systems (ASAP), Architectures and Processors
作者: Yang Yang Tong Jing Xianlong Hong Yu Hu Qi Zhu Xiaodong Hu Guiying Yan Computer Science & Technology Department Tsinghua University Beijing China EECS Department Berkeley USA Inst Applied Math CAS Beijing China
CAD tools have become more and more important for integrated circuit (IC) design since a complicated system can be designed into a single chip, called system-on-a-chip (SOC), in which physical design tool is an essent... 详细信息
来源: 评论
Geometric spanners for routing in mobile networks
Geometric spanners for routing in mobile networks
收藏 引用
作者: Gao, Jie Guibas, Leonidas J. Hershberger, John Zhang, Li Zhu, An Department of Computer Science Stanford University Stanford CA 94305 United States Ctr. for the Math. of Information California Institute of Technology Pasadena CA 91125 United States Mentor Graphics Corporation Wilsonville OR 97070 United States Compaq Systems Research Center Palo Alto CA Information Dynamics Laboratory Hewlett Packard Laboratories Palo Alto CA 94304 United States
We propose a new routing graph, the restricted Delaunay graph (RDG), for mobile ad hoc networks. Combined with a node clustering algorithm, the RDG can be used as an underlying graph for geographic routing protocols. ... 详细信息
来源: 评论
Exploration of underwater structures with cooperative heterogeneous robots
Exploration of underwater structures with cooperative hetero...
收藏 引用
OCEANS - Europe
作者: D. Spenneberg C. Waldmann R. Babb Robotics Group Department of Math. and Computer Science University of Brethemen Bremen Germany Marum Center of Marine Environmental Sciences University of Brethemen Bremen Germany Underwater Systems Laboratory Southampton Oceanography Centre Southampton UK
This paper describes ideas in the field of cooperative underwater robotics, which can considerably enhance the exploration capabilities of underwater robots. Three heterogeneous planned or existing underwater robots a... 详细信息
来源: 评论
Minimal-cut model composition
Minimal-cut model composition
收藏 引用
International Conference on Shape Modeling and Applications
作者: T. Hassner L. Zelnik-Manor G. Leifman R. Basri Department of Computer Science & Applied Math Weizmann Institute of Science Rehovot Israel Faculty of Electrical Engineering California Institute of Technology Pasadena CA USA Faculty of Electrical Engineering Technion-Israel Institute of Technology Haifa Israel
Constructing new, complex models is often done by reusing parts of existing models, typically by applying a sequence of segmentation, alignment and composition operations. Segmentation, either manual or automatic, is ... 详细信息
来源: 评论