Proceedings of the 1999 Haskell Workshop Erik Meijer (editor) UU-CS

Source URL: www.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Type theory
• Functional programming
• Data types
• Type systems
• Functional languages
• Haskell
• Type class
• Monad
• Generic programming

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1 Netherlands National Communication Security Agency (NLNCSA)

Source URL: cryptojedi.org

• Cryptography
• Public-key cryptography
• Post-quantum cryptography
• Smart cards
• Hash-based cryptography
• Digital signature
• Cryptographic hash function
• Java Card
• Hash function
• Security token
• Cryptographic primitive
• XMSS

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1 Netherlands National Communication Security Agency (NLNCSA)

Source URL: joostrijneveld.nl

• Cryptography
• Post-quantum cryptography
• Quantum cryptography
• Emerging technologies
• Quantum computing
• Key
• Supersingular isogeny key exchange
• Ring learning with errors key exchange

A NOTION OF GEOMETRIC COMPLEXITY AND ITS APPLICATION TO TOPOLOGICAL RIGIDITY ERIK GUENTNER, ROMAIN TESSERA, AND GUOLIANG YU Abstract. We introduce a geometric invariant, called finite decomposition complexity (FDC), to s

Source URL: www.normalesup.org

• Mathematics
• Geometry
• Algebra
• Geometric group theory
• Topological groups
• Topology
• Field theory
• Metric geometry
• Amenable group
• Kazhdan's property
• Valuation
• Von Neumann algebra

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire Erik Meijer  Maarten Fokkinga y

Source URL: maartenfokkinga.github.io

• Computer programming
• Declarative programming
• Software engineering
• Functional programming
• Recursion
• Category theory
• Higher-order functions
• Lambda calculus
• Catamorphism
• Anamorphism
• Functor
• Fold

Benchmarking 6DOF Outdoor Visual Localization in Changing Conditions Torsten Sattler1 Will Maddern2 Carl Toft3 Akihiko Torii4 Lars Hammarstrand3 Erik Stenborg3 Daniel Safari4,5 Masatoshi Okutomi4 Marc Pollefeys1,6 Josef

Source URL: openaccess.thecvf.com

CDL’s Web Archiving System Erik Hetzner UC3, California Digital Library 16 June 2011

Source URL: infolab.stanford.edu

Chapter 8 of the Handbook of Cognitive Task Design pp, (Erik Hollnagel Ed.) LEA, 2003 Adaptive Automation: Sharing and Trading of Control TOSHIYUKI INAGAKI

Source URL: www.css.risk.tsukuba.ac.jp

CV for Sten WandelSten Erik Ture Wandel

Source URL: www.tlog.lth.se

Description of the Eulerian Acid Deposition Model Jerzy Bartnicki, Krzysztof Olendrzynski, Jan Eiof Jonson, Erik Berge and Steffen Unger+ The Eulerian acid deposition model has been developed at MSC-W as a multi-layer mo

Source URL: www.emep.int