English
Related papers

Related papers: A Non-Standard Semantics for Kahn Networks in Cont…

200 papers

We introduce stochastic and quantum finite-state transducers as computation-theoretic models of classical stochastic and quantum finitary processes. Formal process languages, representing the distribution over a process's behaviors, are…

Quantum Physics · Physics 2008-04-29 Karoline Wiesner , James P. Crutchfield

We introduce a class of semiparametric time series models by assuming a quasi-likelihood approach driven by a latent factor process. More specifically, given the latent process, we only specify the conditional mean and variance of the time…

Methodology · Statistics 2021-04-02 Gisele O. Maia , Wagner Barreto-Souza , Fernando S. Bastos , Hernando Ombao

We introduce a framework for the modeling of sequential data capturing pathways of varying lengths observed in a network. Such data are important, e.g., when studying click streams in information networks, travel patterns in transportation…

Social and Information Networks · Computer Science 2017-11-20 Ingo Scholtes

This paper presents a new approach for analysing structural properties of time series from complex systems. Starting from the concept of recurrences in phase space, the recurrence matrix of a time series is interpreted as the adjacency…

Chaotic Dynamics · Physics 2011-03-03 Reik V. Donner , Y. Zou , Jonathan F. Donges , Norbert Marwan , Juergen Kurths

The aim of this paper is to analyze a class of consensus algorithms with finite-time or fixed-time convergence for dynamic networks formed by agents with first-order dynamics. In particular, in the analyzed class a single evaluation of a…

Implicit networks are a class of neural networks whose outputs are defined by the fixed point of a parameterized operator. They have enjoyed success in many applications including natural language processing, image processing, and numerous…

Machine Learning · Computer Science 2026-02-05 Samy Wu Fung , Benjamin Berkels

Kernel methods are powerful tools to capture nonlinear patterns behind data. They implicitly learn high (even infinite) dimensional nonlinear features in the Reproducing Kernel Hilbert Space (RKHS) while making the computation tractable by…

Machine Learning · Statistics 2017-11-28 Shuai Zhang , Jianxin Li , Pengtao Xie , Yingchun Zhang , Minglai Shao , Haoyi Zhou , Mengyi Yan

Recent data-driven approaches to scene interpretation predominantly pose inference as an end-to-end black-box mapping, commonly performed by a Convolutional Neural Network (CNN). However, decades of work on perceptual organization in both…

Computer Vision and Pattern Recognition · Computer Science 2018-07-23 Chi Li , M. Zeeshan Zia , Quoc-Huy Tran , Xiang Yu , Gregory D. Hager , Manmohan Chandraker

Diffusion processes are instrumental to describe the movement of a continuous quantity in a generic network of interacting agents. Here, we present a probabilistic framework for diffusion in networks and propose to classify agent…

Social and Information Networks · Computer Science 2015-08-28 Wai Hong Ronald Chan , Matthias Wildemeersch , Tony Q. S. Quek

Graph processes exhibit a temporal structure determined by the sequence index and and a spatial structure determined by the graph support. To learn from graph processes, an information processing architecture must then be able to exploit…

Signal Processing · Electrical Eng. & Systems 2020-12-02 Luana Ruiz , Fernando Gama , Alejandro Ribeiro

We consider a new class of non Markovian processes with a countable number of interacting components, both in discrete and continuous time. Each component is represented by a point process indicating if it has a spike or not at a given…

Neurons and Cognition · Quantitative Biology 2015-02-24 A. Galves , E. Löcherbach

We consider distributed systems with an arbitrary number of processes, modelled by timed automata that communicate through location guards: a process can take a guarded transition if at least one other process is in a given location. In…

Logic in Computer Science · Computer Science 2025-12-05 Étienne André , Swen Jacobs , Engel Lefaucheux

We consider approaches for causal semantics of Petri nets, explicitly representing dependencies between transition occurrences. For one-safe nets or condition/event-systems, the notion of process as defined by Carl Adam Petri provides a…

Logic in Computer Science · Computer Science 2021-03-02 Rob van Glabbeek , Ursula Goltz , Jens-Wolfhard Schicke

Random networks are increasingly used to analyse complex transportation networks, such as airline routes, roads and rail networks. So far, this research has been focused on describing the properties of the networks with the help of random…

Physics and Society · Physics 2017-09-19 Jürgen Hackl , Bryan T. Adey

We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA processes) where each process manipulates a data structure…

Logic in Computer Science · Computer Science 2007-05-29 Ahmed Bouajjani , Antoine Meyer

Inspired by a growing interest in analyzing network data, we study the problem of node classification on graphs, focusing on approaches based on kernel machines. Conventionally, kernel machines are linear classifiers in the implicit feature…

Machine Learning · Statistics 2010-01-25 Xiao Tang , Mu Zhu

Quantum Shannon theory is loosely defined as a collection of coding theorems, such as classical and quantum source compression, noisy channel coding theorems, entanglement distillation, etc., which characterize asymptotic properties of…

Quantum Physics · Physics 2008-10-03 I. Devetak , A. W. Harrow , A. Winter

Basic principles of statistical inference are commonly violated in network data analysis. Under the current approach, it is often impossible to identify a model that accommodates known empirical behaviors, possesses crucial inferential…

Statistics Theory · Mathematics 2017-01-02 Harry Crane , Walter Dempsey

Scott's graph model is a lambda-algebra based on the observation that continuous endofunctions on the lattice of sets of natural numbers can be represented via their graphs. A graph is a relation mapping finite sets of input values to…

Logic in Computer Science · Computer Science 2015-07-01 Guy McCusker

Given a Dedekind incomplete ordered field, a pair of convergent nets of gaps which are respectively increasing or decreasing to the same point is used to obtain a further equivalent criterion for Dedekind completeness of ordered fields:…

General Topology · Mathematics 2007-05-23 Mojtaba Moniri , Jafar S. Eivazloo