Author: "Laurent, Stéphane" / Publisher: hal ccsd - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Laurent, Stéphane"' showing total 38 results

Start Over Author "Laurent, Stéphane" Publisher hal ccsd

38 results on '"Laurent, Stéphane"'

1. Two hardware implementations for modular multiplication in the AMNS: Sequential and semi-parallel

Author: Nadia El Mrabet, Bouraoui Ouni, Belgacem Bouallegue, Asma Chaouch, Fangan Yssouf Dosso, Laurent-Stéphane Didier, Institut de Mathématiques de Toulon - EA 2134 (IMATH), Université de Toulon (UTLN), Département Systèmes et Architectures Sécurisés (SAS-ENSMSE), École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-CMP-GC
Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Hardware implementations, Modular arithmetic, Computer Networks and Communications, Computer science, business.industry, Modular multiplication, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, Hardware implementation, 02 engineering and technology, Parallel computing, Modular design, 020202 computer hardware & architecture, Finite field, 0202 electrical engineering, electronic engineering, information engineering, Adapted modular number system, 020201 artificial intelligence & image processing, Latency (engineering), Safety, Risk, Reliability and Quality, business, Software, FPGA
Abstract: We propose two hardware architectures for the modular multiplication over a finite field F p using the Adapted Modular Number System (AMNS). We present their optimized implementations, with low latency.
Published: 2021

2. Mechanisms of Arterial Stiffening

Author: Lacolley, Patrick, Regnault, Véronique, Laurent, Stéphane, Défaillance Cardiovasculaire Aiguë et Chronique (DCAC), Centre Hospitalier Régional Universitaire de Nancy (CHRU Nancy)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Lorraine (UL), Paris-Centre de Recherche Cardiovasculaire (PARCC (UMR_S 970/ U970)), Hôpital Européen Georges Pompidou [APHP] (HEGP), and Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Paris (UP)
Subjects: [SDV]Life Sciences [q-bio]
Abstract: International audience; Arterial stiffness is a major independent risk factor for cardiovascular complications causing isolated systolic hypertension and increased pulse pressure in the microvasculature of target organs. Stiffening of the arterial wall is determined by common mechanisms including reduced elastin/collagen ratio, production of elastin cross-linking, reactive oxygen species–induced inflammation, calcification, vascular smooth muscle cell stiffness, and endothelial dysfunction. This brief review will discuss current biological mechanisms by which other cardiovascular risk factors (eg, aging, hypertension, diabetes mellitus, and chronic kidney disease) cause arterial stiffness, with a particular focus on recent advances regarding nuclear mechanotransduction, mitochondrial oxidative stress, metabolism and dyslipidemia, genome mutations, and epigenetics. Targeting these different molecular pathways at different time of cardiovascular risk factor exposure may be a novel approach for discovering drugs to reduce arterial stiffening without affecting artery strength and normal remodeling.
Published: 2020

3. Hardware Optimization on FPGA for the Modular Multiplication in the AMNS Representation

Author: Yssouf Fangan Dosso, Asma Chaouch, Nadia El Mrabet, Bouraoui Ouni, Belgacem Bouallegue, Laurent-Stéphane Didier, Institut de Mathématiques de Toulon - EA 2134 (IMATH), Université de Toulon (UTLN), Département Systèmes et Architectures Sécurisés (SAS-ENSMSE), École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-CMP-GC
Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Modular arithmetic, 010308 nuclear & particles physics, business.industry, Computer science, Computation, Embedded systems, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, Hardware implementation, Software implementation, 02 engineering and technology, 01 natural sciences, Adapted Modular Number System, 020202 computer hardware & architecture, Software, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Arithmetic operators, Arithmetic operators Modular multiplication, business, Field-programmable gate array, Representation (mathematics), Computer hardware
Abstract: International audience; This paper describes our results of the AMNS modular multiplication algorithm for efficient implementations of ECC over Fp on the Hardware/Software (HW/SW) implementation in FPGA. We provide both arithmetic operators and computation architectures optimized for high speed. We also compare our results with the implementation of the CIOS method for modular multiplication.
Published: 2020

4. Efficient modular operations using the adapted modular number system

