咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是251-260 订阅
排序:
Galerkin Method and Qualitative Approach for the Investigation and Numerical Analysis of Some Dissipative Nonlinear Physical systems
Galerkin Method and Qualitative Approach for the Investigati...
收藏 引用
International Scientific and Technical Conference on Computer Science and Information Technologies
作者: Petro Pukach Volodymyr Il'kiv Zinovii Nytrebych Myroslava Vovk Natalia Shakhovska Pavlo Pukach Dept. of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine Dept. of Mathematics Lviv Polytechnic National University Lviv Ukraine Dept. of Artifical Intelligence Systems Lviv Polytechnic National University Lviv Ukraine Dept. of Applied Mathematics Lviv Polytechnic National University Lviv Ukraine
The mathematical models of the oscillations for the important classes of the nonlinear physical systems with dissipation are considered in the paper. It is impossible to apply the asymptotic analytical methods to cons... 详细信息
来源: 评论
Move-optimized source code tree differencing
Move-optimized source code tree differencing
收藏 引用
IEEE International Conference on Automated Software Engineering (ASE)
作者: Georg Dotzler Michael Philippsen Germany Programming Systems Group Friedrich-Alexander-University Erlangen-Nurnberg (FAU)
When it is necessary to express changes between two source code files as a list of edit actions (an edit script), modern tree differencing algorithms are superior to most text-based approaches because they take code m... 详细信息
来源: 评论
Personalize Web Searching Strategies Classification and Comparison
收藏 引用
通讯和计算机(中英文版) 2016年 第1期13卷 19-23页
作者: Mariya Savova Evtimova Ivan Momtchilov Momtchev Faculty of Computer Systems and Control Programming and Computer Technologies Department Technical University of SofiaSofia 1000 Bulgaria
来源: 评论
Correction to: Comparison of lipidome profiles of Caenorhabditis elegans-results from an inter-laboratory ring trial
收藏 引用
Metabolomics : Official journal of the Metabolomic Society 2021年 第3期17卷 33页
作者: Britta Spanier Anne Laurençon Anna Weiser Nathalie Pujol Shizue Omi Aiko Barsch Ansgar Korf Sven W Meyer Jonathan J Ewbank Francesca Palladino Steve Garvis Hugo Aguilaniu Michael Witting Chair of Metabolic Programming Technische Universität München Gregor-Mendel-Straße 2 85354 Freising Germany. UMR5242 Ecole Normale Supérieure de Lyon Centre National de la Recherche Scientifique Université de Lyon Lyon France. Turing Center for Living Systems Aix Marseille Univ CNRS INSERM CIML Marseille France. Bruker Daltonics Fahrenheitstr. 4 28359 Bremen Germany. Laboratoire de Biologie Moléculaire de la Cellule UMR5239 CNRS/ENS Lyon/UCBL/HCL Ecole Normale Supérieure de Lyon 46 allée d'Italie 69364 Lyon cedex 07 France. Instituto Serrapilheira Rua Dias Ferreira 78 Leblon Rio de Janeiro Brazil. Research Unit Analytical BioGeoChemistry Helmholtz Zentrum München German Research Center for Environmental Health Ingolstaedter Landstrasse 1 85764 Neuherberg Germany. michael.witting@helmholtz-muenchen.de. Metabolomics and Proteomics Core Helmholtz Zentrum München German Research Center for Environmental Health Ingolstaedter Landstrasse 1 85764 Neuherberg Germany. michael.witting@helmholtz-muenchen.de. Chair of Analytical Food Chemistry Technische Universität München Alte Akademie 10 85354 Freising-Weihenstephan Germany. michael.witting@helmholtz-muenchen.de.
A correction to this paper has been published: https://***/10.1007/s11306-021-01784-5
来源: 评论
Preface
收藏 引用
CEUR Workshop Proceedings 2019年 2514卷 1-2页
作者: Avetisyan, Arutyun Ivar, Jacobson Pozin, Boris A. Petrenko, Alexander K. Pozin, Boris A. Petrenko, Alexander K. Cavalli, Ana Rosa Petrenko, Alexander K. Avetisyan, Arutyun Arlazarov, Vladimir Avdoshin, Sergey Batovrin, Victor K. Bershadsky, Alexander M. Boichenko, Alexander Juris, Borzovs Vasenin, Valery A. Schlingloff, Holger Kalyanov, Georgy Kantorovich, Georgy G. Korolev, Anton Kosolapov, Mikhail S. Kostogryzov, Andrey I. Koznov, Dmitry V. Kuznetsov, Sergey Prokhorov, Sergei Soyfer, Victor A. Starykh, Vladimir A. Stolyarov, Gennady K. Stupnikov, Sergey A. Telnov, Yury Ph. Shmid, Alexander Mira, Kajko-Mattssen Miroslawa Wentzl, Wilfried Mayer, Walter H. Yevtushenko, Nina Zakharov, Victor Zmeev, Oleg Cavalli, Ana Rosa Petrenko, Alexander K. Pozin, Boris A. RAS ISP Russia Ivar Jacobson International Switzerland NRU HSE «-leasing» Co Russia NRU HSE ISP RAS Russia Information and Analytical Systems «-leasing» Co Russia Department of Network Software TELECOM and Management SudParis France NRU HSE Russia Software Engineering of Ivannikov Institute for System Programming RAS Russia RAS System Analysis Institute of Federal Research Centre Informatics and Management Russia Russia Penza State University Russia Federal State Educational Centre of Higher Learning «Plekhanov Russian University of Economics» Russia CISA Academy of Sciences of Latvia State University of Latvia Latvia MSU Institut für Offene Kommunikationssysteme FOKUS Germany Verifikation und Testtheorie an der Humboldt-Universität zu Berlin Germany Institute of Control Sciences RAS Russia Institute of Sociology RAS NRU HSE Russia ISO IEEC Institute of Informatics Problems Federal Research Centre IM RAS Russia St. Petersburg State University Russia Institute for System Programming RAS Moscow State University Russia SRI Korolev Samara State Aerospace University Russia Belarus FRC IM RAS Russia FSEC «Plekhanov Russian University of Economics» Russia KTH School of Information and Communication Technology Sweden Governmental Agricultural Analyst Austria Austria Ivannikov Institute for System Programming RAS Russia Institute of Informatics Problems Federal Research Centre IM RAS Russia Tomsk State University Russia
来源: 评论
Initial Implementation of Natural Language Turn-Based Dialog System
收藏 引用
Procedia Computer Science 2016年 84卷 49-56页
作者: Alexander Wachtel Sebastian Weigelt Walter F. Tichy Karlsruhe Institute of Technology Chair for Programming Systems Prof. Walter F. Tichy Am Fasanengarten 5 76131 Karlsruhe Germany
Our prototype implements a natural language dialog system for Excel spreadsheets. The work is motivated by a pilot study which shows that novice users have difficulties with the formula language of Excel and need inte... 详细信息
来源: 评论
ProductiveC: Enabling high productivity in c-family languages  15
ProductiveC: Enabling high productivity in c-family language...
收藏 引用
12th ACM International Conference on Computing Frontiers, CF 2015
作者: Rong, Hongbo Programming Systems Lab Intel United States
Today's big data challenge presses for a breakthrough in programming models. A simple programming model capable of both high productivity and high performance is desired. This paper proposes a simple solution to r... 详细信息
来源: 评论
Higher-Order Process Engineering in the context of Active Continuous Quality Control
Higher-Order Process Engineering in the context of Active Co...
收藏 引用
Software Engineering and Management 2015: Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW - Software Engineering and Management 2015: Multiconference of the GI Special Interest Groups Software Engineering (SWT) and Information systems (WI), FA WI-MAW
作者: Neubauer, Johannes Computer Science Programming Systems TU Dortmund Germany
In this talk we present how Higher-Order Process Engineering (HOPE) and Active Continuous Quality Control (ACQC) can be combined to drastically reduce the manual effort of risk-based regression testing. That is, integ... 详细信息
来源: 评论
Inter-satellite ranging in the Low Earth Orbit
Inter-satellite ranging in the Low Earth Orbit
收藏 引用
International Symposium on Communication systems, Networks and Digital Signal Processing, CNSDSP
作者: Mohammad Alawieh Niels Hadaschik Norbert Franke Christopher Mutschler Locating and Communication Systems Dept. Fraunhofer Institute for Integrated Circuits IIS Germany Programming Systems Group Friedrich-Alexander-University Erlangen-Nürnberg (FAU) Germany
Many satellite systems require knowledge about inter-satellite distances. Inter-satellite links provide direct connectivity between satellites and may be used for ranging, while they remove the need of dedicated hardw... 详细信息
来源: 评论
Function-based case classification for improving business process mining  17
Function-based case classification for improving business pr...
收藏 引用
17th International Conference on Enterprise Information systems, ICEIS 2015
作者: Sun, Yaguang Bauer, Bernhard Programming Distributed Systems Lab. University of Augsburg Augsburg Germany
In the last years business process mining has become a wide research area. However, existing process mining techniques encounter challenges while dealing with event logs stemming from highly flexible environments beca... 详细信息
来源: 评论