咨询与建议

限定检索结果

文献类型

  • 517 篇 会议
  • 246 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 484 篇 工学
    • 380 篇 计算机科学与技术...
    • 297 篇 软件工程
    • 70 篇 信息与通信工程
    • 66 篇 控制科学与工程
    • 39 篇 电气工程
    • 34 篇 生物医学工程(可授...
    • 31 篇 生物工程
    • 26 篇 机械工程
    • 25 篇 电子科学与技术(可...
    • 19 篇 材料科学与工程(可...
    • 17 篇 土木工程
    • 16 篇 动力工程及工程热...
    • 16 篇 建筑学
    • 15 篇 仪器科学与技术
    • 15 篇 化学工程与技术
    • 14 篇 安全科学与工程
    • 13 篇 力学(可授工学、理...
    • 12 篇 网络空间安全
  • 280 篇 理学
    • 174 篇 数学
    • 49 篇 物理学
    • 43 篇 生物学
    • 37 篇 统计学(可授理学、...
    • 34 篇 系统科学
    • 18 篇 化学
  • 100 篇 管理学
    • 59 篇 管理科学与工程(可...
    • 48 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 31 篇 医学
    • 27 篇 临床医学
    • 23 篇 基础医学(可授医学...
  • 16 篇 法学
    • 13 篇 社会学
  • 9 篇 教育学
  • 8 篇 经济学
  • 6 篇 农学
  • 4 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 27 篇 computer languag...
  • 20 篇 application soft...
  • 20 篇 hardware
  • 19 篇 object oriented ...
  • 18 篇 software enginee...
  • 15 篇 software systems
  • 15 篇 programming
  • 14 篇 semantics
  • 14 篇 software
  • 13 篇 programming prof...
  • 13 篇 software design
  • 13 篇 artificial intel...
  • 12 篇 java
  • 12 篇 computational mo...
  • 11 篇 computer science
  • 10 篇 functional progr...
  • 8 篇 computer archite...
  • 8 篇 neural networks
  • 8 篇 history
  • 8 篇 laboratories

机构

  • 24 篇 department of sy...
  • 24 篇 moscow institute...
  • 12 篇 lomonosov moscow...
  • 12 篇 ivannikov instit...
  • 10 篇 department of ap...
  • 10 篇 moscow institute...
  • 10 篇 programming tech...
  • 10 篇 programming tech...
  • 9 篇 lomonosov moscow...
  • 9 篇 distributed prog...
  • 7 篇 institute of sof...
  • 7 篇 department of ma...
  • 7 篇 programming tech...
  • 6 篇 institute of sof...
  • 6 篇 ivannikov instit...
  • 6 篇 programming meth...
  • 6 篇 programming tech...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 fund for scienti...

作者

  • 23 篇 d'hondt theo
  • 17 篇 de meuter wolfga...
  • 12 篇 costanza pascal
  • 12 篇 dosch walter
  • 12 篇 mens tom
  • 12 篇 abotaleb mostafa
  • 11 篇 van cutsem tom
  • 10 篇 gasnikov alexand...
  • 9 篇 maiti manoranjan
  • 9 篇 mostafa abotaleb
  • 9 篇 dedecker jessie
  • 9 篇 mostinckx stijn
  • 8 篇 bergstra j.a.
  • 8 篇 pal madhumangal
  • 8 篇 baeten j.c.m.
  • 8 篇 abdelhameed ibra...
  • 8 篇 beznosikov aleks...
  • 7 篇 scholz sven-bodo
  • 7 篇 logunova vlada
  • 7 篇 steffen bernhard

语言

  • 741 篇 英文
  • 11 篇 其他
  • 9 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 日文
检索条件"机构=Technology Programming"
764 条 记 录,以下是141-150 订阅
排序:
Min-max optimization over slowly time-varying graphs
arXiv
收藏 引用
arXiv 2023年
作者: Nguyen, Nhat Trung Rogozin, Alexander Metelev, Dmitriy Gasnikov, Alexander Moscow Institute of Physics and Technology Moscow Russia Institute for Information Transportation Problems Moscow Russia Caucasus Mathematic Center Adygh State University Moscow Russia Ivannikov Institute for System Programming The Russian Academy of Sciences Research Center for Trusted Artificial Intelligence Moscow Russia
Distributed optimization is an important direction of research in modern optimization theory. Its applications include large scale machine learning, distributed signal processing and many others. The paper studies dec... 详细信息
来源: 评论
Symbolic Security Predicates: Hunt Program Weaknesses
Symbolic Security Predicates: Hunt Program Weaknesses
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Alexey Vishnyakov Vlada Logunova Eli Kobrin Daniil Kuts Darya Parygina Andrey Fedotov Ivannikov Institute for System Programming of the RAS Moscow Institute of Physics and Technology Moscow Russia Lomonosov Moscow State University
Dynamic symbolic execution (DSE) is a powerful method for path exploration during hybrid fuzzing and automatic bug detection. We propose security predicates to effectively detect undefined behavior and memory access v... 详细信息
来源: 评论
Location–allocation problem for green efficient two-stage vehicle-based logistics system: A type-2 neutrosophic multi-objective modeling approach
收藏 引用
Expert Systems with Applications 2024年 238卷
作者: Das, Soumen Kumar Yu, Vincent F. Roy, Sankar Kumar Weber, Gerhard Wilhelm Department of Pure and Applied Sciences Midnapore City College Kuturia West Bengal Bhadutala721129 India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University West Bengal Midnapore721102 India Department of Industrial Management National Taiwan University of Science and Technology Taipei Taiwan Center for Cyber-Physical System Innovation National Taiwan University of Science and Technology Taipei Taiwan Faculty of Engineering Management Poznan University of Technology Poznan Poland IAM METU Ankara Turkey
In recent decades, global climate change has become one of the most critical environmental issues, leading to increased environmental and social concerns about the sustainability of logistics networks. This study prop... 详细信息
来源: 评论
High-Probability Convergence for Composite and Distributed Stochastic Minimization and Variational Inequalities with Heavy-Tailed Noise
arXiv
收藏 引用
arXiv 2023年
作者: Gorbunov, Eduard Sadiev, Abdurakhmon Danilova, Marina Horváth, Samuel Gidel, Gauthier Dvurechensky, Pavel Gasnikov, Alexander Richtárik, Peter Mohamed bin Zayed University of Artificial Intelligence United Arab Emirates King Abdullah University of Science and Technology Saudi Arabia Moscow Institute of Physics and Technology Russia Université de Montréal and Mila Canada Canada CIFAR AI Canada Weierstrass Institute for Applied Analysis and Stochastics Germany University Innopolis Russia Ivannikov Institute for System Programming RAS Russia Skolkovo Institute of Science and Technology Russia
High-probability analysis of stochastic first-order optimization methods under mild assumptions on the noise has been gaining a lot of attention in recent years. Typically, gradient clipping is one of the key algorith... 详细信息
来源: 评论
Verifying cryptographic protocols by Tamarin Prover
Verifying cryptographic protocols by Tamarin Prover
收藏 引用
2020 Ivannikov Memorial Workshop, IVMEM 2020
作者: Vinarskii, Evgenii Demakov, Alexey Kamkin, Alexander Yevtushenko, Nina Moscow Institute of Physics and Technology Higher School of Economics Ivannikov Institute for System Programming of the Ras Lomonosov Moscow State University Moscow Russia
Cryptographic protocols are utilized for establishing a secure session between 'honest' agents which communicate strictly according to the protocol rules as well as for ensuring the authenticated and confident... 详细信息
来源: 评论
The first optimal algorithm for smooth and strongly-convex-strongly-concave minimax optimization  22
The first optimal algorithm for smooth and strongly-convex-s...
收藏 引用
Proceedings of the 36th International Conference on Neural Information Processing Systems
作者: Dmitry Kovalev Alexander Gasnikov King Abdullah University of Science and Technology Thuwal Saudi Arabia Moscow Institute of Physics and Technology Dolgoprudny Russia and Institute for System Programming RAS Research Center for Trusted Artificial Intelligence Moscow Russia and National Research University Higher School of Economics Moscow Russia
In this paper, we revisit the smooth and strongly-convex-strongly-concave minimax optimization problem. Zhang et al. (2021) and Ibrahim et al. (2020) established the lower bound $\Omega\left(\sqrt{\kappa_x\kappa_y} \l...
来源: 评论
Accelerated primal-dual gradient method for smooth and convex-concave saddle-point problems with bilinear coupling  22
Accelerated primal-dual gradient method for smooth and conve...
收藏 引用
Proceedings of the 36th International Conference on Neural Information Processing Systems
作者: Dmitry Kovalev Alexander Gasnikov Peter Richtárik King Abdullah University of Science and Technology Thuwal Saudi Arabia Moscow Institute of Physics and Technology Dolgoprudny Russia and Institute for System Programming RAS Research Center for Trusted Artificial Intelligence Moscow Russia and National Research University Higher School of Economics Moscow Russia
In this paper we study the convex-concave saddle-point problem minx maxy f(x) + yTAx – g(y), where f(x) and g(y) are smooth and convex functions. We propose an Accelerated Primal-Dual Gradient Method (APDG) for solvi...
来源: 评论
Effective rectification of terahertz electromagnetic fields in a ferrimagnetic iron garnet
收藏 引用
Physical Review B 2023年 第9期108卷 094439-094439页
作者: T. G. H. Blank E. A. Mashkovich K. A. Grishunin C. F. Schippers M. V. Logunov B. Koopmans A. K. Zvezdin A. V. Kimel Radboud University Institute for Molecules and Materials 6525 AJ Nijmegen Netherlands Department of Applied Physics Eindhoven University of Technology P.O. Box 513 Eindhoven 5600 MB Netherlands Institute of Physics II University of Cologne D-50937 Cologne Germany Kotel'nikov Institute of Radioengineering and Electronics 125009 Moscow Russia Prokhorov General Physics Institute of the Russian Academy of Sciences 119991 Moscow Russia Institute of Advanced Technology and Industrial Programming MIREA Russian Technological University 119454 Moscow Russia
It is found that single-cycle THz electromagnetic fields efficiently excite a GHz spin resonance mode in ferrimagnetic Tm3Fe5O12, despite the near absence of GHz spectral components in the exciting THz pulse. By analy... 详细信息
来源: 评论
Evaluating carbon cap and trade policy effects on a multi-period bi-objective closed-loop supply chain in retail management under mixed uncertainty: Towards greener horizons
收藏 引用
Expert Systems with Applications 2024年 250卷
作者: Bhunia, Satyajit Das, Soumen Kumar Jablonsky, Josef Roy, Sankar Kumar Department of Pure and Applied Science Midnapore City College Kuturia West Bengal Bhadutala721129 India Department of Industrial Management National Taiwan University of Science and Technology Taipei Taiwan Department of Econometrics Faculty of Informatics and Statistics Prague University of Economics and Business Praha 3 Prague Czech Republic Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University West Bengal Midnapore721102 India
In response to the growing imperative of addressing environmental concerns and aligning with governmental regulations in supply chain management, this study navigates the optimization landscape of closed-loop supply c... 详细信息
来源: 评论
Quantum channels, complex Stiefel manifolds, and optimization
arXiv
收藏 引用
arXiv 2024年
作者: Russkikh, Ivan Volkov, Boris Pechen, Alexander Department of Mathematical Methods for Quantum Technologies Steklov Mathematical Institute of Russian Academy of Sciences 8 Gubkina Str. Moscow119991 Russia University of Science and Technology MISIS 4 Leninsky Prosp. Moscow119049 Russia Ivannikov Institute for System Programming The Russian Academy of Sciences Alexandra Solzhenitsyna str. 25 Moscow109004 Russia
Most general dynamics of an open quantum system is commonly represented by a quantum channel, which is a completely positive trace-preserving map (CPTP or Kraus map). Well-known are the representations of quantum chan... 详细信息
来源: 评论