La constitution du TAL: Étude historique des dénominations et des concepts

Several terms have been in competition as names for the theoretical and applieddiscipline that lies in the intersection of linguistics, mathematics, computer sciences andcognitive sciences and which developed out of early experiments in Machine Translation.They include Computational Linguistics and Natural Language Processing in English, andTraitement automatique des langues, Informatique linguistique and Linguistique informatiquein French. This paper traces the history of these terms and considers whether theterminological variation may be a symptom of the conflicts at work in the field, concerningthe institutional, economical, theoretical and conceptual issues.Pour désigner le champ d'investigations et d'applications à l'intersection de lalinguistique, des mathématiques, de l'informatique et des sciences cognitives hérité desexpériences pionnières en traduction automatique, plusieurs termes sont ou ont été enconcurrence, Computational Linguistics ou Natural Language Processing dans le domaineanglo-américain, Traitement automatique des langues, Informatique linguistique ouLinguistique informatique en France. Cet article se propose, en retraçant le parcourshistorique de ces dénominations, de montrer que le flottement sur les termes estsymptomatique des tensions à l'oeuvre dans le domaine, sur le plan des enjeux institutionnels,économiques, théoriques et conceptuels

Analysis of Quickselect under Yaroslavskiy's Dual-Pivoting Algorithm

There is excitement within the algorithms community about a new partitioning method introduced by Yaroslavskiy. This algorithm renders Quicksort slightly faster than the case when it runs under classic partitioning methods. We show that this improved performance in Quicksort is not sustained in Quickselect; a variant of Quicksort for finding order statistics. We investigate the number of comparisons made by Quickselect to find a key with a randomly selected rank under Yaroslavskiy's algorithm. This grand averaging is a smoothing operator over all individual distributions for specific fixed order statistics. We give the exact grand average. The grand distribution of the number of comparison (when suitably scaled) is given as the fixed-point solution of a distributional equation of a contraction in the Zolotarev metric space. Our investigation shows that Quickselect under older partitioning methods slightly outperforms Quickselect under Yaroslavskiy's algorithm, for an order statistic of a random rank. Similar results are obtained for extremal order statistics, where again we find the exact average, and the distribution for the number of comparisons (when suitably scaled). Both limiting distributions are of perpetuities (a sum of products of independent mixed continuous random variables).Comment: full version with appendices; otherwise identical to Algorithmica versio

From Models to Simulations

This book analyses the impact computerization has had on contemporary science and explains the origins, technical nature and epistemological consequences of the current decisive interplay between technology and science: an intertwining of formalism, computation, data acquisition, data and visualization and how these factors have led to the spread of simulation models since the 1950s. Using historical, comparative and interpretative case studies from a range of disciplines, with a particular emphasis on the case of plant studies, the author shows how and why computers, data treatment devices and programming languages have occasioned a gradual but irresistible and massive shift from mathematical models to computer simulations

MobiSim. Appropriation et développement par ThéMA : vers une modélisation multiscalaire (fractale) du développement urbain par système multi-agents

