In realms as broad as electrical engineering, acoustics, optics, signal processing, quantum mechanics, and econometrics, the Fourier Series, Fourier Transform, and Discrete-time Fourier Transform play

Convolutional neural networks are camera lenses to a computer. The analogy does not stop at the point that both compress visual information: The evolution of convolutional neural network architectu

今之博客，乃昔（初高中）之错题本之翻版也。昔之背景知识、解题思路、高效算法，今之认识、洞见，皆为辛苦求索所得，故笔录之，以期日积月累，唯“应试”“科研”之直接目的异也。 This blog is a replica of our previous “problem books” used for junior and senior high school. In the past, we woul

We have compiled a timetable of well-known conferences in different subdomains of computer science based on the Class A and Class B conferences in “Directory of International Academic Conferences and

Mon 17 JulSession 1 FUZZING at Amazon Auditorium (Gates G20)Welcome and IntroductionsThe following reviewing criteria for workshop papers can serve as a guide for us in writing papers: Is the problem

10:30 - TalksLinear Types for Systems VerificationIt is a good idea to embed verification information in type system of a programming language. Verified Program Construction Program verification is ha

NOTE: This is a Paper Reading for Topics in Programming Languages: Type Systems. The original paper can be found here. SummaryYou can check the presentation that I made for this paper in this GitHub r

NOTE: This is a Paper Reading for Topics in Programming Languages: Type Systems. The original paper can be found here. SummaryThis paper presents a clear and organized guide to refinement type systems

NOTE: This is a Paper Reading for Topics in Programming Languages: Type Systems. The original paper can be found here. SummaryThe paper first defines and compares parametric and ad-hoc polymorphism an

Fixed-point Combinators, Tying the Recursive Knot, and Recursive Lambda ExpressionsIn Lambda Calculus, we cannot refer to the Lambda Abstraction itself within a Lambda Abstraction. Similarly, C++ does