Thesis (M.Soc.Sc.)--University of Hong Kong, 1994. / Includes bibliographical references (leaves 183-190). Also available in print.

Este trabalho consiste no desenvolvimento de uma metodologia para a obtenção de representações construtivas de sistemas ordenados de 2ª ordem, baseadas em estruturas de espaços coerentes, com aplicação fundamental na Computação Científica e Matemática Intervalar. Obtêm assim uma representação global para os objetos ditos infinitos relativamente ao conteúdo de informação, como números reais e intervalos reais, de tal forma que possam ser definidos modelos semânticos adequados para os processos computacionais envolvendo tais objetos. Esta representação construtiva é denominada de global, pois é realizada em dois níveis distinguíveis, compreendendo não somente a construção interna dos objetos, no contexto de uma da estrutura de informação, mas também sua estrutura externa de aplicação. A estrutura de informação tem caráter compatível com uma abordagem domínio-teorética, e a estrutura de aplicação e determinada pelo use pretendido do sistema representado. Existe um relacionamento entre os dois níveis de construção, garantindo que cada componente da estrutura de aplicação tenha uma representação interna na estrutura de informação. Os sistemas de representação global resultantes são denominados então espaços coerentes bi-estruturados, e tem a característica adicional de serem gerados por um sistema ordenado basico de universo enumerável. A estrutura de informação é um espaço coerente, com funções lineares e uma estrutura topológica de informação compatível. A estrutura de aplicação - algébrica, de ordem, relacional, funcional, de medidas, topológica, dentre outras - é obtida por um processo construtivo a partir da estrutura do sistema basico. Um espaço coerente bi-estruturado, obtido por esse processo de construção, é a representação global de um dado sistema ordenado de 2ª ordem quando possível recuperar este sistema através do subsistema dos objetos totais do espaço, pela determinação de isomorfismos para a estrutura de aplicação. Da mesma forma, estabelecendo também isomorfismos para o subsistema dos intervalos de elementos do conjunto universo do sistema que esta sendo representado, esse subsistema pode ser recuperado como o subsistema dos objetos quasi-totais do espaço coerente. Apresenta-se também uma abordagem categórica para o processo de construção global, mostrando se que ele determina uma adjunção entre duas subcategorias da categoria SO2 dos sistemas ordenados de 2ª ordem A metodologia proposta se mostrou particularmente interessante na construção do conjunto dos números reais e do conjunto de intervalos reais. Para estes sistemas introduziu-se também uma subestrutura elementar de medidas, pela definição, de forma generalizada, das funções valor absoluto, distância e diâmetro. Foi desenvolvida uma estrutura topológica para os espaços coerentes bi-estruturados, que caracteriza-se também por apresentar dois níveis que se inter-relacionam. Para obter uma caracterização topológica de informação desenvolveu-se a noção de espaços de vizinhanças lineares. No sentido de se obter a caracterização topológica de aplicação, obteve-se, em cada etapa da construção, um espaço de vizinhanças gerado pela função distância generalizada com uma topologia de aplicação associada. Conexões entre as representações de reais e de intervalos de reais e aspectos de computabilidade são referidas de modo preliminar, sugerindo-se este tema como trabalho futuro. Possíveis aplicações dos espaços coerentes bi-estruturados e do processo de construção global a outras áreas da Ciência da Computação são indicadas no final do trabalho. / The aim of this work is to develop a methodology to obtain constructive representations of second order ordered systems, based on coherence space structures, with the main application in Scientific Computation and Interval Mathematics. A global representation for the so-called infinite objects considering the information content they represent, in particularly real numbers and real intervals, is obtained, so that suitable semantical models for real and interval computational processes can be provided. This constructive representation is said to be global. since it is performed in two distinguished levels, dealing with the internal construction of the objects, in the context of an information structure, and, on the other hand, building an external application structure. The information structure is compatible with a domain-theoretic approach, and the application structure is established according the intended usage of the represented system. There exists a relationship between the two levels of the construction, guaranteeing that each component of the application structure should have an internal representation in the information structure. The resulting global representation systems are called bi-structured coherence spaces, and they have the additional feature of being generated by a basic ordered system having a denumerable universe. The information structure is a coherence space endowed with linear functions and a compatible information topological structure. The (algebraic, ordered, relational, functional, measure, topological, etc.) application structure is obtained by the construction process, considering the structure of the basic system as the start point. A bi-structured coherence space, obtained by this construction process, is said to be the global representation of a given second order ordered system if it is possible to recover the latter by the subsystem of the total objects of the former, defining isomorphisms related to the application structure. Following the same pattern, establishing isomorphisms for the subsystem of the intervals of elements of the represented system, it is possible to recover it as the subsystem of quasi-total objects of the bi-structured coherence space. A categorical approach is also presented and it is shown that the global construction process determines an adjunction between two subcategories of the category SO2 of the second order ordered systems. The proposed methodology was shown to be particularly interesting when constructing the sets of real numbers and real intervals. For these systems, an elementary measure structure was introduced in a generalised approach, defining generalised distance, diameter and absolute value functions. The bi-structured coherence spaces were given an interrelated two-level topological characterisation. In order to obtain an information topological characterisation the concept of linear neighbourhood systems was introduced. For the application topological characterisation, at each step of the construction, a neighbourhood system generated by the generalised distance function, with an associated topology, was defined. A brief analysis concerning the connections among other representations of real and real intervals and computability aspects is presented. Other possible applications in Computer Science are indicated.

