English
Related papers

Related papers: Formal Foundations of Continuous Graph Processing

200 papers

We introduce Graph Neural Processes (GNP), inspired by the recent work in conditional and latent neural processes. A Graph Neural Process is defined as a Conditional Neural Process that operates on arbitrary graph data. It takes features of…

Machine Learning · Computer Science 2019-10-03 Andrew Carr , David Wingate

We develop a theoretical framework for defining and identifying flows of information in computational systems. Here, a computational system is assumed to be a directed graph, with "clocked" nodes that send transmissions to each other along…

Information Theory · Computer Science 2023-07-21 Praveen Venkatesh , Sanghamitra Dutta , Pulkit Grover

Graph Generation is a recently introduced enhanced Column Generation algorithm for solving expanded Linear Programming relaxations of mixed integer linear programs without weakening the expanded relaxations which characterize these methods.…

Optimization and Control · Mathematics 2022-02-04 Julian Yarkony , Amelia Regan

Graphical calculus is an intuitive visual notation for manipulating tensors and index contractions. Using graphical calculus leads to simple and memorable derivations, and with a bit of practice one can learn to prove complex identities…

Quantum Physics · Physics 2019-03-05 Filippo M. Miatto

Graph condensation (GC) has recently garnered considerable attention due to its ability to reduce large-scale graph datasets while preserving their essential properties. The core concept of GC is to create a smaller, more manageable graph…

Machine Learning · Computer Science 2024-11-25 Qingyun Sun , Ziying Chen , Beining Yang , Cheng Ji , Xingcheng Fu , Sheng Zhou , Hao Peng , Jianxin Li , Philip S. Yu

We present the analysis of the topological graph descriptor Local Degree Profile (LDP), which forms a widely used structural baseline for graph classification. Our study focuses on model evaluation in the context of the recently developed…

Machine Learning · Computer Science 2023-05-02 Jakub Adamczyk , Wojciech Czech

Many important societal problems are naturally modeled as algorithms over temporal graphs. To date, however, most graph processing systems remain inefficient as they rely on distributed processing even for graphs that fit well within a…

Databases · Computer Science 2024-01-08 Joana M. F. da Trindade , Julian Shun , Samuel Madden , Nesime Tatbul

Complex Graph Patterns (CGPs), which combine pattern matching with relational operations, are widely used in real-world applications. Existing systems rely on monolithic architectures for CGPs, which restrict their ability to integrate…

Databases · Computer Science 2024-12-13 Bingqing Lyu , Xiaoli Zhou , Longbin Lai , Yufan Yang , Yunkai Lou , Wenyuan Yu , Jingren Zhou

Graph processing is an increasingly important domain of computer science, with applications in data and network analysis, among others. Target graphs in these applications are often large, leading to the creation of "big data" systems…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-04-25 Ronak Buch

Continuous-time state estimation is gaining in popularity due to its abilities to provide smooth solutions, handle asynchronous sensors, and interpolate between data points. While there are two main paradigms, parametric (e.g., temporal…

Robotics · Computer Science 2026-05-12 Connor Holmes , Sven Lilge , Zi Cong Guo , Frank Dellaert , Timothy D. Barfoot

Graph partitioning is the problem of dividing the nodes of a graph into balanced partitions while minimizing the edge cut across the partitions. Due to its combinatorial nature, many approximate solutions have been developed, including…

Machine Learning · Computer Science 2019-03-05 Azade Nazi , Will Hang , Anna Goldie , Sujith Ravi , Azalia Mirhoseini

Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics. While the semantics for process calculi is compositional, this is not the case for graph transformation systems, in…

Logic in Computer Science · Computer Science 2011-08-03 Andrei Dorman , Tobias Heindel

Networks with hop-by-hop flow control occur in several contexts, from data centers to systems architectures (e.g., wormhole-routing networks on chip). A worst-case end-to-end delay in such networks can be computed using Network Calculus…

Networking and Internet Architecture · Computer Science 2023-07-10 Raffaele Zippo , Giovanni Stea

Principal component analysis (PCA) is a key statistical technique for multivariate data analysis. For large data sets the common approach to PCA computation is based on the standard NIPALS-PCA algorithm, which unfortunately suffers from…

Quantitative Methods · Quantitative Biology 2008-11-10 M. Andrecut

Decision-making tasks often unfold on graphs with spatial-temporal dynamics. Black-box reinforcement learning often overlooks how local changes spread through network structure, limiting sample efficiency and interpretability. We present…

Artificial Intelligence · Computer Science 2026-01-07 Hadi Partovi Aria , Zhe Xu

This paper proposes a graph computation based sequential power flow calculation method for Line Commutated Converter (LCC) based large-scale AC/DC systems to achieve a high computing performance. Based on the graph theory, the complex AC/DC…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-28 Wei Feng , Jingjin Wu , Chen Yuan , Guangyi Liu , Renchang Dai , Qingxin Shi , Fangxing Li

The computation of Lagrangian coherent structures (LCS) has become a standard tool for the analysis of advective transport in unsteady flow applications. LCS identification is primarily accomplished by evaluating measures based on the…

Fluid Dynamics · Physics 2022-09-29 Siavash Ameli , Yogin Desai , Shawn C. Shadden

Text Classification is the most essential and fundamental problem in Natural Language Processing. While numerous recent text classification models applied the sequential deep learning technique, graph neural network-based models can…

Computation and Language · Computer Science 2024-07-08 Kunze Wang , Yihao Ding , Soyeon Caren Han

A graph theoretic perspective is taken for a range of phenomena in continuum physics in order to develop representations for analysis of large scale, high-fidelity solutions to these problems. Of interest are phenomena described by partial…

Computational Physics · Physics 2019-05-22 R. Banerjee , K. Sagiyama , G. H. Teichert , K. Garikipati

Graphs are common mathematical structures that are visual and intuitive. They constitute a natural and seamless way for system modelling in science, engineering and beyond, including computer science, biology, business process modelling,…

Formal Languages and Automata Theory · Computer Science 2020-12-03 Berthold Hoffmann , Mark Minas
‹ Prev 1 3 4 5 6 7 10 Next ›