An Wang

Results: 334



#Item
1Mathematics / Mathematical analysis / Algebra / Field theory / Measure theory / Commutative algebra / Localization / Valuation ring / Metric space / Ergodic flow / Abelian von Neumann algebra

Metric sparsification and operator norm localization Xiaoman Chen, Romain Tessera, Xianjin Wang, Guoliang Yu November 13, 2007 Abstract We study an operator norm localization property and its applications

Add to Reading List

Source URL: www.normalesup.org

Language: English - Date: 2007-11-13 16:29:19
2Computer architecture / Computing / Formal methods / Logic in computer science / Kernel / Linux kernel / L4 microkernel family / Mach / Verification / X86-64 / Formal verification / Satisfiability modulo theories

Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

Add to Reading List

Source URL: unsat.cs.washington.edu

Language: English - Date: 2018-08-21 17:45:06
3

Reliability as an Interdomain Service Hao Wang⋆ Yang Richard Yang⋆ Paul H. Liu⋆ Jia Wang† Alexandre Gerber† Albert Greenberg§ AT&T Labs – Research† Microsoft Research§

Add to Reading List

Source URL: thev.net

Language: English - Date: 2007-07-19 15:37:44
    4Mathematical logic / Logic / Type theory / Theoretical computer science / Logic in computer science / Automated theorem proving / Reasoning / Program analysis / Natural deduction / Logical framework / Resolution / First-order logic

    KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304

    Add to Reading List

    Source URL: www.kestrel.edu

    Language: English - Date: 2012-08-08 19:03:01
    5

    Walkie-Talkie: An Efficient Defense Against Passive Website Fingerprinting Attacks Tao Wang Department of Computer Science and Engineering Hong Kong University of Science and Technology

    Add to Reading List

    Source URL: www.cypherpunks.ca

    Language: English - Date: 2017-06-12 13:38:20
      6

      Geospatial Mapping and Navigation for Autonomous Vehicles Prof. Jinling Wang School of Civil & Environmental Engineering University of New South Wales, Sydney, Australia GNSS, used for mapping and positioning, is an ess

      Add to Reading List

      Source URL: event.lsgi.polyu.edu.hk

      Language: English - Date: 2017-11-21 06:01:50
        7

        Off-board Visual Odometry and Control of an Ultralight Quadrotor MAV Kun Li∗, Rui Huang, Swee King Phang, Shupeng Lai, Fei Wang, Ping Tan, Ben M. Chen and Tong Heng Lee Department of Electrical and Computer Engineering

        Add to Reading List

        Source URL: www.imavs.org

        Language: English - Date: 2016-10-25 08:53:39
          8

          1 Towards Hybrid Intelligence for Robotics SAI R. GOURAVAJHALA, JEAN YOUNG SONG, JINYEONG YIM, RAYMOND FOK, YANDA HUANG, FAN YANG, KYLE WANG, YILEI AN, and WALTER S. LASECKI, University of Michigan

          Add to Reading List

          Source URL: web.eecs.umich.edu

          Language: English - Date: 2018-01-09 09:32:30
            9

            INDAPSON: An Incentive Data Plan Sharing System Based on Self-Organizing Network Tuo Yu∗ , Zilong Zhou∗ , Da Zhang∗ , Xinbing Wang∗ , Yunxin Liu† , Songwu Lu§ ∗ Dept. of Electronic Engineering, Shanghai Jiao

            Add to Reading List

            Source URL: iwct.sjtu.edu.cn

            Language: English - Date: 2014-01-14 02:19:52
              10

              2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Delving into Internet DDoS Attacks by Botnets: Characterization and Analysis An Wang George Mason University

              Add to Reading List

              Source URL: www.cs.ucf.edu

              Language: English - Date: 2017-08-24 12:04:22
                UPDATE