March 16, 1875

Friday 16 March 2018

Peter MacCallum Cancer Centre (Peter Mac) is a public radiation therapy service operating five campuses across metropolitan Melbourne and regional Victoria. Radiation therapist-driven research is critical to drive innovation, professional development and improve patient outcomes. However, providing an integrated research approach to a diverse Peter Mac workforce of 200+ radiation therapists pos...

Lecture 16 - March 22 , 2012

In the last lecture we talked about how to support dynamic graphs with respect to operations which included insertion and deletion of edges and looking for existence of path between two vertices. In this lecture we will talk about supporting all pair shortest paths along with addition, deletion and updation of edges in O(n2 log n) amortized time on the graphs with non negative real-valued edge ...

Lecture 13 – March 16 , 2016

Consider a bipartite graph G = (V,E) with parts N and M as shown in Figure 1. The function f(A) = |NG(A)| for A ⊆ N , where NG(A) is the neighborhood of set A, is a submodular function. A practical example is adding sensors to observe an area. Adding a new sensor will either cover an entirely new area, or overlap with area that is already covered. For sensor subsets A and B with A ⊆ B, the new ...

Propositions as Sessions ( DRAFT of 13 March 2012 , revised 16 March 2012 )

Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions of classical linear logic correspond to session types. Continuing a line of work by Honda (1993), by Honda, Kubo, and Vasconcelos (1998), and by Gay and Vasconcelos (2010), among others, this paper presents GV, a line...

Notes on Lectures 1 - 5 Aleksey Zinger March 16 , 2010