In a distributed storage system, due to increase of storage capacity of a node, efficient repair of failed nodes is becoming increasingly important in addition to ensuring a given level of reliability and low storage overhead.

Logic is an important field of research with many aspects. In this talk we will discuss in particular the difference between logic as reasoning and logic as a theory about reasoning.

We look at a two-player game played on a weighted directed graph. The game begins by placing a pawn on a vertex in the graph. The players then take turns moving the pawn to an adjacent vertex in the graph, yielding an infinite walk in the graph.

I will talk about the maximum weighted matching problem in the streaming model. In this model, an algorithm receives edges of a graph one by one.