very severe choroidoretinitis, often complicated by blindness. Dominant type II PXE, on the other hand, is a much milder form of the disease, with a macular rash (though identical histological changes), no vascular changes, and a very mild retinal degeneration, which does not progress to either blindness or choroidoretinitis. Younger members of these families often have prominent choroidal vess...

Simulink is widely used within industry for simulation and model-driven development, and reactive behaviors are often modeled using an add-on called Stateflow. Argos is one of the synchronous languages that have been proposed for the specification, validation and implementation of reactive systems. It is a rigorously defined graphical notation which, though not as powerful as Stateflow, is much...

Kazhdan’s notion of property T has recently been imported to the C∗-world by Bekka. Our objective is to extend a well known fact to this realm; we show that a nuclear C∗-algebra with property T is finite dimensional (for all intents and purposes). Though the result is not surprising, the proof is significantly more complicated than the discrete group case. Among other things, it depends on the ...

We prove that any sufficiently small perturbation of an isosceles triangle has a periodic billiard path. Our proof involves the analysis of certain infinite families of Fourier series that arise in connection with triangular billiards, and reveals some self-similarity phenomena in irrational triangular billiards. Our analysis illustrates the surprising fact that billiards on a triangle near a V...

We show that a tree substitution grammar (TSG) induced with a collapsed Gibbs sampler results in lower perplexity on test data than both a standard context-free grammar and other heuristically trained TSGs, suggesting that it is better suited to language modeling. Training a more complicated bilexical parsing model across TSG derivations shows further (though nuanced) improvement. We conduct an...

Even though graphics hardware and 3D technologies are rapidly evolving, the development of three-dimensional applications is still complicated and demands expert knowledge. This paper investigates the component-based development of 3D applications. Current 3D component approaches are classified and a set of technical and authoring requirements for threedimensional component architectures derive...