Sciweavers

323 search results - page 3 / 65
» Dualizability and graph algebras
Sort
View
CUZA
2010
158views Cryptology» more  CUZA 2010»
13 years 5 months ago
An Algebra of Hierarchical Graphs and its Application to Structural Encoding
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafue...
ORL
2008
115views more  ORL 2008»
13 years 7 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
13 years 7 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
12 years 11 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
ENDM
2010
103views more  ENDM 2010»
13 years 5 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...