Equivalence - PDFSEARCH.IO - Document Search Engine

Equivalence
Results: 2665

#	Item
181	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification
182	Graduate Student Seminar Winter Term: K-Theory and Derived Equivalences Mark Ullmann The program for the graduate student seminar next term is the paper “K-Theory and derived equivalences” by Daniel Dugger an Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2009-02-18 07:12:09 Homotopy theory Homological algebra Ring theory Algebraic geometry Category theory Model category Derived category Algebraic K-theory Homotopy category Triangulated category Morita equivalence Ring
183	Shuchi Chawla & Jason Hartline mU.Wisc-Madison Northwestern U. June 5, 2011 Basic question: How should an economic system be designed so that Add to Reading List Source URL: econ.ece.northwestern.edu Language: English - Date: 2011-06-06 13:18:25 Auction theory Auctions Mechanism design Game theory First-price sealed-bid auction Vickrey auction Auction Online auction Revenue equivalence
184	Microsoft Word - size-and-topology_v10-APA 5th ed.docx Add to Reading List Source URL: cognitivegiscience.psu.edu Language: English - Date: 2010-04-30 11:20:12 Cognitive science Cartography Geographic data and information Behavioural sciences Human behavior Spatial analysis Topology Framing Psychology Cognition Equivalence class Spatial relation
185	A Unified Theory of Granularity, Vagueness, and Approximation Thomas Bittner and Barry Smith Department of Computer Science, Northwestern University, Department of Philosophy, State University of New Y Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:08 Combinatorics Number theory Arithmetic functions Partition of a set Partition Equivalence relation Mathematical object Vagueness Perception Mereology
186	DIAGNOSTIC IN-CLASS QUIZ: DUE FRIDAY OCTOBER 11: GAUSS-JORDAN ELIMINATION (ORIGINALLY DUE WEDNESDAY OCTOBER 9, BUT POSTPONED) MATH 196, SECTION 57 (VIPUL NAIK) Your name (print clearly in capital letters): PLEASE DO NOT Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Linear algebra Numerical linear algebra Row echelon form Gaussian elimination Matrix System of linear equations Elementary matrix Linear equation Augmented matrix Polynomial Overdetermined system Row equivalence
187	Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Theoretical computer science Logic in computer science Category theory Formal methods Bisimulation Functional programming Coinduction Denotational semantics F-coalgebra Robin Milner Type theory Weak equivalence
188	Math Primer Andrzej Wasowski ˛ February 12, 2007 Please, report all the bugs you can spot to the author! Add to Reading List Source URL: itu.dk Language: English - Date: 2016-07-31 05:28:08 Functions and mappings Equivalence relation Equivalence class Binary relation Equality Surjective function Bijection injection and surjection Bijection Partition of a set Transitive relation Injective function Cardinality
189	1155 Documenta Math. Cluster Equivalence and Graded Derived Equivalence Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-12-03 06:40:02 Representation theory Tilting theory Triangulated category Lie algebras Monoidal categories Weight
190	CS364A: Algorithmic Game Theory Lecture #3: Myerson’s Lemma∗ Tim Roughgarden† September 30, Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-10-07 12:24:11 Auction theory Auctions Game theory Vickrey auction Mechanism design Auction Bidding Sponsored search auction Inverse trigonometric functions Revenue equivalence Linkage principle

UPDATE