Este trabalho consiste no desenvolvimento de uma metodologia para a obtenção de representações construtivas de sistemas ordenados de 2ª ordem, baseadas em estruturas de espaços coerentes, com aplicação fundamental na Computação Científica e Matemática Intervalar. Obtêm assim uma representação global para os objetos ditos infinitos relativamente ao conteúdo de informação, como números reais e intervalos reais, de tal forma que possam ser definidos modelos semânticos adequados para os processos computacionais envolvendo tais objetos. Esta representação construtiva é denominada de global, pois é realizada em dois níveis distinguíveis, compreendendo não somente a construção interna dos objetos, no contexto de uma da estrutura de informação, mas também sua estrutura externa de aplicação. A estrutura de informação tem caráter compatível com uma abordagem domínio-teorética, e a estrutura de aplicação e determinada pelo use pretendido do sistema representado. Existe um relacionamento entre os dois níveis de construção, garantindo que cada componente da estrutura de aplicação tenha uma representação interna na estrutura de informação. Os sistemas de representação global resultantes são denominados então espaços coerentes bi-estruturados, e tem a característica adicional de serem gerados por um sistema ordenado basico de universo enumerável. A estrutura de informação é um espaço coerente, com funções lineares e uma estrutura topológica de informação compatível. A estrutura de aplicação - algébrica, de ordem, relacional, funcional, de medidas, topológica, dentre outras - é obtida por um processo construtivo a partir da estrutura do sistema basico. Um espaço coerente bi-estruturado, obtido por esse processo de construção, é a representação global de um dado sistema ordenado de 2ª ordem quando possível recuperar este sistema através do subsistema dos objetos totais do espaço, pela determinação de isomorfismos para a estrutura de aplicação. Da mesma forma, estabelecendo também isomorfismos para o subsistema dos intervalos de elementos do conjunto universo do sistema que esta sendo representado, esse subsistema pode ser recuperado como o subsistema dos objetos quasi-totais do espaço coerente. Apresenta-se também uma abordagem categórica para o processo de construção global, mostrando se que ele determina uma adjunção entre duas subcategorias da categoria SO2 dos sistemas ordenados de 2ª ordem A metodologia proposta se mostrou particularmente interessante na construção do conjunto dos números reais e do conjunto de intervalos reais. Para estes sistemas introduziu-se também uma subestrutura elementar de medidas, pela definição, de forma generalizada, das funções valor absoluto, distância e diâmetro. Foi desenvolvida uma estrutura topológica para os espaços coerentes bi-estruturados, que caracteriza-se também por apresentar dois níveis que se inter-relacionam. Para obter uma caracterização topológica de informação desenvolveu-se a noção de espaços de vizinhanças lineares. No sentido de se obter a caracterização topológica de aplicação, obteve-se, em cada etapa da construção, um espaço de vizinhanças gerado pela função distância generalizada com uma topologia de aplicação associada. Conexões entre as representações de reais e de intervalos de reais e aspectos de computabilidade são referidas de modo preliminar, sugerindo-se este tema como trabalho futuro. Possíveis aplicações dos espaços coerentes bi-estruturados e do processo de construção global a outras áreas da Ciência da Computação são indicadas no final do trabalho. / The aim of this work is to develop a methodology to obtain constructive representations of second order ordered systems, based on coherence space structures, with the main application in Scientific Computation and Interval Mathematics. A global representation for the so-called infinite objects considering the information content they represent, in particularly real numbers and real intervals, is obtained, so that suitable semantical models for real and interval computational processes can be provided. This constructive representation is said to be global. since it is performed in two distinguished levels, dealing with the internal construction of the objects, in the context of an information structure, and, on the other hand, building an external application structure. The information structure is compatible with a domain-theoretic approach, and the application structure is established according the intended usage of the represented system. There exists a relationship between the two levels of the construction, guaranteeing that each component of the application structure should have an internal representation in the information structure. The resulting global representation systems are called bi-structured coherence spaces, and they have the additional feature of being generated by a basic ordered system having a denumerable universe. The information structure is a coherence space endowed with linear functions and a compatible information topological structure. The (algebraic, ordered, relational, functional, measure, topological, etc.) application structure is obtained by the construction process, considering the structure of the basic system as the start point. A bi-structured coherence space, obtained by this construction process, is said to be the global representation of a given second order ordered system if it is possible to recover the latter by the subsystem of the total objects of the former, defining isomorphisms related to the application structure. Following the same pattern, establishing isomorphisms for the subsystem of the intervals of elements of the represented system, it is possible to recover it as the subsystem of quasi-total objects of the bi-structured coherence space. A categorical approach is also presented and it is shown that the global construction process determines an adjunction between two subcategories of the category SO2 of the second order ordered systems. The proposed methodology was shown to be particularly interesting when constructing the sets of real numbers and real intervals. For these systems, an elementary measure structure was introduced in a generalised approach, defining generalised distance, diameter and absolute value functions. The bi-structured coherence spaces were given an interrelated two-level topological characterisation. In order to obtain an information topological characterisation the concept of linear neighbourhood systems was introduced. For the application topological characterisation, at each step of the construction, a neighbourhood system generated by the generalised distance function, with an associated topology, was defined. A brief analysis concerning the connections among other representations of real and real intervals and computability aspects is presented. Other possible applications in Computer Science are indicated.

