咨询与建议

限定检索结果

文献类型

  • 903 篇 会议
  • 446 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 1,351 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 809 篇 工学
    • 601 篇 计算机科学与技术...
    • 434 篇 软件工程
    • 127 篇 控制科学与工程
    • 121 篇 信息与通信工程
    • 59 篇 电气工程
    • 49 篇 电子科学与技术(可...
    • 47 篇 机械工程
    • 47 篇 安全科学与工程
    • 38 篇 生物医学工程(可授...
    • 34 篇 建筑学
    • 34 篇 土木工程
    • 34 篇 生物工程
    • 28 篇 仪器科学与技术
    • 25 篇 化学工程与技术
    • 24 篇 材料科学与工程(可...
    • 18 篇 交通运输工程
  • 487 篇 理学
    • 334 篇 数学
    • 81 篇 统计学(可授理学、...
    • 64 篇 系统科学
    • 63 篇 物理学
    • 45 篇 生物学
    • 25 篇 化学
  • 207 篇 管理学
    • 148 篇 管理科学与工程(可...
    • 85 篇 工商管理
    • 61 篇 图书情报与档案管...
  • 40 篇 经济学
    • 38 篇 应用经济学
  • 33 篇 医学
    • 26 篇 基础医学(可授医学...
    • 26 篇 临床医学
  • 27 篇 法学
    • 25 篇 社会学
  • 26 篇 教育学
    • 21 篇 教育学
  • 15 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 33 篇 safety
  • 31 篇 computer science
  • 28 篇 computer archite...
  • 27 篇 software
  • 23 篇 monitoring
  • 23 篇 hardware
  • 22 篇 artificial intel...
  • 21 篇 computational mo...
  • 20 篇 application soft...
  • 18 篇 semantics
  • 17 篇 data models
  • 15 篇 reliability
  • 15 篇 optimization
  • 14 篇 programming prof...
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 13 篇 functional progr...
  • 13 篇 standards
  • 13 篇 training
  • 12 篇 support vector m...

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 17 篇 computer archite...
  • 15 篇 department of co...
  • 15 篇 department of co...
  • 13 篇 department of pr...
  • 13 篇 department of co...
  • 11 篇 department of ap...
  • 10 篇 technical univer...
  • 9 篇 department of co...
  • 9 篇 icas institute f...
  • 9 篇 department of ap...
  • 8 篇 institute for co...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 7 篇 chair for comput...

作者

  • 43 篇 josef börcsök
  • 34 篇 pal madhumangal
  • 30 篇 ali hayek
  • 22 篇 börcsök josef
  • 19 篇 gancheva veska
  • 19 篇 madhumangal pal
  • 17 篇 veska gancheva
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 15 篇 fritzson peter
  • 14 篇 hayek ali
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 gurkan tuna
  • 12 篇 mostafa abotaleb
  • 11 篇 mariana arghir
  • 10 篇 tuna gurkan
  • 10 篇 xue jingling
  • 10 篇 roy abi zeid dao...
  • 9 篇 roy sankar kumar

语言

  • 1,318 篇 英文
  • 23 篇 其他
  • 8 篇 中文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1351 条 记 录,以下是181-190 订阅
排序:
Stronger Validity Criteria for Encoding Synchrony
arXiv
收藏 引用
arXiv 2025年
作者: van Glabbeek, Rob Goltz, Ursula Lippert, Christopher Mennicke, Stephan Data61 CSIRO Sydney Australia Computer Sc. and Engineering University of New South Wales Sydney Australia Institute for Programming and Reactive Systems TU Braunschweig Germany
We analyse two translations from the synchronous into the asynchronous π-calculus, both without choice, that are often quoted as standard examples of valid encodings, showing that the asynchronous π-calculus is just... 详细信息
来源: 评论
Economic analysis of one type of criminal activity  14
Economic analysis of one type of criminal activity
收藏 引用
14th International Conference Management of Large-Scale System Development, MLSD 2021
作者: Troyanovskiy, V.M. Federal Research Center 'Computer Science and Control' Russian Academy of Sciences Department of Mathematical Methods of Regional Programming Moscow Russia
This paper provides a formal analysis of the regularities of functioning and development of economic crimes. It was expedient to find out the conditions in which theft would not be worthwhile, i.e., supplement legal r... 详细信息
来源: 评论
Hassenstein-Reichardt Detector Using Controllable Single Pulse Time-Delay Circuit for Neuromorphic Hardware
Hassenstein-Reichardt Detector Using Controllable Single Pul...
收藏 引用
computer Science (COMSCI), International Scientific Conference on
作者: Ianislav Trendafilov Veska Gancheva Neuromorphica Ltd. Sofia Bulgaria Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd. Sofia Bulgaria
Inspired by the visual system of the fruit fly, we had created a generic building block for neuromorphic hardware that is vital for third generation neural networks. This enables time delay to be parametrized in a che...
来源: 评论
Economic and Mathematical Model of a Group of Gas Fields  14
Economic and Mathematical Model of a Group of Gas Fields
收藏 引用
14th International Conference Management of Large-Scale System Development, MLSD 2021
作者: Solomatin, A.N. Federal Research Center 'Computer Science and Control Russian Academy of Sciences Department of Mathematical Methods of Regional Programming Moscow Russia
Economic and mathematical model of a group of gas fields is considered allowing forming the group development strategies for the long-term perspective. An algorithm for calculating the dynamics of gas production by fi... 详细信息
来源: 评论
Training Policy for Privacy-Preserving Logistic Regression in Federated Learning Environments
Training Policy for Privacy-Preserving Logistic Regression i...
收藏 引用
Federated Learning Technologies and Applications (FLTA), International Conference on
作者: Jorge M. Cortés-Mendoza Andrei Tchernykh Horacio González-Vélez Cloud Competency Centre National College of Ireland Dublin Ireland Computer Science Department CICESE Research Center Ensenada Mexico Institute for System Programming RAS Moscow Russia
Logistic Regression (LR) is a widely used statistical model for classification problems. However, its training and evaluation in a shared environment increase the possibility of information leaking. A federated LR red... 详细信息
来源: 评论
Evaluating Keyphrase Extraction Methods for Clustering Influenza-Related Scientific Papers  8
Evaluating Keyphrase Extraction Methods for Clustering Influ...
收藏 引用
8th International Iranian Conference on Signal Processing and Intelligent Systems, ICSPIS 2022
作者: Forghani, Majid Firstkov, Artyom Alyannezhadi, Mohammad. M. Forghani, Kazem Krasovskii Institute of Mathematics & Mechanics Mathematical Programming Lab. Yekaterinburg Russia University of Science and Technology of Mazandaran Department of Science Behshahr Iran Iran University of Science and Technology Computer Science Department Tehran Iran
The number of annual scientific publications is growing year by year, which has led to the accumulation and formation of large databases. This increases the complexity of the search for relevant articles. Modern searc... 详细信息
来源: 评论
Sports programming as a Tool for Regional Development of the Digital Industry and Higher Education
Sports Programming as a Tool for Regional Development of the...
收藏 引用
Technology Enhanced Learning in Higher Education (TELE), International Conference on
作者: Alexander Galkin Artem Miroshnikov Daniil Sapronov Elena Skarzhinskaya Faculty of Automation and Computer Science Lipetsk State Technical University Lipetsk Russia Department of Applied Mathematics Lipetsk State Technical University Lipetsk Russia Lipetsk branch of the Russian Federation of Sports Programming Lipetsk Russia Department of Cybersport Moscow Financial and Industrial University “Synergy” Moscow Russia
Abstract-The article presents the history of the development of sports programming as a sport in Russia. The main stages of the formation of the legislative basis for this sport are given. The rationale and descriptio... 详细信息
来源: 评论
Migrating Birds Optimization-Based Feature Selection for Text Classification
arXiv
收藏 引用
arXiv 2024年
作者: Kaya, Cem Kilimci, Zeynep Hilal Uysal, Mitat Kaya, Murat Dogus University Turkey Department of Information Systems Engineering Kocaeli University Turkey Department of Software Engineering Dogus University Turkey Department of Computer Programming Acibadem University Turkey
This research introduces a novel approach, MBO-NB, that leverages Migrating Birds Optimization (MBO) coupled with Naive Bayes as an internal classifier to address feature selection challenges in text classification ha... 详细信息
来源: 评论
Sensing Metric-Based Hybrid Underlay/Overlay Transmission Framework for CR-IoT Networks for Smart City Applications  7
Sensing Metric-Based Hybrid Underlay/Overlay Transmission Fr...
收藏 引用
7th IET Smart Cities Symposium, SCS 2023
作者: Bala, Indu Mijwil, Maad M. Abotaleb, Mostafa El-Kenawy, El-Sayed M. Ibrahim, Abdelhameed School of Electrical and Electronics Engineering Lovely Professional University Punjab India Computer Techniques Engineering Department Baghdad College of Economic Sciences University Baghdad Iraq Department of System Programming South Ural State University Chelyabinsk Russia Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Egypt Computer Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura Egypt
With the increasing number of IoT devices, there is a growing need for bandwidth to support their communication. Unfortunately, there is a shortage of available bandwidth due to preallocated bands for various services... 详细信息
来源: 评论
Development of a Navigation System on the University Territory Using Augmented Reality Technology
Development of a Navigation System on the University Territo...
收藏 引用
International Scientific-Practical Conference Problems of Infocommunications Science and Technology
作者: Olena Chernykh Oleksandr Zakovorotniy Heorhii Hrianyk Leonid Kosmin Yelizaveta Bondarenko Computer Engineering and Programming Department Kharkiv Polytechnic Institute National Technical University Kharkiv Ukraine
AR navigation is one of the interactive ways to use augmented reality. By displaying virtual guides in physical space using a smartphone, users can navigate from point to point more naturally than by comparing the map...
来源: 评论