AI Chat AI Image Generator AI Video Text to Speech

Link Identifiability with Two Monitors: Proof of Selected Theorems

12/17/2020

∙

by Liang Ma, et al.

∙

∙

This is a technical report, containing all the theorem proofs in paper "Link Identifiability in Communication Networks with Two Monitors" by Liang Ma, Ting He, Kin K. Leung, Ananthram Swami, and Don Towsley, published in IEEE Globecom, 2013.

Liang Ma
31 publications
Ting He
20 publications
Kin K. Leung
32 publications
Ananthram Swami
53 publications
Don Towsley
80 publications

page 1

page 2

page 3

page 4

research

∙ 12/17/2020

Efficient Identification of Additive Link Metrics: Theorem Proof and Evaluations

This is a technical report, containing all the theorem proofs and additi...

0 Liang Ma, et al. ∙

research

∙ 12/18/2020

Identification of Additive Link Metrics: Proof of Selected Theorems

This is a technical report, containing all the theorem proofs in the fol...

0 Liang Ma, et al. ∙

research

∙ 10/31/2021

Gács-Kučera's Theorem Revisited by Levin

Leonid Levin (arxiv.org/abs/cs/0503039v14, p.7) published a new (and ver...

0 Alexander Shen, et al. ∙

research

∙ 09/21/2018

Machine-Assisted Proofs (ICM 2018 Panel)

This submission to arXiv is the report of a panel session at the 2018 In...

0 James Davenport, et al. ∙

research

∙ 12/17/2020

Partial Network Identifiability: Theorem Proof and Evaluation

This is a technical report, containing all the theorem proofs and additi...

0 Liang Ma, et al. ∙

research

∙ 12/18/2020

Additive Link Metrics Identification: Proof of Selected Lemmas and Propositions

This is a technical report, containing all the lemma and proposition pro...

0 Liang Ma, et al. ∙

research

∙ 10/10/2018

Convex Functions in ACL2(r)

This paper builds upon our prior formalisation of R^n in ACL2(r) by pres...

0 Carl Kwan, et al. ∙