咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是171-180 订阅
排序:
An efficient algorithm for the configuration problem of dominance graphs  01
An efficient algorithm for the configuration problem of domi...
收藏 引用
Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
作者: Ernst Althaus Denys Duchier Alexander Koller Kurt Mehlhorn Joachim Niehren Sven Thiel Max-Planck-Institute for Computer Science Saarbrücken Germany programming Systems Lab Fachbereich Informatik Universität des Saarlandes Saarbrücken Germany Department of Computational Linguistics Universität des Saarlandes Saarbrücken Germany
Dominance constraints are logical tree descriptions originating from automata theory that have multiple applications in computational linguistics. The satisfiability problem of dominance constraints is NP-complete. In...
来源: 评论
probabilistic and deterministic local search for solving the binary multiknapsack problem*
收藏 引用
Optimization 1995年 第2期33卷 155-166页
作者: Bertocchi, M. Butti, A. Slominski, L. Sobczynska, J. Department of Mathematics Statistics and Computer Science University of Bergamo Bergamo Piazza Rosate 2 Italy Mathematical Programming Department Systems Research Institute Polish Academy of Sciences Warsaw Newelska str 6 Poland
Results of extensive computational experiments aimed at comparing performance quality (accuracy of an approximate solution and the running time) of the Threshold Accept (TA) approach versus the Simulated Annealing (SA... 详细信息
来源: 评论
Al-Biruni Earth Radius Optimization for COVID-19 Forecasting
收藏 引用
Computer systems Science & Engineering 2023年 第7期46卷 883-896页
作者: El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim Mostafa Abotaleb Tatiana Makarovskikh Amal H.Alharbi Doaa Sami Khafaga Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams University11566CairoEgypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura University35516MansouraEgypt Department of System Programming South Ural State University454080ChelyabinskRussia Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia
Several instances of pneumonia with no clear etiology were recorded in Wuhan,China,on December 31,*** world health organization(WHO)called it COVID-19 that stands for“Coronavirus Disease 2019,”which is the second ve... 详细信息
来源: 评论
Implementation lessons of performance prediction tool for parallel conservative simulation  6
收藏 引用
6th International European Conference on Parallel Computing, Euro-Par 2000
作者: Lim, Chu-Cheow Low, Yoke-Hean Gan, Boon-Ping Cai, Wentong Intel Corporation SC12-305 2000 Mission College Blvd Santa ClaraCA95052-8119 United States Programming Research Group Oxford University Computing Laboratory University of Oxford OxfordOX1 3QD United Kingdom Gintic Institute of Manufacturing Technology 71 Nanyang Drive Singapore638075 Singapore Center for Advanced Information Systems School of Applied Science Nanyang Technological University Singapore639798 Singapore
Performance prediction is useful in helping parallel programmers answer questions such as speedup scalability. Performance prediction for parallel simulation requires first working out the performance analyzer algorit... 详细信息
来源: 评论
Word-Based Turkish Lip Reading System with Two Stream 3dcnn and Bilstm
SSRN
收藏 引用
SSRN 2023年
作者: Erbey, Ali Barışçı, Necaattin Department of Computer Programming Distance Education Vocational School Usak University Usak64200 Turkey Department of Information Systems Informatics Institute Gazi University Ankara Turkey Department of Computer Engineering Faculty of Technology Gazi University Ankara06500 Turkey
Lip reading is a technique that aims to understand spoken words by analyzing people's lip movements. Deep learning algorithms are used as a powerful tool for detecting and recognizing lip movements more accurately... 详细信息
来源: 评论
Numerical Solution of Fuzzy Volterra Integral Equations with Piecewise Continuous Kernels: Successive Approximation
Numerical Solution of Fuzzy Volterra Integral Equations with...
收藏 引用
第43届中国控制会议
作者: Samad Noeiaghdam Denis Sidorov Fang Liu Industrial Mathematics Laboratory Baikal School of BRICS Irkutsk National Research Technical University Department of Applied Mathematics and Programming South Ural State University Department of Applied Mathematics Melentiev Energy Systems Institute Siberian Branch of Russian Academy of Sciences
This study aims to discuss the existence and uniqueness of solution of fuzzy Volterra integral equations with piecewise continuous kernels. These types of problems are often encountered in balancing issues for systems... 详细信息
来源: 评论
The Method of Dynamic Routing in Self-Healing Networks
The Method of Dynamic Routing in Self-Healing Networks
收藏 引用
Advanced Technology (KhPIWeek), IEEE KhPI Week on
作者: Shyman Anna Nina Kuchuk Andriy Kovalenko Svitlana Kashkevich Stanislav Partyka Oleksandr Yankovskyi 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 Kharkiv Ukraine
The report proposes a dynamic routing method for Self-healing Networks (ShN). The method takes into account the specific features of ShN. During routing, the flow of service information is reduced. The search for the ... 详细信息
来源: 评论
Editorial: Special issue dedicated to ICFP 2010
收藏 引用
Journal of Functional programming 2012年 第4-5期22卷 379-381页
作者: UMUT A. ACAR JAMES CHENEY STEPHANIE WEIRICH Programming Languages and Systems Group Max Planck Institute for Software Systems Germany (e-mail: umut@***) Laboratory for Foundations of Computer Science University of Edinburgh Edinburgh UK (e-mail: jcheney@inf.ed.ac.uk) School of Engineering and Applied Science University of Pennsylvania Philadelphia PA 19104 USA (e-mail: sweirich@cis.upenn.edu)
The 15th ACM SIGPLAN International Conference on Functional programming (ICFP) took place on September 27–29, 2010 in Baltimore, Maryland. After the conference, the programme committee, chaired by Stephanie Weirich, ...
来源: 评论
Modeling of DC Traction Motor In Ansys RMXPRT
Modeling of DC Traction Motor In Ansys RMXPRT
收藏 引用
Advanced Technology (KhPIWeek), IEEE KhPI Week on
作者: Vitalii Herasymenko Vladyslav Pliuhin Valentyn Noskov Oleksandr Zakovorotnyi Mykola Mezentsev Tetyana Orlova Department of Electric Transport O. M. Beketov National University of Urban Economy in Kharkiv Kharkiv Ukraine Department of the Systems of Electricity Supply and Electricity Consumption of Cities O. M. BeketovNational University of Urban Economy in Kharkiv Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine Computer Engineering and Programming Department National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine
DC traction motors are widely used in all branches of urban economy. They began to be used in industry about a hundred years ago with the advent of the first calculation methods. When designing a DC motor, it is impor...
来源: 评论
Multi-Agent Approach for Dynamic Elasticity of Virtual Machines Provisioning in Heterogeneous Distributed Computing Environment
Multi-Agent Approach for Dynamic Elasticity of Virtual Machi...
收藏 引用
International Conference on High Performance Computing & Simulation (HPCS)
作者: Alexander Feoktistov Ivan Sidorov Andrei Tchernykh Alexei Edelev Valery Zorkalzev Roman Kostromin Sergey Gorsky Igor Bychkov Arutyun Avetisyan Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch of the Russian Academy of Sciences Irkutsk Russia Matrosov Inst. for Syst. Dynamics & Control Theor. Irkutsk Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia Melentiev Energy Systems Institute of the Siberian Branch of the Russian Academy of Sciences Irkutsk Russia
We address dynamic elasticity issues of VM provisioning in a heterogeneous distributed computing environment that integrates resources of a data center. We consider the scenario when the center includes dedicated reso... 详细信息
来源: 评论