Verifying Equivalence of Procedures in Different Languages: Preliminary Results David J. Musliner, Michael J. S. Pelican, Peter J. Schlette Smart Information Flow Technologies (SIFT) {dmusliner, mpelican, pschlette}@sift

Source URL: musliner.com

MPLS Under the Microscope: Revealing Actual Transit Path Diversity Yves Vanaubel Pascal Mérindol

Source URL: irtf.org

• Network protocols
• Internet Standards
• Tunneling protocols
• Multiprotocol Label Switching
• Label Distribution Protocol
• Network architecture
• RSVP-TE
• Forwarding equivalence class
• Fast reroute
• Label Information Base
• MPLS local protection
• MPLS VPN

arXiv:1408.2584v2 [math.GN] 13 OctHOMOTOPY EQUIVALENCE IN FINITE DIGITAL IMAGES JASON HAARMANN, MEG P. MURPHY, CASEY S. PETERS, AND P. CHRISTOPHER STAECKER Abstract. For digital images, there is an established hom

Source URL: arxiv.org

1 Equivalence of Reconstruction from the Absolute Value of the Frame Coefficients to a Sparse Representation Problem Radu Balan*, Senior Member, IEEE, Pete Casazza, and Dan Edidin

Source URL: www.math.umd.edu

European photography MEDIA PARTNERSHIPS European Photography welcomes Media Partnerships by cooperating with and promoting international initiatives and events. In the past, such collaborations have been established with

Source URL: www.equivalence.com

An Equivalence-Preserving CPS Translation via Multi-Language Semantics ∗ Amal Ahmed Matthias Blume

Source URL: www.ccs.neu.edu

• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Valuation
• Generalised Whitehead product
• Symbol

STRINGY BUNDLES AND INFINITE LOOP SPACE THEORY J.M.GOMEZ, P. HU AND I. KRIZ 1. introduction In this note, we describe a new a candidate for an elliptic cohomology-type spectrum based on conformal field theory. The new mo

Source URL: www.math.lsa.umich.edu

• Abstract algebra
• Algebra
• Mathematics
• Category theory
• Functors
• Fibred category
• Natural transformation
• Equivalence of categories
• Universal property
• Grothendieck topology
• Sheaf
• Forgetful functor

Austria Population: 8.0 million Capital: Vienna, 1.6 million Currency: Euro (€) International code: ++43 Tourist information: Österreich

Source URL: www.equivalence.com

A method for proving observational equivalence V´eronique Cortier LORIA, CNRS & INRIA Nancy Grand Est France Email:

Source URL: www.lsv.ens-cachan.fr

Counting equivalence classes of words in F2 Bobbe Cooper and Eric Rowland LaCIM Université du Québec à Montréal February 20, 2012

Source URL: thales.math.uqam.ca