Sciweavers

923 search results - page 8 / 185
» On a generalization of Stickelberger's Theorem
Sort
View
DAM
1998
85views more  DAM 1998»
13 years 6 months ago
Separability Generalizes Dirac's Theorem
In our study of the extremities of a graph, we define a moplex as a maximal clique module the neighborhood of which is a minimal separator of the graph. This notion enables us to...
Anne Berry, Jean Paul Bordat
MCSS
2007
Springer
13 years 6 months ago
An ISS small gain theorem for general networks
We provide a generalized version of the nonlinear small gain theorem for the case of more than two coupled input-to-state stable (ISS) systems. For this result the interconnection...
Sergey Dashkovskiy, Björn Rüffer, Fabian...
JCT
2007
82views more  JCT 2007»
13 years 6 months ago
A new generalization of Mantel's theorem to k-graphs
Let the k-graph Fank consist of k edges that pairwise intersect exactly in one vertex x, plus one more edge intersecting each of these edges in a vertex different from x. We prov...
Dhruv Mubayi, Oleg Pikhurko
TCC
2004
Springer
118views Cryptology» more  TCC 2004»
14 years 1 days ago
A General Composition Theorem for Secure Reactive Systems
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
Michael Backes, Birgit Pfitzmann, Michael Waidner
CADE
2009
Springer
14 years 7 months ago
A Generalization of Semenov's Theorem to Automata over Real Numbers
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...
Bernard Boigelot, Jérôme Leroux, Juli...