Formal verification involves with proving properties about a system to make sure that the system is not free of bugs. There are two main methods for verification which are called model checking and theorem proving. Most current approaches to systems biology rely on model checking. Model checking is more automatic but not as general and […]

IMAX is a Canadian-born invention that has had little scholarly investigation despite its continued commercial success. The importance of this research project stems from the lack of scholarly research about the beginnings of IMAX as a Canadian-born invention and its place within the history media technology. In celebration of IMAX’s 50th anniversary, The Public Access […]

Total Shoulder Arthroplasty (TSA) is a surgical procedure to restore overall comfort and function of the affected shoulder. Traditional methods of TSA are highly invasive, and result in 68% of patients developing future complications post operation. Therefore, F. Rodriguez & J. Giles developed two paradigm shifting surgical methods to reduce the invasiveness of the surgery […]