Propomos o estudo do meio desordenado onde a caminhada determinista parcialmente autorrepulsiva (CDPA) é desenvolvida e o estudo da caminhada aleatória autorrepulsiva (SAW) em rede regular. O meio desordenado na CDPA, gerado por um processo Poissônico espacial, é caracterizado pela estatística de vizinhança e de distâncias. A estatística de vizinhança mede a probabilidade de um ponto ser $m$-ésimo vizinho mais próximo de seu $n$-ésimo vizinho mais próximo. A estatística de distâncias mede a distribuição de distância de um ponto ao seu $k$-ésimo vizinho mais próximo. No problema da estatística de distâncias, calculamos a função densidade de probabilidade (pdf) e estudamos os casos limites de alta ordem de vizinhança e alta dimensionalidade. Um caso particular dessa pdf pode verificar se um conjunto de pontos foi gerado por um processo Poissônico. Na SAW em rede regular, um caminhante escolhe aleatoriamente um sítio adjacente para ser visitado no próximo passo, mas é proibido visitar um sítio duas ou mais vezes. Desenvolvemos uma nova abordagem para estudar grandezas conformacionais por meio do produto escalar entre o vetor posição e vetor deslocamento no $j$-ésimo passo: $\\langle\\vec{R}_{j}\\cdot\\vec{u}_{j}angle_{N}$. Mostramos que para $j=N$ o produto escalar é igual ao comprimento de persistência (projeção do vetor posição na direção do primeiro passo) e que converge para uma constante. Calculamos a distância quadrática média ponta-a-ponta, $\\langle \\vec{R}_{N}^{2}angle_{N}\\sim N^{2 u_{0}}$, como o somatório de $1\\leq j \\leq N$ do produto escalar. Os dados gerados pelo algoritmo de simulação Monte Carlo, codificado em linguagem C e paralelizado em MPI, fornecem o expoente $ u_{0}$ da regra de escala $\\langle \\vec{R}_{j}\\cdot\\vec{u}_{j}angle_{N}\\sim j^{2 u_{0}-1}$, para $1\\leq j \\leq \\Theta(N)$, próximo ao valor esperado. A partir de $\\Theta(N)\\approx N/2$ para rede quadrada e $\\Theta(N)\\approx N/3$ para rede cúbica, a caminhada torna-se mais flexível devido ao maior número de graus de liberdade disponível nos últimos passos. / We propose the study of disordered media where the deterministic partially self-avoiding walk (DPSW) is developed and the study of self-avoiding random walk (SAW) in regular lattices. The disordered media in the DPSW, generated by a spatial Poissonian process, is characterized by neighborhood and distance statistics. Neighborhood statistics quantifies the probability of a point to be the $m$th nearest neighbor of its $n$th nearest neighbor. Distance statistics quantifies the distance distribution of a given point to its $k$th nearest neighbor. For the distance statistics problem, we obtain the probability density function (pdf) and study the high dimensionality and high neighborhood order limits. A particular case of this pdf can verify if a points set is generated by a Poissonian process. In a SAW in regular lattice, the walker randomly chooses an adjacent site to be visited in the next step, but is forbidden to visit a site two or more times. We developed a new approach to study conformational quantities of SAW by means of the scalar product between the position vector and the displacement vector in the $j$th step: $\\langle\\vec{R}_{j}\\cdot\\vec{u}_{j}angle_{N}$. We show that for $j=N$ the scalar product is equal to the persistence length (projection of position vector in the direction of the first step) and that converges to a constant. We compute the square end-to-end distance, $\\langle \\vec{R}_{N}^{2}angle_{N}\\sim N^{2 u_{0}}$, as the summation $1\\leq j \\leq N$ of scalar product. The data generated by Monte Carlo simulation algorithm, coded in C language and parallelized in MPI, provides the exponent $ u_{0}$ of the scaling law $\\langle \\vec{R}_{j}\\cdot\\vec{u}_{j}angle_{N}\\sim j^{2 u_{0}-1}$, for $1\\leq j \\leq \\Theta(N)$, close to the expected value. Starting from $\\Theta(N)\\approx N/2$ for square lattice and $\\Theta(N)\\approx N/3$ for cubic lattice, the walk becomes more flexible due to the large number of degrees of freedom available in the last steps.

