咨询与建议

限定检索结果

文献类型

  • 282 篇 会议
  • 127 篇 期刊文献
  • 16 册 图书

馆藏范围

  • 425 篇 电子文献
  • 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...

语言

  • 417 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
425 条 记 录,以下是131-140 订阅
排序:
Comparative analysis of signal processing methods secondary surveillance radar
Comparative analysis of signal processing methods secondary ...
收藏 引用
2018 International Conference on Information and Telecommunication Technologies and Radio Electronics, UkrMiCo 2018
作者: Goriushkina, A.E. Svyd, I.V. Zavolodko, G.E. Maistrenko, G.V. National Technical University KhPI NTU KhPI Department of Computer Science and Programming Kharkiv Ukraine Kharkiv National University of Radio Electronics KNURE Dept. Radiotechnologies Information and Communication Systems Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Information Systems Kharkiv Ukraine Kharkiv National University of Radio Electronics KNURE Department of Electronic Computers Kharkiv Ukraine
In the paper, based on a comparative analysis of the methods of processing time-interval codes used as secondary surveillance radar information signals consisting of a different sequence of performing joint decoding o... 详细信息
来源: 评论
The SCIP optimization suite 8.0
arXiv
收藏 引用
arXiv 2021年
作者: Bestuzheva, Ksenia Besançon, Mathieu Chen, Wei-Kun Chmiela, Antonia Donkiewicz, Tim Van Doornmalen, Jasper Eifler, Leon Gaul, Oliver Gamrath, Gerald Gleixner, Ambros Gottwald, Leona Graczyk, Christoph Halbig, Katrin Hoen, Alexander Hojny, Christopher Van Der Hulst, Rolf Koch, Thorsten Lübbecke, Marco Maher, Stephen J. Matter, Frederic Mühmer, Erik Müller, Benjamin Pfetsch, Marc E. Rehfeldt, Daniel Schlein, Steffan Schlösser, Franziska Serrano, Felipe Shinano, Yuji Sofranac, Boro Turner, Mark Vigerske, Stefan Wegscheider, Fabian Wellner, Philipp Weninger, Dieter Witzig, Jakob Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany School of Mathematics and Statistics Beijing Institute of Technology Beijing100081 China RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Technische Universiteit Eindhoven Department of Mathematics and Computer Science P.O. Box 513 Eindhoven5600 MB Netherlands I2DAMO GmbH Englerallee 19 Berlin14195 Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands Technische Universität Berlin Software and Algorithms for Discrete Optimization Straße des 17. Juni 135 Berlin10623 Germany Zuse Institute Berlin Department A2IM Takustr. 7 Berlin14195 Germany University of Exeter College of Engineering Mathematics and Physical Sciences Exeter United Kingdom Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany Software and Algorithms for Discrete Optimization Institute of Mathematics Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany GAMS Software GmbH C/o Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions ... 详细信息
来源: 评论
Lemma functions for frama-C: C programs as proofs
arXiv
收藏 引用
arXiv 2018年
作者: Volkov, Grigoriy Mandrykin, Mikhail Efremov, Denis Faculty of Computer Science National Research University Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Coordinating particle swarm optimization, ant colony optimization and k-opt algorithm for traveling salesman problem  3rd
Coordinating particle swarm optimization, ant colony optimiz...
收藏 引用
3rd International Conference on Mathematics and Computing, ICMC 2017
作者: Khan, Indadul Maiti, Manas Kumar Maiti, Manoranjan Department of Computer Science Chandrakon Vidyasagar Mahavidyalaya Paschim-Medinipur West Bengal721201 India Department of Mathematics Mahishadal Raj College Mahishadal Purba-MedinipurWest Bengal721628 India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Paschim-Medinipur West Bengal India
In this paper combining the features of swap sequence and swap operation based Particle Swarm Optimization (PSO), Ant Colony Optimization (ACO) and K-Opt operation a hybrid algorithm is proposed to solve well known Tr... 详细信息
来源: 评论
MAPA: An Automatic Memory Access Pattern Analyzer for GPU Applications
收藏 引用
ACM SIGPLAN Notices 2017年 第8期52卷 443-444页
作者: Jo, Gangwon Jung, Jaehoon Park, Jiyoung Lee, Jaejin Center for Manycore Programming Department of Computer Science and Engineering Seoul National University Seoul08826 Korea Republic of
Various existing optimization and memory consistency management techniques for GPU applications rely on memory access patterns of kernels. However, they suffer from poor practicality because they require explicit user... 详细信息
来源: 评论
Impact of fluctuation interferences to the responders performance of secondary surveillance radar system
Impact of fluctuation interferences to the responders perfor...
收藏 引用
International Conference on Radio Electronics & Info Communications (UkrMiCo)
作者: I.V. Svyd A.E. Goriushkina G.E. Zavolodko O.S. Maltsev Dept. Radiotechnologies Information and Communication Systems Kharkiv National University of Radio Electronics KNURE Kharkiv Ukraine Department of Computer science and Programming National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Department of Information Systems National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine
The principle of network construction and the principle of request signals service of Secondary surveillance radar systems predetermined the work of the respondents of the considered systems in conditions of intra-sys...
来源: 评论
Method for calculating of R-learning traffic peakedness  4
Method for calculating of R-learning traffic peakedness
收藏 引用
4th International Scientific-Practical Conference Problems of Infocommunications science and Technology, PIC S and T 2017
作者: Kuchuk, Nina Mozhaiev, Oleksandr Mozhaiev, Mykhailo Kuchuk, Heorgii Department of Computer Science Faculty V.N. Karazin Kharkiv National University Kharkiv Ukraine Department of Information Technologies Kharkiv National University of Internal Affairs Kharkiv Ukraine Laboratory on Speech and Audio Computer Engineering and Telecommunication Kharkov SRI examinations named Dist. prof. N.S. Bokariusa Kharkiv Ukraine Department of Computer science and programming National Technical University Kharkiv Polytechnic Institute Kharkiv Ukraine
In this article e-leaming traffic which is served by system on the hyper convergent platform is considered. It was done the analysis of the known methods of determine the degree of pulsation of traffic. The method for... 详细信息
来源: 评论
Comparative analysis of signal processing methods secondary surveillance radar
Comparative analysis of signal processing methods secondary ...
收藏 引用
International Conference on Radio Electronics & Info Communications (UkrMiCo)
作者: A.E. Goriushkina I.V. Svyd G.E. Zavolodko G.V. Maistrenko Department of Computer science and Programming National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Dept. Radiotechnologies Information and Communication Systems Kharkiv National University of Radio Electronics Kharkiv Ukraine Department of Information Systems National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Department of Electronic Computers Kharkiv National University of Radio Electronics Kharkiv Ukraine
In the paper, based on a comparative analysis of the methods of processing time-interval codes used as secondary surveillance radar information signals consisting of a different sequence of performing joint decoding o... 详细信息
来源: 评论
Method for calculating of R-learning traffic peakedness
Method for calculating of R-learning traffic peakedness
收藏 引用
International Scientific-Practical Conference Problems of Infocommunications science and Technology
作者: Nina Kuchuk Oleksandr Mozhaiev Mykhailo Mozhaiev Heorgii Kuchuk Department of Computer Science National University Kharkiv Ukraine Laboratory on Speech and Audio Computer Engineering and Telecommunication Kharkov SRI examinations named Dist. prof. N.S. Bokariusa Kharkiv Ukraine Department of Information Technologies Kharkiv National University of Internal Affairs Kharkiv Ukraine Department of Computer science and programming National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine
In this article e-leaming traffic which is served by system on the hyper convergent platform is considered. It was done the analysis of the known methods of determine the degree of pulsation of traffic. The method for... 详细信息
来源: 评论