MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding Laurent Fousse, Guillaume Hanrot, Vincent Lef`evre, Patrick P´elissier, Paul Zimmermann LORIA, 615 rue du jardin botanique, FVillers-

Source URL: perso.ens-lyon.fr

• Computer arithmetic
• Computing
• Arithmetic
• Computer architecture
• GNU MPFR
• GNU Multiple Precision Arithmetic Library
• Rounding
• Extended precision
• IEEE 754-1985
• IEEE floating point
• Quadruple-precision floating-point format
• Paul Zimmermann

Linux-based virtualization for HPC clusters Lucas Nussbaum, Fabienne Anhalt, Olivier Mornard, Jean-Patrick Gelas Laboratoire de l’Informatique et du Parallélisme INRIA - UCB Lyon 1 - ENS Lyon -

Source URL: www.loria.fr

• Software
• System software
• Linux Foundation
• University of Cambridge Computer Laboratory
• Xen
• Kernel-based Virtual Machine
• QEMU
• Hypervisor
• Hardware virtualization
• Virtual machine
• Network virtualization
• Hyper-V

Rousseau’s Legacies / Les Fortunes de Rousseau a conference organized by Byron Wells and Patrick Coleman, and sponsored by the UCLA Center for 17th & 18th Century Studies ~ 306 Royce Hall Thursday, June 25 3:00 pm Sess

Source URL: rousseauassociation.ish-lyon.cnrs.fr

On Elementary Linear Logic and polynomial time (Extended Abstract) Patrick Baillot∗ ENS Lyon, Universit´e de Lyon, LIP (UMR 5668 CNRS-ENSL-INRIA-UCBL)

Source URL: www.cs.swan.ac.uk

• Complexity classes
• Proof theory
• Structural complexity theory
• Curry–Howard correspondence
• Type theory
• NP
• Time complexity
• Reduction
• Linear logic
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

COMITÉS COMITÉ SCIENTIFIQUE Marc BILLAUD, Institut Albert Bonniot, GIRC Christophe CAUX, Centre de Recherche en Cancérologie de Lyon, LYric Bénédicte ELENA-HERRMANN, Institut des Sciences Analytiques Patrick MEHLEN,

Source URL: www.canceropole-clara.com

History 101 or A SHORT MUSING ABOUT HOW THE LYON ARMS APPEARED ON A SKIRLING GRAVESTONE In the Kinnettles Kirkyard is a stone, formerly likely to be of a ‘table’ style, of some antiquity[removed]that features bare, st

Source URL: www.monikie.org.uk

• Glamis Castle
• John Lyon
• Patrick Lyon
• 1st Lord Glamis
• Queen Elizabeth The Queen Mother
• Patrick Lyon
• Clan Lyon
• Patrick Bowes-Lyon
• 15th Earl of Strathmore and Kinghorne
• British people
• United Kingdom
• Earl of Strathmore and Kinghorne

MUMPS overview Patrick Amestoy (INPT(ENSEEIHT)-IRIT), Abdou Guermouche (Univ. de Bordeaux), Jean-Yves L’Excellent (Inria-LIP-ENS Lyon) MUMPS group,

Source URL: mumps.enseeiht.fr

• Numerical software
• MUMPS programming language
• Computing
• MUMPS
• Portable
• Extensible Toolkit for Scientific Computation
• Lis
• Gare de Clamart
• Nested dissection
• Clamart
• Software
• Numerical linear algebra
• Numerical analysis

ON THE STATIONARY PHASE APPROXIMATION OF CHIRP SPECTRA Eric Chassande-Mottin and Patrick Flandrin Ecole Normale Sup´erieure de Lyon

Source URL: www.apc.univ-paris7.fr

• Thought
• Frequency
• Signal processing
• Physics
• Chirp

PDF Document

Source URL: images.rodale.com

• Patrick Moore
• Rex Weyler
• Robert Hunter
• Activism
• Lyon Hunter
• Rainbow Warrior
• Jim Bohlen
• Environment
• Greenpeace
• Environmentalism
• Civil disobedience