Second order asymptotics for matrix models

We study several-matrix models and show that when the potential is convex and a small perturbation of the Gaussian potential, the first order correction to the free energy can be expressed as a generating function for the enumeration of maps of genus one. In order to do that, we prove a central limit theorem for traces of words of the weakly interacting random matrices defined by these matrix models and show that the variance is a generating function for the number of planar maps with two vertices with prescribed colored edges.Comment: Published in at http://dx.doi.org/10.1214/009117907000000141 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org

A summary of the International Banking Act of 1978

An abstract for this article is not availableBanks and banking, International ; International Banking Act of 1978

A summary of the International Banking Act of 1978

An abstract for this article is not availableBanks and banking, International ; International Banking Act of 1978

Sviluppo di sistema di trasmissione per scooter ibrido, basato sull’impiego di un rotismo epicicloidale

Questo lavoro è stato svolto in collaborazione con Piaggio & C. S.p.A. Partendo da un lavoro svolto precedentemente, si è sviluppata una trasmissione per scooter ibrido basata sull’impiego di un rotismo epicicloidale. Il veicolo è dotato di un motore termico da 125cc e due macchine elettriche, una funzionante principalmente da motore, l’altra da generatore. Dopo aver analizzato le equazioni che governano il rotismo, sono state presentate sei differenti configurazioni, ottenute collegando in diverse maniere le tre macchine, ai membri del rotismo. Sono state poi sviluppate delle logiche di gestione del sistema ed infine si è creato un modello in ambiente Matlab/SimulinkTM che simulasse uno scooter dotato di questo sistema di trasmissione. Le simulazioni, svolte imponendo allo scooter i cicli cinematici di velocità ECE40 ed ECE47, hanno evidenziato una discreta riduzione dei consumi rispetto a scooter di medesima cilindrata

Méthodologie d'analyse des systèmes agraires au service du développement

L'objet de ce document est de proposer une méthode d'analyse de la situation et du fonctionnement d'un ensemble d'exploitations agricoles dans une région; cette méthode fournit un outil à l'orientation des actions de développement. L'exposé de cette méthodologie d'étude part d'une constatation générale: un bon nombre de projets de développement sont fondés sur une appréhension globale ou moyenne de la réalité qui se révèle insuffisante. Elle omet la prise en compte de la diversité et de la complexité des situations à l'intérieur d'un terrain d'étude. Concevoir un projet de développement pour une population. c'est élaborer un programme coordonné d'actions de développement. indépendantes ou non. dirigées vers des sous-ensembles spécifiques de cette population. La présentation de cette méthodologie est illustrée à partir du cas concret d'une petite zone du district de Gulmi au Népal pour laquelle elle a été élaborée et utilisée. (Résumé d'auteur

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

The notion of quiescence - the absence of outputs - is vital in both behavioural modelling and testing theory. Although the need for quiescence was already recognised in the 90s, it has only been treated as a second-class citizen thus far. This paper moves quiescence into the foreground and introduces the notion of quiescent transition systems (QTSs): an extension of regular input-output transition systems (IOTSs) in which quiescence is represented explicitly, via quiescent transitions. Four carefully crafted rules on the use of quiescent transitions ensure that our QTSs naturally capture quiescent behaviour. We present the building blocks for a comprehensive theory on QTSs supporting parallel composition, action hiding and determinisation. In particular, we prove that these operations preserve all the aforementioned rules. Additionally, we provide a way to transform existing IOTSs into QTSs, allowing even IOTSs as input that already contain some quiescent transitions. As an important application, we show how our QTS framework simplifies the fundamental model-based testing theory formalised around ioco.Comment: In Proceedings MBT 2012, arXiv:1202.582