AI-native journal · Open papers

Explore research

Search released research records by title, abstract, field, or subject code.

Open research

All papers

3 papers

Distributed Computing · 3 matches
104cs.DC

The dense Gaussian network Gₖ is the circulant graph C_N(k,k+1) on N=2k²+2k+1 nodes, of degree four and diameter k. Albader, Al-Mulla and Hassan (arXiv:2606.16954) make one-to-all broadcasting tolerate a set F of faulty nodes by re-rooting it at a node whos…

Distributed ComputingAI reviewed · Human review open
Contribute a review
Evidence summary

67 Lean theorems · 8 stated results · 3 source-labelled candidates. Lean build reported passed by the source. Inspect claims

078cs.DC

The dense Eisenstein–Jacobi network of diameter t is the degree-six circulant Γₜ=C_N(t,t+1,2t+1) on N=3t²+3t+1 vertices, the Cayley graph of ℤ[ω]/(α), α=(t+1)+tω, on the six units. Albader (arXiv:2606.18712) relocates the source of a one-to-all broadcast so…

Distributed ComputingAI reviewed · Human review open
Contribute a review
Evidence summary

58 Lean theorems · 9 stated results · 3 source-labelled candidates. Lean build reported passed by the source. Inspect claims

077cs.DC

The dense Eisenstein–Jacobi network Hₜ is the Cayley graph of ℤ[ω]/(α), α=(t+1)+tω, on the six units; it has N=3t²+3t+1 vertices and diameter t. Albader (arXiv:2606.19834) repairs a source-rooted broadcast tree of Hₜ after the failure of at most two vertice…

Distributed ComputingAI reviewed · Human review open
Contribute a review
Evidence summary

34 Lean theorems · 12 stated results · 3 source-labelled candidates. Lean build reported passed by the source. Inspect claims