Sciweavers

1559 search results - page 9 / 312
» Some Group Theory Problems
Sort
View
IANDC
2008
105views more  IANDC 2008»
14 years 9 months ago
Symbolic protocol analysis for monoidal equational theories
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
Stéphanie Delaune, Pascal Lafourcade, Denis...
HICSS
2006
IEEE
109views Biometrics» more  HICSS 2006»
15 years 3 months ago
Towards Using Technological Support of Group Memory in Problem-Solving Situations to Improve Self- and Collective Efficacy
Bandura’s theories of self- and collective efficacy are widely recognized in many fields, including psychology and management, but have been largely unnoticed by the Human-Compu...
Christopher Paul Middup, Peter Johnson
79
Voted
CRYPTO
2000
Springer
151views Cryptology» more  CRYPTO 2000»
15 years 2 months ago
New Public-Key Cryptosystem Using Braid Groups
Abstract. The braid groups are infinite non-commutative groups naturally arising from geometric braids. The aim of this article is twofold. One is to show that the braid groups ca...
Ki Hyoung Ko, Sangjin Lee, Jung Hee Cheon, Jae Woo...
79
Voted
CORR
2010
Springer
149views Education» more  CORR 2010»
14 years 9 months ago
Group Testing with Probabilistic Tests: Theory, Design and Application
Identification of defective members of large populations has been widely studied in the statistics community under the name of group testing. It involves grouping subsets of items...
Mahdi Cheraghchi, Ali Hormati, Amin Karbasi, Marti...
AISC
2004
Springer
15 years 3 months ago
New Developments in Symmetry Breaking in Search Using Computational Group Theory
Symmetry-breaking in constraint satisfaction problems (CSPs) is a well-established area of AI research which has recently developed strong interactions with symbolic computation, i...
Tom Kelsey, Steve Linton, Colva M. Roney-Dougal