咨询与建议

限定检索结果

文献类型

  • 281 篇 会议
  • 126 篇 期刊文献

馆藏范围

  • 407 篇 电子文献
  • 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 篇 艺术学

主题

  • 22 篇 computer science
  • 15 篇 artificial intel...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 software enginee...
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 5 篇 specifications
  • 5 篇 security
  • 5 篇 programming envi...
  • 5 篇 unified modeling...

机构

  • 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 篇 rwth aachen univ...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...
  • 3 篇 programming envi...
  • 3 篇 friedrich-alexan...

作者

  • 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 篇 doaa sami khafag...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 daou roy abi zei...
  • 4 篇 van cutsem tom
  • 4 篇 pal madhumangal

语言

  • 399 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
407 条 记 录,以下是121-130 订阅
排序:
Product of interval-valued fuzzy graphs and degree
Product of interval-valued fuzzy graphs and degree
收藏 引用
作者: Rashmanlou, Hossein Pal, Madhumangal Borzooei, Rajab Ali Mofidnakhaei, F. Sarkar, Biswajit Department of Computer Science University College of Adib Sari Iran Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India Department of Mathematics Shahid Beheshti University Tehran Iran Department of Physics Sari Branch Islamic Azad University Sari Iran Department of Industrial and Management Engineering Hanyang University Erica Campus Ansan Korea Republic of
Theoretical concepts of graphs are highly utilized by computer science applications. Especially in research areas of computer science such as data mining, image segmentation, clustering, image capturing and networking... 详细信息
来源: 评论
Impact of fluctuation interferences to the responders performance of secondary surveillance radar system
Impact of fluctuation interferences to the responders perfor...
收藏 引用
2018 International Conference on Information and Telecommunication Technologies and Radio Electronics, UkrMiCo 2018
作者: Svyd, I.V. Goriushkina, A.E. Zavolodko, G.E. Maltsev, O.S. Kharkiv National University of Radio Electronics KNURE Dept. Radiotechnologies Information and Communication Systems Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Computer Science and Programming Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Information Systems 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... 详细信息
来源: 评论
A proposal of an example and experiments repository to foster industrial adoption of formal methods  8th
A proposal of an example and experiments repository to foste...
收藏 引用
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
作者: Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom
Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the pot... 详细信息
来源: 评论
Distributed System for Detecting the Malware in LAN
Distributed System for Detecting the Malware in LAN
收藏 引用
International Scientific and Technical Conference on computer science and Information Technologies
作者: George Markowsky Oleg Savenko Anatoliy Sachenko Department of Computer Science Missouri University of Science and Technology Rolla USA Department of Computer Engineering and System Programming Khmelnytsky National University Khmelnytsky Ukraine Department of Informatics Kazimierz Pulaski University of Technology and Humanities in Radom Radom Poland
The paper proposes the architecture of distributed multilevel detection system of malicious software in local area networks. Its feature is the synthesis of its requirements of distribution, decentralization, multilev... 详细信息
来源: 评论
Results of a pilot experiment on monitoring the condition of buildings and structures using unmanned aerial vehicles
收藏 引用
IOP Conference Series: Earth and Environmental science 2021年 第1期939卷
作者: M Yu Narkevich O S Logunova P I Kalandarov A N Kalitaev G V Tokmazov P Yu Romanov O Alimov Department of Design of Buildings and Building Structures Magnitogorsk State Technical University named after G.I. Nosov Magnitogorsk Russia Department of Computer Engineering and Programming Magnitogorsk State Technical University named after G.I. Nosov Magnitogorsk Russia Department of Automation and Control of Technological Process and Production Tashkent Institute of Irrigation and Agricultural Mechanization Engineers Tashkent Uzbekistan Department of Higher Mathematics Admiral F.F. Ushakov State Maritime University Novorossiysk Russia Department of Applied Mathematics and Computer Science Magnitogorsk State Technical University named after G.I. Nosov Magnitogorsk Russia Jizzakh Polytechnic Institute Jizzakh Uzbekistan
The purpose of the experimental study presented in the paper is to generate new knowledge about the possibility of using unmanned aerial vehicles to survey buildings and structures for subsequent extraction of informa...
来源: 评论
Correction to: A new cognitive clock matching phenotypic and epigenetic ages
收藏 引用
Translational psychiatry 2022年 第1期12卷 452页
作者: M I Krivonosov E V Kondakova N A Bulanov S A Polevaya C Franceschi M V Ivanchenko M V Vedunova Institute of Biology and Biomedicine Department of Neurotechnology N. I. Lobachevsky State University Nizhny Novgorod Russia. krivonosov@itmm.unn.ru. Institute of Information Technology Mathematics and Mechanics Department of Applied Mathematics N. I. Lobachevsky State University Nizhny Novgorod Russia. krivonosov@itmm.unn.ru. Research Center for Trusted Artificial Intelligence The Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia. krivonosov@itmm.unn.ru. Research Center for Trusted Artificial Intelligence The Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia. Institute of Biology and Biomedicine Department of Basic and Medical Genetics N. I. Lobachevsky State University Nizhny Novgorod Russia. Faculty of Computer Science School of Data Analysis and Artificial Intelligence HSE University Moscow Russia. Faculty of Social Sciences Department of Psychophysiology N. I. Lobachevsky State University Nizhny Novgorod Russia. Institute of Information Technology Mathematics and Mechanics Department of Applied Mathematics N. I. Lobachevsky State University Nizhny Novgorod Russia. Department of Experimental Diagnostic and Specialty Medicine (DIMES) University of Bologna Bologna Italy.
来源: 评论
Lemma Functions for Frama-C: C Programs as Proofs
Lemma Functions for Frama-C: C Programs as Proofs
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Grigoriy Volkov Mikhail Mandrykin Denis Efremov Faculty of Computer Science Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming of the 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... 详细信息
来源: 评论
Effects on prey-predator with different functional responses
收藏 引用
International Journal of Biomathematics 2017年 第8期10卷 141-162页
作者: Banani Roy Sankar Kumar Roy M. H. A. Biswas Department of Applied Mathematicswith Oceanology and Computer Programming Vidyasagar University Midnapore 721102 West Bengal India Mathematics Discipline Science Engineering and Technology SchoolKhulna University Khulna 9208 Bangladesh
In this paper, we investigate the effects on prey of two predators which are also related in terms of prey-predator relationship. Different types of functional responses are con- sidered to formulate the mathematical ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论