Parsimonious Flooding in Dynamic Graphs∗ Hervé Baumann Pierluigi Crescenzi Pierre Fraigniaud

Source URL: www.liafa.jussieu.fr

• Mathematics
• Reachability
• Chernoff bound
• Random walk
• Random graph
• Statistics
• Graph connectivity
• Graph theory

Reachability-Guided Sampling for Planning Under Differential Constraints Alexander Shkolnik, Matthew Walter, and Russ Tedrake Abstract— Rapidly-exploring Random Trees (RRTs) are widely used to solve large planning prob

Source URL: ttic.uchicago.edu

• Robot control
• Artificial intelligence
• Geometry
• Discrete geometry
• Motion planning
• Voronoi diagram
• Tree
• Nonholonomic system
• Bridge
• Search algorithms
• Mathematics
• Rapidly-exploring random tree

Robot Placement based on Reachability Inversion Nikolaus Vahrenkamp, Tamim Asfour and R¨udiger Dillmann Institute for Anthropomatics Karlsruhe Institute of Technology Adenauerring 2, 76131 Karlsruhe, Germany Email: {vah

Source URL: wwwiaim.ira.uka.de

• Optics
• Graph connectivity
• Reachability
• Motion planning
• Humanoid robot
• Robot
• Industrial robot
• Voxel
• Pose
• Imaging
• Technology
• Robot kinematics

The iCub Grasping Pipeline Motion and Grasp Planning with Simox Nikolaus Vahrenkamp May 2012

Source URL: wwwiaim.ira.uka.de

• Robotics
• Humanoid robot
• Reachability
• Robot end effector
• Robot
• Kinematic chain
• Science
• Physics
• Science and technology in Europe
• Robot kinematics
• ICub

Finalization should not be based on reachability Hans-J. Boehm HP Labs (This benefited from discussions with Mike Spertus and others.)

Source URL: hboehm.info

• Computer programming
• Data types
• Method
• Object-oriented programming
• Automatic memory management
• Finalizer
• Weak reference
• Destructor
• Keepalive
• Computing
• Software engineering
• Memory management

On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability Igor Konnov, Helmut Veith, and Josef Widder ?

Source URL: forsyte.at

Exact Reachability Analysis for Planning Skew-Line Needle Arrangements for Automated Brachytherapy Animesh Garg1 , Timmy Siauw2 , Guang Yang1 , Sachin Patil3 , J. Adam M. Cunha2 , I-Chow Hsu2 , Jean Pouliot2 , Alper Atam

Source URL: www.ieor.berkeley.edu

• Brachytherapy
• Radiation treatment planning
• Prostate cancer
• Prostate brachytherapy
• Polyhedron
• Linear programming
• Prostate
• Radiation therapy
• Convex hull
• Medicine
• Medical physics
• Radiation oncology

Efficient Reachability Query Evaluation in Large Spatiotemporal Contact Datasets Houtan Shirani-Mehr Computer Science Dept. Univ. of Southern California

Source URL: infolab.usc.edu

• Applied mathematics
• Graph theory
• Reachability
• Directed acyclic graph
• Connected component
• SL
• Graph
• Graph connectivity
• Theoretical computer science
• Mathematics

Connectivity Games over Dynamic Networks Sten Grünera,1 , Frank G. Radmacherb,2,∗, Wolfgang Thomasb a RWTH Aachen University, Lehrstuhl für Prozessleittechnik, 52054 Aachen, Germany Aachen University, Lehrstuhl für

Source URL: www.automata.rwth-aachen.de

• Graph connectivity
• Reachability
• Connectivity

A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx Sergiy Bogomolov1 , Goran Frehse2 , Radu Grosu3 , Hamed Ladan1 , Andreas Podelski1 , and Martin Wehrle1,4 1

Source URL: ai.cs.unibas.ch

• Mathematics
• Applied mathematics
• Mathematical sciences
• Algorithm
• Mathematical logic
• Theoretical computer science