咨询与建议

限定检索结果

文献类型

  • 281 篇 会议
  • 126 篇 期刊文献
  • 16 册 图书

馆藏范围

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

日期分布

学科分类号

  • 276 篇 工学
    • 216 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 144 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 13 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 8 篇 法学
    • 8 篇 社会学
  • 6 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 24 篇 artificial intel...
  • 22 篇 computer science
  • 12 篇 software enginee...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 information stor...
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 5 篇 specifications
  • 5 篇 security

机构

  • 10 篇 department of sy...
  • 7 篇 department of ap...
  • 6 篇 programming meth...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 mart learning ed...
  • 4 篇 federal research...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 german research ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 department of co...
  • 3 篇 rwth aachen univ...
  • 3 篇 research group p...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...

作者

  • 10 篇 fritzson peter
  • 8 篇 hayek ali
  • 7 篇 mostafa abotaleb
  • 7 篇 philippsen micha...
  • 6 篇 boercsoek josef
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 5 篇 doaa sami khafag...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 troels andreasen
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 daou roy abi zei...

语言

  • 415 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
423 条 记 录,以下是171-180 订阅
排序:
Signal-to-symbol transformation: Reasoning in the HASP/SIAP program
Signal-to-symbol transformation: Reasoning in the HASP/SIAP ...
收藏 引用
International Conference on Acoustics, Speech, and Signal Processing (ICASSP)
作者: H. Nii Heuristic Programming Project Computer Science Department University of Stanford USA
In the past fifteen years, artificial intelligence scientists have built several signal interpretation, or understanding, programs. These programs have combined "low" level signal processing algorithms with ... 详细信息
来源: 评论
Network Intrusion Detection Based on Feature Selection and Hybrid Metaheuristic Optimization
收藏 引用
computers, Materials & Continua 2023年 第2期74卷 2677-2693页
作者: Reem Alkanhel El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim Manal Abdullah Alohali Mostafa Abotaleb Doaa Sami Khafaga Department of Information Technology College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Information Systems Department College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of System Programming South Ural State UniversityChelyabinsk454080Russia Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia
Applications of internet-of-things(IoT)are increasingly being used in many facets of our daily life,which results in an enormous volume of *** computing and fog computing,two of the most common technologies used in Io... 详细信息
来源: 评论
"MASTAC": New curriculum for master and doctoral studies in critical software and computing
"MASTAC": New curriculum for master and doctoral studies in ...
收藏 引用
30th International Conference on Software Engineering, ICSE 2008 - 2008 International Workshop on Software Engineering in East and South Europe Workshop, SEESE'08
作者: Kharchenko, Vyacheslav Pomorova, Oksana Phillips, Chris Romanovsky, Alexander Popov, Peter Troubitsyna, Elena Department Computer Systems Networks National Aerospace University KhAI Department of System Programming Khmelnitskiy National University School of Computing Science University Newcastle upon Tyne Centre for Software Reliability University Newcastle upon Tyne Centre for Software Reliability City University London Department of Computer Science Åbo Akademi University
The paper presents the on-going EC-funded Tempus project "MSc and PhD studies in Aerospace Critical Computing" executed by the National Aerospace University, Kharkiv, Ukraine with the support of Newcastle Un... 详细信息
来源: 评论
Weakest specifunctions for BSP
收藏 引用
Parallel Processing Letters 2001年 第4期11卷 439-454页
作者: Chen, Yifeng Sanders, J.W. Department of Maths and Computer Science University of Leicester University Road Leicester LE1 7RH United Kingdom Programming Research Group Oxford University Computing Laboratory Parks Road Oxford OX1 3QD United Kingdom
This paper introduces a calculus of weakest specification for supporting reuse of established components in deriving a design (in the sense of formal methods). The weakest specifunction generalizes the notions of weak... 详细信息
来源: 评论
Features of the distribution of computing resources in cloud systems  3
Features of the distribution of computing resources in cloud...
收藏 引用
3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022
作者: Petrovska, Inna Kuchuk, Heorhii Mozhaiev, Mykhailo National Technical University 'Kharkiv Polytechnic Institute' Department of Computer Engineering and Programming Kharkiv Ukraine Computer Technology and Telecommunications Researches Sector National Scientific Center «hon. Prof Bokarius Forensic Science Institute» Kharkiv Ukraine
The report considers the peculiarities of the distribution of computing resources in cloud systems. The most used classification of existing technologies of cloud services is considered. The advantages and disadvantag... 详细信息
来源: 评论
Execution of UML state machines using modelica
Execution of UML state machines using modelica
收藏 引用
3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with the MODELS 2010 Conference
作者: Schamai, Wladimir Pohlmann, Uwe Fritzson, Peter Paredis, Christiaan J.J. Helle, Philipp Strobel, Carsten EADS Innovation Works Germany Department of Computer Science University of Paderborn Germany PELAB - Programming Environment Lab Linköping University Sweden Georgia Institute of Technology Atlanta United States
ModelicaML is a UML profile for the creation of executable models. ModelicaML supports the Model-Based Systems Engineering (MBSE) paradigm and combines the power of the OMG UML standardized graphical notation for syst... 详细信息
来源: 评论
On 'artificial intelligence-user interface' approach
On 'artificial intelligence-user interface' approach
收藏 引用
2019 International Multi-Conference on Engineering, computer and Information sciences, SIBIRCON 2019
作者: Latipova, Alina Gasenko, Aleksei Sim, Gavin School of Electric Engineering and Computer Science South Ural State University System Programming Department Chelyabinsk Russia School of Physical Sciences and Computing University of Central Lancashire Preston United Kingdom
This paper considers the basic concepts of automated design and implementation of application graphical user interface supported by artificial neural networks and application of this approach to child computer interac... 详细信息
来源: 评论
An alternative to Quiescence: Tranquility
An alternative to Quiescence: Tranquility
收藏 引用
International Conference on Software Maintenance (ICSM)
作者: Yves Vandewoude Peter Ebraert Yolande Berbers Theo D'Hondt Department of Computer Science Leuven Belgium Programming Technology Laboratory Brussels Belgium
This paper revisits a problem that was identified by Kramer and Magee: placing a system in a consistent state before and after runtime changes (1990). We show that their notion of quiescence as a necessary and suffici... 详细信息
来源: 评论
Dual-image based reversible data hiding scheme using pixel value difference expansion
收藏 引用
International Journal of Network Security 2016年 第4期18卷 633-643页
作者: Jana, Biswapati Giri, Debasis Mondal, Shyamal Kumar Department of Computer Science Vidyasagar University Midnapore721102 India Department of Computer Science and Engineering Haldia Institute of Technol India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University India
In this paper, we propose a dual-image based reversible data hiding scheme. Here, we divide a secret message into sub-stream of size n bits, where n-1 bits are embedded using Pixel Value Differencing (PVD) and 1 bit i... 详细信息
来源: 评论
SPar: A DSL for High-Level and Productive Stream Parallelism
SPar: A DSL for High-Level and Productive Stream Parallelism
收藏 引用
作者: Griebler, Dalvan Danelutto, Marco Torquati, Massimo Fernandes, Luiz Gustavo Av. Ipiranga 6681 - Building 32 Porto Alegre - CEP90619-900 Brazil Department of Computer Science Parallel Programming Models Group Largo Pontecorvo 3 PISA56127 Italy
This paper introduces SPar, an internal C++ Domain-Specific Language (DSL) that supports the development of classic stream parallel applications. The DSL uses standard C++ attributes to introduce annotations tagging t... 详细信息
来源: 评论