咨询与建议

限定检索结果

文献类型

  • 266 篇 会议
  • 85 篇 期刊文献
  • 8 册 图书

馆藏范围

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

日期分布

学科分类号

  • 212 篇 工学
    • 133 篇 计算机科学与技术...
    • 99 篇 软件工程
    • 32 篇 信息与通信工程
    • 30 篇 控制科学与工程
    • 20 篇 电气工程
    • 19 篇 生物医学工程(可授...
    • 18 篇 机械工程
    • 14 篇 电子科学与技术(可...
    • 14 篇 土木工程
    • 14 篇 安全科学与工程
    • 13 篇 建筑学
    • 11 篇 化学工程与技术
    • 11 篇 生物工程
    • 10 篇 仪器科学与技术
    • 10 篇 材料科学与工程(可...
    • 9 篇 交通运输工程
    • 9 篇 网络空间安全
  • 128 篇 理学
    • 67 篇 数学
    • 26 篇 物理学
    • 20 篇 统计学(可授理学、...
    • 17 篇 系统科学
    • 16 篇 生物学
    • 11 篇 化学
    • 8 篇 海洋科学
  • 59 篇 管理学
    • 46 篇 管理科学与工程(可...
    • 27 篇 工商管理
    • 17 篇 图书情报与档案管...
  • 13 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 8 篇 教育学
    • 8 篇 教育学
  • 7 篇 法学
  • 6 篇 农学
  • 5 篇 经济学
  • 1 篇 文学
  • 1 篇 军事学

主题

  • 9 篇 support vector m...
  • 8 篇 wireless sensor ...
  • 7 篇 neural networks
  • 7 篇 optimization
  • 7 篇 monitoring
  • 7 篇 artificial intel...
  • 6 篇 computer science
  • 6 篇 decision support...
  • 6 篇 robot sensing sy...
  • 6 篇 decision making
  • 6 篇 analytical model...
  • 6 篇 artificial neura...
  • 6 篇 training
  • 5 篇 intrusion detect...
  • 5 篇 reliability
  • 5 篇 software enginee...
  • 5 篇 navigation
  • 5 篇 software
  • 5 篇 accuracy
  • 5 篇 information stor...

机构

  • 15 篇 department of co...
  • 14 篇 department of sy...
  • 12 篇 department of co...
  • 9 篇 department of co...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of co...
  • 6 篇 department of ap...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 5 篇 computer enginee...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 national technic...
  • 5 篇 mart learning ed...
  • 5 篇 computer enginee...
  • 4 篇 computer enginee...
  • 4 篇 national technic...

作者

  • 12 篇 mostafa abotaleb
  • 10 篇 gurkan tuna
  • 8 篇 kayhan gulez
  • 8 篇 hayek ali
  • 8 篇 kuchuk nina
  • 8 篇 abdelhameed ibra...
  • 7 篇 börcsök josef
  • 7 篇 boercsoek josef
  • 7 篇 nina kuchuk
  • 6 篇 sarkar biswajit
  • 6 篇 tuna gurkan
  • 6 篇 hovorushchenko t...
  • 6 篇 v. cagri gungor
  • 6 篇 krini abderrahim
  • 6 篇 roy abi zeid dao...
  • 6 篇 abotaleb mostafa
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 zakovorotnyi ole...
  • 5 篇 doaa sami khafag...

语言

  • 351 篇 英文
  • 5 篇 其他
  • 2 篇 中文
  • 1 篇 土耳其文
检索条件"机构=Department of Computer and Programming Engineering"
359 条 记 录,以下是201-210 订阅
排序:
Enabling Research through the SCIP Optimization Suite 8.0
arXiv
收藏 引用
arXiv 2023年
作者: 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 ZIB-AIS2T Germany School of Mathematics and Statistics Beijing Institute of Technology Beijing100081 China RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Eindhoven University of Technology Department of Mathematics and Computer Science Netherlands ZIB-AIS2T I2DAMO GmbH Englerallee 19 Berlin14195 Germany ZIB-AIS2T HTW Berlin 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 ZIB Department A2IM Takustr. 7 Berlin14195 Germany RWTH Aachen-Lehrstuhl für OR Germany University of Exeter College of Engineering Mathematics and Physical Sciences Exeter United Kingdom Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany TU Darmstadt Fachbereich Mathematik Germany ZIB-A2IM Germany TU Berlin Germany ZIB-A2IM Software and Algorithms for Discrete Optimization Institute of Mathematics TU Berlin Germany GAMS Software GmbH c/o ZIB-AIS2T Germany
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. The focus of this paper is on the role of the SCI... 详细信息
来源: 评论
Using the Model of a Functional Rationalizer of Consumer Behavior in Recommendation Systems for Managing the Transport Activity of the Urban Population
Using the Model of a Functional Rationalizer of Consumer Beh...
收藏 引用
International Conference on Soft Computing and Measurements (SCM)
作者: Yaroslav A. Seliverstov Svytoslav A. Seliverstov Nikolay V. Podoprigora Alexey L. Starichenkov Roman S. Naryshkin Laboratory of Intelligent Transport Systems Solomenko Institute of Transport Problems of the Russian Academy of Sciences Institute of Computer Science and Technology Peter the Great St.Petersburg Polytechnic University St. Petersburg Russian Federation Department of Ground Transportation Technological Machines Saint Petersburg State University of Architecture and Civil Engineering St. Petersburg Russian Federation Department of Ship Control Systems Saint Petersburg Electrotechnical University “LETI” St. Petersburg Russian Federation Department of Programming Technology Saint Petersburg State University St. Petersburg Russian Federation
An overview of existing urban software mobile applications of the transport and economic direction is given. A model of a functional rationalizer of consumer behavior is being built. The software model of the function... 详细信息
来源: 评论
Electric power supply of steel producing companies: Schematic design solutions to improve reliability of power grids
收藏 引用
AIP Conference Proceedings 2022年 第1期2686卷
作者: Gennady P. Kornilov Ildar R. Abdulveleev Oxana S. Logunova Palvan I. Kalandarov Obid Tursunov Dilshod Kodirov Doniyor Abdurakhimov 1Department of Power Supply of Industrial Enterprises Nosov Mangnitogorsk State Technical University Magnitogorsk Russia 2Department of Computer Engineering and Programming Nosov Mangnitogorsk State Technical University Magnitogorsk Russia 3Department of Automation and Control of Technological Process and Production Tashkent Institute of Irrigation and Agricultural Mechanization Engineers 100000 Tashkent Uzbekistan 4Department of Power Supply and Renewable Energy Sources Tashkent Institute of Irrigation and Agricultural Mechanization Engineers 100000 Tashkent Uzbekistan 5Research Institute of Forestry 111104 Tashkent Uzbekistan 6Gulistan State University 120100 Gulistan Uzbekistan
This research is aimed at improving electric power supply reliability at major industrial plants by applying schematic design solutions. The authors analyzed the features of branch electric power distribution systems ...
来源: 评论
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... 详细信息
来源: 评论
Deep Learning researches in Turkey: An academic approach  13
Deep Learning researches in Turkey: An academic approach
收藏 引用
13th International Conference Perspective Technologies and Methods in MEMS Design, MEMSTECH 2017
作者: Pala, Zeydin Yamli, Veysi Ünlük, Ibrahim Halil Computer Engineering Department Mus Alparslan University Turkey Computer Programming Department Bitlis Eren University Turkey Computer Programming Department Mus Alparslan University Turkey
Deep learning (DL) is deployed in Deep Neural Networks (DNNs), Recurrent Neural Networks (RNNs), Convolutional Neural Networks (CNNs), Deep Stacked Networks (DSNs), Deep Belief Networks (DBNs), and Deep Boltzmann Mach... 详细信息
来源: 评论
Forming the logical conclusion about sufficiency of information of software requirements specification for software quality assessment by ISO 25010:2011  1
Forming the logical conclusion about sufficiency of informat...
收藏 引用
1st IEEE Ukraine Conference on Electrical and computer engineering, UKRCON 2017
作者: Hovorushchenko, Tetiana Computer Engineering and System Programming Department Khmelnitsky National University Khmelnitsky Ukraine
The aim of this study is the development of the method of generating and filling the template of ontology for the quality of the concrete software and method of forming the logical conclusion about the sufficiency of ... 详细信息
来源: 评论
Developing an informational model of instrumental examination
收藏 引用
Journal of Physics: Conference Series 2019年 第3期1260卷
作者: A Filatova A Povoroznyuk S Gavrylenko M Fahs Department of Computer Engineering and Programming National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine
This document presents the development of an informational model of instrumental examination of a patient using the data flow diagrams (DFD). The developed informational model of the instrumental examination is presen...
来源: 评论
Relations of attention and meditation level with learning in engineering education  9
Relations of attention and meditation level with learning in...
收藏 引用
9th International Conference on Electronics, computers and Artificial Intelligence, ECAI 2017
作者: Ülker, Büsra Tabakcioǧlu, Mehmet Bariş Çizmeci, Hüseyin Ayberkin, Doruk Electrical-Electronics Engineering Department Bursa Technical University Bursa Turkey Computer Programming Department Hitit University Çorum Turkey Computer Programming Department Bayburt University Bayburt Turkey
Neurons use electricity in order to communicate to each other. Due to numerous signals sent by neurons, there are oodles of electrical activity in the brain. Sensitive equipment like electroencephalogram (EEG) biosens... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Evaluating the Software Requirements Specifications Using Ontology-Based Intelligent Agent
Evaluating the Software Requirements Specifications Using On...
收藏 引用
International Scientific and Technical Conference on computer Science and Information Technologies
作者: Tetiana Hovorushchenko Olga Pavlova Computer Engineering and System Programming Department Khmelnitsky National University (KhNU) Khmelnitsky Ukraine Informatics department Khmelnitsky Gymnasium No.2 Khmelnitsky Ukraine
The purpose of this study is the development of the method of activity of ontology-based intelligent agent (OBIA) for evaluating the software requirements specifications (SRS). OBIA works on the basis of the developed... 详细信息
来源: 评论