咨询与建议

限定检索结果

文献类型

  • 145 篇 会议
  • 74 篇 期刊文献
  • 9 册 图书

馆藏范围

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

日期分布

学科分类号

  • 140 篇 工学
    • 100 篇 计算机科学与技术...
    • 88 篇 软件工程
    • 17 篇 控制科学与工程
    • 10 篇 信息与通信工程
    • 9 篇 土木工程
    • 9 篇 船舶与海洋工程
    • 8 篇 电气工程
    • 7 篇 机械工程
    • 5 篇 建筑学
    • 5 篇 生物医学工程(可授...
    • 5 篇 生物工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 航空宇航科学与技...
    • 4 篇 环境科学与工程(可...
    • 4 篇 安全科学与工程
    • 3 篇 材料科学与工程(可...
  • 78 篇 理学
    • 48 篇 数学
    • 16 篇 系统科学
    • 12 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 7 篇 海洋科学
    • 6 篇 生物学
  • 30 篇 管理学
    • 22 篇 管理科学与工程(可...
    • 10 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 7 篇 医学
    • 6 篇 临床医学
    • 5 篇 基础医学(可授医学...
  • 5 篇 教育学
    • 4 篇 教育学
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
  • 1 篇 军事学

主题

  • 10 篇 unified modeling...
  • 8 篇 software enginee...
  • 7 篇 semantics
  • 7 篇 testing
  • 6 篇 software
  • 5 篇 programming
  • 5 篇 embedded systems
  • 5 篇 petri nets
  • 5 篇 analytical model...
  • 5 篇 artificial intel...
  • 4 篇 runtime
  • 4 篇 safety
  • 4 篇 application soft...
  • 4 篇 model checking
  • 4 篇 software archite...
  • 4 篇 optimization
  • 4 篇 monitoring
  • 4 篇 control systems
  • 4 篇 dipper throated ...
  • 4 篇 hardware

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 6 篇 department of co...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...
  • 5 篇 institute of sof...
  • 4 篇 school of electr...
  • 4 篇 department of el...
  • 4 篇 department of co...
  • 4 篇 institute for pr...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 institute for so...

作者

  • 13 篇 goltz ursula
  • 13 篇 lochau malte
  • 8 篇 mostafa abotaleb
  • 8 篇 abdelhameed ibra...
  • 7 篇 tichy matthias
  • 6 篇 bauer bernhard
  • 6 篇 schaefer ina
  • 6 篇 christopher muts...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 leucker martin
  • 5 篇 ursula goltz
  • 5 篇 doaa sami khafag...
  • 5 篇 malte lochau
  • 4 篇 mennicke stephan
  • 4 篇 michael philipps...
  • 4 篇 lity sascha
  • 4 篇 van glabbeek rob
  • 4 篇 kolesnikova s.i.
  • 4 篇 matthias hagner

语言

  • 224 篇 英文
  • 3 篇 其他
  • 1 篇 日文
检索条件"机构=Institute of Programming Systems"
228 条 记 录,以下是181-190 订阅
排序:
Traffic Modeling for the Industrial Internet of NanoThings
Traffic Modeling for the Industrial Internet of NanoThings
收藏 引用
Advanced Technology (KhPIWeek), IEEE KhPI Week on
作者: Nina Kuchuk Igor Ruban Oleksandr Zakovorotnyi Andriy Kovalenko Andrii Shyshatskyi Iurii Sheviakov Department of Computer Engineering and Programming National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine Department of Electronic Computers Kharkiv National University of Radio Electronics Kharkiv Ukraine Department of Computerized Management Systems National Aviation University Kyiv Ukraine Civil Aviation Institute Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine
Industrial Internet of NanoThings (IIoNT) traffic model proposed. The model is based on the developed algorithm for Dynamic Data Composition Control. The application of the algorithm made it possible to reduce the tot...
来源: 评论
Real-Time Gait Reconstruction For Virtual Reality Using a Single Sensor
Real-Time Gait Reconstruction For Virtual Reality Using a Si...
收藏 引用
IEEE International Symposium on Mixed and Augmented Reality Workshops (ISMARW)
作者: Tobias Feigl Lisa Gruner Christopher Mutschler Daniel Roth Fraunhofer Institute of Integrated Circuits (IIS) Nürnberg Programming Systems Group Friedrich-Alexander University (FAU) Erlangen-Nürnberg Ludwig-MaximiliansUniversity (LMU) Technical University Munich (TUM) Munich Chair for Computer Aided Medical Procedures and Augmented Reality Technical University Munich (TUM)
Embodying users through avatars based on motion tracking and reconstruction is an ongoing challenge for VR application developers. High quality VR systems use full-body tracking or inverse kinematics to reconstruct th... 详细信息
来源: 评论
Forecasting Nonlinear Nonstationary Processes in Machine Learning Task
Forecasting Nonlinear Nonstationary Processes in Machine Lea...
收藏 引用
IEEE International Conference on Data Stream Mining & Processing (DSMP)
作者: Peter Bidyuk Aleksandr Gozhyj Irina Kalinina Victoria Vysotska Mikhail Vasilev Romanna Malets Department of Mathematical Methods of System Analysis National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" Kyiv Ukraine Department of Intelligent Information Systems Petro Mohyla Black Sea National University Nikolaev Ukraine Department of Information Systems And Networks National University "Lvivska politechnika" Lviv Ukraine Programming Department Ivan Franko Lviv National University Lviv Ukraine
The article discusses the features of the solving the forecasting problems using machine learning techniques. The issues of accounting and correctly processing non-linear non-stationary processes in the problems of mo... 详细信息
来源: 评论
Data Poisoning: Issues, Challenges, and Needs  7
Data Poisoning: Issues, Challenges, and Needs
收藏 引用
7th IET Smart Cities Symposium, SCS 2023
作者: Aljanabi, Mohammad Omran, Alaa Hamza Mijwil, Maad M. Abotaleb, Mostafa El-Kenawy, El-Sayed M. Mohammed, Sahar Yousif Ibrahim, Abdelhameed Department of computer College of Education Aliarqai university Baghdad Iraq University of information technology and communications Baghdad Iraq Computer Techniques Engineering Department Baghdad College of Economic Sciences University Baghdad Iraq Department of System Programming South Ural State University Chelyabinsk Russia Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Egypt Computer Science Department Computer Science &Information Technology College Anbar University Anbar Iraq Computer Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura Egypt
Data poisoning attacks, where adversaries manipulate training data to degrade model performance, are an emerging threat as machine learning becomes widely deployed in sensitive applications. This paper provides a comp... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Revealing academic web interlinking motives through webometrics and statistical techniques: Nigerian university websites as a case study
收藏 引用
International Journal of Web Engineering and Technology 2016年 第4期11卷 335-350页
作者: Nwohiri, Anthony M. Pechnikov, Andrey A. Department of Programming Technologies Faculty of Applied Mathematics and Control Processes St. Petersburg State University 7-9 Universitetskaya Naberezhnaya St. Petersburg199034 Russia Laboratory for Telecommunications Systems Institute of Applied Mathematical Research Karelian Research Centre Russian Academy of Sciences Russia 11 Pushkinskaya Street Petrozavodsk Karelia Rep.185910 Russia
The websites of the universities of Africa's most populous country Nigeria were examined. The goal was to unearth the reasons why external hyperlinks are placed on these sites and identify any peculiarities by geo... 详细信息
来源: 评论
Hybrid Dipper Throated and Grey Wolf Optimization for Feature Selection Applied to Life Benchmark Datasets
收藏 引用
Computers, Materials & Continua 2023年 第2期74卷 4531-4545页
作者: Doaa Sami Khafaga El-Sayed M.El-kenawy Faten Khalid Karim Mostafa Abotaleb Abdelhameed Ibrahim Abdelaziz A.Abdelhamid D.L.Elsheweikh Department of Computer Sciences 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 Faculty of Artificial Intelligence Delta University for Science and TechnologyMansoura35712Egypt Department of System Programming South Ural State UniversityChelyabinsk454080Russia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Department of Computer Science Faculty of Specific EducationMansoura UniversityEgypt
Selecting the most relevant subset of features from a dataset is a vital step in data mining and machine *** feature in a dataset has 2n possible subsets,making it challenging to select the optimum collection of featu... 详细信息
来源: 评论
Property-Directed verification of recurrent neural networks
arXiv
收藏 引用
arXiv 2020年
作者: Khmelnitsky, Igor Neider, Daniel Roy, Rajarshi Barbot, Benoît Bollig, Benedikt Finkel, Alain Haddad, Serge Leucker, Martin Ye, Lina LSV CNRS ENS Paris-Saclay Université Paris-Saclay France Inria France Max Planck Institute for Software Systems Kaiserslautern Germany Université Paris-Est Créteil France Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany CentraleSupélec Université Paris-Saclay France Institut Universitaire de France France
This paper presents a property-directed approach to verifying recurrent neural networks (RNNs). To this end, we learn a deterministic finite automaton as a surrogate model from a given RNN using active automata learni... 详细信息
来源: 评论
Changes in EEG spectrograms, event-related potentials and event-related desynchronization induced by relative beta training in ADHD children
收藏 引用
Journal of Neurotherapy 2007年 第2期11卷 3-11页
作者: Kropotov, Jury D. Grin-Yatsenko, Vera A. Ponomarev, Valery A. Chutko, Leonid S. Yakovenko, Elena A. Nikishena, Inna S. Institute of Psychology Norwegian University of Science and Technology (NTNU) Trondheim Norway Laboratory for Neurobiology of Action Programming Institute of the Human Brain of Russian Academy of Sciences Trondheim Norway Laboratory for Rehabilitation of Sensory Systems Human Brain of Russian Academy of Sciences Trondheim Norway Laboratory for Neurophysiology of Electromagnetic Therapy Institute of the Human Brain of Russian Academy of Sciences Trondheim Norway
Background. During the last three decades EEG-based biofeedback (neurofeedback) was used as an alternative treatment for reducing symptoms of ADHD. The goal of this study was to objectively assess the efficacy of biof... 详细信息
来源: 评论
Uvl: Feature Modelling with the Universal Variability Language
SSRN
收藏 引用
SSRN 2024年
作者: Benavides, David Sundermann, Chico Feichtinger, Kevin Galindo, José A. Rabiser, Rick Thüm, Thomas Department of Computer Languages and Systems Universidad de Sevilla Av. Reina Mercedes Seville41012 Spain Institute of Software Engineering and Programming Languages University of Ulm Albert-Einstein-Allee 11 Ulm89069 Germany CRC 1608 KASTEL – Dependability of Software-intensive Systems Karlsruhe Institute of Technology Am Fasanengarten 5 Karlsruhe76131 Germany Christian Doppler Laboratory VaSiCS LIT CPS Lab Johannes Kepler University Linz Altenberger Straße 69 Linz4040 Austria
Feature modelling is a cornerstone of software product line engineering, providing a means to represent software variability through features and their relationships. Since its inception in 1990, feature modelling has... 详细信息
来源: 评论