Reflex Solar Concentrator
Solar energy collectors are often expensive paraboloids of revolution but perfect focussing can also be achieved by using an ingenious combination of developable metal sheets. The aim of this project is to study the effect of small imperfections on the efficiency of such a collector.
11:30
Monadic Second Order interpretations
Abstract
MSO can be used not only to accept/reject words, but also to transform words into other words, e.g. the doubling function w $\mapsto$ ww. The traditional model for this is called MSO transductions; the idea is that each position of the output word is interpreted in some position of the input word, and MSO is used to define the order on output positions and their labels. I will explain that an extension, where output positions are interpreted using $k$-tuples of input positions, is (a) is also well behaved; and (b) this is surprising.