Calendar

Posts organized

by date.

January 2022

Mon Tue Wed Thu Fri Sat Sun

1 Separation Logic: The Frame Rule, Separating Conjunction, and Concurrent Verification

2 Designing A Lagrangian Relaxation Algorithm For The Traveling Salesman Problem With 1 Trees

3

4

5

6

7

8

9

10 A Practical Guide To Gradient Boosting: Xgboost’S Weighted Quantile Sketch And Sparsity Aware Split Finding Process Calculi: Milner's CCS, the π-Calculus, Bisimulation, and Session Types for Protocol Correctness

11

12

13

14

15 Domain Theory: Scott's D∞ Construction, Denotational Semantics, and the Mathematics of Recursive Types

16

17

18

19 The Implementation Of A Random Forest Training In Mpi: Feature Subsampling And Oob Error Estimation

20 Abstract Interpretation: The Cousot Framework, Galois Connections, and Sound Static Analysis by Construction Building A Distributed Matrix Factorization Using Alternating Least Squares (Als) In Apache Spark The Theory Of Online Convex Optimization With Regret Bounds: Follow The Leader Vs. Gradient Descent

21

22

23

24

25

26 A Comprehensive Look At The Alpha Beta Pruning Algorithm For Game Trees: Expectiminimax And Heuristic Evaluation

27

28

29 Implementing A Minimax Player For Go With Monte Carlo Tree Search (Mcts) And Ucb1 Selection

30 The Performance Of The Bidibfs Algorithm For Unweighted Shortest Paths In Social Networks

31 Markov Chains for Computer Science: MCMC, Mixing Times, and Randomized Algorithms