咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是191-200 订阅
排序:
Dipper Throated Optimization for Detecting Black-Hole Attacks inMANETs
收藏 引用
Computers, Materials & Continua 2023年 第1期74卷 1905-1921页
作者: Reem Alkanhel El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim 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 Faculty of Artificial Intelligence Delta University for Science and TechnologyMansoura35712Egypt 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 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
In terms of security and privacy,mobile ad-hoc network(MANET)continues to be in demand for additional debate and *** more MANET applications become data-oriented,implementing a secure and reliable data transfer protoc... 详细信息
来源: 评论
Hybrid Grey Wolf and Dipper Throated Optimization in Network Intrusion Detection systems
收藏 引用
Computers, Materials & Continua 2023年 第2期74卷 2695-2709页
作者: Reem Alkanhel Doaa Sami Khafaga El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim Rashid Amin Mostafa Abotaleb B.M.El-den Department of Information Technology College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia 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 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 Department of Computer Science University of Engineering and TechnologyTaxilaPakistan Department of System Programming South Ural State UniversityChelyabinsk454080Russia
The Internet of Things(IoT)is a modern approach that enables connection with a wide variety of devices *** to the resource constraints and open nature of IoT nodes,the routing protocol for low power and lossy(RPL)netw... 详细信息
来源: 评论
Automated Computation of Therapies Using Failure Mode and Effects Analysis in the Medical Domain
arXiv
收藏 引用
arXiv 2024年
作者: Luttermann, Malte Baake, Edgar Bouchagiar, Juljan Gebel, Benjamin Grüning, Philipp Manikwadura, Dilini Schollemann, Franziska Teifke, Elisa Rostalski, Philipp Möller, Ralf Institute of Information Systems University of Lübeck Germany Institute of Telematics University of Lübeck Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany Department of Infectious Diseases and Microbiology University Hospital Schleswig-Holstein Campus Lübeck Germany Institute for Neuro- and Bioinformatics University of Lübeck Germany Institute for Molecular Medicine University of Lübeck Germany Institute for Electrical Engineering in Medicine University of Lübeck Germany franziska.schollemann Department of Anesthesiology and Intensive Care University Hospital Schleswig-Holstein Campus Lübeck Germany
Failure mode and effects analysis (FMEA) is a systematic approach to identify and analyse potential failures and their effects in a system or process. The FMEA approach, however, requires domain experts to manually an... 详细信息
来源: 评论
Recurrent Neural Networks on Drifting Time-of-Flight Measurements
Recurrent Neural Networks on Drifting Time-of-Flight Measure...
收藏 引用
International Conference on Indoor Positioning and Indoor Navigation (IPIN)
作者: Tobias Feigl Thorsten Nowak Michael Philippsen Thorsten Edelhäußer Christopher Mutschler Programming Systems Group (Informatics II) Friedrich-Alexander University Erlangen-Nürnberg Erlangen Germany Institute of Information Technology (Comm. Electronics) Friedrich-Alexander University Erlangen-Nürnberg Erlangen Germany Precise Positioning and Analytics Department Fraunhofer Institute for Integrated Circuits IIS Nürnberg Nürnberg Germany Machine Learning and Data Analytics Lab Friedrich-Alexander University Erlangen-Nürnberg Erlangen Germany
Kalman filters (KFs) are popular methods to estimate position information from a set of time-of-flight (ToF) values in radio frequency (RF)-based locating systems. Such filters are proven to be optimal under zero-mean... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Polynomial spline collocation method for solving weakly regular Volterra integral equations of the first kind
arXiv
收藏 引用
arXiv 2021年
作者: Tynda, Aleksandr Noeiaghdam, Samad Sidorov, Denis Higher and Applied Mathematics Department Penza State University Penza440026 Russia Industrial Mathematics Laboratory Baikal School of BRICS Irkutsk National Research Technical University Irkutsk664074 Russia Department of Applied Mathematics and Programming South Ural State University Lenin prospect 76 Chelyabinsk454080 Russia Energy Systems Institute Siberian Branch of Russian Academy of Science Irkutsk664033 Russia Institute of Mathematics and Information Technologies Irkutsk State University Irkutsk664025 Russia
The polynomial spline collocation method is proposed for solution of Volterra integral equations of the first kind with special piecewise continuous kernels. The Gauss-type quadrature formula is used to approximate in... 详细信息
来源: 评论
ANALYZING ROBUSTNESS OF ANGLUIN'S L∗ ALGORITHM IN PRESENCE OF NOISE
arXiv
收藏 引用
arXiv 2023年
作者: Ye, Lina Khmelnitsky, Igor Haddad, Serge Barbot, Benoît Bollig, Benedikt Leucker, Martin Neider, Daniel Roy, Rajarshi Université Paris-Saclay CNRS ENS Paris-Saclay CentraleSupélec LMF France Université Paris-Saclay CNRS ENS Paris-Saclay LMF France Université Paris-Est Créteil France Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany TU Dortmund University Germany Center for Trustworthy Data Science and Security University Alliance Ruhr Germany Max Planck Institute for Software Systems Kaiserslautern Germany
Angluin's L∗ algorithm learns the minimal deterministic finite automaton (DFA) of a regular language using membership and equivalence queries. Its probabilistic approximatively correct (PAC) version substitutes an... 详细信息
来源: 评论
Sensing metric-based hybrid underlay/overlay transmission framework for CR-IoT networks for smart city applications
Sensing metric-based hybrid underlay/overlay transmission fr...
收藏 引用
7th IET Smart Cities Symposium (SCS 2023)
作者: Indu Bala Maad M. Mijwil Mostafa Abotaleb El-Sayed M. El-kenawy Abdelhameed Ibrahim School of Electrical and Electronics Engineering Lovely Professional University Punjab India 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 Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura Egypt
With the increasing number of IoT devices, there is a growing need for bandwidth to support their communication. Unfortunately, there is a shortage of available bandwidth due to preallocated bands for various services...
来源: 评论
Analyzing Robustness of Angluin’s L∗ Algorithm in Presence of Noise
arXiv
收藏 引用
arXiv 2022年
作者: Khmelnitsky, Igor Haddad, Serge Ye, Lina Barbot, Benoît Bollig, Benedikt Leucker, Martin Neider, Daniel Roy, Rajarshi Université Paris-Saclay CNRS ENS Paris-Saclay INRIA LMF France Université Paris-Saclay CNRS ENS Paris-Saclay CentraleSupélec LMF France Université Paris-Est Créteil France Université Paris-Saclay CNRS ENS Paris-Saclay LMF France Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany Carl von Ossietzky University of Oldenburg Germany Max Planck Institute for Software Systems Kaiserslautern Germany
Angluin’s L∗ algorithm learns the minimal (complete) deterministic finite automaton (DFA) of a regular language using membership and equivalence queries. Its probabilistic approximatively correct (PAC) version substi... 详细信息
来源: 评论
Information system model for implementation and maintenance of stochastic control over a nonlinear object on manifolds
收藏 引用
Journal of Physics: Conference Series 2020年 第1期1661卷
作者: S I Kolesnikova Institute of Computational Systems and Programming St. Petersburg State University of Aerospace Instrumentation 67 Bolshaya Morskaia str. St. Petersburg 190000 Russia
The paper presents a problem statement for a robust stochastic regulator synthesis based on the principles of control on manifolds, a solution algorithm of a new information system and its structure maintaining the sy...
来源: 评论