Sciweavers

323 search results - page 3 / 65
» Dualizability and graph algebras
Sort
View
CUZA
2010
158views Cryptology» more  CUZA 2010»
14 years 9 months ago
An Algebra of Hierarchical Graphs and its Application to Structural Encoding
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafue...
92
Voted
ORL
2008
115views more  ORL 2008»
14 years 11 months ago
Maximum algebraic connectivity augmentation is NP-hard
The algebraic connectivity of a graph, which is the second-smallest eigenvalue of the Laplacian of the graph, is a measure of connectivity. We show that the problem of adding a sp...
Damon Mosk-Aoyama
TCS
2002
14 years 11 months ago
Streams and strings in formal proofs
Streams are acyclic directed subgraphs of the logical ow graph of a proof representing bundles of paths with the same origin and the same end. The notion of stream is used to desc...
Alessandra Carbone
ICASSP
2011
IEEE
14 years 3 months ago
Reaching consensus in asynchronous WSNs: Algebraic approach
Many models of wireless sensor networks (WSNs) assume a perfect synchronization along the graph of such network as a simplifying assumption. In our contribution we base our invest...
Ondrej Sluciak, Markus Rupp
86
Voted
ENDM
2010
103views more  ENDM 2010»
14 years 9 months ago
Structural Analysis for Differential-Algebraic Systems: Complexity, Formulation and Facets
In this paper we consider the structural analysis problem for differential-algebraic systems with conditional equations. This consists, given a conditional differential algebraic ...
Mathieu Lacroix, Ali Ridha Mahjoub, Sébasti...