OpenShift Survival GuideProvides a survival guide for OpenShift, covering node setup, service management, configuration handling, and issue troubleshooting.
Crowdsourcing & CrowdfundingCovers the origins of ideas, crowdsourcing, successful conditions, and real-world examples like Waze and the Netflix Prize.
Rall's Cable ModelExplores Rall's cable model, synaptic potential spread in dendrites, and compartmental modeling for neural simulations.
Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
