Equivalence - PDFSEARCH.IO - Document Search Engine

Equivalence
Results: 2665

#	Item
131	Formal Verification for High-Assurance Behavioral Synthesis Sandip Ray1 , Kecheng Hao2 , Yan Chen3 , Fei Xie2 , and Jin Yang4 1 Department of Computer Sciences, University of Texas at Austin, Austin, TX 78712 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:32:42 Electronic engineering Electronic design automation Design Formal methods Electronics Electronic design Formal equivalence checking Formal verification High-level synthesis Integrated circuit design Register-transfer level Invariant
132	Correction to: The p-order of topological triangulated categories Journal of Topology), 868–914 Stefan Schwede Zhi-Wei Li has pointed out a gap in the proof of Proposition A.4 and a missing argument in Proposit Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-04-16 03:43:13 Homotopy theory Mathematics Cofibration Fibration Weak equivalence Generalised Whitehead product CurryHoward correspondence
133	Worksheet on Relations and Equivalence Relations and Classes November 6, 2015 1 Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:56 Mathematics Equivalence relation Equivalence class Binary relation Transitive relation Mathematical logic Integer Cardinality Ternary equivalence relation Apartness relation
134	Reducts of structures and maximal-closed permutation groups Manuel Bodirsky∗, Laboratoire d’Informatique (LIX), CNRS UMR 7161, Ecole Polytechnique, 91128 Palaiseau, France, Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2014-01-29 07:07:24 Group theory Lie groups Non-associative algebras Lie algebras Constructible universe Equivalence relation Model theory Mutation Order Group action Vertex operator algebra Lambda calculus
135	Math. Ann. 319, 517–Mathematische Annalen Digital Object Identiﬁer (DOIs002080000165 Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2003-11-07 09:15:42 Homotopy theory Category theory Algebraic topology Symmetry Highly structured ring spectrum Spectrum Symmetric spectrum Adjoint functors Homotopy category Model category Stable model category Equivalence of categories
136	335 Documenta Math. K -Theory Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2015-07-16 12:25:55 Functors Homological algebra Category theory Adjoint functors Ring theory Functor category Representable functor Sheaf Exact functor Derived functor Cohomology Equivalence of categories
137	Non-Price Equilibria in Markets of Discrete Goods (working paper) Avinatan Hassidim∗ Haim Kaplan† Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2011-02-09 05:37:28 Game theory First-price sealed-bid auction Competitive equilibrium Nash equilibrium Price of anarchy Strategy Best response General equilibrium theory Zero-sum game Sequential auction Revenue equivalence
138	Microsoft Word - size-and-topology_v10-APA 5th ed.docx Add to Reading List Source URL: www.geovista.psu.edu Language: English - Date: 2016-07-01 14:44:26 Cognitive science Cartography Geographic data and information Behavioural sciences Human behavior Spatial analysis Topology Framing Psychology Cognition Equivalence class Spatial relation
139	List of Certified Vietnamese Language Court Interpreters Certification is the highest-level court interpreter in the Louisiana Judicial system. To become a “Certified” court interpreter in Louisiana, a candidate must Add to Reading List Source URL: www.lasc.org Language: English - Date: 2015-06-23 15:49:48 Language interpretation Interpreter Professional certification Translating for legal equivalence
140	L2-Torsion, the measure-theoretic determinant conjecture, and uniform measure equivalence Add to Reading List Source URL: 131.220.77.52 Language: English - Date: 2011-03-02 09:33:09 Operator theory Geometric group theory Topological groups Equivalence relation Amenable group Quasi-isometry Von Neumann algebra Null set System of imprimitivity Spectral theory of ordinary differential equations

UPDATE