Optimizing a Meditation Retreat with a SAT Solver
Using a SAT solver and Python to automate the complex scheduling of student-teacher interviews at a Zen meditation retreat.
Using a SAT solver and Python to automate the complex scheduling of student-teacher interviews at a Zen meditation retreat.
A mathematical model exploring how the brain's perception of time changes based on event density and novelty.
A physics analysis of the optimal angle to jump from a swing for maximum distance, contrasting it with simple projectile motion.
Explores Bayesian inference when data strongly contradicts prior expectations, analyzing how heavy-tailed priors and likelihoods affect posterior beliefs.