63Le projet MobiSim (simulation des mobilités) consiste à développer une plateforme de simulation pour l'étude prospective des mobilités quotidiennes et résidentielles dans les agglomérations françaises et européennes, et leur lien avec le développement, l'étalement et l'aménagement urbains. Cette plateforme se base sur plusieurs modèles, notamment un Système multi-agents, couplé à un Automate cellulaire. Les différents champs de développements identifiés aujourd'hui concernent les problématiques de la gestion du trafic et des déplacements, des nuisances et des pollutions engendrées, de la consommation énergétique urbaine, des stratégies des acteurs et des choix modaux de déplacements, etc. L'objet de la recherche, dont ce rapport fait état, n'était pas de proposer des développements spécifiques pour la plateforme de simulation MobiSim, mais essentiellement de réaliser le transfert du programme de ATN vers ThéMA, suite à la cessation d'activité de l'entreprise ATN en 2008. Cette appropriation a nécessité une expertise logicielle importante. Sur la base des codes sources fournis, elle a donné lieu à une réécriture quasiment intégrale du programme. Cette réécriture propose dorénavant une nouvelle base théorique et informatique pour MobiSim, qui permet d'envisager concrètement et rapidement l'implémentation de modules complémentaires au sein du programme. L'approche individus-centrée, envisagée à l'échelle d'une aire urbaine, même de taille moyenne ou modeste, entraîne nécessairement la simulation des choix de mobilité de plusieurs dizaines de milliers d'agents, et un temps de calcul souvent exponentiel. Elle permet toutefois de positionner le projet MobiSim sur deux versants complémentaires : - d'une part, il s'agit d'utiliser la plateforme comme un outil de réflexion théorique permettant de poser un certain nombre d'hypothèses sur les liens existant entre les mobilités, la morphogénèse urbaine (étalement urbain, hiérarchie d'échelle, fractalité) et la consommation d'énergie associée, et d'y répondre par l'intermédiaire de tests de scénarios. MobiSim doit aussi permettre d'identifier les leviers qui peuvent influencer les politiques urbaines, notamment en matière de transport et de planification, et de qualifier les interactions possibles entre ces différentes politiques ; - d'autre part, il s'agit également de continuer à utiliser MobiSim comme une plateforme appliquée, i.e. un outil d'aide à la décision " au contact " des problématiques locales, permettant de tester des scénarios d'aménagement du territoire. Sur le plan des résultats escomptés et en cours de développement, MobiSim doit permettre (et permet déjà en partie) d'évaluer les conséquences associées à chaque scénario de mobilité sur chacune des trois sphères généralement associées au développement durable

Les déterminants de l’utilisation du brevet bloquant : Une étude des entreprises françaises

A la fonction traditionnelle des brevets de protection des innovations s’ajoute aujourd’hui une dimension stratégique : celle de barrer la route de l’innovation aux concurrents. Nous cherchons à cerner les déterminants de l’utilisation du brevet bloquant, en utilisant la distinction entre stratégies offensives et défensives. Cette recherche, qui concilie déduction et induction, s’appuie sur la perception de responsables de la propriété intellectuelle et de conseils français. Les principaux déterminants de l’utilisation des brevets bloquants semblent être la taille de l’entreprise, l’intensité technologique du secteur d’activité, le type de système juridique national et la culture en matière de PI.Today, a strategic dimension is associated to patents and to their traditional function of protecting innovations: that of blocking the route of innovation of competitors. We attempt to identify the determinants of the use of blocking patents, using the distinction between offensive and defensive strategies. This research, which combines deduction and induction, is based on the perception of French intellectual property managers and attorneys. The main determinants of the use of blocking patents appear to be firm size, the activity’s technological intensity, the type of legal system and the intellectual property culture.Hoy en día, una dimensión estratégica se asocia a las patentes y de su función tradicional de protección de las innovaciones: el de bloquear el camino de la innovación de los competidores. Tratamos de identificar los determinantes del uso de patentes de bloqueo, con la distinción entre las estrategias ofensivas y defensivas. Esta investigación, que combina la deducción y la inducción, se basa en la percepción de directores de la propiedad intelectual y de abogados francés. Los principales factores determinantes del uso de patentes de bloqueo parece ser el tamaño de la empresa, la intensidad tecnológica de la actividad, el tipo de sistema jurídico y la cultura de la propiedad intelectual

Re-proving Channel Polarization Theorems: An Extremality and Robustness Analysis

The general subject considered in this thesis is a recently discovered coding technique, polar coding, which is used to construct a class of error correction codes with unique properties. In his ground-breaking work, Ar{\i}kan proved that this class of codes, called polar codes, achieve the symmetric capacity --- the mutual information evaluated at the uniform input distribution ---of any stationary binary discrete memoryless channel with low complexity encoders and decoders requiring in the order of $O(N\log N)$ operations in the block-length $N$. This discovery settled the long standing open problem left by Shannon of finding low complexity codes achieving the channel capacity. Polar coding settled an open problem in information theory, yet opened plenty of challenging problems that need to be addressed. A significant part of this thesis is dedicated to advancing the knowledge about this technique in two directions. The first one provides a better understanding of polar coding by generalizing some of the existing results and discussing their implications, and the second one studies the robustness of the theory over communication models introducing various forms of uncertainty or variations into the probabilistic model of the channel.Comment: Preview of my PhD Thesis, EPFL, Lausanne, 2014. For the full version, see http://people.epfl.ch/mine.alsan/publication