Transformation theory - PDFSEARCH.IO - Document Search Engine

Transformation theory
Results: 665

#	Item
1	Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗ Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Theoretical computer science Elementary mathematics Compiler optimizations Static single assignment form Logic programming Scope Unification Term FO Variable Singular spectrum analysis
2	Benchmarking for Graph Transformation∗ Gergely Varr´o Department of Computer Science and Information Theory Budapest University of Technology and Economics Magyar tud´osok k¨or´utja 2. H-1521 Budapest, Hungary Add to Reading List Source URL: www.cs.bme.hu - Date: 2005-09-05 17:08:27
3	Driving-based Program Transformation in Theory and Practice Ph.D. Thesis Jens Peter Secher Add to Reading List Source URL: repository.readscheme.org - Date: 2010-10-22 08:05:13
4	Cartesian Closure for Stable Categories (draft) Paul Taylor Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:07:53 Category theory Mathematics Abstract algebra Functors Limit Adjoint functors Universal property Diagram Natural transformation Coproduct Product Grothendieck topology
5	ON CROSSED PRODUCT RINGS WITH TWISTED INVOLUTIONS, THEIR MODULE CATEGORIES AND L-THEORY arXiv:0710.2282v2 [math.KT] 15 Oct 2007 Add to Reading List Source URL: 131.220.77.52 Language: English - Date: 2011-03-02 09:32:58 Algebra Mathematics Abstract algebra Functors Category theory Adjoint functors Equivalence of categories Homological algebra Limit Additive categories Sheaf Natural transformation
6	D:/Compile/1/Document_dup.dvi Add to Reading List Source URL: eda.mmci.uni-saarland.de Language: English - Date: 2014-04-04 04:24:44 Mathematical analysis Analysis Statistics Probability theory Probability distribution Discretization Total correlation Multivariate statistics Data transformation Univariate
7	Scientific Benchmarking of Parallel Computing Systems Twelve ways to tell the masses when reporting performance results Torsten Hoefler Roberto Belli Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-09-20 15:37:25 Statistics Descriptive statistics Means Summary statistics Statistical inference Estimation theory Measurement Median Normal distribution Standard deviation Geometric mean Data transformation
8	Large scale geometry of automorphism groups Christian Rosendal, University of Illinois at Chicago Permutation groups and transformation semigroups, Durham, July 2015 Add to Reading List Source URL: www.maths.dur.ac.uk Language: English - Date: 2015-08-20 04:15:16 Mathematics Algebra Geometry Symmetry Representation theory Group theory Mathematical structures Group actions Equivariant map Group representation Space Banach space
9	Time and Reality A talk given to the PPE Club in Oxford on Wednesday, February 11th, 2009 by J.R. Lucas It is mandatory to start with St Augustine, whose famous remark: si nemo me ex me quaerat, scio; si quaerenti explic Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2009-02-20 14:49:46 Physics Theory of relativity Theoretical physics Special relativity Lorentzian manifolds Spacetime Modality Modal logic Eternalism Minkowski space Lorentz transformation Light cone
10	arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-06-05 20:47:48 Category theory Algebra Mathematics Monoidal categories Lambda calculus Functors Algebraic topology Cartesian closed category Topological quantum field theory Morphism Natural transformation Coproduct

UPDATE