咨询与建议

限定检索结果

文献类型

  • 626 篇 会议
  • 342 篇 期刊文献
  • 18 册 图书

馆藏范围

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

日期分布

学科分类号

  • 567 篇 工学
    • 423 篇 计算机科学与技术...
    • 300 篇 软件工程
    • 90 篇 控制科学与工程
    • 82 篇 信息与通信工程
    • 46 篇 电气工程
    • 33 篇 电子科学与技术(可...
    • 32 篇 机械工程
    • 29 篇 生物医学工程(可授...
    • 25 篇 安全科学与工程
    • 23 篇 生物工程
    • 21 篇 化学工程与技术
    • 20 篇 仪器科学与技术
    • 19 篇 材料科学与工程(可...
    • 19 篇 建筑学
    • 18 篇 土木工程
    • 14 篇 交通运输工程
  • 379 篇 理学
    • 266 篇 数学
    • 61 篇 统计学(可授理学、...
    • 50 篇 物理学
    • 49 篇 系统科学
    • 34 篇 生物学
    • 21 篇 化学
  • 153 篇 管理学
    • 116 篇 管理科学与工程(可...
    • 70 篇 工商管理
    • 40 篇 图书情报与档案管...
  • 31 篇 经济学
    • 31 篇 应用经济学
  • 26 篇 医学
    • 23 篇 临床医学
    • 22 篇 基础医学(可授医学...
  • 18 篇 教育学
    • 15 篇 教育学
  • 16 篇 法学
    • 15 篇 社会学
  • 12 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 28 篇 artificial intel...
  • 22 篇 computer science
  • 17 篇 monitoring
  • 16 篇 computational mo...
  • 14 篇 application soft...
  • 14 篇 semantics
  • 13 篇 software enginee...
  • 13 篇 data models
  • 12 篇 software
  • 11 篇 decision making
  • 11 篇 hardware
  • 11 篇 training
  • 10 篇 reliability
  • 10 篇 computer archite...
  • 10 篇 neural networks
  • 10 篇 optimization
  • 9 篇 support vector m...
  • 9 篇 logic programmin...
  • 9 篇 robot sensing sy...
  • 9 篇 students

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 15 篇 department of co...
  • 15 篇 department of co...
  • 13 篇 department of pr...
  • 13 篇 department of co...
  • 11 篇 department of ap...
  • 10 篇 technical univer...
  • 9 篇 department of co...
  • 9 篇 department of ap...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 6 篇 department for m...
  • 6 篇 programming meth...
  • 6 篇 department of co...
  • 6 篇 computer enginee...

作者

  • 34 篇 pal madhumangal
  • 20 篇 madhumangal pal
  • 18 篇 gancheva veska
  • 14 篇 veska gancheva
  • 14 篇 josef börcsök
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 mostafa abotaleb
  • 12 篇 ali hayek
  • 11 篇 gurkan tuna
  • 11 篇 mariana arghir
  • 10 篇 börcsök josef
  • 10 篇 hayek ali
  • 10 篇 boercsoek josef
  • 10 篇 fritzson peter
  • 9 篇 roy sankar kumar
  • 9 篇 roy abi zeid dao...
  • 9 篇 abotaleb mostafa
  • 8 篇 shyamal kumar mo...
  • 8 篇 kayhan gulez

语言

  • 964 篇 英文
  • 16 篇 其他
  • 4 篇 中文
  • 1 篇 德文
  • 1 篇 土耳其文
检索条件"机构=Department of Computer Programming"
986 条 记 录,以下是231-240 订阅
排序:
A graphical simulation system for the parallel structures  1
A graphical simulation system for the parallel structures
收藏 引用
1st European Conference on Mechanism Science, EuCoMeS 2006
作者: Pisla, Doina Itul, Tiberiu Pisla, Adrian Department of Mechanics and Computer Programming Technical University in Cluj-Napoca Romania Department of Machine Tools and Industrial Robots Technical University in Cluj-Napoca Romania
In the paper is presented a simulation system for parallel robots, which deals with the robot kinematics, workspace generation, singular position identification and trajectory visualization. The latest obtained result... 详细信息
来源: 评论
Functorial String Diagrams for Reverse-Mode Automatic Differentiation  31
Functorial String Diagrams for Reverse-Mode Automatic Differ...
收藏 引用
31st EACSL Annual Conference on computer Science Logic, CSL 2023
作者: Alvarez-Picallo, Mario Ghica, Dan Sprunger, David Zanasi, Fabio Programming Languages Laboratory Huawei Research Centre Cambridge United Kingdom Department of Computer Science University of Birmingham United Kingdom Department of Computer Science University College London United Kingdom
We formulate a reverse-mode automatic differentiation (RAD) algorithm for (applied) simply typed lambda calculus in the style of Pearlmutter and Siskind [27], using the graphical formalism of string diagrams. Thanks t... 详细信息
来源: 评论
Inverse Fuzzy Mixed Planar Graphs with Application
收藏 引用
International Journal of Applied and Computational Mathematics 2024年 第4期10卷 1-13页
作者: Mondal, Rahul Ghorai, Ganesh Department of Mathematics Vivekananda Satavarshiki Mahavidyalaya Manikpara West Bengal Jhargram 721513 India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 India
The idea of inverse fuzzy mixed graph (IFMG) was firstly introduced by Poulik and Ghorai (Granul Comput 7:549–559, 2021) in 2021 generalizing the idea of fuzzy mixed graphs. Here the idea of planarity is introduced i... 详细信息
来源: 评论
Knowledgesheet: A graphical spreadsheet interface for interactively developing a class of constraint programs  2nd
收藏 引用
2nd International Workshop on Practical Aspects of Declarative Languages, PADL 2000
作者: Gupta, Gopal Akhter, Shameem F. Laboratory for Logic Databases and Advanced Programming Department of Computer Science New Mexico State University Las CrucesNM United States
We introduce a generalization of the spreadsheet paradigm, called Knowledgesheet, for solving a class of constraint satisfaction problems. The traditional spreadsheet paradigm is based on attaching arithmetic expressi... 详细信息
来源: 评论
On the solution of inverse dynamics for 6-DOF robot with triangular platform  1
On the solution of inverse dynamics for 6-DOF robot with tri...
收藏 引用
1st European Conference on Mechanism Science, EuCoMeS 2006
作者: Itul, Tiberiu Pisla, Doina Pisla, Adrian Department of Mechanics and Computer Programming Technical University in Cluj-Napoca Romania Department of Machine Tools and Industrial Robots Technical University in Cluj-Napoca Romania
The parallel robots dynamics requires a great deal of computing as regards the formulation of the generally nonlinear equations of motion and their solution. In this paper different solutions for solving the dynamical... 详细信息
来源: 评论
Determination of the thickness-shear resonance frequency for piezoelectric accelerometers using the KLM model
Determination of the thickness-shear resonance frequency for...
收藏 引用
13th International Congress on Sound and Vibration 2006, ICSV 2006
作者: Ursu, Mihai Department of Mechanics and Computer Programming Technical University of Cluj-Napoca Muncii Bvd. 103-105 400641 Cluj-Napoca Romania
In this paper a complete equivalent electric circuit for a planar shear piezoelectric accelerometer is presented. Starting from the KLM (Krimholtz-Leedom-Matthaei) approach for a single piezoceramic plate sandwiched b... 详细信息
来源: 评论
Case study: Simulation of a LAN
Case study: Simulation of a LAN
收藏 引用
Workshop on Software Evolution Through Transformations - Toward Uniform Support Throughout the Software Life-Cycle
作者: Janssens, Dirk Demeyer, Serge Mens, Tom Department of Mathematics and Computer Science Universitaire Instelling Antwerpen Antwerp Belgium Programming Technology Lab Vrije Universiteit Brussel Brussels Belgium
A case study on the simulation of a local area network (LAN) that has been used at Vrije Universiteit Brissel (VUB) and the University of Bern to illustrate evolution of object-oriented programs, is reported. The stud... 详细信息
来源: 评论
A Minimal Graphical User Interface for the Jape Proof Calculator
收藏 引用
Formal Aspects of Computing 1999年 第3期11卷 244-271页
作者: Bornat, Richard Sufrin, Bernard Programming Research Group University of Oxford Oxford United Kingdom Department of Computer Science Queen Mary and Westfield College University of London London E1 4NS United Kingdom
GUI design isn't simply a matter of putting a nice front-end on a capable program. It requires thought about the way in which people might be expected to use a system, and investigation of the ways that they actua... 详细信息
来源: 评论
Interval Oriented Entropy Based Multi-item Solid Transportation Problem with Budget and Breakability
收藏 引用
International Journal of Applied and Computational Mathematics 2015年 第2期1卷 279-292页
作者: Baidya, Abhijit Bera, Uttam Kumar Maiti, Manoranjan Department of Mathematics National Institute of Technology Agartala Jirania 799055 West Tripura India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 WB India
To maximization the total profit and minimization the total cost we investigate two transportation models with interval transportation parameters and we present a solution of our newly developed models using appropria... 详细信息
来源: 评论
Specification & verification of higher order processes  15th
Specification & verification of higher order processes
收藏 引用
15th Symposium on Mathematical Foundations of computer Science, MFCS 1990
作者: Hansen, Michael R. Chao-Chen, Zhou Department of Computer Science Technical University of Denmark LyngbyDK-2800 Denmark Programming Research Group Oxford University United Kingdom
A system is a collection of processes connected by channels over which they communicate. We consider systems where processes can be communicated. We propose an extension to propositional temporal logic as specificatio... 详细信息
来源: 评论