Using Alloy in a Language Lab Approach to Introductory Discrete Mathematics Charles Wallace Michigan Technological University In collaboration with Laura Brown, Adam Feltz

Source URL: alloytools.org

• Wombat
• Mongoose

CHARACTERIZING A VERTEX-TRANSITIVE GRAPH BY A LARGE BALL MIKAEL DE LA SALLE AND ROMAIN TESSERA, WITH AN APPENDIX BY JEAN-CLAUDE SIKORAV Abstract. It is well-known that a complete Riemannian manifold M which is locally is

Source URL: www.normalesup.org

• Mathematics
• Graph theory
• Geometry
• Geometric group theory
• Group theory
• Metric geometry
• Algebraic graph theory
• Cayley graph
• Quasi-isometry
• End
• Vertex-transitive graph
• Graph

A Fistful of Bitcoins: Characterizing Payments Among Men with No Names Sarah Meiklejohn Marjori Pomarole Grant Jordan † Kirill Levchenko Damon McCoy Geoffrey M. Voelker Stefan Savage University of California, San Diego

Source URL: smeiklej.com

• Cryptocurrencies
• Bitcoin
• Economy
• Money
• Financial technology
• Alternative currencies
• Digital currencies
• Blockchains
• Mt. Gox
• Satoshi Nakamoto
• Blockchain.info
• BitPay

Python Testing with pytest

Source URL: media.pragprog.com

• Software
• Computer programming
• Computing
• Pip
• Archi
• Setuptools

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16) Errata Slip In the paper “Be Fast, Cheap and in Control with SwitchKV” by Xiaozhou Li and Raghav Sethi, Princeton

Source URL: www.usenix.org

6 OctoberIPCC SR1.5 Changes to the Underlying Scientific-Technical Assessment to ensure consistency with the approved Summary for Policymakers

Source URL: ipcc.ch

• Climate change
• Physical geography
• Intergovernmental Panel on Climate Change
• United Nations Environment Programme
• World Meteorological Organization
• IPCC Fifth Assessment Report
• Global warming
• Reasons for concern
• IPCC Third Assessment Report
• IPCC Second Assessment Report
• IPCC Summary for Policymakers
• Extreme weather

Control-data plane intelligence trade-off in SDN Yash Sinha, Siddharth Bhatia Birla Institute of Technology and Science, Pilani, India Abstract— With the decoupling of network control and data

Source URL: www.ieee-security.org

• Computing
• Network architecture
• Emerging technologies
• Information and communications technology
• Configuration management
• Software-defined networking
• Ethernet
• OpenFlow
• Computer architecture
• Access control
• Computer network
• Network interface controller

HIGH DIMENSIONAL EXPANDERS ALEXANDER LUBOTZKY Abstract. Expander graphs have been, during the last five decades, the subject of a most fruitful interaction between pure mathematics and computer science, with influence an

Source URL: eta.impa.br

• Algebra
• Mathematics
• Spectral theory
• Geometric group theory
• Topological groups
• Algebraic topology
• Expander graph
• Kazhdan's property
• Ramanujan graph
• Simplicial complex
• Cohomology
• Spectrum