咨询与建议

限定检索结果

文献类型

  • 903 篇 会议
  • 448 篇 期刊文献
  • 23 册 图书

馆藏范围

  • 1,374 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 811 篇 工学
    • 603 篇 计算机科学与技术...
    • 436 篇 软件工程
    • 127 篇 控制科学与工程
    • 121 篇 信息与通信工程
    • 59 篇 电气工程
    • 49 篇 电子科学与技术(可...
    • 48 篇 机械工程
    • 47 篇 安全科学与工程
    • 38 篇 生物医学工程(可授...
    • 34 篇 建筑学
    • 34 篇 土木工程
    • 34 篇 生物工程
    • 29 篇 仪器科学与技术
    • 26 篇 化学工程与技术
    • 24 篇 材料科学与工程(可...
    • 18 篇 交通运输工程
  • 488 篇 理学
    • 334 篇 数学
    • 81 篇 统计学(可授理学、...
    • 64 篇 系统科学
    • 63 篇 物理学
    • 45 篇 生物学
    • 26 篇 化学
  • 207 篇 管理学
    • 148 篇 管理科学与工程(可...
    • 85 篇 工商管理
    • 61 篇 图书情报与档案管...
  • 40 篇 经济学
    • 38 篇 应用经济学
  • 33 篇 医学
    • 26 篇 基础医学(可授医学...
    • 26 篇 临床医学
  • 27 篇 法学
    • 25 篇 社会学
  • 26 篇 教育学
    • 21 篇 教育学
  • 15 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 35 篇 artificial intel...
  • 33 篇 safety
  • 31 篇 computer science
  • 28 篇 computer archite...
  • 27 篇 software
  • 23 篇 monitoring
  • 23 篇 hardware
  • 21 篇 computational mo...
  • 20 篇 application soft...
  • 18 篇 software enginee...
  • 18 篇 semantics
  • 17 篇 data models
  • 16 篇 optimization
  • 15 篇 reliability
  • 14 篇 programming prof...
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 13 篇 functional progr...
  • 13 篇 standards
  • 13 篇 training

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 17 篇 computer archite...
  • 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 篇 icas institute f...
  • 9 篇 department of ap...
  • 8 篇 institute for co...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 7 篇 chair for comput...

作者

  • 43 篇 josef börcsök
  • 34 篇 pal madhumangal
  • 30 篇 ali hayek
  • 22 篇 börcsök josef
  • 20 篇 madhumangal pal
  • 19 篇 gancheva veska
  • 17 篇 veska gancheva
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 15 篇 fritzson peter
  • 14 篇 hayek ali
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 gurkan tuna
  • 12 篇 mostafa abotaleb
  • 11 篇 mariana arghir
  • 10 篇 tuna gurkan
  • 10 篇 xue jingling
  • 10 篇 roy abi zeid dao...
  • 9 篇 roy sankar kumar

语言

  • 1,339 篇 英文
  • 24 篇 其他
  • 8 篇 中文
  • 1 篇 德文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1374 条 记 录,以下是211-220 订阅
排序:
A syntactical approach to weak ω-Groupoids
A syntactical approach to weak ω-Groupoids
收藏 引用
26th International Workshop on computer Science Logic, CSL 2012/21st Annual Conference of the European Association for computer Science Logic, EACSL
作者: Altenkirch, Thorsten Rypáček, Ondřej Functional Programming Laboratory School of Computer Science University of Nottingham United Kingdom Department of Computer Science University of Sheffield United Kingdom
When moving to a Type Theory without proof-irrelevance the notion of a setoid has to be generalized to the notion of a weak ω-groupoid. As a first step in this direction we study the formalisation of weak ω-groupoid... 详细信息
来源: 评论
Estimation and evaluation of the 1004-architecture for safety related systems
Estimation and evaluation of the 1004-architecture for safet...
收藏 引用
7th International Conference on Electrical and Electronics Engineering, ELECO 2011
作者: Börcsök, Josef Hayek, Ali Computer Architecture and System Programming University of Kassel Wilhelmshöher Allee 71 34121 Kassel Germany
In the standard IEC 61508 miscellaneous architectures for safety related systems are introduced. Depending on the required safety, reliability and availability levels several architectures such as 1002-, 2002-, 1003-,... 详细信息
来源: 评论
Compilation of modelica array computations into single assignment C for efficient execution on CUDA-enabled GPUs
Compilation of modelica array computations into single assig...
收藏 引用
3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with the MODELS 2010 Conference
作者: Stavåker, Kristian Rolls, Daniel Guo, Jing Fritzson, Peter Scholz, Sven-Bodo School of Computer Science University of Hertfordshire United Kingdom Programming Environment Laboratory Department of Computer Science Linköping University Sweden
Mathematical models, derived for example from discretisation of partial differential equations, often contain operations over large arrays. In this work we investigate the possibility of compiling array operations fro... 详细信息
来源: 评论
One machine multiple-product problem with production-inventory system under fuzzy inequality constraint
One machine multiple-product problem with production-invento...
收藏 引用
作者: Maity, Amit Kumar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 India
This paper presents a one machine multiple-product problem with bounded production rate to minimize the total linear cost of inventory under imprecise space constraint. The demand is dependent on time and known. Also ... 详细信息
来源: 评论
DDoS botnet detection technique based on the use of the semi-supervised fuzzy C-means clustering  14
DDoS botnet detection technique based on the use of the semi...
收藏 引用
14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, ICTERI 2018
作者: Lysenko, Sergii Savenko, Oleg Bobrovnikova, Kira Department of Computer Engineering System Programming Khmelnitsky National University Instytutska 11 Khmelnitsky Ukraine
A new technique for the DDoS botnet detection based on the botnets network features analysis is proposed. It uses the semi-supervised fuzzy c-means clustering. The proposed approach includes the learning and the detec... 详细信息
来源: 评论
Variable Length Optimization Based on Integrated Particle Swarm Optimization for Data Gathering in Wireless Sensor Networks  4
Variable Length Optimization Based on Integrated Particle Sw...
收藏 引用
4th International Congress on Human-computer Interaction, Optimization and Robotic Applications, HORA 2022
作者: Al-Jumaah, Kareema Inan, Timur Altinbas Univeristy Information Technology Istanbul Turkey Altinbas Univeristy Computer Programming Istanbul Turkey
Data gathering is an active research topic for wireless sensor networks WSNs with internet of things IoTs. Optimal data gathering enables collecting sensor data efficiently with minimum cost and energy consumption for... 详细信息
来源: 评论
programming software agents as designing executable business processes: A Model-driven perspective  1
Programming software agents as designing executable business...
收藏 引用
First International Workshop ProMAS 2003: programming Multi-Agent Systems
作者: Müller, Jörg P. Bauer, Bernhard Friese, Thomas Siemens AG Corporate Technology Intelligent Autonomous Systems Otto-Hahn-Ring 6 D-81739 München Germany Programming of Distributed Systems Institute of Computer Science University of Augsburg D-86135 Augsburg Dept. of Mathematics and Computer Science University of Marburg D-35032 Marburg Germany
The contribution of this paper is fourfold. First, we sketch an architecture of agent-enabled business process management that cleanly separates between agent capabilities, business process modeling, and the modeling ... 详细信息
来源: 评论
Toward harnessing DOACROSS parallelism for multi-GPGPUs
Toward harnessing DOACROSS parallelism for multi-GPGPUs
收藏 引用
International Conference on Parallel Processing
作者: Di, Peng Wan, Qing Zhang, Xuemeng Wu, Hui Xue, Jingling Programming Languages and Compilers Group School of Computer Science and Engineering UNSW Sydney NSW 2052 Australia
To exploit the full potential of GPGPUs for generalpurpose computing, DOACR parallelism abundant in scientific and engineering applications must be harnessed. However, the presence of cross-iteration data dependences ... 详细信息
来源: 评论
Modelling the Process of Determining the Tourist Demand Based on Fishbein's Multi-Attribute Model  15
Modelling the Process of Determining the Tourist Demand Base...
收藏 引用
15th IEEE International Scientific and Technical Conference on computer Sciences and Information Technologies, CSIT 2020
作者: Hovorushchenko, Tetiana Glukhov, Vladyslav Hovorushchenko, Olha Computer Engineering and System Programming Department Khmelnytskyi Ukraine Khmelnytskyi Lyceum No. 17 Khmelnytskyi Ukraine
The purpose of this paper is automating the analysis of tourist demand by developing a web-service for surveying tourists (both real and potential) and for presenting the survey results in the form of determining the ... 详细信息
来源: 评论
Cyclic Quasi-Orthogonal Matrices in Image and Signal Encoding
Cyclic Quasi-Orthogonal Matrices in Image and Signal Encodin...
收藏 引用
2022 International Conference on Information Science and Communications Technologies, ICISCT 2022
作者: Alexandr, Sergeev Saint Petersburg State University of Aerospace Instrumentation Department of Computer Technology and Programming Saint Petersburg Russia
orthogonal and quasi-orthogonal matrices with a limited number of element values and structured in some way are of considerable interest for many technical applications related to image processing and signal coding. T... 详细信息
来源: 评论