Este trabalho consiste no desenvolvimento de uma metodologia para a obtenção de representações construtivas de sistemas ordenados de 2ª ordem, baseadas em estruturas de espaços coerentes, com aplicação fundamental na Computação Científica e Matemática Intervalar. Obtêm assim uma representação global para os objetos ditos infinitos relativamente ao conteúdo de informação, como números reais e intervalos reais, de tal forma que possam ser definidos modelos semânticos adequados para os processos computacionais envolvendo tais objetos. Esta representação construtiva é denominada de global, pois é realizada em dois níveis distinguíveis, compreendendo não somente a construção interna dos objetos, no contexto de uma da estrutura de informação, mas também sua estrutura externa de aplicação. A estrutura de informação tem caráter compatível com uma abordagem domínio-teorética, e a estrutura de aplicação e determinada pelo use pretendido do sistema representado. Existe um relacionamento entre os dois níveis de construção, garantindo que cada componente da estrutura de aplicação tenha uma representação interna na estrutura de informação. Os sistemas de representação global resultantes são denominados então espaços coerentes bi-estruturados, e tem a característica adicional de serem gerados por um sistema ordenado basico de universo enumerável. A estrutura de informação é um espaço coerente, com funções lineares e uma estrutura topológica de informação compatível. A estrutura de aplicação - algébrica, de ordem, relacional, funcional, de medidas, topológica, dentre outras - é obtida por um processo construtivo a partir da estrutura do sistema basico. Um espaço coerente bi-estruturado, obtido por esse processo de construção, é a representação global de um dado sistema ordenado de 2ª ordem quando possível recuperar este sistema através do subsistema dos objetos totais do espaço, pela determinação de isomorfismos para a estrutura de aplicação. Da mesma forma, estabelecendo também isomorfismos para o subsistema dos intervalos de elementos do conjunto universo do sistema que esta sendo representado, esse subsistema pode ser recuperado como o subsistema dos objetos quasi-totais do espaço coerente. Apresenta-se também uma abordagem categórica para o processo de construção global, mostrando se que ele determina uma adjunção entre duas subcategorias da categoria SO2 dos sistemas ordenados de 2ª ordem A metodologia proposta se mostrou particularmente interessante na construção do conjunto dos números reais e do conjunto de intervalos reais. Para estes sistemas introduziu-se também uma subestrutura elementar de medidas, pela definição, de forma generalizada, das funções valor absoluto, distância e diâmetro. Foi desenvolvida uma estrutura topológica para os espaços coerentes bi-estruturados, que caracteriza-se também por apresentar dois níveis que se inter-relacionam. Para obter uma caracterização topológica de informação desenvolveu-se a noção de espaços de vizinhanças lineares. No sentido de se obter a caracterização topológica de aplicação, obteve-se, em cada etapa da construção, um espaço de vizinhanças gerado pela função distância generalizada com uma topologia de aplicação associada. Conexões entre as representações de reais e de intervalos de reais e aspectos de computabilidade são referidas de modo preliminar, sugerindo-se este tema como trabalho futuro. Possíveis aplicações dos espaços coerentes bi-estruturados e do processo de construção global a outras áreas da Ciência da Computação são indicadas no final do trabalho. / The aim of this work is to develop a methodology to obtain constructive representations of second order ordered systems, based on coherence space structures, with the main application in Scientific Computation and Interval Mathematics. A global representation for the so-called infinite objects considering the information content they represent, in particularly real numbers and real intervals, is obtained, so that suitable semantical models for real and interval computational processes can be provided. This constructive representation is said to be global. since it is performed in two distinguished levels, dealing with the internal construction of the objects, in the context of an information structure, and, on the other hand, building an external application structure. The information structure is compatible with a domain-theoretic approach, and the application structure is established according the intended usage of the represented system. There exists a relationship between the two levels of the construction, guaranteeing that each component of the application structure should have an internal representation in the information structure. The resulting global representation systems are called bi-structured coherence spaces, and they have the additional feature of being generated by a basic ordered system having a denumerable universe. The information structure is a coherence space endowed with linear functions and a compatible information topological structure. The (algebraic, ordered, relational, functional, measure, topological, etc.) application structure is obtained by the construction process, considering the structure of the basic system as the start point. A bi-structured coherence space, obtained by this construction process, is said to be the global representation of a given second order ordered system if it is possible to recover the latter by the subsystem of the total objects of the former, defining isomorphisms related to the application structure. Following the same pattern, establishing isomorphisms for the subsystem of the intervals of elements of the represented system, it is possible to recover it as the subsystem of quasi-total objects of the bi-structured coherence space. A categorical approach is also presented and it is shown that the global construction process determines an adjunction between two subcategories of the category SO2 of the second order ordered systems. The proposed methodology was shown to be particularly interesting when constructing the sets of real numbers and real intervals. For these systems, an elementary measure structure was introduced in a generalised approach, defining generalised distance, diameter and absolute value functions. The bi-structured coherence spaces were given an interrelated two-level topological characterisation. In order to obtain an information topological characterisation the concept of linear neighbourhood systems was introduced. For the application topological characterisation, at each step of the construction, a neighbourhood system generated by the generalised distance function, with an associated topology, was defined. A brief analysis concerning the connections among other representations of real and real intervals and computability aspects is presented. Other possible applications in Computer Science are indicated.

