arXiv:1102.1889v2 [cs.LO] 7 AugOLOGS: A CATEGORICAL FRAMEWORK FOR KNOWLEDGE REPRESENTATION DAVID I. SPIVAK AND ROBERT E. KENT Abstract. In this paper we introduce the olog, or ontology log, a categorytheoretic mod

Source URL: arxiv.org

A Functorial Query Language Ryan Wisnesky, David Spivak Department of Mathematics Massachusetts Institute of Technology {wisnesky, dspivak}@math.mit.edu

Source URL: categoricaldata.net

! Lundi 20 octobre 2014 Mardi 4 novembre 2014 : Rencontre avec Gayatri Chakravorty Spivak, à l’université Paris 8 Danielle Tartakowsky, présidente de l’université Paris 8 remettra le titre de Docteur Honoris Cau

Source URL: www.univ-paris8.fr

Relational Foundations for Functorial Data Migration David Spivak, Ryan Wisnesky Department of Mathematics Massachusetts Institute of Technology {dspivak, wisnesky}@math.mit.edu

Source URL: categoricaldata.net

Arithmetic, Geometry  and  Calculus III  by   

Source URL: www.math.jhu.edu

• Mathematics education
• Calculus
• Mathematics
• Arithmetic
• Michael Spivak
• Geometry
• Mathematics competitions
• United States of America Mathematical Olympiad

Theory of disordered D-wave superconductors B.Spivak University of Washington with S. Kivelson, and P. Oreto Stanford University

Source URL: landau100.itp.ac.ru

2D electronic phases intermediate between the Fermi liquid and the Wigner crystal (electronic micro-emulsions) B. Spivak, UW with S. Kivelson, Stanford

Source URL: mti.msd.anl.gov

CONTACT: Irine Spivak The Beverly Hilton +

Source URL: www.beverlyhilton.com

Evaluating Policies and Mechanisms to Support Distributed Real-Time Applications with CORBA Carlos O’Ryan and Douglas C. Schmidt Fred Kuhns, Marina Spivak, Jeff Parsons, Irfan Pyarali, and David L. Levine

Source URL: www.cs.wustl.edu

Evaluating Policies and Mechanisms to Support Distributed Real-Time Applications with CORBA Carlos O’Ryan and Douglas C. Schmidt Fred Kuhns, Marina Spivak, Jeff Parsons, Irfan Pyarali, and David L. Levine

Source URL: www.cs.wustl.edu