咨询与建议

限定检索结果

文献类型

  • 23 篇 会议
  • 15 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 24 篇 工学
    • 14 篇 计算机科学与技术...
    • 6 篇 软件工程
    • 5 篇 信息与通信工程
    • 4 篇 电气工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 电子科学与技术(可...
    • 3 篇 控制科学与工程
    • 3 篇 土木工程
    • 2 篇 机械工程
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 生物医学工程(可授...
    • 2 篇 生物工程
    • 1 篇 力学(可授工学、理...
  • 14 篇 理学
    • 4 篇 数学
    • 3 篇 生物学
    • 2 篇 物理学
    • 2 篇 大气科学
    • 1 篇 化学
    • 1 篇 海洋科学
    • 1 篇 地质学
    • 1 篇 统计学(可授理学、...
  • 7 篇 管理学
    • 6 篇 管理科学与工程(可...
    • 5 篇 工商管理
    • 2 篇 图书情报与档案管...
  • 3 篇 医学
    • 3 篇 临床医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 公共卫生与预防医...
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学

主题

  • 2 篇 computer science
  • 2 篇 programming prof...
  • 2 篇 protection
  • 1 篇 covid-19
  • 1 篇 tools
  • 1 篇 aggregates
  • 1 篇 perovskite solar...
  • 1 篇 photovoltaics
  • 1 篇 perovskite
  • 1 篇 solar cell
  • 1 篇 support vector m...
  • 1 篇 microarchitectur...
  • 1 篇 sustainable deve...
  • 1 篇 information reso...
  • 1 篇 seals
  • 1 篇 semiconductor la...
  • 1 篇 safety
  • 1 篇 linear code
  • 1 篇 computer archite...
  • 1 篇 error correction

机构

  • 4 篇 king abdullah un...
  • 2 篇 department of ap...
  • 2 篇 moscow institute...
  • 2 篇 programming mode...
  • 2 篇 computer technol...
  • 2 篇 dep. of computin...
  • 2 篇 mart learning ed...
  • 2 篇 national technic...
  • 2 篇 department of in...
  • 2 篇 static compilati...
  • 2 篇 department of in...
  • 2 篇 ibm canada cas r...
  • 1 篇 institute for sy...
  • 1 篇 celera genomics ...
  • 1 篇 danish diabetes ...
  • 1 篇 programming syst...
  • 1 篇 section of epige...
  • 1 篇 kennedy space ce...
  • 1 篇 lebs c.n.r.s. gi...
  • 1 篇 semenov federal ...

作者

  • 4 篇 dmitry kovalev
  • 3 篇 alexander gasnik...
  • 3 篇 peter richtárik
  • 2 篇 sarkar biswajit
  • 2 篇 jana chiranjibe
  • 2 篇 amaral josé nels...
  • 2 篇 tiotto ettore
  • 2 篇 alvanos michail
  • 2 篇 mozhaiev mykhail...
  • 2 篇 farreras montse
  • 2 篇 martorell xavier
  • 2 篇 pal madhumangal
  • 2 篇 roy abi zeid dao...
  • 2 篇 kuchuk heorhii
  • 2 篇 ali hayek
  • 1 篇 j. garnier
  • 1 篇 yang shilin
  • 1 篇 j. h. lees
  • 1 篇 b. bhattacharyya
  • 1 篇 gouri jas

语言

  • 38 篇 英文
  • 1 篇 日文
检索条件"机构=Center for Programming Science and Technology"
39 条 记 录,以下是1-10 订阅
A blockchain-oriented covert communication technology with controlled security level based on addressing confusion ciphertext
收藏 引用
Frontiers of Computer science 2025年 第2期19卷 133-135页
作者: Lejun ZHANG Bo ZHANG Ran GUO Zhujun WANG Guopeng WANG Jing QIU Shen SU Yuan LIU Guangxia XU Zhihong TIAN Sergey GATAULLIN Cyberspace Institute Advanced Technology Guangzhou UniversityGuangzhou 510006China Research and Development Center for E-Learning Ministry of EducationBeijing 100039China College of Information Engineering Yangzhou UniversityYangzhou 225009China School Math and Computer Science Quanzhou Normal UniversityQuanzhou 362000China Pazhou Lab Guangzhou 510330China School of Physics and Materials Science Guangzhou UniversityGuangzhou 510006China Central Economic and Mathematics Institute Russian Academy of SciencesMoscow 117418Russia Industrial Programming Department MIREA-Russian Technological UniversityMoscow 119454Russia
1 Introduction Traditional covert communication[1]usually relies on centralized channels,which are efficient in transmission but susceptible to eavesdropping and attacks,leading to information ***,distributed methods ... 详细信息
来源: 评论
INTEGRATING THE DATA ENCRYPTION STANDARD INTO COMPUTER-NETWORKS
收藏 引用
IEEE TRANSACTIONS ON COMMUNICATIONS 1981年 第6期29卷 762-772页
作者: SMID, ME Center for Programming Science and Technology Institute for Computer Sciences and Technology National Bureau of Standards Washington D.C. DC USA
The NBS Data Encryption Standard may be integrated into computer networks to protect personal (nonshared) files, to communicate securely both on- and off-line with local and remote users, to protect against key substi... 详细信息
来源: 评论
A technical overview of the information resource dictionary system
收藏 引用
Computers and Standards 1985年 第3期4卷 153-208页
作者: Goldfine, Alan Konig, Patricia U.S. Department of Commerce National Bureau of Standards Center for Programming Science and Technology Gaithersburg MD 20899 United States
This publication provides a technical overview of the computer software specifications for an Information Resource Dictionary System (IRDS). It summarizes the data architecture and the software functions and processes... 详细信息
来源: 评论
Software transactional memory
收藏 引用
Queue 2008年 第5期6卷 46-58页
作者: Cascaval, Calin Blundell, Colin Michael, Maged Cain, Harold W. Wu, Peng Chiras, Stefanie Chatterjee, Siddhartha Programming models and tools for scalable systems IBM's T.J. Watson Research Center University of Pennsylvania IBM's Systems and Technology Group Austin Research Laboratory Department of Computer Science University of Texas Austin United States
No abstract available
来源: 评论
Features of the distribution of computing resources in cloud systems  3
Features of the distribution of computing resources in cloud...
收藏 引用
3rd IEEE KhPI Week on Advanced technology, KhPI Week 2022
作者: Petrovska, Inna Kuchuk, Heorhii Mozhaiev, Mykhailo National Technical University 'Kharkiv Polytechnic Institute' Department of Computer Engineering and Programming Kharkiv Ukraine Computer Technology and Telecommunications Researches Sector National Scientific Center «hon. Prof Bokarius Forensic Science Institute» Kharkiv Ukraine
The report considers the peculiarities of the distribution of computing resources in cloud systems. The most used classification of existing technologies of cloud services is considered. The advantages and disadvantag... 详细信息
来源: 评论
Cyber-Typhon: An Online Multi-task Anomaly Detection Framework  15th
Cyber-Typhon: An Online Multi-task Anomaly Detection Framewo...
收藏 引用
15th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2019
作者: Demertzis, Konstantinos Iliadis, Lazaros Kikiras, Panayiotis Tziritas, Nikos School of Engineering Department of Civil Engineering Faculty of Mathematics Programming and General Courses Democritus University of Thrace Kimmeria Xanthi Greece School of Science Department of Computer Science University of Thessaly Lamia Greece Research Center for Cloud Computing Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences Shenzhen China
According to the Greek mythology, Typhon was a gigantic monster with one hundred dragon heads, bigger than all mountains. His open hands were extending from East to West, his head could reach the sky and flames were c... 详细信息
来源: 评论
Advanced IOT Traffic Light Control System  5
Advanced IOT Traffic Light Control System
收藏 引用
5th International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2023
作者: Hamad, Martin Abou El Hajj, Antonio Daou, Roy Abi Zeid Hayek, Ali Haidar, Gaby Abou Lebanese German University Faculty of Public Health Biomedical Technologies Department Lebanon MART Learning Education and Research Center Lebanon University of Kassel Department of Computer Architecture and System Programming Kassel Germany American University of Science and Technology Engineering Faculty Zahle Lebanon
For several years, traffic congestion has been a major problem in big cities where the number of cars and different means of transportation has been increasing significantly. The problem of congestion is becoming more... 详细信息
来源: 评论
Technological parameters of thin-film pulsed laser scribing for perovskite photovoltaics
收藏 引用
Clean Energy 2024年 第3期8卷 127-135页
作者: Rustam Ishteev Pavel Gostishchev Mariia Tiukhova Anton Sorokin Arthur Ishteev Vladimir Kondratenko Laboratory of Precision Machining of Materials Department of NanoelectronicsInstitute for Advanced Technologies and Industrial ProgrammingRTU MIREAMoscowRussia Research and Practical Clinical Center for Diagnostics and Telemedicine Technologies of the Moscow Health Care Department MoscowRussia Laboratory of Advanced Solar Energy(LASE) National University of Science and Technology MISIS4 Leninsky St.MoscowRussia Semenov Federal Research Center of Chemical Physics Russian Academy of Sciences(RAS)4 Kosygina str.MoscowRussia
Over the past decade,the power conversion efficiency of halide perovskite solar cells has shown a rapid increase to 26.1%.The sig­nificant efficiency growth and the relative simplification of the technology for o... 详细信息
来源: 评论
Application of Artificial Intelligence technology to Prevent Sudden Cardiac Death
Application of Artificial Intelligence Technology to Prevent...
收藏 引用
IEEE Annual International Computer Software and Applications Conference (COMPSAC)
作者: Helena Godunova Sergei Prokhorov Rehabilitation Center “Barvikha” Moscow Russia Ivannikov Institute for System Programming RAS Institute for History of Science and Technology RAS Moscow Russia
The causes of sudden cardiac death (SCD) have not yet been completely studied. At the same time, their share of mortality from heart disease is constantly growing. The use of artificial intelligence (AI) technology fo... 详细信息
来源: 评论
A proposal of an example and experiments repository to foster industrial adoption of formal methods  8th
A proposal of an example and experiments repository to foste...
收藏 引用
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
作者: Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom
Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the pot... 详细信息
来源: 评论