Cette thèse porte sur le rôle des populations homosexuelles masculines dans les processus de gentrification. Elle se propose de construire une sociologie des processus de gaytrification, c’est-à-dire des cas des gentrification impliquant significativement les gays, et s’inscrit au croisement de la sociologie urbaine et d’une sociologie des homosexualités. Le cadre d’enquête retenu est constitué par le quartier du Marais à Paris et le quartier du Village à Montréal, ces deux quartiers offrant des exemples de gaytrification depuis la fin des années 1970. Une première partie permet de montrer l’intérêt d’un tel objet et de construire un programme de recherche novateur qui mobilise des matériaux empiriques variés (statistiques, entretiens, archives, observations ethnographiques). La seconde partie montre comment différentes formes d’investissement de la part des gays ont favorisé, accentué ou accompagné la gentrification depuis la fin des années 1970 : émergence d’un secteur commercial gay, valorisation symbolique de certains lieux par la presse gay et investissement résidentiel du quartier par les ménages gays. Une troisième partie s’interroge précisément sur le cas des gays venus habiter le Marais et le Village. L’analyse de leurs trajectoires socio-résidentielles montre comment ils ont profondément renouvelé le paysage sociologique local et permet de comprendre le sens que le quartier prend dans leur trajectoire. On peut alors décrire des modes de vie et des pratiques du quartier qui contribuent à sa gentrification d’une manière néanmoins propre aux gays. Une quatrième et dernière partie renverse la perspective : si les gays ont profondément transformé le Village et le Marais, ces deux quartiers contribuent aussi à transformer ce que sont les individus. On examine alors l’hypothèse d’une socialisation gay par le quartier en montrant que l’espace urbain et le quartier constituent des instances de socialisation aux effets variés et plus ou moins puissants et durables à l’échelle des trajectoires individuelles. / This research is focused on the role of gay men towards gentrification. The word “gaytrification” refers to process of gentrification that involves, by different ways, gay men. In french sociology, the role of this “gay factor” has been much neglected and very rarely studied. This research deals with urban sociology but also with sociology of homosexuality. Considering different empirical datas based on statistics, interviews, archives and observations, we can understand the way that gay men improved the value of urban space and the quality of local lifestyles in two different contexts: le Marais (Paris) and le Village (Montreal). These questions are explored since the end of the 60’s. The first part of our dissertation is focused on theoretical issues and methodology about gaytrification: how can we analyze this specific form of “urban renaissance”? The second step of this research articulates different forms of gay involvement towards gentrification of le Marais and le Village since 70’s: gay business and pink economy, lifestyles and symbolic presence of gay men in the neighborhood, housing market and residential issues. The third part analyzes daily life of gay men that lives, or have lived, in these neighborhoods. We show how they gentrify urban space by different ways: social and life trajectories, social and local relations, habits and lifestyles. The last part of the research introduces the reverse of previous results. A new question appears because gaytrification deals not only about how people transform urban spaces but also about how urban space can transform people and identities. In fact, interviews with gay men show how le Marais and le Village can socialize them in a special way.

