English
Related papers

Related papers: Network Rewriting I: The Foundation

200 papers

A variety of modeling frameworks have been proposed and utilized in complex systems studies, including dynamical systems models that describe state transitions on a system of fixed topology, and self-organizing network models that describe…

Adaptation and Self-Organizing Systems · Physics 2009-01-05 Hiroki Sayama , Craig Laramee

Graph theory provides a primary tool for analyzing and designing computer communication networks. In the past few decades, Graph theory has been used to study various types of networks, including the Internet, wide Area Networks, Local Area…

Networking and Internet Architecture · Computer Science 2009-07-20 Kamal Ahmat

We present elements of a typing theory for flow networks, where "types", "typings", and "type inference" are formulated in terms of familiar notions from polyhedral analysis and convex optimization. Based on this typing theory, we develop…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-22 Assaf Kfoury

We consider artificial neurons which will update their weight coefficients with an internal rule based on backpropagation, rather than using it as an external training procedure. To achieve this we include the backpropagation error estimate…

Neural and Evolutionary Computing · Computer Science 2018-08-07 M. N. Nazarov

Recent genomic and bioinformatic advances have motivated the development of numerous random network models purporting to describe graphs of biological, technological, and sociological origin. The success of a model has been evaluated by how…

Molecular Networks · Quantitative Biology 2007-05-23 Manuel Middendorf , Etay Ziv , Carter Adams , Jen Hom , Robin Koytcheff , Chaya Levovitz , Gregory Woods , Linda Chen , Chris Wiggins

Networks can be combined in various ways, such as overlaying one on top of another or setting two side by side. We introduce "network models" to encode these ways of combining networks. Different network models describe different kinds of…

Category Theory · Mathematics 2020-07-22 John C. Baez , John Foley , Joe Moeller , Blake S. Pollard

We tackle the problem of simultaneous transformations of networks represented as graphs. Roughly speaking, one may distinguish two kinds of simultaneous or parallel rewrite relations over complex structures such as graphs: (i) those which…

Formal Languages and Automata Theory · Computer Science 2017-01-25 Rachid Echahed , Aude Maignan

Aiming at better representing multivariate relationships, this paper investigates a motif dimensional framework for higher-order graph learning. The graph learning effectiveness can be improved through OFFER. The proposed framework mainly…

Social and Information Networks · Computer Science 2020-08-31 Shuo Yu , Feng Xia , Jin Xu , Zhikui Chen , Ivan Lee

Modeling networks can serve as a means of summarizing high-dimensional complex systems. Adapting an approach devised for dense, weighted networks, we propose a new method for generating and estimating unweighted networks. This approach can…

Physics and Society · Physics 2024-04-12 Benjamin Leinwand , Vince Lyzinski

Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down systems, which generalize similar classes on words. Our aim is to…

Logic in Computer Science · Computer Science 2007-05-29 Antoine Meyer

Network reconstruction is a well-developed sub-field of network science, but it has only recently been applied to production networks, where nodes are firms and edges represent customer-supplier relationships. We review the literature that…

General Economics · Economics 2024-09-20 Luca Mungo , Alexandra Brintrup , Diego Garlaschelli , François Lafond

Recent advancements in graph learning have revolutionized the way to understand and analyze data with complex structures. Notably, Graph Neural Networks (GNNs), i.e. neural network architectures designed for learning graph representations,…

Machine Learning · Computer Science 2024-07-09 Yu Huang , Min Zhou , Menglin Yang , Zhen Wang , Muhan Zhang , Jie Wang , Hong Xie , Hao Wang , Defu Lian , Enhong Chen

A traversal of a connected graph is a linear ordering of its vertices all of whose initial segments induce connected subgraphs. Traversals, and their refinements such as breadth-first and depth-first traversals, are computed by various…

Logic · Mathematics 2018-10-24 Siddharth Bhaskar , Anton Jay Kienzle

The relations, rather than the elements, constitute the structure of networks. We therefore develop a systematic approach to the analysis of networks, modelled as graphs or hypergraphs, that is based on structural properties of…

Discrete Mathematics · Computer Science 2020-12-08 Marzieh Eidi , Amirhossein Farzam , Wilmer Leal , Areejit Samal , Jürgen Jost

Recent progress in large language models has renewed interest in how multi-step reasoning is represented internally. While prior work often treats reasoning as a linear chain, many reasoning problems are more naturally modeled as directed…

Computation and Language · Computer Science 2026-04-07 Tianjun Zhong , Linyang He , Nima Mesgarani

In this work we consider the topological analysis of symbolic formal systems in the framework of network theory. In particular we analyse the network extracted by Principia Mathematica of B. Russell and A.N. Whitehead, where the vertices…

Physics and Society · Physics 2011-09-09 A. P. Masucci

Dynamic networks are used in a wide range of fields, including social network analysis, recommender systems, and epidemiology. Representing complex networks as structures changing over time allow network models to leverage not only…

Social and Information Networks · Computer Science 2021-06-15 Joakim Skarding , Bogdan Gabrys , Katarzyna Musial

Neural networks are powerful function estimators, leading to their status as a paradigm of choice for modeling structured data. However, unlike other structured representations that emphasize the modularity of the problem -- e.g., factor…

Machine Learning · Computer Science 2022-06-20 Tsvetomila Mihaylova , Vlad Niculae , André F. T. Martins

We show that an interesting class of feed-forward neural networks can be understood as quantitative argumentation frameworks. This connection creates a bridge between research in Formal Argumentation and Machine Learning. We generalize the…

Neural and Evolutionary Computing · Computer Science 2020-12-11 Nico Potyka

Matrices over the ring of formal power series are considered. Normal forms with respect to various sub-groups of the two-sided transformations are constructed. The construction is based on the special property of the action: it induces a…

Representation Theory · Mathematics 2010-11-04 Genrich Belitskii , Dmitry Kerner