Author: Laurent-Stéphane Didier, Pascal Véron, Fangan-Yssouf Dosso, Institut de Mathématiques de Toulon - EA 2134 (IMATH), and Université de Toulon (UTLN)
Subjects: Discrete mathematics, Speedup, Computer Networks and Communications, business.industry, Modulo, ACM: B.: Hardware/B.2: ARITHMETIC AND LOGIC STRUCTURES/B.2.4: High-Speed Arithmetic, 0102 computer and information sciences, 02 engineering and technology, State (functional analysis), Modular design, Lambda, 01 natural sciences, Prime (order theory), 020202 computer hardware & architecture, Set (abstract data type), [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Tuple, business, Software, Mathematics
Abstract: The adapted modular number system (AMNS) is an integer number system which aims to speed up arithmetic operations modulo a prime p. Such a system is defined by a tuple $$(p, n, \gamma , \rho , E)$$, where p, n, $$\gamma $$ and $$\rho $$ are integers and $$E\in \mathbb {Z}[X]$$. In El Mrabet and Gama (in: WAIFI, lecture notes in computer science, Springer, 2012) conditions required to build AMNS with $$E(X)=X^n + 1$$ are provided. In this paper, we generalise their approach and provide a method to generate multiple AMNS for a given prime p with $$E(X)=X^n-\lambda $$ and $$\lambda \in \mathbb {Z}{\setminus }\{0\}$$. Moreover, we propose a complete set of algorithms without conditional branching to perform arithmetic and conversion operations in the AMNS, using a Montgomery-like method described in Negre and Plantard (in: Information security and privacy, 13th Australasian conference, ACISP 2008, Wollongong, Australia, 2008). We show that our implementation outperforms GNU MP and OpenSSL libraries. Finally, we highlight some properties of the AMNS which state that it could lead to a helpful countermeasure against some side-channel attacks.
Published: 2020

5. La Caractéristique des Styles (风格的特征)

Author: Laurent, Stéphane, Ducher, R., Boisset, Jean-François, and Polimenova, Zinaïda
Subjects: [SHS.ART] Humanities and Social Sciences/Art and art history
Published: 2020

6. Le Geste et la pensée. Artistes contre artisans de l’Antiquité à nos jours

Author: Laurent, Stéphane and Polimenova, Zinaïda
Subjects: [SHS.ART] Humanities and Social Sciences/Art and art history
Published: 2019

7. « Décoration, design et politique : l’École nationale supérieure des arts décoratifs de 1940 à 1968 »

Author: Laurent, Stéphane and Polimenova, Zinaïda
Subjects: [SHS.ART] Humanities and Social Sciences/Art and art history
Published: 2019

8. «La spécificité de la création mobilière française et les aménagements intérieurs, 1910-1937 »

Author: Laurent, Stéphane, Polimenova, Zinaïda, and Frédéric Migayrou
Subjects: [SHS.ART] Humanities and Social Sciences/Art and art history
Published: 2018

9. « Fiat Lux: Raoul Dufy and Robert Mallet-Stevens’s Palais de la lumière (Palace of Light) »

Author: Laurent, Stéphane and Polimenova, Zinaïda
Subjects: [SHS.ART] Humanities and Social Sciences/Art and art history
Published: 2018

10. « La Tentation du Sublime, Les Intérieurs de la BnF »

Author: Laurent, Stéphane, Polimenova, Zinaïda, and Bruno Latour
Subjects: [SHS.ART] Humanities and Social Sciences/Art and art history
Published: 2018

11. « Histoire, style et globalisation: l’influence occidentale sur l’ornement chinois »

Author: Laurent, Stéphane and Polimenova, Zinaïda
Subjects: [SHS.ART] Humanities and Social Sciences/Art and art history
Published: 2018

12. Detecting nonadherence to antihypertensive treatment: Any Time, Anywhere?

Author: Hamdidouche, Idir, Jullien, Vincent, Laurent, Stéphane, Azizi, Michel, Hôpital Européen Georges Pompidou [APHP] (HEGP), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO), Epilepsies de l'Enfant et Plasticité Cérébrale (U1129), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris Descartes - Paris 5 (UPD5)-Institut National de la Santé et de la Recherche Médicale (INSERM), Biologie et pharmacologie de l'insuffisence cardiaque = Cellular, Molecular and Physiological Mechanisms of Heart Failure, Paris-Centre de Recherche Cardiovasculaire (PARCC (UMR_S 970/ U970)), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Paris Cité (UPCité)-Hôpital Européen Georges Pompidou [APHP] (HEGP), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Paris Cité (UPCité), Paris-Centre de Recherche Cardiovasculaire (PARCC - UMR-S U970), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Université Paris Descartes - Paris 5 (UPD5)-Institut National de la Santé et de la Recherche Médicale (INSERM), CIC - HEGP (CIC 1418), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpital Européen Georges Pompidou [APHP] (HEGP), and Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Paris Cité (UPCité)
Subjects: [SDV]Life Sciences [q-bio]
Abstract: International audience
Published: 2017

13. Hardware division by small integer constants

Author: Florent de Dinechin, Y. Serhan Gener, Sezer Goren, H. Fatih Ugurdag, Laurent-Stéphane Didier, Özyeğin University, Software and Cognitive radio for telecommunications (SOCRATE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), Yeditepe University, Institut de Mathématiques de Toulon - EA 2134 (IMATH), Université de Toulon (UTLN), ANR-13-INSE-0007,MetaLibm,Générateurs de code pour les fonctions mathématiques et les filtres(2013), Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon, and Uğurdağ, Hasan Fatih
Subjects: Modulo operation, FPGA synthesis, Euclidean division, Division algorithm, 02 engineering and technology, Parallel computing, ASIC synthesis, Theoretical Computer Science, Computer Science::Hardware Architecture, 0202 electrical engineering, electronic engineering, information engineering, Remainder, Hardware_ARITHMETICANDLOGICSTRUCTURES, Quotient, Parameterized HDL generator, Mathematics, Low latency combinational circuit, IP core generation, business.industry, Rounding, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, 020207 software engineering, Division (mathematics), 020202 computer hardware & architecture, Integer constant division, Computational Theory and Mathematics, Hardware and Architecture, business, Software, Computer hardware, Integer (computer science)
Abstract: Due to copyright restrictions, the access to the full text of this article is only available via subscription. This article studies the design of custom circuits for division by a small positive constant. Such circuits can be useful for specific FPGA and ASIC applications. The first problem studied is the Euclidean division of an unsigned integer by a constant, computing a quotient and remainder. Several new solutions are proposed and compared against the state-of-the-art. As the proposed solutions use small look-up tables, they match well with the hardware resources of an FPGA. The article then studies whether the division by the product of two constants is better implemented as two successive dividers or as one atomic divider. It also considers the case when only a quotient or only a remainder is needed. Finally, it addresses the correct rounding of the division of a floating-point number by a small integer constant. All these solutions, and the previous state-of-the-art, are compared in terms of timing, area, and area-timing product. In general, the relevance domains of the various techniques are different on FPGA and on ASIC.
Published: 2017

14. Contribution of rare and common genetic variants to plasma lipid levels and carotid stiffness and geometry – a substudy of the Paris Prospective Study 3 Short title: Genetic variants and carotid stiffness

