Static analyzer for C/C++ based on the theory of Abstract Interpretation.

A framework for the elicitation, specification, formalization and understanding of requirements.

Automated Analysis Framework for Simulink/Stateflow models.

A Keras implementation of YOLOv3 (Tensorflow backend)

嗨！thesis！哈尔滨工业大学毕业论文LaTeX模板

整合uav模型与gazebo环境，开放测试demo，可使用键盘控制无人机进行遥控飞行与飞行状态数据检测等，是本项目的初步仿真环境成果展示。

KDD Cup 2020 Challenges for Modern E-Commerce Platform: Debiasing Full榜15 Half榜13

易观性别年龄预测第一名解决方案

Direct Sparse Odometry

Easy-to-use,Modular and Extendible package of deep-learning based CTR models.

Linux resource monitor

NLP 相关的一些文档、论文及代码, 包括主题模型(Topic Model)、词向量(Word Embedding)、命名实体识别(Named Entity Recognition)、文本分类(Text Classificatin)、文本生成(Text Generation)、文本相似性(Text Similarity)计算、机器翻译(Machine Translation)等，涉及到各种与…

Code for the book Grokking Algorithms (https://amzn.to/29rVyHf)

Deep Learning for humans

Linearization and nonlinear simulation of unstable F-16 Aircraft

PointNet: Deep Learning on Point Sets for 3D Classification and Segmentation

Convert video to 3D pose in one-key.

2019 HUAWEI DIGIX Nurbs Solutions

pointnet2 implemented using keras and tensorflow

Python实现经典分类回归、关联分析、聚类以及推荐算法等

Frustum PointNets for 3D Object Detection from RGB-D Data

Specification and Simulink Models of the Space Shuttle On-Orbit Flight Control System

A modular Lustre to C / Horn clauses compiler

Simulink files to simulate a pitch and roll angle LQG controller

Quadrotor / UAV Simulator using Matlab, Simulink and Flightgear Visualization