Introduction to Lean
It’s a short introduction to lean theorem prover. It first part of the series covering Simple Type Theory and simple proof of infinitude of primes to give a feel of how it works.

How to read HeadCT
This blog reflects on how to read head CT scans and what are different types of bleeds?

Brain Anatomy using CT Scans
What is a CT scan? Brain components visible in CT scan and their relevance.

Introduction to Pydicom
This blog is a tutorial on pydicom which is a pure Python package for working with Dicom files. It lets you read, modify and write Dicom data in an easy “pythonic” way.

DICOM Standards
What is Dicom? What standards does it follow? OHIF Viewer Walkthrough.

Docker Overview
Leveraging docker to encourage reproducibility and easy maintainace of project.

Heartrate detection using camera
How euler video magnification can be used to magnify motion and color.

Knowledge Distillation
Transforming large deep learning models to smaller models woith imporved perform.

Book Recommendations

Never Split the Difference: Negotiating As If Your Life Depended On It
Christopher Voss and Tahl Raz

Thinking, Fast and Slow
Daniel Kahneman

Predictably Irrational
Dan Ariely

The Concise Laws of Human Nature
Robert Greene

The Psychology of Money: Timeless Lessons on Wealth, Greed, and Happiness
Morgan Housel


ASPECT Scoring
ASPECTS is a 10-point quantitative topographic CT scan score used for patients with middle cerebral artery (MCA) stroke. To compute ASPECTS, 1 point is subtracted from 10 for any evidence of early ischemic change for each of the defined regions. This CT score is simple and reliable and may be helpful in the early stages of care for supporting transfer or therapy decisions.

Writings - Ujjwal Upadhyay