Author: Proust, Carole, Empana, Jean-Philippe, Boutouyrie, Pierre, Alivon, Maureen, Challande, Pascal, Danchin, Nicolas, Escriou, Guillaume, Esslinger, Ulrike, Laurent, Stéphane, Li, Zhenlin, Pannier, Bruno, Regnault, Veronique, Thomas, Frederique, Jouven, Xavier, Cambien, François, Lacolley, Patrick, Unité de Recherche sur les Maladies Cardiovasculaires, du Métabolisme et de la Nutrition = Research Unit on Cardiovascular and Metabolic Diseases (ICAN), Université Pierre et Marie Curie - Paris 6 (UPMC)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Institut National de la Santé et de la Recherche Médicale (INSERM)-CHU Pitié-Salpêtrière [AP-HP], Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU)-Sorbonne Université (SU), Paris-Centre de Recherche Cardiovasculaire (PARCC - UMR-S U970), Hôpital Européen Georges Pompidou [APHP] (HEGP), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Université Paris Descartes - Paris 5 (UPD5)-Institut National de la Santé et de la Recherche Médicale (INSERM), Institut Jean le Rond d'Alembert (DALEMBERT), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO), Adaptation Biologique et Vieillissement = Biological Adaptation and Ageing (B2A), Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut de Biologie Paris Seine (IBPS), Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), Centre d'Investigations Préventives et Cliniques (CIPC), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpital Jean Verdier [AP-HP], Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP), Défaillance Cardiovasculaire Aiguë et Chronique (DCAC), Centre Hospitalier Régional Universitaire de Nancy (CHRU Nancy)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Lorraine (UL), FRHTA, DIM, CHALLANDE, Pascal, Unité de Recherche sur les Maladies Cardiovasculaires, du Métabolisme et de la Nutrition = Institute of cardiometabolism and nutrition ( ICAN ), Université Pierre et Marie Curie - Paris 6 ( UPMC ) -Assistance publique - Hôpitaux de Paris (AP-HP)-Institut National de la Santé et de la Recherche Médicale ( INSERM ) -CHU Pitié-Salpêtrière [APHP], Paris-Centre de Recherche Cardiovasculaire ( PARCC - U970 ), Université Paris Descartes - Paris 5 ( UPD5 ) -Institut National de la Santé et de la Recherche Médicale ( INSERM ) -Hôpital Européen Georges Pompidou [APHP] ( HEGP ), Institut Jean Le Rond d'Alembert ( DALEMBERT ), Université Pierre et Marie Curie - Paris 6 ( UPMC ) -Centre National de la Recherche Scientifique ( CNRS ), Hôpital Européen Georges Pompidou [APHP] ( HEGP ), Adaptation Biologique et Vieillissement = Biological Adaptation and Ageing ( B2A ), Centre National de la Recherche Scientifique ( CNRS ) -Institut National de la Santé et de la Recherche Médicale ( INSERM ) -Université Pierre et Marie Curie - Paris 6 ( UPMC ), Centre d'Investigations Préventives et Cliniques ( CIPC ), Assistance publique - Hôpitaux de Paris (AP-HP)-hôpital Jean-Verdier, Défaillance Cardiovasculaire Aiguë et Chronique ( DCAC ), Centre Hospitalier Régional Universitaire de Nancy ( CHRU Nancy ) -Institut National de la Santé et de la Recherche Médicale ( INSERM ) -Université de Lorraine ( UL ), Unité de Recherche sur les Maladies Cardiovasculaires, du Métabolisme et de la Nutrition = Institute of cardiometabolism and nutrition (ICAN), Sorbonne Université (SU)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU), Université Paris Descartes - Paris 5 (UPD5)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Hôpital Européen Georges Pompidou [APHP] (HEGP), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO), Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC), Université Pierre et Marie Curie - Paris 6 (UPMC)-Assistance publique - Hôpitaux de Paris (AP-HP) (APHP)-Institut National de la Santé et de la Recherche Médicale (INSERM)-CHU Pitié-Salpêtrière [APHP], Assistance publique - Hôpitaux de Paris (AP-HP) (APHP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Assistance publique - Hôpitaux de Paris (AP-HP) (APHP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO), Institut Jean Le Rond d'Alembert (DALEMBERT), Assistance publique - Hôpitaux de Paris (AP-HP) (APHP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO), Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), Assistance publique - Hôpitaux de Paris (AP-HP) (APHP)-hôpital Jean-Verdier, and Université de Lorraine (UL)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre Hospitalier Régional Universitaire de Nancy (CHRU Nancy)
Subjects: lipids, [SDV.GEN.GH]Life Sciences [q-bio]/Genetics/Human genetics, [SDV.MHEP.CSC]Life Sciences [q-bio]/Human health and pathology/Cardiology and cardiovascular system, wall thickness, [ SDV.MHEP.CSC ] Life Sciences [q-bio]/Human health and pathology/Cardiology and cardiovascular system, [SDV.GEN.GH] Life Sciences [q-bio]/Genetics/Human genetics, genetic hypertension, heritability, [ SDV.GEN.GH ] Life Sciences [q-bio]/Genetics/Human genetics, exome, [SDV.MHEP.CSC] Life Sciences [q-bio]/Human health and pathology/Cardiology and cardiovascular system
Abstract: International audience; Background: We assess the contribution of common and rare putatively functional genetic variants (most of them coding) present on the Illumina exome Beadchip to the variability of plasma lipids and stiffness of the common carotid artery. Methods and results: Measurements were obtained from 2283 men and 1398 women, and after filtering and exclusion of monomorphic variants, 32827 common (minor allele frequency >0.01) and 68770 rare variants were analyzed. A large fraction of the heritability of plasma lipids is attributable to variants present on the array, especially for Triglycerides (fraction of variance attributable to measured genotypes: V(G)/Vp=31.4%, P
Published: 2015

15. Médiation Scientifique : une facette de nos métiers de la recherche

Author: Rousseau, Antoine, Darnaud, Aurélie, Goglin, Brice, Acharian, Céline, Leininger, Christine, Godin, Christophe, Holik, Clarisse, Kirchner, Claude, Rives, Diane, Darquie, Elodie, Kerrien, Erwan, Neyret, Fabrice, Masseglia, Florent, Dufour, Florian, Berry, Gérard, Dowek, Gilles, Robak, Hélène, Xypas, Hélène, Illina, Irina, Gnaedig, Isabelle, Jongwane, Joanna, Ehrel, Jocelyne, Viennot, Laurent, Guion, Laure, Calderan, Lisette, Kovacic, Lola, Collin, Marie, Enard, Marie-Agnès, Comte, Marie-Hélène, Quinson, Martin, Olivi, Martine, Giraud, Mathieu, Dorémus, Mathilde, Ogouchi, Mia, Droin, Muriel, Lacaux, Nathalie, Rougier, Nicolas, Roussel, Nicolas, Guitton, Pascal, Peterlongo, Pierre, Cornus, Rose-Marie, Vandermeersch, Simon, Maheo, Sophie, Lefebvre, Sylvain, Boldo, Sylvie, Viéville, Thierry, Poirel, Véronique, Chabreuil, Aline, Fischer, Arnaud, Farge, Claude, Vadel, Claude, Astic, Isabelle, Dumont, Jean-Pierre, Féjoz, Loic, Rambert, Patrick, Paradinas, Pierre, de Quatrebarbes, Sophie, Laurent, Stéphane, Modelling, Observations, Identification for Environmental Sciences (MOISE), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Laboratoire Jean Kuntzmann (LJK), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Centre National de la Recherche Scientifique (CNRS)-Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria), Efficient runtime systems for parallel architectures (RUNTIME), Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Inria Siège, Modeling plant morphogenesis at different scales, from genes to phenotype (VIRTUAL PLANTS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de la Recherche Agronomique (INRA)-Amélioration génétique et adaptation des plantes méditerranéennes et tropicales (UMR AGAP), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Amélioration génétique et adaptation des plantes méditerranéennes et tropicales (UMR AGAP), Formal islands: foundations and applications (PAREO), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP), Visual Augmentation of Complex Environments (MAGRIT), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Models and Algorithms for Visualization and Rendering (MAVERICK), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Jean Kuntzmann (LJK), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS), Scientific Data Management (ZENITH), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM), Chaire Algorithmes, machines et langages, Collège de France (CdF (institution)), Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Inria Lille - Nord Europe, Analysis, perception and recognition of speech (PAROLE), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Theoretical adverse computations, and safety (CARTE), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Simulations and Algorithms on Grids for Environment (SAGE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Networks, Graphs and Algorithms (GANG), Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Laboratory of Information, Network and Communication Sciences (LINCS), Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Mines-Télécom [Paris] (IMT), Information Scientifique et Technique (IST Sophia Antipolis Méditerranée), Algorithms for the Grid (ALGORILLE), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Analysis and Problems of Inverse type in Control and Signal processing (APICS), Bioinformatics and Sequence Analysis (BONSAI), Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe, fuscia, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université numérique ingénierie et technologie - UNIT-Université des sciences en ligne - UNISCIEL, Mnemonic Synergy (Mnemosyne), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut des Maladies Neurodégénératives [Bordeaux] (IMN), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS), Méthodes et outils pour l'Interaction à gestes (MINT2), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Scalable, Optimized and Parallel Algorithms for Genomics (GenScale), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Geometry and Lighting (ALICE), Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Realtime-at-Work (RTaW), Centre for Quantitative methods and Operations Management (QuantOM), Université de Liège, Inria, Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro)-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), Collège de France - Chaire Algorithmes, machines et langages, Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut Polytechnique de Grenoble - Grenoble Institute of Technology-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut Polytechnique de Grenoble - Grenoble Institute of Technology-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut National Polytechnique de Grenoble (INPG), Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Sciences et Technologies - Bordeaux 1-Université Bordeaux Segalen - Bordeaux 2, Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro)-Institut National de la Recherche Agronomique (INRA)-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro)-Institut National de la Recherche Agronomique (INRA)-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro)-Institut National de la Recherche Agronomique (INRA)-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro), Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec, Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Inria Paris-Rocquencourt, Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Sciences et Technologies - Bordeaux 1-Université Bordeaux Segalen - Bordeaux 2-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Sciences et Technologies - Bordeaux 1-Université Bordeaux Segalen - Bordeaux 2-Inria Bordeaux - Sud-Ouest, Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189 (CRIStAL), Centre National de la Recherche Scientifique (CNRS)-Université de Lille-Ecole Centrale de Lille-Centre National de la Recherche Scientifique (CNRS)-Université de Lille-Ecole Centrale de Lille-Inria Lille - Nord Europe, GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Inria Rennes – Bretagne Atlantique, none, Centre National de la Recherche Scientifique (CNRS)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Centre National de la Recherche Scientifique (CNRS)-Université Joseph Fourier - Grenoble 1 (UJF)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Inria Grenoble - Rhône-Alpes, Centre National de la Recherche Scientifique (CNRS)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Centre National de la Recherche Scientifique (CNRS)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF)-Université Pierre Mendès France - Grenoble 2 (UPMF), Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Université de Lille-Centrale Lille-Centre National de la Recherche Scientifique (CNRS)-Université de Lille-Centrale Lille-Centre National de la Recherche Scientifique (CNRS), and Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO)
Subjects: service public, culture scientifique, médiation scientifique, [INFO]Computer Science [cs], popularisation des sciences, recherche
Abstract: Dans ce monde devenu numérique nous savons que c'est une de nos missions d'acteur de la recherche publique, que de rendre accessibles les sciences du numérique au plus grand nombre. Ceci afin que chaque citoyenne et citoyen maîtrise, au delà des usages, les principaux fondements de cette mutation numérique. Et nous croyons que c'est l'acquisition d'une culture scientifique sur ces sujets qui est le levier de cette appropriation. C'est notre mission et notre plaisir d'y contribuer. Ce document a pour but d'aider chaque collègue Inria intéressé à participer à ce volet de nos missions. Devenue une facette de notre métier, comme le rappelle le Plan Stratégique Inria [1], ce que nous appelons médiation scientifique en sciences du numérique (alias, " mecsci ") se professionnalise et change d'échelle. Et c'est environ 1 % de nos ressources qui a vocation à y être consacré. Pour tout l'institut on parle donc de près de 40 équivalents temps-plein distribués à travers le travail quotidien ou ponctuel de plusieurs centaines de collègues chercheurs, ingénieurs, communicants, etc.. Une telle énergie mérite d'être bien employée : au service des meilleurs objectifs ; vers des cibles bien définies qui ont de vrais besoins sur ces sujets ; dans le cadre d'actions leviers qui aident à faire bouger les choses ; et avec une méthodologie efficace qui optimise ce que nous investissons dans de telles activités ; tout en respectant et en encourageant les dynamiques locales et individuelles indépendantes qui restent les sources vives de la médiation scientifique. Voilà pourquoi il y a juste besoin d'offrir en partage à chacune et chacun les éléments fondateurs et méthodologiques de cette médiation scientifique. Offrir aussi quelques bonnes pratiques très concrètes. On parle donc ici d'une organisation distribuée d'actions collaboratives d'où émerge le service public de popularisation scientifique visé. C'est ce que ce document se propose de décrire ici.
Published: 2013

