Sciweavers

1274 search results - page 192 / 255
» Graph lambda theories
Sort
View
CORR
2010
Springer
173views Education» more  CORR 2010»
13 years 9 months ago
The Naming Game in Social Networks: Community Formation and Consensus Engineering
We study the dynamics of the Naming Game [Baronchelli et al., (2006) J. Stat. Mech.: Theory Exp. P06014] in empirical social networks. This stylized agentbased model captures essen...
Qiming Lu, Gyorgy Korniss, Boleslaw K. Szymanski
CORR
2006
Springer
98views Education» more  CORR 2006»
13 years 9 months ago
A field-theory motivated approach to symbolic computer algebra
Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be ...
Kasper Peeters
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 9 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen
JGT
2008
83views more  JGT 2008»
13 years 9 months ago
Monochromatic Hamiltonian t-tight Berge-cycles in hypergraphs
Abstract: In any r-uniform hypergraph H for 2 t r we define an runiform t-tight Berge-cycle of length , denoted by C(r,t) , as a sequence of distinct vertices v1, v2, . . . , v ,...
Paul Dorbec, Sylvain Gravier, Gábor N. S&aa...
JSW
2008
203views more  JSW 2008»
13 years 8 months ago
Automatic Discovery of Semantic Relations Based on Association Rule
Automatic discovery of semantic relations between resources is a key issue in Web-based intelligent applications such as document understanding and Web services. This paper explore...
Xiangfeng Luo, Kai Yan, Xue Chen