Reachability - PDFSEARCH.IO - Document Search Engine

Reachability
Results: 243

#	Item
191	Active Graph Reachability Reduction for Network Security and Software Engineering Alice X. Zheng Microsoft Research Redmond, WA [removed] Add to Reading List Source URL: alicezheng.org Language: English - Date: 2013-11-10 20:05:00 Graph Cut Shortest path problem Flow network Connectivity Graph theory Theoretical computer science Mathematics
192	Vertexica: Your Relational Friend for Graph Analytics! Alekh Jindal∗ Samuel Madden∗ Praynaa Rawlani∗ Amol Deshpande⋆ Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-09-10 16:19:45 Graph database Graph Shortest path problem Connected component Bipartite graph Connectivity Path Reachability Vertex Graph theory Mathematics Graph connectivity
193	Proceedings of the 2006 American Control Conference Minneapolis, Minnesota, USA, June 14-16, 2006 FrA16.5 Stochastic Reachability Analysis in Complex Biological Networks Add to Reading List Source URL: sysos.eng.ox.ac.uk Language: English - Date: 2012-03-04 12:58:45 Markov chain Langevin equation Martingale Infinitesimal generator Markov process Statistics Stochastic processes Stochastic differential equation
194	Secure Network Provenance Wenchao Zhou Qiong Fei Arjun Narayan Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-10-08 18:41:08 Connectivity Combinatorics Reachability Graph Tree Theoretical computer science Search algorithms Graph theory Mathematics Graph connectivity
195	Camp reachAbility 2014 Camper Registration Form If you are a client of a program with the Department of Community Services (DCS) please indicate here Please provide the residence name and contact number If you are in re Add to Reading List Source URL: campreachability.org Language: English - Date: 2014-03-10 09:33:11 Knowledge Gaming Recreation Camping Video game culture Recreational vehicle
196	Secure Network Provenance Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-09-02 10:11:23 Connectivity Reachability Graph Flow network Decomposition method Graph theory Mathematics Graph connectivity
197	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 Add to Reading List Source URL: ieor.berkeley.edu Language: English - Date: 2014-04-26 02:12:22 Brachytherapy Radiation treatment planning Prostate cancer Prostate brachytherapy Polyhedron Linear programming Prostate Radiation therapy Convex hull Medicine Medical physics Radiation oncology
198	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research; University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2014-05-21 11:37:06 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number FO Theoretical computer science Applied mathematics Electronic design automation
199	VIRTUAL REALITY LAB CAPABILITIES: • Walkthroughs (Aircraft cabin, manufacturing areas, offices, housing etc…) • Ergonomic reachability studies Add to Reading List Source URL: www.niar.wichita.edu Language: English - Date: 2014-04-21 14:51:38 Nvidia Quadro Technology Information technology management 3dvia Nvidia Tesla WirelessHD Video cards Nvidia Computing
200	VIRTUAL REALITY LAB CAPABILITIES: • Walkthroughs (Aircraft cabin, manufacturing areas, offices, housing etc…) • Ergonomic reachability studies Add to Reading List Source URL: www.niar.twsu.edu Language: English - Date: 2014-04-21 14:51:38 Nvidia Quadro Technology Information technology management 3dvia Nvidia Tesla WirelessHD Video cards Nvidia Computing