Vertex - PDFSEARCH.IO - Document Search Engine

Vertex
Results: 1582

#	Item
991	Faster possibility detection by combining two approaches Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-12 23:52:14 Formal methods Computability theory Models of computation Analysis of algorithms Algorithm Lambda calculus Big O notation Vertex cover Centimetre–gram–second system of units Mathematics Theoretical computer science Applied mathematics
992	Measuring Rationality with the Minimum Cost of Revealed Preference Violations Mark Dean and Daniel Martin Online Appendices - Not for Publication Add to Reading List Source URL: www.econ.brown.edu Language: English - Date: 2013-06-19 07:39:31 Complexity classes NP-complete problems Mathematical optimization Structural complexity theory NP-complete NP-hard P versus NP problem NP Vertex cover Theoretical computer science Computational complexity theory Applied mathematics
993	DrunkardMob: Billions of Random Walks on Just a PC Aapo Kyrola Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA, USA Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-10-18 07:43:55 Graph Degree Line graph Pseudoforest Graph theory Vertex Connectivity
994	GLIDE: A LANGUAGE FOR DESIGN INFORMATION SYSTEMS Charles Eastman and Max Henrion Institute of Physical Planning, School of Urban and Public Affairs and Department of Architecture, Carnegie-Mellon University Add to Reading List Source URL: design.osu.edu Language: English - Date: 2008-09-02 17:14:39 Computer-aided design Database management systems Polyhedra Deltahedra Polyhedron Vertex STL Icosahedron Attribute Geometry Euclidean geometry 3D computer graphics
995	Institute of Architecture of Application Systems Combining Declarative and Imperative Cloud Application Provisioning based on TOSCA Uwe Breitenbücher, Tobias Binz, Kálmán Képes, Oliver Kopp, Frank Leymann, Johannes Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2014-04-08 09:05:22 Electronics Telecommunications Provisioning Business Process Execution Language Orchestration Vertex Topology OASIS Cloud computing Process management Computing Systems engineering
996	EPJ manuscript No. (will be inserted by the editor) Complex networks in climate dynamics Comparing linear and nonlinear network construction methods Jonathan F. Donges1,2,a , Yong Zou1 , Norbert Marwan1 , and J¨ Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-07-24 15:37:21 Networks Algebraic graph theory Network analysis Centrality Betweenness centrality Clustering coefficient Correlation and dependence Distance Vertex Graph theory Mathematics Network theory
997	Math. Program., Ser. A DOI[removed]s10107[removed]FULL LENGTH PAPER On linear and semidefinite programming relaxations for hypergraph matching Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2011-08-15 06:07:56 Operations research NP-complete problems Linear programming Combinatorial optimization Mathematical optimization Vertex cover Linear programming relaxation Hypergraph Relaxation Mathematics Theoretical computer science Applied mathematics
998	OPERATING MANUAL VERTEX STANDARD CO., LTD[removed]Nakameguro, Meguro-Ku, Tokyo[removed], Japan VERTEX STANDARD Add to Reading List Source URL: f1mdt.free.fr Language: English - Date: 2007-01-29 07:43:35 Variable-frequency oscillator Electronics ATI Rage Electronic engineering Electronic design Oscillators
999	Local Search: Is Brute-Force Avoidable? Add to Reading List Source URL: ijcai.org Language: English - Date: 2009-06-22 08:17:00 Planar graphs NP-complete problems Tree decomposition Minor Apex graph Graph Clique-sum Neighbourhood Vertex cover Graph theory Theoretical computer science Graph operations
1000	Separability and Topology Control of Quasi Unit Disk Graphs Jianer Chen∗, Anxiao(Andrew) Jiang∗, Iyad A. Kanj† , Ge Xia‡ , and Fenghui Zhang∗ ∗ Dept. of Computer Science, Texas A&M Univ. College Station, TX Add to Reading List Source URL: www.cs.lafayette.edu Language: English - Date: 2006-11-14 14:35:41 Tree Graph Vertex Planar graph Connectivity Induced path Planar separator theorem Path decomposition Graph theory Graph operations NP-complete problems