16. Sum-of-products Evaluation Schemes with Fixed-Point arithmetic, and their application to IIR filter implementation

Author: Lopez, Benoit, Hilaire, Thibault, Didier, Laurent-Stéphane, Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), and Lopez, Benoit
Subjects: [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic
Abstract: International audience; — The signal processing and control algorithms are widely based on sum-of-products evaluation. In fixed-point arith-metic, the roundoff errors and coefficient quantization may have an important effect on the application's performance and characteristics. As part of a global methodology on optimal fixed-point im-plementation of filters/controllers, this paper formalizes the various implementation schemes for sum-of-products in fixed-point arithmetic and automates the fixed-point code production. The order of the operations are considered, as their bit-width and the fixed-point representation of the coefficients, variables and partial results. Applied to linear filters, the output roundoff noise error is then evaluated and used as a criteria to find out interesting evaluation scheme. An example illustrates the approach.
Published: 2012

17. A Statistical Inference Model for the Dynamic Range of LTI Systems

Author: Chapoutot, Alexandre, Didier, Laurent-Stéphane, Villers, Fanny, Sûreté et Fiabilité des Logiciels (SFL), Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Probabilités et Modèles Aléatoires (LPMA), Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Université Pierre et Marie Curie - Paris 6 (UPMC), Chapoutot, Alexandre, and Université Pierre et Marie Curie - Paris 6 (UPMC)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], ComputingMilieux_MISCELLANEOUS, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Abstract: International audience
Published: 2012

