California High Speed Rail - The Broken Tracks of Communication

Proposition 1A, “Safe, Reliable, High –Speed Passenger Train Bond Act” was passed on November 8, 2008. Fifty-two percent of Californians voted to issue $10 billion in bonds to fund the clean, efficient, and safe high-speed train service, which is known today as the California High Speed Rail system (CHSR). The rail system will provide a mass transit system up and down the state of California if constructed, planned, and funded successfully. This paper analyzes the City and County of Merced’s approach to planning for this highspeed rail while engaging in public discussion with the California High Speed Rail Authorities (CHSRA) at a state level. The Merced project is a case study of the developing policy and statewide vision for the CHSR project and highlights the interaction between different government spheres. The conclusion of this paper argues that the goals of the state will not prove to be successful at a regional and local level as this high-speed rail project continues

'My Husband was also a Refugee': Cross-Cultural Love in the Postwar Narratives of Vietnamese Women

This article explores the representation of cross-cultural love in the postwar narratives of Vietnamese women. The end of the Vietnam War in 1975 and Vietnam’s reunification under a communist regime led to one of the most visible diasporas of the late twentieth century, in which more than two million Vietnamese left their homeland in order to seek refuge overseas. The main countries of resettlement were the United States, Australia, Canada and France. Vietnamese women in Australia who chose to marry outside their culture constitute a minority not only within the diaspora but also within Australian society and the Vietnamese Australian community. In contrast to the largely negative representations of cross-cultural relationships in novels and memoirs of colonial and wartime Vietnam, these women’s accounts highlight underlying commonalities between themselves and their European partners such as a shared understanding of political asylum or war. The narratives of these women illustrate cross-cultural rencontres that were made possible by the refugee or migration experience, and that signify a distinct shift in the representation of exogamous relationships for Vietnamese women. Oral history provides these women with the opportunity to narrate not only the self but also the interaction between the self and the other, and to frame and structure their experiences of intermarriage in a positive light. Cet article explore la représentation de l’amour interculturel dans les récits de l’après-guerre des femmes vietnamiennes. La fin de la guerre du Vietnam en 1975 et la réunification du Vietnam sous un régime communiste mena à une des diasporas les plus visibles de la fin du vingtième siècle, pendant laquelle plus de deux millions de Vietnamiens quittèrent leur pays pour se réfugier à l’étranger. Les pays principaux de réinstallation furent les Etats-Unis, l’Australie, le Canada et la France. Les femmes vietnamiennes en Australie qui ont choisi de se marier à l’extérieur de leur culture constituent une minorité non seulement dans la diaspora mais aussi en Australie ainsi que la communité vietnamienne en Australie. Contrairement à la représentation largement négative des relations interculturelles dans les romans et les mémoires du Vietnam colonial et en temps de guerre, les récits de ces femmes surlignent les points communs entre elles et leurs compagnons européens telle une compréhension mutuelle de l’asile politique ou de la guerre. Les récits de ces femmes illustrent des rencontres interculturelles rendues possible par l’expérience d’être réfugié ou migrant, et qui signalent un changement net de position dans la représentation des relations exogames concernant les femmes vietnamiennes. L’histoire orale permet à ces femmes de raconter non seulement le moi mais aussi l’interaction entre le moi et l’autre, et de structurer et d’encadrer leurs expériences de mariage interculturel de manière positive

Solving and Certifying the Solution of a Linear System

The Reliable Computing journal has no more paper publication, only free, electronic publication.International audienceUsing floating-point arithmetic to solve a linear system yields a computed result, which is an approximation of the exact solution because of roundoff errors. In this paper, we present an approach to certify the computed solution. Here, "certify" means computing a guaranteed enclosure of the error. Our method is an iterative refinement method and thus it also improves the computed result. The method we present is inspired from the verifylss function of the IntLab library, with a first step, using floating-point arithmetic, to solve the linear system, followed by interval computations to get and refine an enclosure of the error. The specificity of our method is to relax the requirement of tightness of the error, in order to gain in performance. Indeed, only the order of magnitude of the error is needed. Experiments show a gain in accuracy and in performance, for various condition number of the matrix of the linear system

Refining and verifying the solution of a linear system

International audienceThe problem considered here is to refine an approximate, numerical, solution of a linear system and simultaneously give an enclosure of the error between this approximate solution and the exact one: this is the verification step. Desirable properties for an algorithm solving this problem are accuracy of the results, complexity and performance of the actual implementation. A new algorithm is given, which has been designed with these desirable properties in mind. It is based on iterative refinement for accuracy, with well-chosen computing precisions, and uses interval arithmetic for verification

Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision

International audienceUsing floating-point arithmetic to solve a numerical problem yields a computed result, which is an approximation of the exact solution because of roundoff errors. In this paper, we present an approach to certify the computed solution. Here, "certify" means computing a guaranteed enclosure of the error between the computed, approximate, result and the exact, unknown result. We discuss an iterative refinement method: classically, such methods aim at computing an approximation of the error and they add it to the previous result to improve its accuracy. We add two ingredients: interval arithmetic is used to get an enclosure of the error instead of an approximation, and multiple precision is used to reach higher accuracy. We exemplify this approach on the certification of the solution of a linear system

