Plasters are produced from a light refractory material, mainly MgO (M.P. 2800ºC), a binder, and a void forming substance for insulating purposes. Different oxides from the slag penetrate into these voi...

The structure and function of the medial superior olive (MSO) is highly variable among mammals. In species with large heads and low-frequency hearing, MSO is adapted for processing interaural time differences. In some species with small heads and high-frequency hearing, the MSO is greatly reduced in size; in others, including those echolocating bats that have been examined, the MSO is large. Mo...

In this thesis we study the expressive power of variants of monadic second-order logic (MSO) on infinite trees by means of automata. In particular we are interested in weak MSO and well-founded MSO, where the second-order quantifiers range respectively over finite sets and over subsets of well-founded trees. On finitely branching trees, weak and well-founded MSO have the same expressive power a...

  A<span style="font-size: 10.0pt; font-family: 'Times New Roman','serif'; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-...