中文
相关论文

相关论文: PORGY: Strategy-Driven Interactive Transformation …

200 篇论文

Complex heterogeneous dynamic networks like knowledge graphs are powerful constructs that can be used in modeling data provenance from computer systems. From a security perspective, these attributed graphs enable causality analysis and…

密码学与安全 · 计算机科学 2022-03-08 Maya Kapoor , Joshua Melton , Michael Ridenhour , Mahalavanya Sriram , Thomas Moyer , Siddharth Krishnan

Retrieval-augmented generation (RAG) is a powerful technique that enhances downstream task execution by retrieving additional information, such as knowledge, skills, and tools from external sources. Graph, by its intrinsic "nodes connected…

Natural physical, chemical, and biological dynamical systems are often complex, with heterogeneous components interacting in diverse ways. We show how simple graph neural networks can be designed to jointly learn the interaction rules and…

Graph data structures offer a versatile and powerful means to model relationships and interconnections in various domains, promising substantial advantages in data representation, analysis, and visualization. In games, graph-based data…

机器学习 · 计算机科学 2024-09-10 Florian Rupp , Kai Eckert

Developing applications considering reactiveness, scalability and re-usability has always been at the center of attention of robotic researchers. Behavior-based architectures have been proposed as a programming paradigm to develop robust…

机器人学 · 计算机科学 2021-06-30 Ali Paikan , Giorgio Metta , Lorenzo Natale

Graphs are widespread data structures used to model a wide variety of problems. The sheer amount of data to be processed has prompted the creation of a myriad of systems that help us cope with massive scale graphs. The pressure to deliver…

分布式、并行与集群计算 · 计算机科学 2014-10-09 Luis M. Vaquero , Felix Cuadrado , Matei Ripeanu

Drug-target interaction (DTI) prediction is a challenging, albeit essential task in drug repurposing. Learning on graph models have drawn special attention as they can significantly reduce drug repurposing costs and time commitment.…

Applications of graph transformation (GT) systems often require control structures that can be used to direct GT processes. Most existing GT tools follow a stateful computational model, where a single graph is repeatedly modified "in-place"…

软件工程 · 计算机科学 2022-12-23 Jens H. Weber

Advances in deep learning models have revolutionized the study of biomolecule systems and their mechanisms. Graph representation learning, in particular, is important for accurately capturing the geometric information of biomolecules at…

定量方法 · 定量生物学 2023-04-07 Xinye Xiong , Bingxin Zhou , Yu Guang Wang

We present attributed hierarchical port graphs (AHP) as an extension of port graphs that aims at facilitating the design of modular port graph models for complex systems. AHP consist of a number of interconnected layers, where each layer…

计算机科学中的逻辑 · 计算机科学 2018-02-20 Nneka Chinelo Ene , Maribel Fernández , Bruno Pinaud

We present a type system for strategy languages that express program transformations as compositions of rewrite rules. Our row-polymorphic type system assists compiler engineers to write correct strategies by statically rejecting non…

编程语言 · 计算机科学 2021-03-26 Rongxiao Fu , Xueying Qin , Ornela Dardha , Michel Steuwer

In this paper we examine the process involved in the design and implementation of a port-graph model to be used for the analysis of an agent-based rational negligence model. Rational negligence describes the phenomenon that occurred during…

数理金融 · 定量金融 2019-02-10 Nneka Ene

In-context learning is the ability of a pretrained model to adapt to novel and diverse downstream tasks by conditioning on prompt examples, without optimizing any parameters. While large language models have demonstrated this ability, how…

机器学习 · 计算机科学 2023-05-23 Qian Huang , Hongyu Ren , Peng Chen , Gregor Kržmanc , Daniel Zeng , Percy Liang , Jure Leskovec

Structured representations like graphs and parse trees play a crucial role in many Natural Language Processing systems. In recent years, the advancements in multi-turn user interfaces necessitate the need for controlling and updating these…

计算与语言 · 计算机科学 2020-10-07 Xuanli He , Quan Hung Tran , Gholamreza Haffari , Walter Chang , Trung Bui , Zhe Lin , Franck Dernoncourt , Nhan Dam

The pathway is a biological term that refers to a series of interactions between molecules in a cell that causes a certain product or a change in the cell. Pathway analysis is a powerful method for gene expression analysis. Through pathway…

数据结构与算法 · 计算机科学 2022-01-11 Lingran Xiao , Yanfei Wang , Shiying Li , Lingxi Chen , Shuaicheng Li

Adaptive networks model social, physical, technical, or biological systems as attributed graphs evolving at the level of both their topology and data. They are naturally described by graph transformation, but the majority of authors take an…

离散数学 · 计算机科学 2021-12-22 Nicolas Behr , Bello Shehu Bello , Sebastian Ehmes , Reiko Heckel

We introduce the AutoGRAMS framework for programming multi-step interactions with language models. AutoGRAMS represents AI agents as a graph, where each node can execute either a language modeling instruction or traditional code. Likewise,…

计算与语言 · 计算机科学 2024-07-16 Ben Krause , Lucia Chen , Emmanuel Kahembwe

We present Ringo, a system for analysis of large graphs. Graphs provide a way to represent and analyze systems of interacting objects (people, proteins, webpages) with edges between the objects denoting interactions (friendships, physical…

The several algebraic approaches to graph transformation proposed in the literature all ensure that if an item is preserved by a rule, so are its connections with the context graph where it is embedded. But there are applications in which…

计算机科学中的逻辑 · 计算机科学 2015-06-09 Anadrea Corradini , Dominique Duval , Rachid Echahed , Frédéric Prost , Leila Ribeiro

Chemical reaction networks can be automatically generated from graph grammar descriptions, where rewrite rules model reaction patterns. Because a molecule graph is connected and reactions in general involve multiple molecules, the rewriting…

形式语言与自动机理论 · 计算机科学 2016-04-22 Jakob L. Andersen , Christoph Flamm , Daniel Merkle , Peter F. Stadler