Cartes de communautés pour l'adaptation interactive de profils dans un système de filtrage d'information

National audienceDans le contexte actuel de surcharge d'informations, les utilisateurs peuvent s'en remettre à des systèmes de filtrage qui leur recommandent en permanence, en se basant sur leur profil, des informations vraisemblablement pertinentes. Néanmoins, un changement dans leur besoin d'information n'est pas toujours bien pris en compte à cause du rôle relativement passif des utilisateurs dans la plupart des systèmes existants. Nous présentons dans cet article la possibilité d'utilisation interactive de " cartes de communautés " pour cette tâche d'adaptation des profils, dans la perspective à plus long terme d'enrichir l'interaction entre utilisateurs et système de filtrage. Nous adoptons un processus de formation des communautés d'utilisateurs qui exploite un algorithme de positionnement en 2 dimensions et un algorithme classique de classification non supervisée afin d'obtenir de véritables " cartes " des communautés. Ces cartes s'appuient sur deux critères différents de formation des communautés

Exploitation des données "disponibles à froid" pour améliorer le démarrage à froid dans les systèmes de filtrage d'information

International audienceDans les systèmes de filtrage d'information, les utilisateurs reçoivent des documents que leur recommande le système sur la base de leurs profils et/ou de leurs communautés, mais le problème du " démarrage à froid " conduit à des performances très pauvres pour les nouveaux utilisateurs. Nous améliorons ici les techniques classiques de démarrage à froid en exploitant les données " disponibles à froid " (par exemple âge, profession, lieu de résidence, etc.) afin d'associer automatiquement les meilleures communautés initiales aux nouveaux utilisateurs. Nous nous appuyons sur le modèle existant des " espaces de communautés ", et nous utilisons un processus de classification par règles et définissons un processus de recommandations par niveau d'accord. L'évaluation montre que cette approche fournit des recommandations meilleures que celles obtenues suite à un processus de démarrage à froid classique

Modèle d'espaces de communautés basé sur la théorie des ensembles d'approximation dans un système de filtrage hybride

International audienceLes systèmes de filtrage ont pour but de distribuer des informations de façon personnalisée aux utilisateurs, tout en s'adaptant en permanence au besoin en information de chacun. Dans un système de filtrage hybride s'appuyant sur le filtrage collaboratif, la production de recommandations se base sur des communautés d'utilisateurs qui sont généralement formées conformément au seul critère de proximité des évaluations des utilisateurs sur les recommandations reçues dans le passé. De plus ces communautés restent généralement implicites. Nous proposons un modèle d'espaces de communautés multicritères et explicites, et des mesures se basant sur la théorie des ensembles d'approximation pour analyser la dépendance entre les critères de formation des communautés. Le modèle d'espaces de communautés permet de diversifier les recommandations qui peuvent émaner de communautés variées. Les mesures permettent de comparer des critères entre eux afin de déterminer une priorité entre les critères dans la tâche d'amélioration du positionnement des utilisateurs dans les communautés

Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication

International audienceInterval arithmetic is mathematically defined as set arithmetic. For implementation issues, it is necessary to detail the representation of intervals and to detail formulas for the arithmetic operations. Two main representations of intervals are considered here: inf-sup and midrad. Formulas for the arithmetic operations, using these representations, are studied along with formulas that trade off accuracy for efficiency. This tradeo ff is particularly blatant on the example of interval matrix multiplication, implemented using floating-point arithmetic: depending on the chosen formulas, the effi ciency as well as the accuracy can vary greatly in practice, and not necessarily as predicted by the theory. Indeed, theoretical predictions are often based on exact operations, as opposed to floating-point operations, and on operations count, as opposed to measured execution time. These observations and the recommendations that ensue are further obfuscated by considerations on memory usage, multithreaded computations. . . when these algorithms are implemented on parallel architectures such as multicores.L'arithmétique par intervalles et une arithmétique sur les ensembles. Pour pouvoir l'implanter, il faut détailler d'une part la représentation choisie pour les intervalles et d'autre part les formules, dépendant de cette représentation, pour les opérations arithmétiques. Essentiellement deux représentations des intervalles sont considérées ici : la représentation inf-sup (par les extrémités) et la représentation mid-rad (par le centre et le rayon). Différentes formules pour les opérations arithmétiques sont présentées, qui offrent différents compromis entre la précision du résultat et la quantité de calculs à effectuer. Ces compromis sont encore plus flagrants quand on considère l'utilisation de ces opérations pour effectuer des produits de matrices à coefficients intervalles, implantés en utilisant l'arithmétique flottante : selon les formules choisies, les performances ainsi que la précision peuvent différer grandement en pratique, mais pas nécessairement comme le prédit la théorie. En effet, les prédictions théoriques sont basées sur l'hypothèse d'une arithmétique sous-jacente qui est exacte et non flottante, ainsi que sur un décompte d'opérations, ce qui ne correspond pas directement aux mesures des temps d'exécution. Ces observations et les recommandations qui en découlent dépendent en outre de considérations sur l'utilisation mémoire, la présence de calculs multithreadés etc. lorsque l'on considère des implantations parallèles sur des architectures telles que des multi-cœurs