咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,372 篇 电子文献
  • 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 篇 艺术学

主题

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

机构

  • 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
  • 20 篇 madhumangal pal
  • 19 篇 gancheva veska
  • 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,339 篇 英文
  • 23 篇 其他
  • 8 篇 中文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1372 条 记 录,以下是181-190 订阅
排序:
A trustworthiness-based access control model in grid system
A trustworthiness-based access control model in grid system
收藏 引用
2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009
作者: Jin, Taige Qin, Xiaolin Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications CAS Chengdu 610041 China
In existent researches of trustworthiness-based grid access control systems, an important question has not been resolved well: what types of historical behaviors should be chosen to measure trustworthiness. An access ... 详细信息
来源: 评论
Generalised folds for nested datatypes
收藏 引用
Formal Aspects of Computing 1999年 第2期11卷 200-222页
作者: Bird, Richard Paterson, Ross Programming Research Group Oxford University Oxford United Kingdom Department of Computer Science City University London United Kingdom Programming Research Group Oxford University Wolfson Building Parks Road Oxford OX1 3QD United Kingdom
Nested datatypes generalise regular datatypes in much the same way that context-free languages generalise regular ones. Although the categorical semantics of nested types turns out to be similar to the regular case, t... 详细信息
来源: 评论
A parallel framework for explicit FEM  7th
收藏 引用
7th International Conference on High Performance Computing, HiPC 2000
作者: Bhandarkar, Milind A. Kalé, Laxmikant V. Parallel Programming Laboratory Department of Computer Science University of Illinois Urbana-Champaign United States
As a part of an ongoing effort to develop a "standard library" for scientific and engineering parallel applications, we have developed a preliminary finite element framework. This framework allows an applica... 详细信息
来源: 评论
Optimization of neural network calculations using integer arithmetic  5
Optimization of neural network calculations using integer ar...
收藏 引用
5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024
作者: Zakovorotnyi, Oleksandr Khulap, Andrii Department of Computer Engineering Programming National Technical University Kharkiv Polytechnic Institute" Kharkiv Ukraine
Most of the sensor devices in the Internet of Things systems are based on energy-efficient microcontrollers, the computing resources of which are limited, as well as the amount of available memory. Increasing the secu... 详细信息
来源: 评论
New neural networks for determining proximity and distance functions when comparing binary objects  3
New neural networks for determining proximity and distance f...
收藏 引用
3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022
作者: Dmitrienko, Valerii Zakovorotniy, Aleksandr Leonov, Sergey National Technical University 'Kharkiv Polytechnic Institute' Computer Engineering and Programming Department Kharkiv Ukraine
Artificial neural networks are effectively used to solve various problems (recognition, clustering, classification, etc.) in conditions where information about objects is given by vectors with binary components. The H... 详细信息
来源: 评论
Functional Model of an Electrocardiological Study  9
Functional Model of an Electrocardiological Study
收藏 引用
9th IEEE International Conference on Problems of Infocommunications Science and Technology, PIC S and T 2022
作者: Filatova, Anna Povoroznyuk, Anatoliy Fahs, Mohamad National Technical University Kharkiv Polytechnic Institute Department of Computer Engineering and Programming Kharkiv Ukraine
The purpose of this research is to develop a functional model of the electrocardiological study using the methodology of functional modeling IDEF0. The functional model of the electrocardiological study are developed ... 详细信息
来源: 评论
Towards LLM-Based System Migration in Language-Driven Engineering  8th
Towards LLM-Based System Migration in Language-Driven Engin...
收藏 引用
8th International Conference on Engineering of computer-Based Systems, ECBS 2023
作者: Busch, Daniel Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany
In this paper we show how our approach of extending Language Driven Engineering (LDE) with natural language-based code generation supports system migration: The characteristic decomposition of LDE into tasks that are ... 详细信息
来源: 评论
Fast Two-Factor Authentication Method in Systems With a Centralized User's Database  3
Fast Two-Factor Authentication Method in Systems With a Cent...
收藏 引用
3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022
作者: Rezanov, Bohdan Kuchuk, Heorhii National Technical University 'Kharkiv Polytechnic Institute' Department of Computer Engineering and Programming Kharkiv Ukraine
work proposes a two-factor authentication method by integrating the second factor into the authentication service in system with a centralized user's database. This approach made it possible to achieve the univers... 详细信息
来源: 评论
A refinement calculus for specifications in Hennessy-Milner logic with recursion
收藏 引用
Formal Aspects of Computing 1989年 第1期1卷 242-272页
作者: Holmström, Sören Programming Methodology Group Department of Computer Science Chalmers University of Technology Göteborg S-412 96 Sweden
This paper is about specification and verification of processes, modelled as CCS-agents. We show, by means of examples that Hennessy-Milner Logic (HML) with recursion is a suitable language for expressing implicit or ... 详细信息
来源: 评论
Development of a Navigation System on the University Territory Using Augmented Reality Technology  9
Development of a Navigation System on the University Territo...
收藏 引用
9th IEEE International Conference on Problems of Infocommunications Science and Technology, PIC S and T 2022
作者: Chernykh, Olena Zakovorotniy, Oleksandr Hrianyk, Heorhii Kosmin, Leonid Bondarenko, Yelizaveta National Technical University Kharkiv Polytechnic Institute Computer Engineering and Programming Department 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... 详细信息
来源: 评论