18. Table-based division by small integer constants

Author: Florent de Dinechin, Laurent-Stéphane Didier, Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Arithmetic and Computing (ARIC), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), and Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL)
Subjects: Floating point, Computer science, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, 02 engineering and technology, Parallel computing, Division (mathematics), 020202 computer hardware & architecture, Trial division, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Table (database), Remainder, Hardware_ARITHMETICANDLOGICSTRUCTURES, Constant (mathematics), Field-programmable gate array, Integer (computer science)
Abstract: International audience; Computing cores to be implemented on FPGAs may involve divisions by small integer constants in fixed or floating point. This article presents a family of architectures addressing this need. They are derived from a simple recurrence whose body can be implemented very efficiently as a look-up table that matches the hardware resources of the target FPGA. For instance, division of a 32-bit integer by the constant 3 may be implemented by a combinatorial circuit of 48 LUT6 on a Virtex-5. Other options are studied, including iterative implementations, and architectures based on embedded memory blocks. This technique also computes the remainder. An efficient implementation of the correctly rounded division of a floating-point constant by such a small integer is also presented.
Published: 2012

19. Design of Fixed-Point Embedded Systems (defis) French ANR Project

Author: Ménard, Daniel, Rocher, Romuald, Sentieys, Olivier, Simon, Nicolas, Didier, Laurent-Stéphane, Hilaire, Thibault, Lopez, Benoît, Goubault, Eric, Putot, Sylvie, Vedrine, Franck, Najahi, Mohamed Amine, Revy, Guillaume, Fangain, Laurent, Samoyeau, Christian, Lemonnier, Fabrice, Clienti, Christophe, Revy, Guillaume, Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA), Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (CAIRN), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Digits, Architectures et Logiciels Informatiques (DALI), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Perpignan Via Domitia (UPVD), InPixal [Rennes], InPixal, Embedded System Lab (ESL), Thales Research and Technology, Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Université de Perpignan Via Domitia (UPVD)
Subjects: [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing, [SPI.SIGNAL] Engineering Sciences [physics]/Signal and Image processing
Abstract: International audience; Embedded applications are usually coming with stringent constraints in term of cost, energy consumption and real-time. Consequently, fixed-point arithmetic is mainstream for their implementation into embedded systems. Hence, the main objective of the french ANR project DEFIS is to provide a complete design flow for fixed-point refinement of complex applications. This tool flow is like the missing link between high-level application specification tools and low-level implementation.
Published: 2012

20. Rho-Direct Form transposed and Residue Number Systems for Filter implementations

Author: Bajard, Jean-Claude, Didier, Laurent-Stéphane, Hilaire, Thibault, Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), and Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO]Computer Science [cs], Hardware_ARITHMETICANDLOGICSTRUCTURES
Abstract: International audience; This paper deals with a new approach for Infinite Impulse Response (IIR) Filter based on specific structure and arithmetic. The ρ-Direct Form II transposed, introduced by G. Li [1], is an numerically efficient structure for FIR or IIR filters. Compared to classical direct forms it uses more computations but less bits are necessary for the same precision. These properties made it well conditioned for fixed point arithmetic and its implementations are economical and numerically efficient comparing to other forms. In other hand, Residue Number Systems (RNS) offer an interest- ing parallelism where operations are made on small values. RNS are well known for improving the performances of DSP filters. We compare our RNS approach to fixed point implementations of DFII and ρ-DFIIt.
Published: 2011

