咨询与建议

限定检索结果

文献类型

  • 281 篇 会议
  • 126 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 276 篇 工学
    • 216 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 144 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 13 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 8 篇 法学
    • 8 篇 社会学
  • 6 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 22 篇 computer science
  • 15 篇 artificial intel...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 software enginee...
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 5 篇 specifications
  • 5 篇 security
  • 5 篇 programming envi...
  • 5 篇 unified modeling...

机构

  • 10 篇 department of sy...
  • 7 篇 department of ap...
  • 6 篇 programming meth...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 mart learning ed...
  • 4 篇 federal research...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 german research ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 rwth aachen univ...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...
  • 3 篇 programming envi...
  • 3 篇 friedrich-alexan...

作者

  • 10 篇 fritzson peter
  • 8 篇 hayek ali
  • 7 篇 mostafa abotaleb
  • 7 篇 philippsen micha...
  • 6 篇 boercsoek josef
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 doaa sami khafag...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 daou roy abi zei...
  • 4 篇 van cutsem tom
  • 4 篇 pal madhumangal

语言

  • 399 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
407 条 记 录,以下是1-10 订阅
排序:
Suspicious transaction alert and blocking system for cryptocurrency exchanges in metaverse’s social media universes: RG-guard
收藏 引用
Neural Computing and Applications 2024年 第30期36卷 18825-18840页
作者: Gürfidan, Remzi Computer Programming Department Yalvaç Technical Sciences Vocational School Isparta University of Applied Science Isparta Turkey
In this study, we propose an effective system called RG-Guard that detects potential risks and threats in the use of cryptocurrencies in the metaverse ecosystem. In order for the RG-Guard engine to detect suspicious t... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages  1st
ChatGPT in the Loop: A Natural Language Extension for Dom...
收藏 引用
1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023
作者: Busch, Daniel Nolte, Gerrit Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany
This paper presents an approach to no-code development based on the interplay of formally defined (graphical) Domain-Specific Languages and informal, intuitive Natural Language which is enriched with contextual inform... 详细信息
来源: 评论
Metasystems in the Strategic Management of the Region  17
Metasystems in the Strategic Management of the Region
收藏 引用
17th International Conference on Management of Large-Scale System Development, MLSD 2024
作者: Solomatin, Alexander Federal Research Center 'Computer Science and Control' of Ras Department of Mathematical Methods of Regional Programming Moscow Russia
Instead of the traditional 'system-environment' pair for objects of the regional economy, it is proposed to consider metasystems - these objects together with all interacting objects of the microenvironment. E... 详细信息
来源: 评论
Optimal Control in the Problem With Two Gas Fields  17
Optimal Control in the Problem With Two Gas Fields
收藏 引用
17th International Conference on Management of Large-Scale System Development, MLSD 2024
作者: Skiba, Alexander Federal Research Center 'Computer Science and Control' of Ras Department of Mathematical Methods of Regional Programming Moscow Russia
We explore a continuous aggregated dynamic model for developing two gas fields. The new borehole commissioning rates are the control parameters. Changes in the average flow rate of producing boreholes and current natu... 详细信息
来源: 评论
Influence of the Sequence of Drilling Fields on the Maximum Total Gas Production  16
Influence of the Sequence of Drilling Fields on the Maximum ...
收藏 引用
16th International Conference Management of Large-Scale System Development, MLSD 2023
作者: Skiba, Alexander Federal Research Center 'Computer Science and Control' of Ras Department of Mathematical Methods of Regional Programming Moscow Russia
We analyze an aggregated dynamic model for the development of gas fields. The same company consistently drills all fields. We pose and solve the problem of maximizing accumulated gas production over a predetermined pe... 详细信息
来源: 评论
Investment Planning in the Region  16
Investment Planning in the Region
收藏 引用
16th International Conference Management of Large-Scale System Development, MLSD 2023
作者: Solomatin, Alexander Federal Research Center 'Computer Science and Control' of Ras Department of Mathematical Methods of Regional Programming Moscow Russia
The principle of multiplicity is introduced for the components of the investment planning process. Some algorithms are given that ensure the process of investment planning at the regional level: the formation of integ... 详细信息
来源: 评论
Functorial String Diagrams for Reverse-Mode Automatic Differentiation  31
Functorial String Diagrams for Reverse-Mode Automatic Differ...
收藏 引用
31st EACSL Annual Conference on computer science Logic, CSL 2023
作者: Alvarez-Picallo, Mario Ghica, Dan Sprunger, David Zanasi, Fabio Programming Languages Laboratory Huawei Research Centre Cambridge United Kingdom Department of Computer Science University of Birmingham United Kingdom Department of Computer Science University College London United Kingdom
We formulate a reverse-mode automatic differentiation (RAD) algorithm for (applied) simply typed lambda calculus in the style of Pearlmutter and Siskind [27], using the graphical formalism of string diagrams. Thanks t... 详细信息
来源: 评论
Sheffer stroke operation on L-algebras via an algorithmic approach
收藏 引用
Soft Computing 2024年 第19期28卷 10801-10813页
作者: Gürsoy, Necla Kırcalı Öner, Tahsin Gürsoy, Arif Ülker, Alper Department of Computer Programming Ege Vocational School Ege University İzmir Bornova35100 Turkey Department of Mathematics Ege University İzmir Bornova35100 Turkey Department of Mathematics and Computer Science İstanbul Kültür University Bakırköy Istanbul34156 Turkey Izmir Biomedicine and Genome Center İzmir Balçova35340 Turkey
In this study, we introduce the Sheffer stroke L-algebra and prove some fundamental theorems, propositions and lemmas of Sheffer Stroke L-algebras. The notions of filter and ultrafilter for Sheffer stroke L-algebra ar... 详细信息
来源: 评论
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... 详细信息
来源: 评论