The neighbourhood reconstruction involves three key stakeholders—municipality, builders and residents. There are some conflicts among them due to their different standpoints, and the reasons of most conflicts relate to human needs of residents when they are not met. The main purpose of this study is to create a general socially sustainable neighbourhood reconstruction process through the lens of FSSD and Max-Neef‘s human needs theory. This new process will promote the collaboration among these three key stakeholders and help residents to have their basic human needs fulfilled. First of all, a vision of a sustainable neighbourhood reconstruction process is created and amended based upon literature review and authorities‘ feedback; then a summary of the current reality of the reconstruction process is addressed in light of a case study; followed by the analysis of the gap between vision and reality. At last, different suggestions are given with the purpose of eliminating the gap.

Society is facing a great sustainability challenge, where the design of its social systems has made it increasingly difficult for the planet to support humanity. Given the complexity of the sustainability challenge, the planet requires a shift in the way society is organised and a commitment to sustainability from individuals and communities. This thesis explores how neighbourhood hubs can serve as a platform to engage individuals to take an active participatory role in their community. Neighbourhood hubs are defined as: a fixed physical gathering place which intentionally brings people together to carry out services, activities, programs and events that serve the local community. This research sought to uncover the dynamic and engaging characteristics of neighbourhood hubs that attract participants as well as the benefits of hubs to the local community in the form of community capitals. By combining the approach of Strategic Sustainable Development with the engaging characteristics of hubs, this thesis provides a planning tool to help hubs work towards their vision and move society towards sustainability. Neighbourhood hubs are found to be an effective and inspiring way for communities to move towards a vibrant and sustainable future. / <p>carlygurr@gmail.com; adrienne.mccurdy@gmail.com; sarahrose.robert@gmail.com</p>

