HAL-ENS-LYON

    Cartes postales pour Messiaen: Poésies choisies, traduites du chinois et présentées par Marie Laureillard

    No full text
    International audienceLe recueil Cartes postales pour Messiaen rassemble des poèmes composés des années 1970 à aujourd’hui, qui se caractérisent par leur humour, leur profondeur, la force des images. Épris d’art et de musique, Chen Li a fait sien le mot du compositeur japonais Tōru Takemisu, qu’il cite à propos de son poème éponyme et qui peut s’appliquer à toute sa création : « La musique, dans son essence, semble inséparable de la tristesse. C’est la tristesse de l’existence. Plus vous êtes empli de la joie de la création musicale, plus profonde est la tristesse. » Comme le suggère le titre du recueil, Chen Li s’inspire volontiers de l’œuvre de compositeurs (Mahler, Debussy, Messiaen, Cage), mais aussi de peintres occidentaux (Miro, Buffet, Balthus) ou chinois (Li Keran). Chaque poème est pour lui une sorte de lettre intime ou de carte postale envoyée au monde. Il y aborde des thèmes variés, tantôt socio-politiques, tantôt intimistes, créant une œuvre d’une grande diversité, allant de la satire sociale à la méditation historique, faisant alterner de longs poèmes narratifs et lyriques avec des haïkus modernisés ou des poèmes visuels. Il fait preuve d’une sensibilité particulière envers la langue chinoise, qu’il cherche à remotiver en libérant les caractères chinois de leur signification conventionnelle pour les appréhender sous un angle nouveau. Adepte des pastiches et des jeux de mots, Chen Li combine les expérimentations formelles et linguistiques à son intérêt pour les cultures aborigènes et la formation d’une nouvelle identité taiwanaise. Ses poèmes répondent pleinement au précepte du poète américain Robert Frost : « Un poème doit commencer dans le plaisir et s’achever dans la sagesse.

    Zadie Smith’s NW or the art of line-crossing

    No full text
    International audienc

    NW de Zadie Smith : le roman à un « carrefour angoissant » ?

    No full text
    International audienc

    Des pratiques citoyennes en régime industriel : les courts-circuits du compost

    No full text
    International audienc

    Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series Approximations

    No full text
    International audienceDuring guidance and control procedures of orbiting spacecraft, the respect of positioningand space constraints is decisive for successful missions achievement. The developmentof algorithms capable of fulfilling these constraints is directly related to how precisely thespacecraft trajectories are known. Since accuracy is essential for these procedures, the preventionand estimation of errors arising from approximations and numerical computationsbecome critical. In this context, we consider solving linear ordinary differential equations viarigorous polynomial approximations in Chebyshev series. These are polynomials togetherwith an error bound accounting for both approximation and rounding errors. Our methodallows for the computation of validated approximations of the transition matrices describingthe evolution of spacecraft trajectories. The proposed approach is employed in the followingapplications: first, we consider the linearized impulsive rendezvous framework, demonstratinghow to use rigorous polynomials approximations to provide a validated propagation ofthe relative dynamics between spacecraft; this is then exploited for the hovering phases ofthe spacecraft rendezvous, where we conceive a validated model predictive control basedon semi-definite programs. Finally, we propose a semi-analytical transition matrix for asimplified model of geostationary station keeping, linearizing the spacecraft dynamics whichtake into account the J2 Earth oblateness effect

    Checkpointing Workflows for Fail-Stop Errors

    No full text
    International audienceWe consider the problem of orchestrating the execution of workflow applications structured as Directed Acyclic Graphs (DAGs) on parallel computing platforms that are subject to fail-stop failures. The objective is to minimize expected overall execution time, or makespan. A solution to this problem consists of a schedule of the workflow tasks on the available processors and of a decision of which application data to checkpoint to stable storage, so as to mitigate the impact of processor failures. To address this challenge, we consider a restricted class of graphs, Minimal Series-Parallel Graphs (M-SPGS), which is relevant to many real-world workflow applications. For this class of graphs, we propose a recursive list-scheduling algorithm that exploits the M-SPG structure to assign sub-graphs to individual processors, and uses dynamic programming to decide how to checkpoint these sub-graphs. We assess the performance of our algorithm for production workflow configurations, comparing it to an approach in which all application data is checkpointed and an approach in which no application data is checkpointed. Results demonstrate that our algorithm outperforms both the former approach, because of lower checkpointing overhead, and the latter approach, because of better resilience to failures

    Analyse asymptotique d’équations aux dérivées partielles issues de processus biologiques de diffusion anormale

    No full text
    This thesis is devoted to the asymptotic analysis of partial differential equations modelling subdiffusive random motion in cell biology. The biological motivation for this work is the numerous recent observations of cytoplasmic proteins whose random motion deviates from normal Fickian diffusion. In the first part, we study the self-similar decay towards a steady state of the solution of a heavy-tailed renewal equation. The ideas therein are inspired from relative entropy methods. Our main contributions are the proof of an L1 decay rate towards the arc-sine distribution and the introduction of a specific pivot function in a relative entropy method.The second part treats the hyperbolic limit of an age-structured space-jump renewal equation. We prove a "stability" result: the solutions of the rescaled problems at ε > 0 converge as ε --> 0 towards the viscosity solution of the limiting Hamilton-Jacobi equation of the ε > 0 problems. The main mathematical tools used come from the theory of Hamilton-Jacobi equations. This work presents three interesting ideas. The first is that of proving the convergence result on the boundary condition of the studied problem rather than using perturbed test functions. The second consists in the introduction of time-logarithmic correction termsin a priori estimates that do not follow directly from the maximum principle. That is due to the non-existence of a suitable equilibrium for the space-homogenous problem. The third is a precise estimate of the decay of the inuence of the initial condition on the renewal term. This is tantamount to a refined estimate of a non-local version of the time derivative of the solution. Throughout this thesis, we have performed numerical simulations of different types: Monte Carlo, finite volume schemes, Lax-Friedrichs schemes and Weighted Essentially Non Oscillating schemes.Cette thèse est consacrée à l'analyse asymptotique d'équations aux dérivées partielles issues de modèles de déplacement sous-diffusif en biologie cellulaire. Notre motivation biologique est fondée sur les nombreuses observation récentes de protéinescytoplasmiques dont le déplacement aléatoire dévié de la diffusion Fickienne normale. Dans la première partie, nous étudions la décroissance auto-similaire de la solution d'une équation de renouvellement à queue lourde vers un état stationnaire. Les idéesmises en jeu sont inspirées de méthodes d'entropie relative. Nos principaux apports sont la preuve d'un taux de décroissance en norme L1 vers la loi de l'arc-sinus et l'introduction d'une fonction pivot spécifique dans une méthode d'entropie relative.La seconde partie porte sur la limite hyperbolique d'une équation de renouvellement structurée en âge et à sauts en espace. Nous y prouvons un résultat de « stabilité » : les solutions des problèmes rééchelonnés à ε > 0 convergent lorsque ε --> 0 vers la solution de viscosité de l'équation de Hamilton-Jacobi limite des problèmes à ε > 0. Les outilsmis en jeu proviennent de la théorie des équations de Hamilton-Jacobi.Ce travail présente trois idées intéressantes. La première est celle de prouver le résultat de convergence sur la condition de bord du problème plutôt que d'utiliser des fonctions test perturbées. La deuxième consiste en l'introduction de termes correcteurslogarithmiques en temps dans des estimations a priori ne découlant pas directementdu principe du maximum. Cela est dû à la non-existence d'un équilibre du problèmehomogène en espace. La troisième est une estimation précise de la décroissance de l'influence de la condition initiale sur le terme de renouvellement. Elle correspond à une estimation fine d'une version non-locale de la dérivée temporelle de la solution. Au cours de cette thèse, des simulations numériques de type Monte Carlo, schémas volumes finis, Lax-Friedrichs et Weighted Essentially Non Oscillating ont été réalisées
    HAL-ENS-LYON is based in FR
    Do you manage HAL-ENS-LYON? Access insider analytics, issue reports and manage access to outputs from your repository in the CORE Dashboard!