Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

jrw library [2151 articles]

Статьи, недавно добавленные в библиотеку jrw library ordered by importance.
  • Lectures on tensor categories
    (27 Sep 2007)
    by Damien Calaque, Pavel Etingof
    posted to algebra category-theory mathematics by jrw on 2007-09-30 07:47:12 as *****
  • Categorical and Graphical Models of Programming Languages
    (2001)
  • Linking diagrams for free
    (11 May 2008)
    by Dominic JD Hughes
    posted to mathematics logic graphs computation category-theory by jrw on 2008-05-13 07:44:16 as ****
  • A Topos Foundation for Theories of Physics: IV. Categories of Systems
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
  • A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
  • A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory
    (7 Mar 2007)
    by A Doering, CJ Isham
  • A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
  • Non-Commutative Geometry, Categories and Quantum Physics
    (18 Jan 2008)
    by Paolo Bertozzini, Roberto Conti, Wicharn Lewkeeratiyutkul
  • Introduction to the Galois Theory of Linear Differential Equations
    (26 Dec 2007)
    by Michael F Singer
  • Topos theory and `neo-realist' quantum theory
    (24 Dec 2007)
    by Andreas Doering
  • A topos for algebraic quantum theory
    (27 Sep 2007)
    by Chris Heunen, Bas Spitters
  • C*-algebras in tensor categories
    (26 Feb 2007)
  • A general construction of internal sheaves in algebraic set theory
    (11 Nov 2007)
    by Steve Awodey, Nicola Gambino, Peter L Lumsdaine, Michael A Warren
    posted to category-theory geometry logic mathematics by jrw on 2007-11-13 03:05:51 as ****
  • Tensor and unit for symmetric monoidal categories
    (2 Nov 2007)
    by Vincent Schmitt
    posted to category-theory mathematics by jrw on 2007-11-05 10:11:15 as ****
  • (Non)Commutative Hopf algebras of trees and (quasi)symmetric functions
    (19 Oct 2007)
    by Michael E Hoffman
    posted to algebra geometry mathematics by jrw on 2007-10-22 07:54:55 as ****
  • Differential operators and BV structures in noncommutative geometry
    (18 Oct 2007)
    by Victor Ginzburg, Travis Schedler
    posted to algebra category-theory geometry mathematics by jrw on 2007-10-20 01:44:13 as ****
  • Proofs Without Syntax
    (18 Jul 2006)
    by Dominic Hughes
    posted to combinatorics computation logic mathematics printed by jrw on 2007-10-10 05:22:31 as ****
  • Logic Without Syntax
    (4 Apr 2005)
    by Dominic Hughes
    posted to combinatorics computation logic mathematics by jrw on 2007-10-10 05:22:14 as ****
  • A Universal Operator Theoretic Framework for Quantum Fault Tolerance
    (2 Sep 2007)
    by Gerald Gilbert, Michael Hamrick, Yaakov S Weinstein, Vaneet Aggarwal, Robert A Calderbank
    posted to physics printed quantum quantum-information by jrw on 2007-09-04 17:30:15 as **** along with 1 person sflammia
  • Nonlocal properties of two-qubit gates and mixed states and optimization of quantum computations
    (23 Feb 2000)
    by Yuriy Makhlin
  • Graphs, Quadratic Forms, and Quantum Codes
    (13 Mar 2007)
    by Markus Grassl, Andreas Klappenecker, Martin Roetteler
    posted to graphs physics printed quantum quantum-information by jrw on 2007-08-29 19:50:03 as ****
  • Generalized complex geometry
    (18 Jan 2004)
    by Marco Gualtieri
  • Structure and randomness in combinatorics
    (29 Jul 2007)
    by Terence Tao
  • A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
    Electronic Notes in Theoretical Computer Science, Vol. 29 (1999)
    by Fabio Gadducci, Reiko Heckel, Merce Llabres
    posted to category-theory computation languages mathematics by jrw on 2007-06-30 04:32:33 as ****
  • On proof and progress in mathematics
    (1 Apr 1994)
    by William P Thurston
    posted to mathematics by jrw on 2007-06-22 20:40:52 as **** along with 2 people proportional miteshjain
  • A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
    (19 May 2003)
    by Noson S Yanofsky
    posted to category-theory logic mathematics printed by jrw on 2007-06-22 19:57:25 as ****
  • Lectures on Quantum Field Theory
    (8 Apr 2002)
  • Monads for Natural Language Semantics
    by Chung C Shan
  • A categorical framework for the quantum harmonic oscillator
    (5 Jun 2007)
    by Jamie Vicary
    posted to category-theory mathematics physics quantum by jrw on 2007-06-07 23:06:15 as ****
  • Restricted exchange, braidings and the monoidal centre
    (1 May 2006)
    by Jonathan A Cohen, Craig A Pastro
    posted to algebra category-theory mathematics by jrw on 2007-06-06 08:03:48 as ****
  • Coherence without unique normal forms
    (30 May 2007)
    by Jonathan A Cohen
    posted to printed mathematics category-theory algebra by jrw on 2007-06-06 08:02:26 as ****
  • The structure of preserved information in quantum processes
    (30 May 2007)
    by Robin Blume-Kohout, Hui K Ng, David Poulin, Lorenza Viola
  • A PromiseBQP-complete String Rewriting Problem
    (8 May 2007)
    by Dominik Janzing, Pawel Wocjan
    posted to algorithms computation physics quantum quantum-computation by jrw on 2007-05-10 08:28:15 as ****
  • Modules over Monads and Linearity
    (7 May 2007)
    by André Hirschowitz, Marco Maggesi
  • 2-Categorical Specification of Partial Algebras
    by Martin G Rhode, Uwe Wolter
  • The rewriting calculus --- Part I
    (2001)
  • Rewrite Systems
    (1990), pp. 243-320.
    by Nachum Dershowitz, Jean-Pierre Jouannaud
  • The Logical Meeting Point of Multiset Rewriting and Process Algebra
  • Lectures on Noncommutative Geometry
    (12 Apr 2007)
    by Masoud Khalkhali
    posted to algebra geometry mathematics physics by jrw on 2007-04-13 07:01:03 as ****
  • Medial Commutativity
    (4 Apr 2007)
    by K Dosen, Z Petric
    posted to algebra category-theory mathematics by jrw on 2007-04-09 07:07:04 as ****
  • Axiomatic Rewriting Theory II - The λσ-calculus enjoys finite normalisation cones
    by Paul A Mellies
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 07:11:48 as ****
  • Axiomatic Rewriting Theory 1: A diagrammatic standardization theorem
    (2002)
    by P Mellies
  • Categories in concurrency
    (1997)
  • Domain Theory for Concurrency
    Theoretical Computer Science (2004), pp. 153-190.
    by Mikkel Nygaard, Glynn Winskel
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 06:58:41 as ****
  • Domain Theory for Concurrency
    (2003)
    by M Nygaard
  • Presheaf models for CCS-like languages
    (1999)
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 06:54:42 as ****
  • Presheaf Models for Concurrency
    (1996), pp. 58-75.
    by Gian L Cattani, Glynn Winskel
  • Models for Concurrency
    (1995)
    edited by S Abramsky, D Gabbay, TSE Maibaum
  • Specifying Interaction Categories
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 06:33:57 as ****
  • Categorical logic of concurrency and interaction II: Asynchronous processes
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 06:31:54 as ****
  • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/jrw/order/to_read

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.