A Rewriting-Logic-Based Technique for Modeling Thermal Systems
A RFID-based Campus Context-Aware Notification System
A rich hierarchy of functionals of finite types
A Rich Population of Massive Young Stars in the Cluster Westerlund 1
A Richer Understanding of the Complexity of Election Systems
A rifted inside corner massif on the Mid-Atlantic Ridge at 5°S
A rigorous definition of axial lines: ridges on isovist fields
A Rigorous Extension of the Schönhage-Strassen Integer Multiplication Algorithm Using Complex Interval Arithmetic
A risk profile for information fusion algorithms
A Ritzian interpretation of variable stars
A robotic exploration mission to Mars and PHOBOS
A Robotic Rover-Based Deep for Mars Exploration
A robotic telescope network for space debris identification and tracking
A robotic wide-angle Hα survey of the southern sky
A robotically constructed production and supply base on Phobos
A Robotics Perspective On Human Spaceflight
A Robust and Computational Characterisation of Peer-to-Peer Database Systems
A Robust and Efficient Node Authentication Protocol for Mobile Ad Hoc Networks
A Robust and Efficient Three-Layered Dialogue Component for a Speech-to-Speech Translation System
A Robust and Efficient Trust Management Scheme for Peer-to-Peer Networks