新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

jrw computation [584 articles]

最近 jrw さんのライブラリに追加された論文の中から タグ computation. You can also see everyone's computation.
  • Simulations of Large-scale WiFi-based Wireless Networks: Interdisciplinary Challenges and Applications
    (9 Jul 2008)
    by Maziar Nekovee
    posted to data-structures dataflow computation algorithms by jrw on 2008-07-10 20:09:08 as **
  • A simple, polynomial-time algorithm for the matrix torsion problem
    (8 Jul 2008)
    by Francois Nicolas
    posted to mathematics computation algorithms by jrw on 2008-07-10 20:06:23 as **
  • Bounds on Codes Based on Graph Theory
    (30 Jun 2008)
    by Salim, CN Georghiades, E Soljanin, A Sprintson
    posted to information-theory graphs computation by jrw on 2008-07-01 16:38:10 as **
  • Constructive Quantum Shannon Decomposition from Cartan Involutions
    (25 Jun 2008)
    by Byron Drury, Peter J Love
    posted to quantum-computation quantum physics computation algorithms by jrw on 2008-06-27 02:00:16 as **
  • On the Axiomatisation of Boolean Categories with and without Medial
    (5 Oct 2007)
    by Lutz Strassburger
    posted to mathematics logic computation category-theory by jrw on 2008-06-19 01:56:58 as **
  • A Class of Parallel Tiled Linear Algebra Algorithms for Multicore Architectures
    (12 Jun 2008)
    by Alfredo Buttari, Julien Langou, Jakub Kurzak, Jack Dongarra
    posted to mathematics computation algorithms by jrw on 2008-06-17 03:22:34 as **
  • A Computational Introduction to Number Theory and Algebra
    (06 June 2005)
    by Victor Shoup
    posted to number-theory mathematics computation by jrw on 2008-06-02 17:15:36 as ** along with 2 people dsquared kujan
  • Practical recipes for the model order reduction, dynamical simulation, and compressive sampling of large-scale open quantum systems
    (13 May 2008)
    by John A Sidles, Joseph L Garbini, Lee E Harrell, Alfred O Hero, Jonathan P Jacky, Joseph R Malcomb, Anthony G Norman, Austin M Williamson
    posted to quantum-computation quantum physics data-structures computation algorithms by jrw on 2008-05-14 21:05:56 as ** along with 2 people jaeseung sflammia
  • 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 ****
  • Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
    (10 May 2008)
    by Guillaume Burel
    posted to languages computation by jrw on 2008-05-13 07:39:32 as *** along with 1 person dmitri83
  • Understanding the Metropolis-Hastings Algorithm
    The American Statistician, Vol. 49, No. 4. (1995), pp. 327-335.
    by Siddhartha Chib, Edward Greenberg
    posted to computation algorithms by jrw on 2008-05-13 07:29:34 as ** along with 11 people and 2 groups i-stevenson ansobol quianominorleo rvosa nojhan markusd ldietz pcarbo icosma adriandefroment leonnovelo FAB-lab Metaheuristics
  • Discrete Mathematics for Computer Science, Some Notes
    (5 May 2008)
    by Jean Gallier
    posted to mathematics graphs computation by jrw on 2008-05-06 17:30:25 as ** along with 3 people markusd pdlug ansobol
  • The Fibonacci Model and the Temperley-Lieb Algebra
    (27 Apr 2008)
    by Louis H Kauffman, Samuel J Lomonaco
    posted to quantum-computation mathematics geometry computation algebra by jrw on 2008-04-29 16:43:15 as **
  • Google's MapReduce programming model -- Revisited
    Science of Computer Programming, Vol. 70, No. 1. (1 January 2008), pp. 1-30.
    by Ralf Lammel
    posted to networks languages haskell concurrency computation by jrw on 2008-04-28 07:31:41 as ** along with 6 people marcinzalewski pdlug JeffreyPalmer spl AbnerCYH angus
  • Quantum Computational Complexity
    (21 Apr 2008)
    by John Watrous
    posted to quantum-information quantum-computation quantum printed physics computation by jrw on 2008-04-23 08:03:44 as *** along with 4 people Scis0000002 ansobol sflammia jaeseung
  • Power Series Composition and Change of Basis
    (15 Apr 2008)
    by Alin Bostan, Bruno Salvy, Éric Schost
    posted to algorithms computation mathematics by jrw on 2008-04-16 20:58:25 as ** along with 1 person ansobol
  • The Geometry of Interaction of Differential Interaction Nets
    (9 Apr 2008)
    by Marc de Falco
    posted to computation logic by jrw on 2008-04-11 02:51:12 as **
  • Towards a homotopy theory of process algebra
    (9 Apr 2008)
    by Philippe Gaucher
    posted to mathematics languages computation category-theory algebra by jrw on 2008-04-11 02:47:17 as **
  • Presentations of finite simple groups: a computational approach
    (9 Apr 2008)
    by RM Guralnick, WM Kantor, M Kassabov, A Lubotzky
    posted to computation mathematics by jrw on 2008-04-11 02:41:15 as ** along with 1 person Scis0000002
  • Constructive Mathematics and Computer Programming
    Royal Society of London Philosophical Transactions Series A, Vol. 312 (October 1984), pp. 501-518.
    by P Martin-Lof
    posted to computation languages mathematics by jrw on 2008-04-08 19:45:01 as ** along with 4 people and 1 group ansobol Scis0000002 Constructivity jimburton Lambda the Ultimate
  • Concurrent Composition and Algebras of Events, Actions, and Processes
    (21 Mar 2008)
    by Mark, Marc L Smith
    posted to computation concurrency by jrw on 2008-03-25 23:36:45 as **
  • An Introduction to Topos Physics
    (16 Mar 2008)
    by Marios Tsatsos
    posted to algebra category-theory computation languages mathematics physics by jrw on 2008-03-19 01:06:03 as *** along with 1 person proportional
  • System Description: Abella -- A System for Reasoning about Computations
    (15 Mar 2008)
    by Andrew Gacek
    posted to computation languages mathematics by jrw on 2008-03-19 01:03:09 as **
  • Computational Mechanics: Pattern and Prediction, Structure and Simplicity
    Journal of Statistical Physics, Vol. 104, No. 3. (2001), pp. 817-879.
    by Cosma R Shalizi, James P Crutchfield
    posted to computation by jrw on 2008-03-02 18:32:16 as ** along with 2 people ansobol balduzzi
  • The topology of syntax relations of a formal language
    (28 Feb 2008)
    by Vladimir Lapshin
    posted to category-theory computation languages mathematics printed by jrw on 2008-03-01 07:31:14 as ***
  • Syntax diagrams as a formalism for representation of syntactic relations of formal languages
    (27 Feb 2008)
    by Vladimir Lapshin
    posted to computation languages printed by jrw on 2008-02-28 07:19:01 as **
  • Algebraic pattern matching in join calculus
    (27 Feb 2008)
    by Qin Ma, Luc Maranget
    posted to computation concurrency languages by jrw on 2008-02-28 07:17:05 as **
  • Lua --- an Extensible Extension Language
    Soft\-waredash Prac\-tice and Experience, Vol. 26, No. 6. (1996), pp. 635-652.
    by Roberto Ierusalimschy, Luiz H de Figueiredo, Waldemar C Filho
    posted to computation languages by jrw on 2008-02-22 20:18:07 as ** along with 1 person stavros
  • Meaningful Information
    (27 Aug 2002)
    by Paul Vitanyi
    posted to algorithms computation information-theory by jrw on 2008-02-18 07:28:19 as ** along with 2 people ansobol scis0000001
  • On the Interpretation of Type Theory in Locally Cartesian Closed Categories
    (1994), pp. 427-441.
    by Martin Hofmann
    posted to category-theory computation functional languages mathematics by jrw on 2008-02-04 07:23:58 as ** along with 1 person msakai
  • Deforestation, program transformation, and cut-elimination
    Electronic Notes in Theoretical Computer Science, Vol. 44, No. 1. (May 2001), pp. 88-127.
    by Robin Cockett
    posted to category-theory computation functional languages mathematics by jrw on 2008-02-01 02:30:43 as ***
  • Fast Integer Multiplication using Modular Arithmetic
    (9 Jan 2008)
    by Anindya De, Piyush P Kurur, Chandan Saha, Ramprasad Saptharishi
    posted to algorithms computation mathematics by jrw on 2008-01-12 02:57:32 as *** along with 2 people ansobol proportional
  • Suppression of electron spin decoherence in a quantum dot
    (3 Jan 2008)
    by Wenxian Zhang, VV Dobrovitski, Lea F Santos, Lorenza Viola, BN Harmon
    posted to computation physics quantum quantum-computation quantum-information by jrw on 2008-01-04 18:23:58 as **
  • QIS-XML: A metadata specification for Quantum Information Science
    (23 Dec 2007)
    by Pascal Heus, Richard Gomez
    posted to computation quantum-computation by jrw on 2007-12-29 20:37:28 as ** along with 2 people Scis0000002 proportional
  • Computer algebra in systems biology
    (27 Dec 2007)
    by Reinhard Laubenbacher, Bernd Sturmfels
    posted to biology computation by jrw on 2007-12-29 20:23:15 as ** along with 2 people proportional sato-ryu
  • Calculating Colimits Compositionally
    (15 Dec 2007)
    by R Rosebrugh, N Sabadini, RFC Walters
    posted to category-theory computation languages mathematics by jrw on 2007-12-19 01:40:50 as ***
  • What Every Computer Scientist Should Know About Floating-Point Arithmetic
    ACM Computing Surveys, Vol. 23, No. 1. (1991), pp. 5-48.
    by David Goldberg
    posted to algorithms computation mathematics by jrw on 2007-12-14 00:13:49 as *** along with 11 people pedagand derek_farn ansobol brian yaroslavvb croys ozarfreo sachingarg dguibert chrisatcite bsilverthorn
  • Extensible pattern matching via a lightweight language extension
    SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 29-40.
    by Don Syme, Gregory Neverov, James Margetson
    posted to computation functional languages by jrw on 2007-12-05 08:08:28 as ** along with 2 people and 1 group tautologico namin Lambda the Ultimate
  • WWW Spiders: an introduction
    (26 Oct 2007)
    by Massimiliano Zanin
    posted to computation networks by jrw on 2007-10-31 04:39:34 as ** along with 1 person ansobol
  • Elements of basic category theory
    (1996)
    by A Martini, H Ehrig, D Nunes
    posted to category-theory computation mathematics by jrw on 2007-10-31 04:34:39 as *** along with 6 people A_Olympia ansobol tautologico proportional ds julianjonker
  • A methodology for implementing highly concurrent data objects
    ACM Trans. Program. Lang. Syst., Vol. 15, No. 5. (November 1993), pp. 745-770.
    by Maurice Herlihy
    posted to computation concurrency by jrw on 2007-10-30 05:02:40 as ** along with 3 people tautologico sverker NSumner
  • Wait-free synchronization
    ACM Trans. Program. Lang. Syst., Vol. 13, No. 1. (January 1991), pp. 124-149.
    by Maurice Herlihy
    posted to computation concurrency by jrw on 2007-10-30 04:53:58 as ** along with 7 people robdockins kistijantoro tautologico orish myui NSumner meisner
  • The transactional manifesto: software engineering and non-blocking synchronization
    (2005), pp. 280-280.
    by Maurice Herlihy
    posted to computation concurrency by jrw on 2007-10-30 04:28:24 as ** along with 3 people tautologico qiongc NSumner
  • The topological structure of asynchronous computability
    J. ACM, Vol. 46, No. 6. (November 1999), pp. 858-923.
    by Maurice Herlihy, Nir Shavit
    posted to computation concurrency geometry mathematics by jrw on 2007-10-30 04:24:28 as ** along with 5 people and 4 groups muli tautologico wnoise euclid meiersi Algorithms metric_embeddings TCS Polytopes
  • Introduction to protein folding for physicists
    (13 May 2007)
    by Pablo Echenique
    posted to biology computation physics by jrw on 2007-10-22 09:25:48 as ** along with 3 people A_Olympia proportional qwermish
  • Haskell on a shared-memory multiprocessor
    (2005), pp. 49-61.
    by Tim Harris, Simon Marlow, Simon P Jones
    posted to computation functional haskell languages by jrw on 2007-10-11 10:09:01 as ** along with 8 people hamish tautologico voigt msakai neilc benchambers kazuya brecknell
  • 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 ****
  • Set Matrices and The Path/Cycle Problem
    (26 Sep 2007)
    by Sergey Gubin
    posted to algebra algorithms combinatorics computation mathematics by jrw on 2007-10-01 08:08:03 as ***
  • Language Trees and Zipping
    Physical Review Letters, Vol. 88, No. 4. (2002)
    by Dario Benedetto, Emanuele Caglioti, Vittorio Loreto
    posted to algorithms computation data-structures information-theory languages by jrw on 2007-09-17 18:13:40 as ** along with 3 people ssn ansobol stanley
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/jrw/tag/computation

    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.