Sciweavers

1054 search results - page 108 / 211
» Determining Computing Science's Role
Sort
View
BMCBI
2006
102views more  BMCBI 2006»
15 years 1 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
15 years 8 months 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
653
Voted

Book
2982views
16 years 6 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
15 years 8 months 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
100
Voted
SIGECOM
2005
ACM
105views ECommerce» more  SIGECOM 2005»
15 years 7 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