Networking in the Long Emergency Barath Raghavan and Justin Ma ICSI and UC Berkeley ABSTRACT

Source URL: conferences.sigcomm.org

• Peak oil
• Energy
• Universe
• Economy
• Energy economics
• Petroleum politics
• Energy development
• Energy policy
• Energy crisis
• Oil depletion
• Energy industry
• Energy security

Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order

Source URL: mitras.ece.illinois.edu

• Mathematical analysis
• Mathematics
• Symbol
• Continuous function
• Kazhdan's property
• Limit of a function
• Ergodic theory
• Hopf decomposition
• Ergodic flow

Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very

Source URL: www.cl.cam.ac.uk

• Computer programming
• Recursion
• Mathematical logic
• Software engineering
• Computability theory
• Theory of computation
• Theoretical computer science
• -recursive function
• Recursive definition
• Well-founded relation
• Functional programming
• Pattern matching

The Protection of Information in Computer Systems JEROME H. SALTZER, SENIOR MEMBER, IEEE, AND MICHAEL D. SCHROEDER, MEMBER, IEEE Invited Paper Abstract - This tutorial paper explores the mechanics of

Source URL: www.doc.ic.ac.uk

• Computer security
• Security engineering
• Prevention
• Security
• Crime prevention
• Cryptography
• Information governance
• National security
• Password
• Operating system
• Protection ring
• Capability-based security

FANO VARIETIES AND EPW SEXTICS OLIVIER DEBARRE Abstract. We explore a connection between smooth projective varieties X of dimension n with an ample divisor H such that H n = 10 and KX = −(n − 2)H and a class of sexti

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Algebraic geometry
• Algebraic varieties
• Hodge theory
• Invariant theory
• Algebraic surfaces
• Projective variety
• Birational geometry
• Fano variety
• Hodge structure
• Moduli space

My Bloody Friggin Campaign A fantasy world for the Fudge Roleplaying System _http://wanderinghorse.net/gaming/fudge/_ Abstract:

Source URL: wanderinghorse.net

REVIEW OF CRYPTONOTE WHITE PAPER SURAE NOETHER This paper is dedicated to Emmy Noether, Satoshi Nakamoto, and the Bourbaki Group. Abstract. This document is not intended as financial advice; it is one mathematician’s t

Source URL: downloads.getmonero.org

• Cryptocurrencies
• Alternative currencies
• Cryptography
• Economy
• Currency
• CryptoNote
• Monero
• Ring signature
• Bytecoin
• Bitcoin
• Zerocoin protocol
• Ethereum

METABELIAN GROUPS WITH QUADRATIC DEHN FUNCTION AND BAUMSLAG-SOLITAR GROUPS YVES DE CORNULIER AND ROMAIN TESSERA Abstract. We prove that a certain class of metabelian locally compact groups have quadratic Dehn function. A

Source URL: www.normalesup.org

• Geometry
• Mathematics
• Group theory
• Geometric group theory
• Combinatorics on words
• Dehn function
• Hyperbolic group
• Finitely generated abelian group
• Lattice
• Presentation of a group
• Linear group
• HNN extension

Learning Inductive Biases with Simple Neural Networks Reuben Feinman () Center for Neural Science New York University Abstract People use rich prior knowledge about the world in order to

Source URL: cims.nyu.edu

• Artificial neural networks
• Computational neuroscience
• Artificial intelligence
• Learning
• Applied mathematics
• Machine learning
• Computational statistics
• Computer vision
• Convolutional neural network
• Deep learning
• Concept learning
• One-shot learning

MODULI SPACES FOR CERTAIN FANO VARIETIES OLIVIER DEBARRE Abstract. It is yet unknown whether quasiprojective moduli spaces exist for all Fano varieties with finite automorphism groups. In this talk, we will describe a cl

Source URL: www.math.ens.fr

• Geometry
• Algebra
• Abstract algebra
• Algebraic geometry
• Fano variety
• Projective variety
• Hyperelliptic curve
• Moduli space
• DeligneMumford stack
• Hypersurface
• Ample line bundle
• Stack