21. Modélisation du comportement mécanique d’artères carotides communes humaines in vivo

Author: Masson, Ingrid, Boutouyrie, Pierre, Laurent, Stéphane, Humphrey, Jay, Zidi, Mustapha, Service irevues, irevues, and Association Française de Mécanique
Subjects: [PHYS.MECA]Physics [physics]/Mechanics [physics], [PHYS.MECA] Physics [physics]/Mechanics [physics]
Abstract: Colloque avec actes et comité de lecture. Internationale.; International audience; A partir de mesures non invasives cliniques sur des sujets humains, nous proposons un nouveau modèle de comportement mécanique 3D d'artères carotides communes qui tient compte du caractère hyperélastique, composite, actif, précontraint et dynamique du tissu biologique. Le problème aux limites est résolu par une méthode semi-analytique, ce qui permet d’obtenir une évaluation des cinématiques de déformation et des distributions de contraintes pariétales de la structure artérielle in vivo au cours d’un cycle cardiaque.
Published: 2009

22. A statistical method of range estimation for embedded applications

Author: Didier, Laurent-Stéphane, Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), and Publications, Lip6
Subjects: [INFO]Computer Science [cs], [INFO] Computer Science [cs]
Abstract: International audience; Many embedded applications use fixed point arithmetic because embedded hardware do not implement floating point arithmetic for cost and efficiency reasons. In order to specify the fixed point arithmetics used in his design, a designer has to estimate the ranges of the internal variables. With this knowledge, he can obtain a trade-off between the cost, size, power and speed of his system. However, computing such a range is known to be difficult. It can be observed that most of the embedded applications are digital signal processing and control applications which are generally iterative methods. Making use of interval or similar arithmetic [1, 2] in order to get an estimation of the range of such iterative methods does not give interesting results easily. The statistical methods offer an interesting way to get some information on the range simply.The aim of such methods is to simulate several times with stimuli the application to be evaluated, to catch the values of the outputs and exploit some of their statistical properties in order to estimate their range.Kim and Sung have proposed a method originally designed for estimating the range of variables of a C code [3]. In their approach, they examine the means, the standard deviations and the kurtoses of the studied internal variables. With this method, the width of the range of each variable is a simple function of those three parameters.We propose here an other statistical method which requires less simulation than Kim & Sung’s approach. If we consider the input stimuli as random independent inputs, it is then possible to consider the minima and the maxima of the outputs of each simulation as random variables. Assuming that these variables have a gaussian repartition, we built an estimator based on the student’s test. The estimated range is then a function of the mean, the standard deviation, the number of simulation and the inverse of the student’s T cumulative distribution function.The use of our and Kim & Sung’s method is also illustrated through several examples.
Published: 2008

23. Une nouvelle base RNS à 4 moduli et son convertisseur vers le binaire

Author: Laurent-Stéphane Didier, Pierre-Yves Rivaille, Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), and Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Very-large-scale integration, Reducer, Modular arithmetic, business.industry, Computer science, Binary number, Modular design, Converters, Base (topology), [INFO]Computer Science [cs], Arithmetic, business, Algorithm, Electronic circuit
Abstract: International audience; Nous introduisons une conversion RNS vers binaire rapide pour une nouvelle classe de bases spécifiques à quatre éléments. Le premier avantage de cette conversion est d'éviter l'emploi d'un réducteur modulaire. Le second est d'offrir un plus grand choix de bases que d'autres bases modulaires spécifiques. Cette conversion est hiérarchique et s'appuie sur des convertisseurs à deux éléments pour des systèmes modulaires dont les bases sont du type {m,m + 2p}. Cette conversion se prête bien à la construction d'architectures VLSI. Nous en avons synthétisé un grand nombre d'exemples qui illustrent les bonnes performances de notre convertisseur au regard des travaux antérieurs. On trouve aussi dans cet article une preuve détaillée du fonctionnement d'architecture ainsi que les délais et surfaces des circuits synthétisés.
Published: 2008

24. Conversion rapide pour une base RNS a 4 moduli

Author: Didier, Laurent-Stéphane, Rivaille, Pierre-Yves, Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), and Publications, Lip6
Subjects: [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2006

25. The SOFA toolbox: a tool for tuning fixed point representations in embedded designs

Author: Chesneaux, Jean-Marie, Didier, Laurent-Stéphane, Rico, Fabien, Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), and Publications, Lip6
Subjects: [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2006

26. A comparitive study of multi-operand modular adders

Author: Didier, Laurent-Stéphane, Rivaille, Pierre-Yves, Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), and Publications, Lip6
Subjects: [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2005

27. A classification of arithmetic representations for a cad tool design

Author: Didier, Laurent-Stéphane, Daouphars, Raphaël, Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), and Publications, Lip6
Subjects: [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2005

28. High Radix BKM Algorithm

Author: Fabien Rico, Laurent-Stéphane Didier, Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), and Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Logarithm, Applied Mathematics, Computation, 010103 numerical & computational mathematics, 02 engineering and technology, 01 natural sciences, 020202 computer hardware & architecture, BKM algorithm, Lookup table, Theory of computation, 0202 electrical engineering, electronic engineering, information engineering, Elementary function, Radix, [INFO]Computer Science [cs], 0101 mathematics, Arithmetic, CORDIC, Hardware_ARITHMETICANDLOGICSTRUCTURES, Mathematics
Abstract: International audience; In this paper, a high radix implementation of the BKM algorithm is introduced. The BKM algorithm is a shift-and-add CORDIC-like algorithm that performs fast computation of complex exponential and logarithm without any scalling factor. The proposed implementation reduces the number of iterations needed for the calculation. Compared to previous implementations of high radix BKM algorithm, it needs smaller lookup tables.
Published: 2004

29. Systèmes modulaires de représentation