I present the development of two near infrared proper motion pipelines for high resolution near infrared data from UKIDSS and the VISTA VVV survey. The UKIDSS pipeline is capable of accuracies of order 5-10 mas yr⁻¹ for bright sources with the largest epoch baselines (~ 8 years). The VVV pipeline reaches 1-2 mas yr⁻¹ proper motion precision at the bright end and parallax measurements at ~ 1 mas precision. It will be possible to improve upon the VVV astrometric precision due to increases in data volume and further pipeline development. I have used the proper motion pipelines to generate three near infrared proper motion catalogues of the UKIDSS LAS and GPS and the VVV survey. The LAS proper motion catalogue covers 1500 deg2 at high Galactic latitudes and contains approximately 15 million sources with two J band epochs. The GPS proper motion catalogue covers 1500 deg2 of the northern Galactic plane and contains approximately 400 million sources with two K band epochs. The VVV proper motion catalogue covers 560 deg2 of the Galactic bulge and disc and contains approximately 200 million sources with between 50 and 150 Ks band epochs. I have also produced a preliminary 5σ parallax catalogue containing 3403 VVV sources. The LAS and GPS proper motion catalogues have been used by myself and other authors to identify and study many new examples of high proper motion stars, brown dwarfs, ul-tracool dwarf benchmark candidates, cool white dwarfs, substellar subdwarfs and nearby sources within < 25 pc. These catalogues remain far from fully exploited and will be a useful resource for future research by the astronomical community. Exploitation of the VVV proper motion catalogue is still in its infancy, yet it has already generated large numbers of new high proper motion sources. These include new brown dwarf candi-dates, important benchmark objects, and nearby sources which have previously avoided detection. Parallax results from the VVV pipeline will be useful to improve low mass star/ultracool dwarf luminosity functions, significantly increasing the numbers of brown dwarfs with known parallaxes and illustrates how general purpose multi-epoch wide area surveys can generate parallaxes. Finally, I discuss the long term usefulness of such catalogues in the Gaia era and how they might be exploited in the future.

One of the key goals of Milky Way science is measuring the distribution of dark matter in the Galaxy. Through the study of Galactic dynamics, inferences can be made about the structure of the Galaxy, and hence the dark matter distribution. To this end, we present a study of methods useful for modelling and understanding dynamical systems in the Galaxy. A natural choice of coordinate system when studying dynamical systems is the canonical system of angle-action coordinates. We present methods for estimating the angle-actions in both axisymmetric and triaxial potentials. These fall into two categories: non-convergent and convergent. The non-convergent methods are fast approaches, mostly based on approximations to Stäckel potentials. We investigate the accuracy of these methods for realistic Galactic potentials. The slower convergent methods operate by constructing generating functions to take us from simple analytically-tractable potentials to our target potential. Tidal streams should prove useful for constraining the large-scale dark matter distribution in the Galaxy. Armed with our new angle-action tools, we investigate the properties of known streams in a realistic Galactic potential. We present a simple algorithm for constraining the Galactic potential using a tidal stream, which exploits the expected structure of a stream in the angle-frequency space of the true potential. We expand this approach into a fully probabilistic scheme that allows for handling of large errors, missing data and outliers. We close by discussing another tool useful for modelling the dynamics of the Galaxy: extended distribution functions for the Galactic disc. We present a simple extension of an action-based distribution function from Binney (2010) that includes metallicity information, and compare the model predictions with current data. These models are essential for incorporating the selection effects of any survey, and reveal the important chemo-dynamic correlations that expose the history and evolution of the Galaxy.