咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献

馆藏范围

  • 720 篇 电子文献
  • 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...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 software enginee...
  • 12 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 11 篇 artificial intel...
  • 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
  • 19 篇 bernhard steffen
  • 17 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 tiziana margaria
  • 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

语言

  • 693 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Programming Systems"
720 条 记 录,以下是221-230 订阅
排序:
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 ... 详细信息
来源: 评论
Thermodynamics of optical bloch equations
arXiv
收藏 引用
arXiv 2020年
作者: Elouard, Cyril Herrera-Martí, David Esposito, Massimiliano Auffèves, Alexia Department of Physics and Astronomy University of Rochester RochesterNY14627 United States Atos Centre for Excellence in Performance Programming 1 rue de Provence Echirolles38130 France Complex Systems and Statistical Mechanics Department of Physics and Materials Science University of Luxembourg LuxembourgL-1511 Luxembourg CNRS Université Grenoble Alpes Institut Néel GrenobleF-38042 France
Optical Bloch Equations (OBE) describe the coherent exchange of energy between a quantum bit (qubit) and a quasi-resonant driving field in the presence of a thermal bath. Despite it being an ubiquitous process in quan... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Some remarks on smooth mappings of Hilbert and Banach spaces and their local convexity property
arXiv
收藏 引用
arXiv 2021年
作者: Prykarpatskyy, Yarema A. Pukach, Petro Y. Vovk, Myroslava I. Greguš, Michal Department of Applied Mathematics University of Agriculture in Krakow Al. Mickiewicza 21 Krakow31-120 Poland Institute of Mathematics of NAS of Ukraine 3 Tereschenkivska st. Kyiv 401024 Ukraine Department of Computational Mathematics and Programming Institute of Applied Mathematics and Fundamental Sciences Lviv Polytechnic National University 12 Bandera Str. Lviv79013 Ukraine Department of Mathematics Institute of Applied Mathematics and Fundamental Sciences Lviv Polytechnic National University 12 Bandera Str. Lviv79013 Ukraine Department of Information Systems Faculty of Management Comenius University in Bratislava Odbojarov 10 Bratislava 2582005 Slovakia
We analyze smooth nonlinear mappings for Hilbert and Banach spaces that carry small balls to convex sets, provided that the radius of the balls is small enough. Being focused on the study of new and mild sufficient co... 详细信息
来源: 评论
Structure and Functioning of Information systems of Background Monitoring of Landscape Elements of Gorgany Nature Reserve
Structure and Functioning of Information Systems of Backgrou...
收藏 引用
International Conference on Advanced Computer Information Technologies (ACIT)
作者: Yaroslav Nykolaychuk Yaroslav Petrashchuk Olena Slobodian Ihor Pitukh Taras Grynchyshyn Lyubov Nykolaychuk Volodymyr Hryha Department of Specialized Computer Systems Ternopil National Economic University Ternopil Ukraine Gorgany nature reserve Nadvirna Ukraine Department of Programming and Information Technologies Nadvirna College by National Transport University Nadvirna Ukraine Department of Social Communication and Law Ivano-Frankivsk National Technical University of Oil and Gas Ivano-Frankivsk Ukraine Department of Computer Engineering and Electronics Vasyl Stefanyk Precarpathian National University Ivano-Frankivsk Ukraine
This paper discusses the structural organization of the background monitoring system (BMS) of the transboundary UNESCO World Heritage Site “Beech forests of the Carpathians and ancient beech forests of Germany” usin... 详细信息
来源: 评论
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...
来源: 评论
Novel symmetric numerical methods for solving symmetric mathematical problems
收藏 引用
International Journal of Circuits, systems and Signal Processing 2021年 15卷 1545-1557页
作者: Ibrahimov, V.R. Mehdiyeva, G.Y.U. Yue, Xiao-Guang Kaabar, Mohammed K.A. Noeiaghdam, Samad Juraev, Davron Aslonqulovich Institute of Control Systems named after Academician A.Huseynov BakuAZ1141 Azerbaijan Computational mathematics Baku State University BakuAZ1148 Azerbaijan Department of Computer Science and Engineering School of Sciences European University Cyprus Nicosia1516 Cyprus Institute of Mathematical Sciences Faculty of Science University of Malaya Kuala Lumpur50603 Malaysia Department of Mathematics and Statistics Washington State University PullmanWA99163 United States 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 Department of Natural Science Disciplines Higher Military Aviation School of the Republic of Uzbekistan Karshi City180100 Uzbekistan
—The mathematical model for many problems is arising in different industries of natural science, basically formulated using differential, integral and integro-differential equations. The investigation of these equati... 详细信息
来源: 评论
Impact of fluctuation interferences to the responders performance of secondary surveillance radar system
Impact of fluctuation interferences to the responders perfor...
收藏 引用
2018 International Conference on Information and Telecommunication Technologies and Radio Electronics, UkrMiCo 2018
作者: Svyd, I.V. Goriushkina, A.E. Zavolodko, G.E. Maltsev, O.S. Kharkiv National University of Radio Electronics KNURE Dept. Radiotechnologies Information and Communication Systems Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Computer Science and Programming Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Information Systems Kharkiv Ukraine
The principle of network construction and the principle of request signals service of Secondary surveillance radar systems predetermined the work of the respondents of the considered systems in conditions of intra-sys... 详细信息
来源: 评论
Ar optimization for interactive user guides
Ar optimization for interactive user guides
收藏 引用
作者: Ivaschenko, Anton Sitnikov, Pavel Milutkin, Michael Khasanov, Denis Krivosheev, Arkadiy Information Systems and Technologies Department Samara National Research University Samara Russia Department of Applied Programming and Technological Innovations ITMO University Saint-Petersburg Russia AR and VR Group SEC "Open Code" Samara Russia
This paper presents the results of Augmented Reality (AR) implementation as a part of an interactive user guide. As an example, there is considered a software solution for a robot constructor that can be deployed on a... 详细信息
来源: 评论