咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献
  • 21 册 图书

馆藏范围

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

日期分布

学科分类号

  • 464 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 48 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 18 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 714 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
741 条 记 录,以下是551-560 订阅
排序:
Research Dynamics of Change of Electromagnetic Parameters of Controlled Special Electric Drives
Research Dynamics of Change of Electromagnetic Parameters of...
收藏 引用
International Multi-Conference on Industrial Engineering and Modern Technologies (FarEastCon)
作者: V.Yu Karandey O.B. Popova B.K Popov V.L. Afanasyev Department of power supply of the industrial enterprises Kuban State Technological University Krasnodar Russian Federation Department of information systems and programming Kuban State Technological University Krasnodar Russian Federation
In article the research of dynamics of change of electromagnetic parameters of the controlled special electric drives is conducted. Special electric drives are the controlled cascade electric drives of cylindrical and... 详细信息
来源: 评论
Hassenstein-Reichardt Detector Using Controllable Single Pulse Time-Delay Circuit for Neuromorphic Hardware
Hassenstein-Reichardt Detector Using Controllable Single Pul...
收藏 引用
Computer Science (COMSCI), International Scientific Conference on
作者: Ianislav Trendafilov Veska Gancheva Neuromorphica Ltd. Sofia Bulgaria Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd. Sofia Bulgaria
Inspired by the visual system of the fruit fly, we had created a generic building block for neuromorphic hardware that is vital for third generation neural networks. This enables time delay to be parametrized in a che...
来源: 评论
Machine intelligibility and the duality principle
British Telecom technology journal
收藏 引用
British Telecom technology journal 1996年 第4期14卷 15-23页
作者: Muggleton, S. Michie, D. Wolfson College Oxford United Kingdom University of Tokyo Turing Institute Glasgow United Kingdom Intelligent Systems Research Group BT Laboratories Inductive Logic Programming Oxford University Press Logic Programming ILP Oxford Univ. Computing Laboratory University of Edinburgh Royal Society of Edinburgh British Computer Society
Lack of machine intelligibility in human/computer interactions can be traced to present approaches in software design. From the duality principle, software involved in human/computer software interaction contains two ... 详细信息
来源: 评论
Foreword: First International Workshop on the Web and Requirements Engineering
Foreword: First International Workshop on the Web and Requir...
收藏 引用
International Workshop on the Web and Requirements Engineering (WeRE)
作者: Irene Garrigós Jose-Norberto Mazón Nora Koch Maria José Escalona John Mylopoulos Dept. of Software and Computing Systems University of Alicante Spain Dept. of Computer Languages and Systems University of Seville Spain Programming and Software Engineering Dept. University of Munich Germany Information Engineering and Computer Science Dept. University of Trento Italy
The International Workshop on the Web and Requirements Engineering (WeRE) was held in conjunction with the 18 th International IEEE Requirements Engineering Conference (RE'10) in Sydney (Australia) on September 2...
来源: 评论
Search for new technical solutions when designing color measuring systems
Search for new technical solutions when designing color meas...
收藏 引用
International Conference on Information Science and Communications Technologies (ICISCT)
作者: Marysheva L.T Isxakova N.P Latipova N.X Azizbek Khaitov Department of System and Applied Programming Tashkent University of Information Technologies Uzbekistan Tashkent Department of Hardware and software provision of management systems in telecommunications Tashkent University of Information Technologies Uzbekistan Tashkent
To search for new technical solutions when designing color measuring systems, we need a design object, i.e. to divide color measuring device into fragments, and solutions are sought for these fragments separately. At ... 详细信息
来源: 评论
Method of Detection of Intrusions Based on Stacking Meta-Algorithm
Method of Detection of Intrusions Based on Stacking Meta-Alg...
收藏 引用
Advanced Technology (KhPIWeek), IEEE KhPI Week on
作者: Svitlana Gavrylenko Vladislav Zozulia Nataliia Khatsko Department of Computer Engineering and Programming National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine Department Information Systems and Technologies National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine
An analysis of modern computer network intrusion detection systems was carried out. The application of machine and deep learning methods for classification problems has been investigated. The UNSW-NB15 dataset, develo... 详细信息
来源: 评论
Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data
Sequent Calculus for a Program-oriented Predicate Logic over...
收藏 引用
International Conference on Advanced Computer Information Technologies (ACIT)
作者: Mykola Nikitchenko Oksana Shkilniak Stepan Shkilniak Dept. of Theory and Technology of Programming Taras Shevchenko National University of Kyiv Kyiv Ukraine Dept. of Intelligent Software Systems Taras Shevchenko National University of Kyiv Kyiv Ukraine
The multiplicity of data structures used in programming complicates analysis and verification of software systems. Nominative data aim to serve as a unified model of different data structures. The main feature of such... 详细信息
来源: 评论
Performance Characterization of SPEC CPU2006 Benchmarks on Intel and AMD Platform
Performance Characterization of SPEC CPU2006 Benchmarks on I...
收藏 引用
International Workshop on Education Technology and Computer Science, ETCS
作者: Shengmei Li Buqi Cheng Xingyu Gao Lin Qiao Zhizhong Tang Department of Computer Science and Technology Tsinghua University Beijing China Programming Systems Laboratory Intel China Research Center Limited Beijing China Chinese Academy and Sciences Beijing China
For understanding the performance differences caused by different computer architectures and optimization technologies, the paper characterizes performance of SPEC CPU2006 benchmarks both on Intel and AMD platform. Us... 详细信息
来源: 评论
Characterization and analysis of HMMER and SVM-RFE parallel bioinformatics applications
Characterization and analysis of HMMER and SVM-RFE parallel ...
收藏 引用
IEEE International Workshop/Symposium on Workload Characterization
作者: U. Srinivasan Peng-Sheng Chen Qian Diao Chu-Cheow Lim E. Li Yongjian Chen R. Ju Yimin Zhang Programming Systems Laboratoryoratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA USA Architecture Research Laboratoryoratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA USA
Bioinformatics applications constitute an emerging data-intensive, high-performance computing (HPC) domain. While there is much research on algorithmic improvements, (2004), the actual performance of an application al... 详细信息
来源: 评论
Low-complexity PDoA-based localization
Low-complexity PDoA-based localization
收藏 引用
International Conference on Indoor Positioning and Indoor Navigation (IPIN)
作者: Benjamin Sackenreuter Niels Hadaschik Marc Faßbinder Christopher Mutschler Locating and Comm. Sys. Dept. Fraunhofer Institute for Integrated Circuits IIS Nuremberg Germany Programming Systems Group Friedrich-Alexander-University Erlangen-Nuremberg (FAU) Germany
Localization of wireless nodes within the IoT received much attention lately. However, strong constraints on power consumption, scalability, and complexity of the nodes pose a big challenge for localization techniques... 详细信息
来源: 评论