Zhao - PDFSEARCH.IO - Document Search Engine

Zhao
Results: 1297

#	Item
721	arXiv:1401.2906v3 [math.CO] 18 AugAN Lp THEORY OF SPARSE GRAPH CONVERGENCE I: LIMITS, SPARSE RANDOM GRAPH MODELS, AND POWER LAW DISTRIBUTIONS CHRISTIAN BORGS, JENNIFER T. CHAYES, HENRY COHN, AND YUFEI ZHAO Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-08-18 20:27:12 Graph Dense graph Szemerédi regularity lemma Planar separator theorem Path decomposition Graph theory Mathematics Random graph
722	arXiv:1408.0744v1 [math.CO] 4 AugAN Lp THEORY OF SPARSE GRAPH CONVERGENCE II: LD CONVERGENCE, QUOTIENTS, AND RIGHT CONVERGENCE CHRISTIAN BORGS, JENNIFER T. CHAYES, HENRY COHN, AND YUFEI ZHAO Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-08-04 20:27:04 Dense graph Adjacency matrix Matroid theory Calculus Graph theory Mathematics Graph
723	Container security and cost distribution in China Hong Yan and Liang Zhao Department of Logistics and Maritime Studies The Hong Kong Polytechnic University Abstract Add to Reading List Source URL: www.icms.polyu.edu.hk Language: English - Date: 2013-04-14 21:39:32 Intermodal freight transport Cargo Container ship Transport Container terminals Containerization
724	Formalizing the LLVM Intermediate Representation for Verified Program Transformations ∗ Jianzhou Zhao Santosh Nagarakatte Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-01-05 09:49:14 Data types Type theory Compiler construction Primitive types Cross-platform software LLVM Type safety Blocks Pointer Software engineering Computing Computer programming
725	This is the author’s version of a work that was submitted/accepted for publication in the following source: Yang, Dongjiang, Zhao, Jian, Liu, Hongwei, Zheng, Zhanfeng, Adebajo, Moses O., Wang, Hongxia, Liu, Xiaotang, Z Add to Reading List Source URL: eprints.qut.edu.au Language: English - Date: 2014-04-04 04:57:21 Solar cells Titanium dioxide Photocatalysis Doping Nanofiber Ion Calcination Rutile Chemistry Photochemistry Oxides
726	中国人民大学学术论文被Engineering Information Compendex（EI）收录情况（2007年） No Title Author(s) Source ISSN / ISBN 1 A modified GJR-GARCH model with information disseminating speed Zhao, Guo Qing Add to Reading List Source URL: 202.112.118.40 Language: English - Date: 2009-03-19 03:22:01 Lecture Notes in Computer Science Year of birth missing Chen Yu Project 211 Project 985 Renmin University of China
727	Mechanized Verification of Computing Dominators for Formalizing Compilers Jianzhou Zhao and Steve Zdancewic University of Pennsylvania {jianzhou,stevez}@cis.upenn.edu Abstract. One prerequisite to the formal verification Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-10-15 15:20:25 Dominator Graph theory Depth-first search Tree traversal Computing Search algorithms Mathematics Compiler construction
728	Near-Optimal Communication-Time Tradeoff in Fault-Tolerant Computation of Aggregate Functions (This article is the full Technical Report version of the PODC’14 paper with the same title.) Yuda Zhao Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2014-05-20 04:10:09 Mathematics Combinatorial optimization Routing algorithms Applied mathematics Rope FO A* search algorithm Binary trees Theoretical computer science Search algorithms
729	Hold-On: Protecting Against On-Path DNS Poisoning Haixin Duan∗ , Nicholas Weaver†¶ , Zongxu Zhao∗ , Meng Hu∗ , Jinjin Liang∗ , Jian Jiang∗ , Kang Li‡ and Vern Paxson†§ ∗ Tsinghua University, Beijing, Add to Reading List Source URL: www.icir.org Language: English - Date: 2012-03-31 21:23:27 Network architecture Domain Name System Security Extensions DNS spoofing Name server Ping Google Public DNS CNAME record Tor Dynamic DNS Domain name system Internet Computing
730	Formal Verification of SSA-Based Optimizations for LLVM Jianzhou Zhao Santosh Nagarakatte† Milo M. K. Martin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-05-14 14:42:45 Interpretation Global value numbering Logic Computing Linguistics Compiler construction Static single assignment form Compiler optimizations

UPDATE