IEEE TRANSACTIONS ON COMPUTERS, VOL. ??, NO. ??, ??? A New Range-Reduction Algorithm N. Brisebarre, D. Defour, P. Kornerup, J.-M Muller and N. Revol

Source URL: perso.ens-lyon.fr

• Mathematics
• Algebra
• Abstract algebra
• Finite fields
• Field theory
• Angle
• Sine
• Factorial
• XTR
• Valuation
• Non-analytic smooth function
• Proof that is irrational

Conceptual Framework for Legal & Risk Assessment of Blockchain Crypto Property (BCP) Dr. Luka Müller, Stephan D. Meyer, Christine Gschwend, Peter Henschel Genesis Version

Source URL: www.mme.ch

• Cryptocurrencies
• Economy
• Money
• Finance
• Counterparty
• Blockchain
• Bitcoin
• Tether
• Smart contract
• Ethereum
• Tokenization

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller

Source URL: perso.ens-lyon.fr

• Computer arithmetic
• Arithmetic
• Mathematics
• Computer architecture
• Rounding
• IEEE 754
• Double-precision floating-point format
• Interval arithmetic
• Significant figures
• NaN
• Sine
• Signed zero

Alfred Müller Alfred Müller

Source URL: www.snb.ch

• Subdivisions of Switzerland
• Canton of Thurgau
• Weinfelden
• Cantons of Switzerland
• Geography of Switzerland
• Members of the Swiss Federal Council

Runtime Correctness Checking for Emerging Programming Paradigms Joachim Protze (), Christian Terboven, Matthias S. Müller, Serge Petiton, Nahid Emad, Hitoshi Murai and Taisuke Boku RWTH Aachen U

Source URL: correctness-workshop.github.io

• Parallel computing
• Computer programming
• Application programming interfaces
• IT infrastructure
• Computing
• Fortran
• OpenMP
• Thread

Can you count on your computer? inspired from Nick Higham, Jean-Michel Muller, Siegfried Rump, Arnaud Tisserand and many others NSV-3, 15 July 2010

Source URL: www.lix.polytechnique.fr

• Mathematics
• Computer arithmetic
• Arithmetic
• Elementary arithmetic
• Binary arithmetic
• Higham
• Significant figures
• Rounding
• Addition
• Binary number

Institut für Technische Informatik und Kommunikationsnetze Martin Müller

Source URL: nsg.ee.ethz.ch

• Internet in the Netherlands
• Working groups
• System software
• RIPE Atlas
• Electrical engineering
• Utility software
• Traceroute
• Rseaux IP Europens Network Coordination Centre
• Scattering parameters
• RIPE
• Transmission Control Protocol
• Electronic test equipment

SoK: Exploiting Network Printers Jens Müller, Vladislav Mladenov, Juraj Somorovsky, Jörg Schwenk Horst Görtz Institute for IT-Security, Ruhr University Bochum , , juraj.so

Source URL: www.ieee-security.org

PDF Document

Source URL: www.muller-steigerwalt.com