University of Pennsylvania Universita di Bologna-INRIA EPI Focus;
University of Pennsylvania;
differential privacy; type systems; linear logic; dependent types;
机译:线性相关类型的差异隐私
机译:依赖元组下的差异隐私 - 基因组隐私的情况
机译:Cifbacterium Acnes诱导的差异炎症反应不依赖于应变型但与线性质粒的存在有关
机译:用于差异隐私的线性相关类型
机译:时间依赖性非线性参数化部分微分方程的面向目标的模型减少
机译:参数相关的线性和非线性动态偏微分方程模型的降阶建模
机译:线性相关类型的差异隐私