Introduction to RenkuIntroduces Renku, a platform for collaborative data science, emphasizing reproducibility, shareability, reusability, and security.
Rall's Cable ModelExplores Rall's cable model, synaptic potential spread in dendrites, and compartmental modeling for neural simulations.
Crowdsourcing & CrowdfundingCovers the origins of ideas, crowdsourcing, successful conditions, and real-world examples like Waze and the Netflix Prize.
Crowdsourcing & CrowdfundingDelves into crowdsourcing and crowdfunding, showcasing examples like the Netflix Prize and the Facebook Translation Project.
Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Clean Order ProjectCovers the Clean Order Project, consisting of three deliverables worth 65% of the final grade.
