Sciweavers

1054 search results - page 108 / 211
» Determining Computing Science's Role
Sort
View
BMCBI
2006
102views more  BMCBI 2006»
15 years 6 months ago
Taking U out, with two nucleases?
Background: REX1 and REX2 are protein components of the RNA editing complex (the editosome) and function as exouridylylases. The exact roles of REX1 and REX2 in the editosome are ...
I. Saira Mian, Elizabeth A. Worthey, Reza Salavati
SACMAT
2009
ACM
16 years 25 days ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri

Book
2982views
16 years 11 months ago
Navigating Mobile Robots: Sensors and Techniques
It's a complete robotic navigation cookbook! "This book surveys the state of the art in sensors, systems, methods and technologies utilized by a mobile robot to determin...
J. Borenstein, H. R. Everett, and L. Feng
MFCS
2007
Springer
16 years 13 days ago
Hardness Results for Tournament Isomorphism and Automorphism
A tournament is a graph in which each pair of distinct vertices is connected by exactly one directed edge. Tournaments are an important graph class, for which isomorphism testing ...
Fabian Wagner
SIGECOM
2005
ACM
105views ECommerce» more  SIGECOM 2005»
15 years 12 months ago
Communication complexity of common voting rules
We determine the communication complexity of the common voting rules. The rules (sorted by their communication complexity from low to high) are plurality, plurality with runoff, ...
Vincent Conitzer, Tuomas Sandholm