English
Related papers

Related papers: An Explicit Framework for Interaction Nets

200 papers

The presented work focuses on problems from determinant theory, set theory and topology. The term graph is the binding element that connects these problems. Graphs are distinguished by their geometrical simplicity, which helps in showing…

History and Overview · Mathematics 2024-12-24 Ágnes Cseh

Networks can be highly complex systems with numerous interconnected components and interactions. Granular computing offers a framework to manage this complexity by decomposing networks into smaller, more manageable components, or granules.…

Social and Information Networks · Computer Science 2025-03-06 Hibba Arshad , Imran Javaid

Hypergraphs offer a natural modeling language for studying polyadic interactions between sets of entities. Many polyadic interactions are asymmetric, with nodes playing distinctive roles. In an academic collaboration network, for example,…

Physics and Society · Physics 2019-11-05 Philip Chodrow , Andrew Mellor

Predicting gene functions is a challenge for biologists in the post genomic era. Interactions among genes and their products compose networks that can be used to infer gene functions. Most previous studies adopt a linkage assumption, i.e.,…

Molecular Networks · Quantitative Biology 2022-04-25 Xin Li , Hsinchun Chen , Jiexun Li , Zhu Zhang

Given the success of Graph Neural Networks (GNNs) for structure-aware machine learning, many studies have explored their use for text classification, but mostly in specific domains with limited data characteristics. Moreover, some…

Computation and Language · Computer Science 2024-01-23 Margarita Bugueño , Gerard de Melo

The large-scale properties of chemical reaction systems, such as the metabolism, can be studied with graph-based methods. To do this, one needs to reduce the information -- lists of chemical reactions -- available in databases. Even for the…

Molecular Networks · Quantitative Biology 2009-09-25 Petter Holme

Networks are useful for describing systems of interacting objects, where the nodes represent the objects and the edges represent the interactions between them. The applications include chemical and metabolic systems, food webs as well as…

Computational Physics · Physics 2009-10-20 Baruch Barzel , Ofer Biham

Seeking effective neural networks is a critical and practical field in deep learning. Besides designing the depth, type of convolution, normalization, and nonlinearities, the topological connectivity of neural networks is also important.…

Computer Vision and Pattern Recognition · Computer Science 2020-08-20 Kun Yuan , Quanquan Li , Jing Shao , Junjie Yan

Inspired by empirical studies of networked systems such as the Internet, social networks, and biological networks, researchers have in recent years developed a variety of techniques and models to help us understand or predict the behavior…

Statistical Mechanics · Physics 2015-06-24 M. E. J. Newman

This paper develops a formal logic for guises based on the work of H\'ector-Neri Casta\~neda, who understood relations from an internalist viewpoint, following Leibniz. We introduce a syntax, model theory, and proof theory for an…

Logic in Computer Science · Computer Science 2026-05-15 Juan J. Colomina-Alminana

Scene graphs are powerful representations that parse images into their abstract semantic elements, i.e., objects and their interactions, which facilitates visual comprehension and explainable reasoning. On the other hand, commonsense…

Computer Vision and Pattern Recognition · Computer Science 2020-07-21 Alireza Zareian , Svebor Karaman , Shih-Fu Chang

We conjecture that the relative unpopularity of logical frameworks among practitioners is partly due to their complex meta-languages, which often demand both programming skills and theoretical knowledge of the meta-language in question for…

Logic in Computer Science · Computer Science 2021-06-29 Bruno Cuconato , Jefferson de Barros Santos , Edward Hermann Haeusler

Network reconstruction consists in retrieving the hidden interaction structure of a system from observations. Many reconstruction algorithms have been proposed, although less research has been devoted to describe their theoretical…

This lecture discusses the mathematical relationship between network structure and network utilization of transportation network. Network structure means the graph itself. Network utilization represent the aggregation of trajectories of…

Discrete Mathematics · Computer Science 2016-10-03 Kardi Teknomo

The principle of abstraction guides the design of interactive systems, yet we lack a conceptual framework to understand how it shapes interaction design. Existing models, such as the gulfs of execution and evaluation, do not explicitly…

Human-Computer Interaction · Computer Science 2026-05-13 Bryan Min , Sangho Suh , Jim Hollan , Haijun Xia

Recent studies on knowledge graph embedding focus on mapping entities and relations into low-dimensional vector spaces. While most existing models primarily exploit structural information, knowledge graphs also contain rich contextual and…

Computation and Language · Computer Science 2025-09-03 Qisong Li , Ji Lin , Sijia Wei , Neng Liu

Solving grounded language tasks often requires reasoning about relationships between objects in the context of a given task. For example, to answer the question "What color is the mug on the plate?" we must check the color of the specific…

Computer Vision and Pattern Recognition · Computer Science 2019-08-20 Ronghang Hu , Anna Rohrbach , Trevor Darrell , Kate Saenko

Implicit discourse relation classification is of great importance for discourse parsing, but remains a challenging problem due to the absence of explicit discourse connectives communicating these relations. Modeling the semantic…

Computation and Language · Computer Science 2019-10-22 Yingxue Zhang , Ping Jian , Fandong Meng , Ruiying Geng , Wei Cheng , Jie Zhou

In this paper, we investigate the degree of explainability of graph neural networks (GNNs). Existing explainers work by finding global/local subgraphs to explain a prediction, but they are applied after a GNN has already been trained. Here,…

Machine Learning · Computer Science 2022-12-21 Indro Spinelli , Simone Scardapane , Aurelio Uncini

Machine reading comprehension (MRC) poses new challenges over logical reasoning, which aims to understand the implicit logical relations entailed in the given contexts and perform inference over them. Due to the complexity of logic, logical…

Computation and Language · Computer Science 2023-06-22 Jialin Chen , Zhuosheng Zhang , Hai Zhao