Sciweavers

1507 search results - page 37 / 302
» Separating Complexity Classes Using Structural Properties
Sort
View
ICNP
1998
IEEE
14 years 2 months ago
A Proof Technique for Liveness Properties of Multifunction Composite Protocols
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
J. Park, R. Miller
SCHOLARPEDIA
2008
122views more  SCHOLARPEDIA 2008»
13 years 8 months ago
Calogero-Moser system
ABSTRACT. We discuss a special eigenstate of the quantized periodic CalogeroMoser system associated to a root system. This state has the property that its eigenfunctions, when rega...
Francesco Calogero
IEEEICCI
2005
IEEE
14 years 3 months ago
Formal concept analysis based on hierarchical class analysis
The study of concept formation and learning is a central topic in cognitive informatics. Formal concept analysis can be viewed as an approach on this topic based on a formal conte...
Yaohua Chen, Yiyu Yao
SIAMREV
2010
170views more  SIAMREV 2010»
13 years 4 months ago
Network Properties Revealed through Matrix Functions
The newly emerging field of Network Science deals with the tasks of modelling, comparing and summarizing large data sets that describe complex interactions. Because pairwise affin...
Ernesto Estrada, Desmond J. Higham
ICCSA
2004
Springer
14 years 3 months ago
Molecular Simulation of Reaction and Adsorption in Nanochemical Devices: Increase of Reaction Conversion by Separation of a Prod
We present a novel simulation tool to study fluid mixtures that are simultaneously chemically reacting and adsorbing within a molecularly porous material. The method is a combinat...
William R. Smith, Martin Lísal