English
Related papers

Related papers: An Implementation Model for Interaction Nets

200 papers

Network theory provides various tools for investigating the structural or functional topology of many complex systems found in nature, technology and society. Nevertheless, it has recently been realised that a considerable number of systems…

Data Analysis, Statistics and Probability · Physics 2012-03-23 Jonathan F. Donges , Hanna C. H. Schultz , Norbert Marwan , Yong Zou , Juergen Kurths

In this paper the interactions between component failures are quantified and the interaction matrix and interaction network are obtained. The quantified interactions can capture the general propagation patterns of the cascades from…

Systems and Control · Computer Science 2014-08-26 Junjian Qi , Kai Sun , Shengwei Mei

Multidimensional systems coupled via complex networks are widespread in nature and thus frequently invoked for a large plethora of interesting applications. From ecology to physics, individual entities in mutual interactions are grouped in…

Physics and Society · Physics 2018-11-21 Giulia Cencetti , Franco Bagnoli , Giorgio Battistelli , Luigi Chisci , Duccio Fanelli

In this paper, we introduce a new interaction net implementation of optimal reduction for pure untyped lambda calculus. Unlike others, our implementation allows to reach normal form regardless of interaction net reduction strategy using the…

Logic in Computer Science · Computer Science 2015-12-15 Anton Salikhmetov

Complex networks are at the core of an intense research activity. However, in most cases, intricate and costly measurement procedures are needed to explore their structure. In some cases, these measurements rely on link queries: given two…

Networking and Internet Architecture · Computer Science 2009-04-22 Fabien Tarissan , Matthieu Latapy , Christophe Prieur

The reservoir computing networks (RCNs) have been successfully employed as a tool in learning and complex decision-making tasks. Despite their efficiency and low training cost, practical applications of RCNs rely heavily on empirical…

Machine Learning · Computer Science 2021-12-14 Wei Miao , Vignesh Narayanan , Jr-Shin Li

Adaptive networks are a novel class of dynamical networks whose topologies and states coevolve. Many real-world complex systems can be modeled as adaptive networks, including social networks, transportation networks, neural networks and…

Social and Information Networks · Computer Science 2017-05-29 Hiroki Sayama , Irene Pestov , Jeffrey Schmidt , Benjamin James Bush , Chun Wong , Junichi Yamanoi , Thilo Gross

Network or graph structures are ubiquitous in the study of complex systems. Often, we are interested in complexity trends of these system as it evolves under some dynamic. An example might be looking at the complexity of a food web as…

Information Theory · Computer Science 2007-07-16 Russell K. Standish

We explain how recent developments in the fields of realisability models for linear logic -- or geometry of interaction -- and implicit computational complexity can lead to a new approach of implicit computational complexity. This…

Logic in Computer Science · Computer Science 2015-07-03 Thomas Seiller

The fundamental concept of applying the system methodology to network analysis declares that network architecture should take into account services and applications which this network provides and supports. This work introduces a formal…

Networking and Internet Architecture · Computer Science 2015-09-03 Andrey A. Shchurov

This chapter reviews the purpose and use of models from the field of complex systems and, in particular, the implications of trying to use models to understand or make decisions within complex situations, such as policy makers usually face.…

Multiagent Systems · Computer Science 2013-11-25 Bruce Edmonds , Carlos Gershenson

We describe a representation in a high-level transition system for policies that express a reactive behavior for the agent. We consider a target decision component that figures out what to do next and an (online) planning capability to…

Artificial Intelligence · Computer Science 2016-04-01 Zeynep G. Saribatur , Thomas Eiter

This paper presents an integrated framework that combines traditional network optimization models with large language models (LLMs) to deliver interactive, explainable, and role-aware decision support for supply chain planning. The proposed…

Artificial Intelligence · Computer Science 2025-09-01 Saravanan Venkatachalam

When managing wide-area networks, network architects must decide how to balance multiple conflicting metrics, and ensure fair allocations to competing traffic while prioritizing critical traffic. The state of practice poses challenges since…

Programming Languages · Computer Science 2022-07-05 Yanjun Wang , Zixuan Li , Chuan Jiang , Xiaokang Qiu , Sanjay G. Rao

Passive documents and active programs now widely comingle. Document languages include Turing-complete programming elements, and programming languages include sophisticated document notations. However, there are no formal foundations that…

Programming Languages · Computer Science 2023-11-15 Will Crichton , Shriram Krishnamurthi

We know anything because we learn about it, there is anything we ever share about it, but now a lot of media that can represent how it happened as infrastructure of the knowledge sharing. This paper aims to introduce a model for…

Social and Information Networks · Computer Science 2013-01-08 Sufianto Mahfudz , Mahyuddin K. M. Nasution , Sawaluddin Nasution

A complex system is made up of many components with many interactions. So the design of systems such as simulation systems, cooperative systems or assistance systems includes a very accurate modelling of interactional and communicational…

Multiagent Systems · Computer Science 2012-01-19 Alain-Jérôme Fougères

Many real world systems need to operate on heterogeneous information networks that consist of numerous interacting components of different types. Examples include systems that perform data analysis on biological information networks; social…

Artificial Intelligence · Computer Science 2017-07-26 Parisa Kordjamshidi , Sameer Singh , Daniel Khashabi , Christos Christodoulopoulos , Mark Summons , Saurabh Sinha , Dan Roth

Networked systems are systems of interconnected components, in which the dynamics of each component are influenced by the behavior of neighboring components. Examples of networked systems include biological networks, critical…

Systems and Control · Computer Science 2016-06-01 Andrew Clark , Basel Alomair , Linda Bushnell , Radha Poovendran

In many complex systems, states and interaction structure coevolve towards a dynamic equilibrium. For the adaptive contact process, we obtain approximate expressions for the degree distributions that characterize the interaction network in…

Adaptation and Self-Organizing Systems · Physics 2015-07-01 Stefan Wieland , Ana Nunes
‹ Prev 1 4 5 6 7 8 10 Next ›