Semi-Supervised Classification with Hybrid Generative/Discriminative Methods Gregory Druck, Chris Pal Xiaojin Zhu

Source URL: www.professeurs.polymtl.ca

CloudSeal: End-to-End Content Protection in Cloud-based Storage and Delivery Services Huijun Xiong§, Xinwen Zhang†, Wei Zhu†, and Danfeng Yao§ §Computer Science Department, Virginia Tech, Blacksburg, VA, USA {huij

Source URL: people.cs.vt.edu

KRust: A Formal Executable Semantics of Rust Feng Wang∗, Fu Song∗, Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School arXiv:1804.10806v1 [cs.PL] 28 Apr 2018

Source URL: arxiv.org

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Procedural programming languages
• High-level programming languages
• Object-oriented programming
• Immutable object
• This
• Rust
• Const

OMPS Limb Profiler Aerosol Extinction Product AER675: Version 1.0 Release Notes Matthew DeLand, P. K. Bhartia, Philippe Xu, Tong Zhu 17 FebruaryInstrument Introduction

Source URL: ozoneaq.gsfc.nasa.gov

Supporting Children and Families Experiencing Homelessness: CCDF State Self-Assessment Carie Bires, Carmen Garcia, Julia Zhu, Rose Gallagher About this self-assessment tool This self-assessment tool identifies key polic

Source URL: www.theounce.org

DAQ Architecture Design of Daya Bay Reactor Neutrino Experiment Fei Li, Xiaolu Ji, Xiaonan Li, Kejun Zhu Abstract–The main task of the data acquisition (DAQ) system in Daya Bay Reactor Neutrino Experiment is to record

Source URL: dayabay.ihep.ac.cn

New York Journal of Mathematics New York J. Math. 17a–112. A sharp norm estimate for weighted Bergman projections on the minimal ball Jocelyn Gonessa and Kehe Zhu

Source URL: nyjm.albany.edu

FY2011 HFIP Stream 1 Advancements at NCEP/EMC Performance of Operational Models Vijay Tallapragada*, Bill Lapenta, John Ward, John Derber, Hendrik Tolman, Yuejian Zhu, & Many Others at EMC *Hurricane Team Lead Environmen

Source URL: www.hfip.org

OMReasoner: Using Multi-matchers and Reasoner for Ontology Matching: results for OAEI 2012 Guohua Shen, Changbao Tian, Qiang Ge, Yiquan Zhu, Lili Liao, Zhiqiu Huang, Dazhou Kang Nanjing University of Aeronautics and Astr

Source URL: www.dit.unitn.it

Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor Patrick Colp†, Mihir Nanavati†, Jun Zhu‡, William Aiello†, George Coker∗, Tim Deegan‡, Peter Loscocco∗, and Andrew Warfield†

Source URL: tjd.phlegethon.org