Author: Didier, Laurent-Stéphane, Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), and Publications, Lip6
Subjects: [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2004

30. The Fixed CADNA library

Author: Chesneaux, Jean-Marie, Didier, Laurent-Stéphane, Rico, Fabien, Algorithmique numérique et parallélisme (ANP), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), and Publications, Lip6
Subjects: [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2003

31. Use of multiple number representation in automatic arithmetic data-path design

Author: Raphael Daouphars, Laurent-Stéphane Didier, Architecture des Systèmes intégrés et Micro électronique (ASIM), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), and Algorithmique numérique et parallélisme (ANP)
Subjects: Multiplier (Fourier analysis), Adder, Number representation, CMOS, Finite impulse response, Binary number, [INFO]Computer Science [cs], Arithmetic, Hardware_ARITHMETICANDLOGICSTRUCTURES, Digital filter, Mathematics, Coding (social sciences)
Abstract: International audience; We present in this paper a study of a framework for a FIR filter with fixed coefficients targeting CMOS 0.35Â´ for binary standard and redundant representations. Booth recoded and Lefevre constant multipliers are used. The internal data coding being both borrow-save and carry-save, the framework manages the generation of adapted adders.
Published: 2003

32. Les systèmes modulaires de représentation des nombres, un tour d'horizon

Author: Bajard, Jean-Claude, Didier, Laurent-Stéphane, Algorithmique numérique et parallélisme (ANP), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), and Publications, Lip6
Subjects: [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract: National audience
Published: 2001

33. Some improvements on RNS Montgomery modular multiplication

Author: Bajard, Jean-Claude, Didier, Laurent-Stéphane, Kornerup, Peter, Rico, Fabien, Algorithmique numérique et parallélisme (ANP), Laboratoire d'Informatique de Paris 6 (LIP6), and Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO]Computer Science [cs], Hardware_ARITHMETICANDLOGICSTRUCTURES
Abstract: International audience; In Residue Number Systems (RNS), an integer X is represented by its residues {x0,...,xn-1} modulo a base of relatively prime numbers {m0,...,mn-1}. Thus a large number can be represented as a set of small integers. Addition and multiplication can be easily parallelized, there is no carry propagation. The time is reduced to the evaluation of these operations with small numbers. This representation is useful in cryptography and digital signal processing. Furthermore, in these two domains, modular multiplication (A X B mod N) is frequently used. So, in 1998, we have presented in IEEE journal of transactions on computers, a new modular multiplication algorithm in RNS. This algorithm is based on the Montgomery algorithm, using the associated Mixed Radix representation, for the weighted digits. It was the first algorithm of this type. In this paper, we present two remarks. First, if we develop the different expressions due to the algorithm, we obtain some mathematical simplifications that allow us to suppress some Mixed Radix occurrence in the basic iteration simply with a new initialization of our variables. Thus, in this new version, the complexity of each basic iteration, becomes equivalent to two products of small integers instead of three. The second remark is that, most of the time, modular multiplications are done with the same modulo N. We can precompute some values and reduce the complexity of each basic iteration to one multiplication of two small integers. Thus, the basic iteration is three times faster, and the global computation, due to the initialization, is 8/5 time faster than the original version. Sometime after the last basic iteration a Mixed Radix conversion can be needed. Classical parallel methods are linear. We propose an algorithmic parallel algorithm for this translation from RNS to Mixed Radix. For this, we use a result that comes from an RNS division algorithm, we published in Journal of VLSI signal processing systems 1998. We obtain in a logarithmic time an approximation of the Mixed radix representation. The correct representation is then established in a logarithmic time too.
Published: 2000

34. Contributions à la cryptographie à base de couplage

Author: El Mrabet, Nadia, Département Systèmes et Architectures Sécurisés (SAS-ENSMSE), École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-CMP-GC, Laboratoire d'Informatique Avancée de Saint-Denis (LIASD), Université Paris 8 Vincennes-Saint-Denis (UP8), Institut Mines-Télécom [Paris] (IMT), Université Paris 8 Vincennes – Saint-Denis, Laurent-Stéphane Didier, and El Mrabet, Nadia
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Arithmétique, Cryptology, Attaques par canaux cachés, Courbes elliptiques, [MATH] Mathematics [math], [MATH]Mathematics [math], [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]
Published: 2017

35. Implémentation optimale de filtres linéaires en arithmétique virgule fixe

Author: Lopez, Benoit, Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), UPMC LIP6, Université Pierre et Marie Curie - Paris VI, Laurent-Stéphane Didier, Thibault Hilaire, and STAR, ABES
Subjects: Signal processing, pire cas, Arithmétique virgule fixe, méthode analytique, arithmétique des ordinateurs, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, Analyse d'erreur, virgule fixe, Optimisation des largeurs, filtres linéaires, Traitement du signal, Implémentation pour l'embarqué, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, implémentation, Sommme de produits, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Fixed-point arithmetic, Conversion virgule fixe
Abstract: Embedded systems implement signal processing systems, such as linear filters, for example for communication through networks. These devices are subject to various constraints, such as power consumption, time-To-Market, area consumption, and so on, that is necessary to optimize while guaranteeing reliability and accuracy of the implemented systems. Fixed-Point arithmetic is generally used instead of floating-Point arithmetic for signal processing embedded systems because it is less expensive, all devices support fixed-Point numbers (as they are implemented only using integers), allows arbitrary word-Lengths in hardware implementation and is enough accurate for signal processing programs. Fixed-Point computations need the operands of an operation to be aligned together with the same position of the binary point. This leads to quantification errors and the goal is to minimize these round-Off effects onto the final result, by proposing a guarantee on the output error. During this thesis, a methodology has been proposed which implements a given algorithm in fixed-Point using analytical approach, and generates some codes. This methodology consider both software and hardware targets. The hardware approach is realized solving a word-Length optimization problem. A tool, named FiPoGen, has been developed that realizes this methodology and automatically yields fixed-Point code corresponding to a given filter algorithm with a guarantee on the output error., De nombreux systèmes embarqués implémentent des applications de traitement du signal, notamment lors de communications. Certains de ces traitements sont effectués par des filtres linéaires, qu'il est donc nécessaire de mettre en oeuvre numériquement sur ces cibles. Les systèmes embarqués sont sujets à diverses contraintes qu'il faut optimiser tout en conservant des systèmes fiables en terme de performance et de précision. L'arithmétique virgule fixe est généralement préférée à l'arithmétique flottante pour des systèmes embarqués de traitement du signal, entre autres car elle est moins coûteuse, disponibles dans tous les systèmes, permet d'utiliser des largeurs arbitraires sur des cibles matérielles et est généralement suffisante en terme de précision pour les applications de traitement du signal. Le calcul en virgule fixe nécessite d'aligner les positions des virgules pour ainsi rendre cohérent des calculs à base de nombres entiers. Cela implique des quantifications et l'enjeu est donc de minimiser la répercussion de ces arrondis sur le résultat final, en proposant une garantie sur l'erreur sur la sortie. Une méthodologie a été proposée durant cette thèse qui, à partir d'un algorithme de filtre linéaire, utilise une méthode analytique pour implémenter cet algorithme en virgule fixe et générer du code. Cette méthodologie considère à la fois les implémentations logicielles, et les implémentations matérielles qui impliquent la résolution d'un problème d'optimisation. Un outil, nommé FiPoGen, a été développé pour mettre en oeuvre les méthodes proposées et fournir automatiquement un code virgule fixe implémentant un filtre donné avec garantie sur l'erreur sur la sortie.
Published: 2015

