咨询与建议

限定检索结果

文献类型

  • 119 篇 会议
  • 63 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 141 篇 工学
    • 125 篇 计算机科学与技术...
    • 94 篇 软件工程
    • 19 篇 信息与通信工程
    • 15 篇 电气工程
    • 14 篇 控制科学与工程
    • 7 篇 机械工程
    • 7 篇 生物工程
    • 4 篇 电子科学与技术(可...
    • 4 篇 生物医学工程(可授...
    • 4 篇 安全科学与工程
    • 3 篇 土木工程
    • 3 篇 化学工程与技术
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
  • 62 篇 理学
    • 47 篇 数学
    • 9 篇 系统科学
    • 7 篇 生物学
    • 4 篇 统计学(可授理学、...
    • 3 篇 物理学
    • 3 篇 化学
  • 23 篇 管理学
    • 15 篇 管理科学与工程(可...
    • 9 篇 工商管理
    • 8 篇 图书情报与档案管...
  • 3 篇 教育学
    • 3 篇 教育学
  • 3 篇 医学
    • 3 篇 基础医学(可授医学...
    • 3 篇 临床医学
  • 2 篇 哲学
    • 2 篇 哲学
  • 2 篇 法学
    • 2 篇 社会学
  • 2 篇 文学
    • 2 篇 中国语言文学
    • 2 篇 外国语言文学
  • 2 篇 艺术学
  • 1 篇 经济学

主题

  • 10 篇 computer science
  • 8 篇 artificial intel...
  • 4 篇 software enginee...
  • 4 篇 java
  • 4 篇 semantics
  • 3 篇 object oriented ...
  • 3 篇 libraries
  • 3 篇 application soft...
  • 3 篇 pattern matching
  • 3 篇 parallel program...
  • 3 篇 computer languag...
  • 3 篇 computational mo...
  • 3 篇 specifications
  • 3 篇 formal methods
  • 3 篇 unified modeling...
  • 3 篇 computer softwar...
  • 3 篇 robustness
  • 3 篇 formal specifica...
  • 2 篇 programming prof...
  • 2 篇 compilers

机构

  • 6 篇 programming lang...
  • 6 篇 programming meth...
  • 5 篇 programming lang...
  • 3 篇 programming rese...
  • 3 篇 institute of sof...
  • 3 篇 institute for so...
  • 2 篇 department of co...
  • 2 篇 department of so...
  • 2 篇 university of er...
  • 2 篇 dr fusco is a ch...
  • 2 篇 programming lang...
  • 2 篇 computer science...
  • 2 篇 programming lang...
  • 2 篇 programming meth...
  • 2 篇 department of co...
  • 2 篇 languages and pr...
  • 2 篇 programming rese...
  • 2 篇 fraunhofer insti...
  • 2 篇 programming rese...
  • 2 篇 department of ph...

作者

  • 10 篇 xue jingling
  • 7 篇 philippsen micha...
  • 4 篇 choe km
  • 4 篇 bergstra j.a.
  • 4 篇 tichy matthias
  • 4 篇 raschke alexande...
  • 4 篇 jingling xue
  • 3 篇 klint p.
  • 3 篇 scholz sven-bodo
  • 3 篇 zsók viktória
  • 3 篇 veldema ronald
  • 3 篇 chris mcdonald
  • 3 篇 grelck clemens
  • 3 篇 sui yulei
  • 3 篇 johnsson thomas
  • 3 篇 薛京灵
  • 3 篇 felderer michael
  • 2 篇 mertin gunda
  • 2 篇 exelmans joeri
  • 2 篇 li an

语言

  • 177 篇 英文
  • 5 篇 其他
检索条件"机构=Languages and Programming Group Department of Computer Science"
182 条 记 录,以下是1-10 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Rewriting for Monoidal Closed Categories  7
Rewriting for Monoidal Closed Categories
收藏 引用
7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022
作者: Alvarez-Picallo, Mario Ghica, Dan Sprunger, David Zanasi, Fabio Programming Languages Laboratory Huawei Research Centre United Kingdom Department of Computer Science University of Birmingham United Kingdom Programming Languages Laboratory Huawei Research Centre Reading United Kingdom Department of Computer Science University College London United Kingdom
This paper develops a formal string diagram language for monoidal closed categories. Previous work has shown that string diagrams for freely generated symmetric monoidal categories can be viewed as hypergraphs with in... 详细信息
来源: 评论
Optimistic Versioning for Conflict-tolerant Collaborative Blended Modeling  10
Optimistic Versioning for Conflict-tolerant Collaborative Bl...
收藏 引用
STAF 2022 Workshop: 10th International Workshop on Bidirectional Transformations, BX 2022, 2nd International Workshop on Foundations and Practice of Visual Modeling, FPVM 2022 and 2nd International Workshop on MDE for Smart IoT Systems, MeSS 2022
作者: Exelmans, Joeri Pietron, Jakob Raschke, Alexander Vangheluwe, Hans Tichy, Matthias Department of Computer Science University of Antwerp - Flanders Make Antwerp Belgium Institute of Software Engineering and Programming Languages Ulm University Ulm Germany
Optimistic versioning is a key component in supporting collaborative workflows. Text-based versioning has been widely adopted for versioning code, but in model-driven engineering, dealing with visual concrete syntaxes... 详细信息
来源: 评论
Implementing and Executing Static Analysis using LLVM and CodeChecker
arXiv
收藏 引用
arXiv 2024年
作者: Horváth, Gábor Kovács, Réka Nikolett Szalay, Richárd Porkoláb, Zoltán Department of Programming Languages and Compilers Institute of Computer Science Faculty of Informatics Eötvös Loránd University Budapest Hungary
Static analysis is a method to analyse the source code without executing it. It is widely used to find bugs and code smells in industrial software. Among other methods, the most important techniques are the one based ... 详细信息
来源: 评论
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
WIP: An Engaging Undergraduate Intro to Model Checking in So...
收藏 引用
Frontiers in Education (FIE) Conference
作者: Konstantin Läufer Gunda Mertin George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago Institute for Software Engineering and Programming Languages University of Lübeck
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 $(\text{TLA}^{+}... 详细信息
来源: 评论
ANCESTRAL PROTEIN SEQUENCE RECONSTRUCTION USING A TREE-STRUCTURED ORNSTEIN-UHLENBECK VARIATIONAL AUTOENCODER  10
ANCESTRAL PROTEIN SEQUENCE RECONSTRUCTION USING A TREE-STRUC...
收藏 引用
10th International Conference on Learning Representations, ICLR 2022
作者: Moreta, Lys Sanz Rønning, Ola Al-Sibahi, Ahmad Salim Hein, Jotun Theobald, Douglas Hamelryck, Thomas Probabilistic Programming Group PLTC Section University of Copenhagen Copenhagen Denmark Department of Statistics University of Oxford Oxford United Kingdom Brandeis University Biochemistry Department MA United States Probabilistic Programming Group SCARB PLTC Section Department of Biology Computer Science University of Copenhagen Copenhagen Denmark
We introduce a deep generative model for representation learning of biological sequences that, unlike existing models, explicitly represents the evolutionary process. The model makes use of a tree-structured Ornstein-... 详细信息
来源: 评论
Integration of weighted majority voting in machine learning algorithms to enhance pine tree crown mapping on UAV imagery
Integration of weighted majority voting in machine learning ...
收藏 引用
2024 Symposium on Beyond the Canopy: Technologies and Applications of Remote Sensing
作者: Hosingholizade, Ali Erfanifard, Yousef Alavipanah, Seyed Kazem Pirasteh, Saied Garcia Millan, Virginia Dept. of Remote Sensing and GIS Faculty of Geography University of Tehran Tehran Iran Institute of Artificial Intelligence School of Mechanical and Electrical Engineering Shaoxing University China Department of Geotechnics and Geomatics Saveetha School of Engineering Saveetha Institute of Medical and Technical Sciences Chennai602105 India Dept. of Computer Science and Programming Languages School of Computer Science and Enginering University of Málaga Málaga Spain
The shape and area of the crown of each tree are among the most influential parameters for identifying and controlling the processes of photosynthesis, respiration, transpiration and its management. In such a way that... 详细信息
来源: 评论
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
arXiv
收藏 引用
arXiv 2024年
作者: Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Software and Systems Laboratory Department of Computer Science Loyola University 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... 详细信息
来源: 评论
Model-based Generation of Attack-Fault Trees
arXiv
收藏 引用
arXiv 2023年
作者: Groner, Raffaela Witte, Thomas Raschke, Alexander Hirn, Sophie Pekaric, Irdin Frick, Markus Tichy, Matthias Felderer, Michael Institute of Software Engineering and Programming Languages Ulm University Germany Department of Computer Science University of Innsbruck Austria Department of Information Systems and Computer Science University of Liechtenstein Liechtenstein Germany Department of Mathematics and Computer Science University of Cologne Germany
Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and ... 详细信息
来源: 评论