Sciweavers

371 search results - page 27 / 75
» Expanders In Group Algebras
Sort
View
IPL
2006
118views more  IPL 2006»
13 years 8 months ago
Easy intruder deduction problems with homomorphisms
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
Stéphanie Delaune
CHI
2010
ACM
14 years 3 months ago
The effect of audience design on labeling, organizing, and finding shared files
In an online experiment, I apply theory from psychology and communications to find out whether group information management tasks are governed by the same communication processes...
Emilee Rader
SERP
2007
13 years 10 months ago
Developing an Online Function Reader
A function reader is a program that can read an input function and evaluate the function for a given input value at run time. Any Computer Algebra System and Graphing Calculator ar...
Mingshen Wu, Weihu Hong
CORR
2007
Springer
132views Education» more  CORR 2007»
13 years 8 months ago
Automatic Structures: Richness and Limitations
We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a...
Bakhadyr Khoussainov, André Nies, Sasha Rub...
BMCBI
2006
91views more  BMCBI 2006»
13 years 8 months ago
PeanutMap: an online genome database for comparative molecular maps of peanut
Background: Molecular maps have been developed for many species, and are of particular importance for varietal development and comparative genomics. However, despite the existence...
Arun M. Jesubatham, Mark D. Burow