[其它] li:个人网站-源码

说明：研究兴趣 软件工程，软件验证，形式化方法 静态和动态分析技术的结合，即互补的证明和测试 并发面向对象程序的静态分析 教育 博士生，软件工程（2020年至今） 沙夫豪森理工学院 顾问： 硕士，软件工程（2017-2019） 中山大学数据与计算机科学学院 硕士学位论文：使用Simulink Design Verifier验证网络物理系统中（非）功能需求的工具支持的验证 GPA：4.4 / 5.0 指导老师： 软件工程学士（2013-2017） 中山大学数据与计算机科学学院 GPA：3.9 /
<weixin_42129797> 上传 | 大小：274kb

[其它] Car_Racing_Game-源码

说明：Car_Racing_Game
<weixin_42143161> 上传 | 大小：1mb

[其它] 用于多类分类的非并行超平面支持向量机

说明：用于多类分类的非并行超平面支持向量机
<weixin_38562725> 上传 | 大小：270kb

[其它] Atividade_Faculdade_Readme-源码

说明：Passo a passo de como usar or R paraprojeções3D Trabalho de Luiza Alencar e Lucas Renan 示例1（ ） 否RStudio File - > New project -> New Directory -> New Project Coloque qualquer nome否目录名称 Create project 没有控制台escreva install.packages("plot3D"
<weixin_42121086> 上传 | 大小：223kb

[其它] prasad-源码

说明：prasad
<weixin_42173205> 上传 | 大小：1kb

[其它] SEER-源码

说明：用于有效强化学习（SEER）的存储嵌入 官方代码库，用于来。 Rainbow代码库最初是从Kaixhin的分叉的，而CURL代码库最初是从分叉的。 BibTex 彩虹+ SEER 指示 请参阅Kaixhin的。 其他超参数是steps_until_freeze。 在脚本文件夹中可以找到使用大型重放缓冲区（run_lb_alien.sh）和小型重放缓冲区（run_sb_alien.sh）的示例脚本。 卷发+ SEER 指示 请参阅说明。 其他超参数是steps_until_freeze和num_c
<weixin_42110038> 上传 | 大小：756kb

[其它] Curneu-Assessment-源码

说明：Curneu-Assessment
<weixin_42122988> 上传 | 大小：1mb

[其它] twiiter-caring-rabbit-bot:这是一个通过Apache Kafka流发送兔子图片并在Twitter上发布贴心消息的机器人-源码

说明：卡夫卡关爱机器人 这是一个通过Apache Kafka流发送兔子图片并在Twitter上发布贴心消息的机器人。
<weixin_42129970> 上传 | 大小：2kb

[其它] leverage-calculator:invest投资时计算适当的杠杆和清算点-源码

说明：leverage-calculator:invest投资时计算适当的杠杆和清算点
<weixin_42113754> 上传 | 大小：3kb

[其它] BERT-Article-Recommender-with-Faiss:BERT-Fais推荐人-源码

说明：BERT-Article-Recommender-with-Faiss:BERT-Fais推荐人
<weixin_42102933> 上传 | 大小：8kb

[其它] Algorithm:基于java语言的算法-源码

说明：Algorithm:基于java语言的算法
<weixin_42136837> 上传 | 大小：399kb

[MySQL] MySQL.zip数据库用表

说明：搭配MySQL食用
<qq_45366447> 上传 | 大小：4kb