咨询与建议

限定检索结果

文献类型

  • 20 篇 会议
  • 6 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 17 篇 工学
    • 13 篇 计算机科学与技术...
    • 13 篇 软件工程
    • 5 篇 控制科学与工程
    • 3 篇 信息与通信工程
    • 2 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 轻工技术与工程
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
    • 1 篇 网络空间安全
  • 8 篇 管理学
    • 6 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 3 篇 理学
    • 2 篇 数学
    • 1 篇 系统科学
    • 1 篇 统计学(可授理学、...
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 2 篇 information retr...
  • 1 篇 object oriented ...
  • 1 篇 data storage equ...
  • 1 篇 runtime environm...
  • 1 篇 user profile
  • 1 篇 formal logic
  • 1 篇 concurrent compu...
  • 1 篇 safety
  • 1 篇 application soft...
  • 1 篇 software enginee...
  • 1 篇 power engineerin...
  • 1 篇 storage allocati...
  • 1 篇 java
  • 1 篇 hard disks
  • 1 篇 computer securit...
  • 1 篇 data compression
  • 1 篇 software prototy...
  • 1 篇 standards organi...
  • 1 篇 robot programmin...
  • 1 篇 internet

机构

  • 3 篇 mart learning ed...
  • 2 篇 ivannikov instit...
  • 2 篇 system and softw...
  • 2 篇 huawei noah's ar...
  • 2 篇 programming tech...
  • 1 篇 programming syst...
  • 1 篇 logic programmin...
  • 1 篇 department of co...
  • 1 篇 department of co...
  • 1 篇 department of ma...
  • 1 篇 system architect...
  • 1 篇 university of ap...
  • 1 篇 ivannikov instit...
  • 1 篇 riken api 15th f...
  • 1 篇 university of ka...
  • 1 篇 department of co...
  • 1 篇 programming syst...
  • 1 篇 programming syst...
  • 1 篇 distributed prog...
  • 1 篇 lab of bioinstru...

作者

  • 3 篇 nikolenko sergey
  • 2 篇 jose javier serr...
  • 2 篇 adl-tabatabai al...
  • 2 篇 saha bratin
  • 2 篇 van paesschen el...
  • 2 篇 hayek ali
  • 2 篇 boercsoek josef
  • 2 篇 josef boercsoek
  • 2 篇 hudson richard l...
  • 2 篇 d'hondt maja
  • 2 篇 malykh valentin
  • 2 篇 olmedo jose javi...
  • 2 篇 roy abi zeid dao...
  • 2 篇 abulkhanov dmitr...
  • 2 篇 beznosikov aleks...
  • 2 篇 sedykh ivan
  • 2 篇 ali hayek
  • 2 篇 sorokin nikita
  • 1 篇 abi zeid daou ro...
  • 1 篇 borin edson

语言

  • 25 篇 英文
  • 1 篇 其他
检索条件"机构=Programming System Lab"
26 条 记 录,以下是1-10 订阅
排序:
Searching by Code: a New SearchBySnippet Dataset and SnippeR Retrieval Model for Searching by Code Snippets  30
Searching by Code: a New SearchBySnippet Dataset and SnippeR...
收藏 引用
Joint 30th International Conference on Computational Linguistics and 14th International Conference on Language Resources and Evaluation, LREC-COLING 2024
作者: Sedykh, Ivan Abulkhanov, Dmitry Sorokin, Nikita Nikolenko, Sergey Malykh, Valentin Huawei Noah's Ark Lab Canada St. Petersburg Department The Steklov Institute of Mathematics Russia Ivannikov Institute for System Programming Russia
Code search is an important and well-studied task, but it usually means searching for code by a text query. We argue that using a code snippet (and possibly an error traceback) as a query while looking for bugfixing i... 详细信息
来源: 评论
Accelerated Methods with Compressed Communications for Distributed Optimization Problems under Data Similarity
arXiv
收藏 引用
arXiv 2024年
作者: Bylinkin, Dmitry Beznosikov, Aleksandr Moscow Institute of Physics and Technology Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Russia Sber AI Lab Skoltech Russia
In recent years, as data and problem sizes have increased, distributed learning has become an essential tool for training highperformance models. However, the communication bottleneck, especially for high-dimensional ... 详细信息
来源: 评论
Local SGD for Near-Quadratic Problems: Improving Convergence under Unconstrained Noise Conditions
arXiv
收藏 引用
arXiv 2024年
作者: Sadchikov, Andrey Chezhegov, Savelii Beznosikov, Aleksandr Gasnikov, Alexander Moscow Institute of Physics and Technology Moscow Russia Ivannikov Institute for System Programming RAS Moscow Russia Sber AI Lab Moscow Russia Innopolis University Innopolis Russia
Distributed optimization plays an important role in modern large-scale machine learning and data processing systems by optimizing the utilization of computational resources. One of the classical and popular approaches... 详细信息
来源: 评论
Searching by Code: a New SearchBySnippet Dataset and SnippeR Retrieval Model for Searching by Code Snippets
arXiv
收藏 引用
arXiv 2023年
作者: Sedykh, Ivan Abulkhanov, Dmitry Sorokin, Nikita Nikolenko, Sergey Malykh, Valentin Huawei Noah's Ark lab Russia St. Petersburg Department of the Steklov Institute of Mathematics Russia Ivannikov Institute for System Programming Russia
Code search is an important and well-studied task, but it usually means searching for code by a text query. We argue that using a code snippet (and possibly an error traceback) as a query while looking for bugfixing i... 详细信息
来源: 评论
Sinkhorn Transformations for Single-Query Postprocessing in Text-Video Retrieval
arXiv
收藏 引用
arXiv 2023年
作者: Yakovlev, Konstantin Polyakov, Gregory Alimova, Ilseyar Podolskiy, Alexander Bout, Andrey Nikolenko, Sergey Piontkovskaya, Irina Huawei Noah’s Ark Lab Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia St. Petersburg Department the Steklov Institute of Mathematics St. Petersburg Russia
A recent trend in multimodal retrieval is related to postprocessing test set results via the dual-softmax loss (DSL). While this approach can bring significant improvements, it usually presumes that an entire matrix o... 详细信息
来源: 评论
Epistemic Multiagent Reasoning with Collaborative Robots  37
Epistemic Multiagent Reasoning with Collaborative Robots
收藏 引用
37th Italian Conference on Computational Logic, CILC 2022
作者: Soldà, Davide Fabiano, Francesco Dovier, Agostino Constraint and Logic Programming Lab University of Udine Udine33100 Italy Embedding System Unit of Fondazione Bruno Kessler Trento38123 Italy Department of Mathematical Physical and Computer Sciences University of Parma Parma43124 Italy Department of Mathematics Computer Science and Physics University of Udine Udine33100 Italy
Over the last few years, the fields of Artificial Intelligence, Robotics and IoT have gained a lot of attention. This increasing interest has brought, among other things, to the development of autonomous multi-agent s... 详细信息
来源: 评论
Design and Implementation of a QoL Improvement system for Visually Impaired Patients  5
Design and Implementation of a QoL Improvement System for Vi...
收藏 引用
5th International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2023
作者: Abi Zeid Daou, Roy Beaino, Jad Hawat, Johnny Ibrahim, Ramy Hayek, Ali Boercsoek, Josef Olmedo, Jose Javier Serrano Université la Sagesse Faculty of Engineering Mechatronics Department Beirut Lebanon MART Learning Education and Research Center Chananir Lebanon University of Applied Science Hamm-Lippstadt Department Lippstadt 2 Hardware Engineering Hamm59063 Germany University of Kassel Faculty of Electrical Engineering/Computer Science Department of Computer Architecture and System Programming Germany Centro de Tecnología Biomédica Universidad Politécnica de Madrid Lab of Bioinstrumentation and Nanomedicine Spain
Visually impaired people encounter several challenges in their mobility and navigation. Their daily activities are obstructed due to their inability to adapt or recognize accurately their surroundings, especially outs... 详细信息
来源: 评论
Design and Implementation of a Smart Human Posture Monitoring Device Using a Wearable Vest  7
Design and Implementation of a Smart Human Posture Monitorin...
收藏 引用
7th International Conference on Advances in Biomedical Engineering, ICABME 2023
作者: Daou, Roy Abi Zeid Geha, Elio Aoun, Youssef Hayek, Ali Boercsoek, Josef Olmedo, Jose Javier Serrano Université la Sagesse Biomedical Engineering Department Furn El Chebbak Beirut Lebanon Mart Learning Education and Research Center Chananir Lebanon Lebanese German University Faculty of Public Health Biomedical Technologies Department Jounieh Lebanon University of Applied Science Hamm-Lippstadt Department Lippstadt 2 Hardware Engineering Marker Allee 76-78 Hamm59063 Germany University of Kassel Faculty of Electrical Engineering /Computer Science Department of Computer Architecture and System Programming Germany Universidad Politecnica de Madrid Lab of Bioinstrumentation and Nanomedicine Centro de Tecnologia Biomedica Spain
Chronic back pain can present a serious health concern, with symptoms that can significantly affect an individual's well-being, mobility, and overall quality of life over an extended period. While chronic back pai... 详细信息
来源: 评论
Design and Implementation of a QoL Improvement system for Visually Impaired Patients
Design and Implementation of a QoL Improvement System for Vi...
收藏 引用
International Conference on Advances in Computational Tools for Engineering Applications, ACTEA
作者: Roy Abi Zeid Daou Jad Beaino Johnny Hawat Ramy Ibrahim Ali Hayek Josef Boercsoek Jose Javier Serrano Olmedo Mechatronics department Faculty of Engineering Université La Sagesse Beirut Lebanon MART Learning Education and Research Center Chananir Lebanon Department Lippstadt 2 Hardware Engineering University of Applied Science Hamm-Lippstadt Hamm Department of Computer Architecture and System Programming Faculty of Electrical Engineering/Computer Science University of Kassel Germany Lab of Bioinstrumentation and Nanomedicine Centro de Tecnología Biomédica Universidad Politécnica de Madrid Spain
Visually impaired people encounter several challenges in their mobility and navigation. Their daily activities are obstructed due to their inability to adapt or recognize accurately their surroundings, especially outs...
来源: 评论
SmmPack: Obfuscation for SMM Modules with TPM Sealed Key
arXiv
收藏 引用
arXiv 2024年
作者: Matsuo, Kazuki Tanda, Satoshi Suzaki, Kuniyasu Kawakoya, Yuhei Mori, Tatsuya Waseda University 1-104 Totsukamachi Shinjuku-ku Tokyo169-8050 Japan Institute of Information Security 2-14-1 Tsuruyacho Kanagawa-ku Yokohama-shi Kanagawa221-0835 Japan KK 4-14-1 Sotokanda Chiyoda-ku Tokyo101-0021 Japan Satoshi’s System Programming Lab NICT 4-2-1 Nuki-kitamachi Kokubunji-shi Tokyo184-0015 Japan RIKEN API 15th Floor Nihonbashi 1-4-1 Nihonbashi Chuo-ku Tokyo103-0027 Japan
system Management Mode (SMM) is the highest-privileged operating mode of x86 and x86-64 processors. Through SMM exploitation, attackers can tamper with the Unified Extensible Firmware Interface (UEFI) firmware, disabl... 详细信息
来源: 评论