咨询与建议

限定检索结果

文献类型

  • 153 篇 会议
  • 46 篇 期刊文献
  • 10 册 图书

馆藏范围

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

日期分布

学科分类号

  • 119 篇 工学
    • 88 篇 计算机科学与技术...
    • 75 篇 软件工程
    • 18 篇 信息与通信工程
    • 12 篇 控制科学与工程
    • 9 篇 生物工程
    • 8 篇 土木工程
    • 7 篇 电气工程
    • 7 篇 船舶与海洋工程
    • 6 篇 机械工程
    • 6 篇 电子科学与技术(可...
    • 6 篇 网络空间安全
    • 5 篇 生物医学工程(可授...
    • 4 篇 建筑学
    • 3 篇 仪器科学与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 3 篇 交通运输工程
    • 3 篇 安全科学与工程
  • 68 篇 理学
    • 36 篇 数学
    • 11 篇 物理学
    • 11 篇 生物学
    • 9 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 7 篇 海洋科学
    • 3 篇 化学
  • 29 篇 管理学
    • 22 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 7 篇 图书情报与档案管...
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 6 篇 教育学
    • 6 篇 教育学
  • 4 篇 农学
  • 3 篇 医学
  • 1 篇 军事学

主题

  • 11 篇 artificial intel...
  • 6 篇 monitoring
  • 6 篇 semantics
  • 6 篇 information stor...
  • 5 篇 computer science
  • 5 篇 software enginee...
  • 5 篇 software
  • 5 篇 forecasting
  • 5 篇 data models
  • 4 篇 information syst...
  • 4 篇 application soft...
  • 4 篇 supercomputers
  • 4 篇 computational mo...
  • 4 篇 predictive model...
  • 4 篇 dipper throated ...
  • 4 篇 students
  • 4 篇 standards
  • 3 篇 internet of thin...
  • 3 篇 intrusion detect...
  • 3 篇 operating system...

机构

  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 department of co...
  • 4 篇 department of pr...
  • 4 篇 computer enginee...
  • 4 篇 tashkent univers...
  • 3 篇 department of pr...
  • 3 篇 research group p...
  • 3 篇 neuromorphica lt...

作者

  • 11 篇 gancheva veska
  • 8 篇 mostafa abotaleb
  • 8 篇 abdelhameed ibra...
  • 7 篇 veska gancheva
  • 7 篇 philippsen micha...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 doaa sami khafag...
  • 5 篇 borovska plamenk...
  • 4 篇 koparanov kiril ...
  • 4 篇 minkovska daniel...
  • 4 篇 minkovska daniel...
  • 4 篇 henning christia...
  • 4 篇 ujkani berat
  • 3 篇 troels andreasen
  • 3 篇 michael philipps...
  • 3 篇 kiril andreev ko...
  • 3 篇 el-sayed m. el-k...
  • 3 篇 nataliia khatsko
  • 3 篇 trendafilov iani...

语言

  • 205 篇 英文
  • 4 篇 其他
检索条件"机构=Department Computer Systems and Programming"
209 条 记 录,以下是41-50 订阅
排序:
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+  54
WIP: An Engaging Undergraduate Intro to Model Checking in So...
收藏 引用
54th IEEE Frontiers in Education Conference, FIE 2024
作者: Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany
Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into com... 详细信息
来源: 评论
Direct and Inverse Optimization Problems in a Gas Deposit Model  15
Direct and Inverse Optimization Problems in a Gas Deposit Mo...
收藏 引用
15th International Conference Management of Large-Scale System Development, MLSD 2022
作者: Skiba, Alexander Federal Research Center 'Computer Science and Control' of the Russian Academy of Sciences Design Methods for Developing Systems Department of Mathematical Methods of Regional Programming Moscow Russia
A continuous dynamic model for the development of a gas field is studied. Two mathematical problems are posed, solved and analyzed. In the direct problem, we are looking for the maximum accumulated profit on a set of ... 详细信息
来源: 评论
Hassenstein-Reichardt Detector Using Controllable Single Pulse Time-Delay Circuit for Neuromorphic Hardware  11
Hassenstein-Reichardt Detector Using Controllable Single Pul...
收藏 引用
11th International Scientific Conference on computer Science, COMSCI 2023
作者: Trendafilov, Ianislav Gancheva, Veska Neuromorphica Ltd. Sofia1335 Bulgaria Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 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... 详细信息
来源: 评论
Organic and Pervasive Computing – ARCS 2004  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
作者: Christian Müller-Schloer Theo Ungerer Bernhard Bauer
Where is system architecture heading? The special interest group on computer and systems Architecture (Fachausschuss Rechner- und Systemarchitektur) of the German computer and information technology associations GI an... 详细信息
来源: 评论
Information theoretical approach to minimization of AND/EXOR expressions of switching functions
Information theoretical approach to minimization of AND/EXOR...
收藏 引用
4th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, ITELSIKS 1999
作者: Shmerko, V. Popel, D. Stanković, R.S. Cheushev, V. Yanushkevich, S. Department of Computer Aided Design Systems Techinal University of Szczecin Poland Department of Computer Sicience State University of Informatics and Radioelectronics Minks Belarus Department of Computer Science Faculty of Electronic Engineering University of Nis Serbia Department of Programming Technologies State University Minsk Belarus
In modern circuit design, the Shannon decomposition of switching functions is widely used. On the other hand, in information theory of telecommunication, the Shannon entropy used as a measure to represent the informat... 详细信息
来源: 评论
Neuromorphic Assisted Sensor Grids  32
Neuromorphic Assisted Sensor Grids
收藏 引用
32nd International Scientific Conference Electronics, ET 2023
作者: Trendafilov, Ianislav Gancheva, Veska Neuromorphica Ltd. Sofia1335 Bulgaria Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
A particular problem in using artificial intelligence techniques in the sensor grid is the high power consumption. Remote sensors are usually limited by the amount of power available, thus our general goal is to minim... 详细信息
来源: 评论
computerized concrete mix proportioning for large projects
Computerized concrete mix proportioning for large projects
收藏 引用
Impact of computers on the Practice of Structural Engineering in Concrete Symposium at the 1970 ACI Fall Convention
作者: Malhotra, V.M. Hibbert, P.D. Systems and Programming Division Computer Science Centre Department of Energy Mines and Resources OttawaON Canada Construction Materials Section Mines Branch Department of Energy Mines and Resources OttawaON Canada
This paper describes the use of a digital computer in the design of concrete mixes for large construction projects. The salient features of a program called CONMIX are outlined, the nature of input data and output arc... 详细信息
来源: 评论
Practical weak-atomicity semantics for Java STM  08
Practical weak-atomicity semantics for Java STM
收藏 引用
20th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA'08
作者: Menon, Vijay Adl-Tabatabait, Ali-Reza Balensiefer, Steven Hudson, Richard L. Shpeisman, Tatiana Saha, Bratin Welc, Adam Programming Systems Lab Intel Corporation Santa Clara CA 95054 Germany Department of Computer Science and Engineering University of Washington Seattle WA 98195 United States
As memory transactions have been proposed as a language-level replacement for locks, there is growing need for well-defined semantics. In contrast to database transactions, transaction memory (TM) semantics are compli... 详细信息
来源: 评论
Demo: Approximative event processing on sensor data streams  9
Demo: Approximative event processing on sensor data streams
收藏 引用
9th ACM International Conference on Distributed Event-Based systems, DEBS 2015
作者: Löffler, Christoffer Mutschler, Christopher Philippsen, Michael Fraunhofer Institute for Integrated Circuits IIS Locating and Communication Department Sensor Fusion and Event Processing Group Erlangen Germany Department of Computer Science Programming Systems Group Erlangen Germany
Event-Based systems (EBS) can efficiently analyze large streams of sensor data in near-realtime. But they struggle with noise or incompleteness that is seen in the unprecedented amount of data generated by the Interne... 详细信息
来源: 评论
METHOD OF DETECTION OF INTRUSIONS BASED ON STACKING META-ALGORITHM  5
METHOD OF DETECTION OF INTRUSIONS BASED ON STACKING META-ALG...
收藏 引用
5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024
作者: Gavrylenko, Svitlana Zozulia, Vladislav Khatsko, Nataliia Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine Department Information Systems and Technologies National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine
An analysis of modern computer network intrusion detection systems was carried out. The application of machine and deep learning methods for classification problems has been investigated. The UNSW-NB15 dataset, develo... 详细信息
来源: 评论