迹影-CSDN博客

翻译论文笔记：Zero Knowledge Static Program Analysis

本文主要用于自己回忆，写的不详细，只有大致框架，详细内容移步原paperZero Knowledge Static Program Analysis摘要：本文提出了零知识静态分析的概念，帮助验证秘密代码是否存在漏洞，且不泄漏秘密代码的内容。作者分别提出了intra-和inter-procedural两种抽象表达。1. Introduction静态分析是一种常见的用于验证代码的工具/方法。但是静态分析需要由证明者获得源码，因此对于秘密的不愿公开的代码很难使用静态分析，如涉及敏感信息（如人中，性或其他

2022-01-07 18:35:55 325 3

原创组会记录帖

组会记录一、确认models二、确认Evaluation Metrics三、考虑GCN对于fairness的影响一、确认models要确定几个RS。可以考虑选一个MF-based，然后再看基于MC的RS，选两个：基于GCN和没有GCN。二、确认Evaluation Metrics包括RMSE在内的各种衡量推荐系统好坏的metrics和各种衡量fairness的metrics三、考虑GCN对于fairness的影响本质上我们要理解GCN对于fairness的影响：是否把fairness 的问题更强

2021-05-26 15:16:24 103

原创 GNN+RS相关论文(不定期更新）

有关GNN+RS的论文综述性质论文： [Graph Learning Approaches to Recommender Systems: A Review]三种GNN+RS网络类型：GAT+RS，GGNN+RS，GCN+RSGATRS： Graph Attention network based RS，使用attention机制，区别的学习不同的关联，以此来整合邻里信息。GGNNRS： Gated Graph Neural Networdk based RS，使用GRU（Gated Recum

2021-03-05 18:30:36 209

原创 fairness相关问题论文存档

fairness相关问题论文存档Fairness & Discrimination in Retrieval & RecommendationSIGIR2019年上的关于fairness问题在RS中的讨论（https://fair-ia.ekstrandom.net/sigir2019-slides.pdf）Fairness Through Awareness (https://dl.acm.org/doi/pdf/10.1145/2090236.2090255)User Fair

2021-02-22 14:10:10 209

原创通过归约法证明NP complete等问题

通过归约法证明NP complete等问题归约法（reduce)归约法（reduce)归约法是一种常见的证明NP complete等问题的手段。根据计算理论导论（Introduction to the Theory of Computation）一书中的介绍，归约法证明的一般方法步骤为：证明问题是NP或P（时间复杂度下，空间复杂度为PSPACE或NPSPACE等）的，证明的方法通常为在多项是时间内证明给出的NP问题的解为正确的（P问题则需要构造一个多项是时间内的算法，空间下的不再说，请自行查阅）。

2020-12-16 17:02:47 558

原创安装ubuntu、debian时出现“grub-install failed”或“grub-install dummy failed”等情况

针对十代处理器做出的解答。电脑处理器为i5或i7十代（10开头）时，安装ubuntu、debian等Linux操作系统可能会出现grub-install failed的情况。由于十代的uefi是默认启动项，且无法修改为legacy模式，所以更改启动项无法解决此类问题。安装的时候自行分区的话，也会出现efi分区无法写入的情况。原因是十代cpu太新了，对旧版本的Linux内核不能很好的兼容，博主目前试过5.4，5.7和5.8三个版本，只有5.7和5.8的版本可安装，且5.7安装后会出现缺少网卡驱动等问题

2020-09-30 02:20:07 5827 1

原创 2018牛客多校赛第二场 J-farm（二进制位运算思想+二维差分数组）

这个位运算+二维差分数组对于我这种菜鸡来说可以说是神思维了。。即使想到了用差分数组搞一搞，但是根本想不到位运算啊orz。。事后看了好多题解，终于理解了位运算的思维，赶快记录下来题目链接：https://www.nowcoder.com/acm/contest/140/J题解思路：先考虑只有0和1两种数的情况，如果这一位植物是0，撒完农药后这一位有1，说明必死，同理对于1也一样。至于处理...

2018-07-27 14:45:37 474 1

qq_35353742的博客