English
Related papers

Related papers: Partial Network Identifiability: Theorem Proof and…

200 papers

Neural networks are one of the most investigated and widely used techniques in Machine Learning. In spite of their success, they still find limited application in safety- and security-related contexts, wherein assurance about networks'…

Artificial Intelligence · Computer Science 2018-05-28 Francesco Leofante , Nina Narodytska , Luca Pulina , Armando Tacchella

Much recent research has dealt with the identifiability of a dynamical network in which the node signals are connected by causal linear time-invariant transfer functions and are possibly excited by known external excitation signals and/or…

Optimization and Control · Mathematics 2017-09-14 Alexandre S. Bazanella , Michel Gevers , Julien M. Hendrickx , Adriane Parraga

We reply to Dukelsky, et al. regarding the article: L. A. Wu, M. S. Byrd and D. A. Lidar, Phys. Rev. Lett. 89, 057904 (2002).

Quantum Physics · Physics 2009-11-10 L. -A. Wu , M. S. Byrd , D. A. Lidar

With steady progress in the development of quantum networks, the question on how to best provide end-to-end characterization of such networks (Quantum Network Tomography) is quickly becoming more pressing. Initial results demonstrated how…

Quantum Physics · Physics 2025-11-11 Jake Navas , Jaden Brewer , Jaime Diaz , Matheus Guedes de Andrade , Don Towsley , Inès Montaño

We propose a similarity-based method, using the similarity between nodes, to address the problem of classification in partially labeled networks. The basic assumption is that two nodes are more likely to be categorized into the same class…

Data Analysis, Statistics and Probability · Physics 2010-10-05 Qian-Ming Zhang , Ming-Sheng Shang , Linyuan Lu

We solve the problem of identifying (reconstructing) network topology from steady state network measurements. Concretely, given only a data matrix $\mathbf{X}$ where the $X_{ij}$ entry corresponds to flow in edge $i$ in configuration…

Machine Learning · Computer Science 2016-01-22 Aravind Rajeswaran , Shankar Narasimhan

Since the proof of the four color theorem in 1976, computer-generated proofs have become a reality in mathematics and computer science. During the last decade, we have seen formal proofs using verified proof assistants being used to verify…

Logic in Computer Science · Computer Science 2016-11-30 Luís Cruz-Filipe , Peter Schneider-Kamp

Complex networks are a powerful modeling tool, allowing the study of countless real-world systems. They have been used in very different domains such as computer science, biology, sociology, management, etc. Authors have been trying to…

Social and Information Networks · Computer Science 2014-02-04 Burcu Kantarcı , Vincent Labatut

In this article, we take a closer look at the reliability of large minimal networks constructed by repeated compositions of the simplest possible networks. For a given number of devices $n=2^m$ we define the set of all the possible…

Discrete Mathematics · Computer Science 2021-12-14 Vlad-Florin Dragoi , Valeriu Beiu

We consider peer review in a conference setting where there is typically an overlap between the set of reviewers and the set of authors. This overlap can incentivize strategic reviews to influence the final ranking of one's own papers. In…

Computer Science and Game Theory · Computer Science 2020-02-04 Yichong Xu , Han Zhao , Xiaofei Shi , Jeremy Zhang , Nihar B. Shah

Link prediction in complex networks has attracted increasing attention from both physical and computer science communities. The algorithms can be used to extract missing information, identify spurious interactions, evaluate network evolving…

Physics and Society · Physics 2015-05-20 Linyuan Lu , Tao Zhou

Text watermarks in large language models (LLMs) are increasingly used to detect synthetic text, mitigating misuse cases like fake news and academic dishonesty. While existing watermarking detection techniques primarily focus on classifying…

Computation and Language · Computer Science 2025-06-13 Xuandong Zhao , Chenwen Liao , Yu-Xiang Wang , Lei Li

Although the Internet AS-level topology has been extensively studied over the past few years, little is known about the details of the AS taxonomy. An AS "node" can represent a wide variety of organizations, e.g., large ISP, or small…

Networking and Internet Architecture · Computer Science 2007-05-23 Xenofontas Dimitropoulos , Dmitri Krioukov , George Riley , kc claffy

We revisit the problem of estimating the parameters of a partially observed diffusion process, consisting of a hidden state process and an observed process, with a continuous time parameter. The estimation is to be done online, i.e. the…

Optimization and Control · Mathematics 2018-10-16 Simone Carlo Surace , Jean-Pascal Pfister

Inferring the network topology from the dynamics is a fundamental problem with wide applications in geology, biology and even counter-terrorism. Based on the propagation process, we present a simple method to uncover the network topology.…

Physics and Society · Physics 2013-11-21 An Zeng

Rumor source identification in large social networks has received significant attention lately. Most recent works deal with the scale of the problem by observing a subset of the nodes in the network, called sensors, to estimate the source.…

Social and Information Networks · Computer Science 2015-09-03 Alireza Louni , Anand Santhanakrishnan , K. P. Subbalakshmi

In this paper, we give a new and short proof of a Theorem on k-hypertournament losing scores due to Zhou et al.[7].

Combinatorics · Mathematics 2007-05-23 S. Pirzada , Zhou Guofei

Inference and prediction are fundamental to the study of complex systems, where network data are often incomplete, inaccurate or obtained indirectly. In this paper, we review recent advances in network sampling and comparison, as well as in…

Statistical Mechanics · Physics 2025-12-09 Francisco A. Rodrigues

We study the correspondence between Bayesian Networks and graphical representation of proofs in linear logic. The goal of this paper is threefold: to develop a proof-theoretical account of Bayesian inference (in the spirit of the…

Logic in Computer Science · Computer Science 2026-02-05 Rémi Di Guardia , Thomas Ehrhard , Jérôme Evrard , Claudia Faggian

The proof of Theorem 11 of the paper M. Scheepers, Remarks on countable tightness, Topology and its Applications 161 (2014), 407 - 432 relies on Lemma 10 of that paper. The offered proof of Lemma 10 had shortcomings, and I was recently…

General Topology · Mathematics 2015-10-01 Marion Scheepers