Let us refer to the number of Standards to be produced as x1 and the number of Executives as x2. To keep the numbers manageable, we'll suppose that each of these variables represents the production ...

Linear Logic; Lecture 1515-816 Linear Logic Lecture 15: Linear Lambda-Calculus In this lecture we switch from logic programming to functional programming. Since our logic is constructive, proofs can ...

This paper deals with linear programming techniques and their application in optimizing lecture rooms in an institution. This linear programming formulated based on the available secondary data ...

Physics and Python stuff. Most of the videos here are either adapted from class lectures or solving physics problems. I really like to use numerical calculations without all the fancy programming ...