36. Approche arithmétique RNS de la cryptographie asymétrique

Author: Eynard, Julien, Performance et Qualité des Algorithmes Numériques (PEQUAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Université Pierre et Marie Curie - Paris VI, Jean-Claude Bajard, and Laurent-Stéphane Didier
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Arithmétique des ordinateurs, Cryptographie asymétrique, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Réseaux euclidiens, Asymmetric cryptography, Attaque par faute, RNS, Systèmes de représentation par les restes, Computer arithmetic
Abstract: This thesis is at the crossroads between cryptography and computer arithmetic. It deals with enhancement of cryptographic primitives with regard to computation acceleration and protection against fault injections through the use of residue number systems (RNS) and their associated arithmetic. So as to contribute to secure the modular multiplication, which is a core operation for many asymmetric cryptographic primitives, a new modular reduction algorithm supplied with fault detection capability is presented. A formal proof guarantees that faults affecting one or more residues during a modular reduction are well detected. Furthermore, this approach is generalized to an arithmetic dedicated to non-prime finite fields Fps . Afterwards, RNS are used in lattice-based cryptography area. The aim is to exploit acceleration properties enabled by RNS, as it is widely done for finite field arithmetic. As first result, a new version of Babai’s round-off algorithm based on hybrid RNS-MRS representation is presented. Then, a new and specific acceleration technique enables to create a full RNS algorithm computing a close lattice vector.; Cette thèse se situe à l'intersection de la cryptographie et de l'arithmétique des ordinateurs. Elle traite de l'amélioration de primitives cryptographiques asymétriques en termes d'accélération des calculs et de protection face aux attaques par fautes par le biais particulier de l'utilisation des systèmes de représentation des nombres par les restes (RNS). Afin de contribuer à la sécurisation de la multiplication modulaire, opération centrale en cryptographie asymétrique, un nouvel algorithme de réduction modulaire doté d'une capacité de détection de faute est présenté. Une preuve formelle garantit la détection des fautes sur un ou plusieurs résidus pouvant apparaître au cours d'une réduction. De plus, le principe de cet algorithme est généralisé au cas d'une arithmétique dans un corps fini non premier. Ensuite, les RNS sont exploités dans le domaine de la cryptographie sur les réseaux euclidiens. L'objectif est d'importer dans ce domaine certains avantages des systèmes de représentation par les restes dont l'intérêt a déjà été montré pour une arithmétique sur GF(p) notamment. Le premier résultat obtenu est une version en représentation hybride RNS-MRS de l'algorithme du « round-off » de Babai. Puis une technique d'accélération est introduite, permettant d'aboutir dans certains cas à un algorithme entièrement RNS pour le calcul d'un vecteur proche.
Published: 2015

37. Filtrations of the erased-word processes

Author: Stéphane Laurent and Laurent, Stéphane
Subjects: filtration, Class (set theory), [MATH.MATH-PR] Mathematics [math]/Probability [math.PR], Computer science, 010102 general mathematics, Process (computing), 01 natural sciences, Probability vector, Algebra, 010104 statistics & probability, standardness, Filtration (mathematics), Root vertex, 0101 mathematics, Alphabet, Word (computer architecture), Computer Science::Formal Languages and Automata Theory, Probability measure
Abstract: We define a class of erased-word processes and prove that the poly-adic filtration generated by such a process is standard. This is shown by firstly constructing a generating process of innovations in the case of a finite alphabet equipped with the uniform probability measure, and then by deriving the general case with the help of the tools of Vershik's theory of filtrations in discrete negative time.
Published: 2015

38. Standardness and nonstandardness of next-jump time filtrations

Author: Stéphane Laurent and Laurent, Stéphane
Subjects: Statistics and Probability, filtration, Pure mathematics, [MATH.MATH-PR] Mathematics [math]/Probability [math.PR], Mathematical analysis, Mathematics::Algebraic Geometry, cosiness, Mathematics::K-Theory and Homology, standardness, 60G05, Jump, Filtration (mathematics), 60J10, Standard filtration, Statistics, Probability and Uncertainty, Cosy filtration, Mathematics
Abstract: The value of the next-jump time process at each time is the date of its the next jump. We characterize the standardness of the filtration generated by this process in terms of the asymptotic behavior at $n=-\infty$ of the probability that the process jumps at time $n$. In the case when the filtration is not standard we characterize the standardness of its extracted filtrations.
Published: 2013

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Database

38 results on '"Laurent, Stéphane"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources