On three quantization methods for particle on hyperboloid

We compare the respective efficiencies of three quantization methods (group theoretical, coherent state and geometric) by quantizing the dynamics of a free massive particle in two-dimensional de Sitter space. For each case we consider the realization of the principal series representation of $SO_0(1,2)$ group and its two-fold covering SU(1,1). We demonstrate that standard technique for finding an irreducible representation within the geometric quantization scheme fails. For consistency we recall our earlier results concerning the other two methods, make some improvements and generalizations.Comment: 22 pages, no figures, revte

Non-Equilibrium Statistical Mechanics of Anharmonic Chains Coupled to Two Heat Baths at Different Temperatures

We study the statistical mechanics of a finite-dimensional non-linear Hamiltonian system (a chain of anharmonic oscillators) coupled to two heat baths (described by wave equations). Assuming that the initial conditions of the heat baths are distributed according to the Gibbs measures at two different temperatures we study the dynamics of the oscillators. Under suitable assumptions on the potential and on the coupling between the chain and the heat baths, we prove the existence of an invariant measure for any temperature difference, i.e., we prove the existence of steady states. Furthermore, if the temperature difference is sufficiently small, we prove that the invariant measure is unique and mixing. In particular, we develop new techniques for proving the existence of invariant measures for random processes on a non-compact phase space. These techniques are based on an extension of the commutator method of H\"ormander used in the study of hypoelliptic differential operators.Comment: 43 page

Entropy Production in Non-Linear, Thermally Driven Hamiltonian Systems

We consider a finite chain of non-linear oscillators coupled at its ends to two infinite heat baths which are at different temperatures. Using our earlier results about the existence of a stationary state, we show rigorously that for arbitrary temperature differences and arbitrary couplings, such a system has a unique stationary state. (This extends our earlier results for small temperature differences.) In all these cases, any initial state will converge (at an unknown rate) to the stationary state. We show that this stationary state continually produces entropy. The rate of entropy production is strictly negative when the temperatures are unequal and is proportional to the mean energy flux through the system

Non-Equilibrium Steady States for Networks of Oscillators

Non-equilibrium steady states for chains of oscillators (masses) connected by harmonic and anharmonic springs and interacting with heat baths at different temperatures have been the subject of several studies. In this paper, we show how some of the results extend to more complicated networks. We establish the existence and uniqueness of the non-equilibrium steady state, and show that the system converges to it at an exponential rate. The arguments are based on controllability and conditions on the potentials at infinity

Analyse du développement mobile multiplateforme avec Xamarin

Le monde actuel du développement est en pleine effervescence. Entre des applications pour Android, pour iOS et pour Windows Phone, la demande en développeurs n’a jamais été aussi grande. Ces trois grands acteurs se disputent la tête du classement. Chacun a un langage de développement qui lui est propre. Cela oblige les entreprises à avoir un panel de personnel possédant les capacités de développement des trois plateformes dans le but de créer une application sur chacune d’entre elle. Une question se pose alors. Pourquoi ne pas faire une application smartphone qui serait écrite une seule fois mais disponible sur plusieurs plateformes ? C’est ce que nous appelons, dans le milieu du développement, des applications multiplateformes. Il existe trois sortes d’applications multiplateformes : Application web, application native et application hybride. La première utilise les technologies du web pour être créée. La seconde est conçue spécifiquement pour un système d’exploitation dans le langage de programmation du système. La dernière se trouve être un mix entre les deux premières. Elle utilise les technologies du web pour être créée mais possède l’apparence des applications natives

Outil d’aide à la décision pour élus communaux VS-OADE

La Fondation pour Développement Durable des régions de Montagne (FDDM) par M. Eric Nanchen et le professeur Jean-Pierre Rey m’ont demandé de réaliser un programme d’aide à la décision pour les élus communaux. Au cours de ce travail, une première phase de recherches et analyses a été réalisée pour déterminer les technologies et les architectures Web les plus adaptées pour ce projet, tout en tenant compte d’une possible intégration future de l’outil dans les systèmes d’information des communes. Une recherche sur les possibilités d’hébergement de l’outil et le stockage des données a également été effectuée durant cette phase. Dans une seconde phase, les environnements de développement ont été analysés et celui qui semblait le plus adapté pour ce travail a été mis en place dans l’optique de développer au mieux l’outil. Cette phase a été utile pour développer l’application localement en simulant une infrastructure Client-Serveur. Cette dernière peut facilement être configurée et mise en place pour l’utilisation de l’outil par la suite

Plateforme web pour les finances communales

L’objectif principal de ce travail de Bachelor était de créer un prototype de plateforme web donnant la possibilité d’afficher différentes visualisations des comptes de la ville. Celles-ci leur permettraient de prendre des décisions, si nécessaire. Avant la réalisation, il fallait d’abord comprendre la thématique, analyser les données et choisir les outils et les langages de programmation. En se basant sur le framework PHP (Hypertext Preprocessor) « Laravel », il serait possible de développer sans problème de nouvelles fonctionnalités. Avec « D3.js » la manipulation des éléments DOM (Document Object Model) est facile à gérer. Il existait déjà certains mock-ups, plusieurs proofs of concepts réalisés avec Excel et des fragments de code JavaScript non documenté