Analytic surgery, as defined in [9] and [6], is a one-parameter metric deformation of a Riemannian manifold M , which stretches M across a separating hypersurface H in a cylindrical fashion; the singular limit is a complete manifold with asymptotically cylindrical ends, M . In this paper, the analysis of [9] and [6] is used to study the behaviour of analytic torsion of unitary representations u...

Over the last decade, researchers have developed sophisticated online learning environments to support students engaging in argumentation. This review first considers the range of functionalities incorporated within these online environments. The review then presents five categories of analytic frameworks focusing on (1) formal argumentation structure, (2) normative quality, (3) nature and func...

Encrypted protocols, such as SSL, are becoming more prevalent because of the growing use of e-commerce, anonymity services, and secure authentication. Likewise, traffic analysis is becoming more common because it is often the only way to analyze these protocols. Though there are many valid uses for traffic analysis (such as network policy enforcement and intrusion detection), it can also be use...

I describe two approaches to modelling the universe, the one having its origin in topos theory and differential geometry, the other in set theory. The first is synthetic differential geometry. Traditionally, there have been two methods of deriving the theorems of geometry: the analytic and the synthetic. While the analytical method is based on the introduction of numerical coordinates, and so o...

One of the questions frequently asked nowadays about model theory is whether it is still logic. The reason for asking the question is mainly that more and more of model theoretic research focuses on concrete mathematical fields, uses extensively their tools and attacks their inner problems. Nevertheless the logical roots in the case of model theoretic geometric stability theory are not only cle...

This paper discusses the phenomenon of analytic and synthetic verb forms in Modern Irish, which results in a widespread system of morphological blocking. I present data from Modern Irish, then briefly discuss two earlier theoretical approaches. I introduce an alternative, agreement-based solution, involving 1) a finite-state morphological analyzer for verb forms implemented using the FST toolse...