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

pile library [34 articles]

最近 pile さんのライブラリ .
  • An axiomatic explanation of complete self-reproduction
    Bulletin of Mathematical Biology, Vol. 30, No. 3. (1968), pp. 415-425.
    by Lars Löfgren
    posted to axiomatizability explanation formalizability self-explanation self-reproduction bibtex-import by pile on 2007-08-22 14:48:40 as **
  • Space is the Place
    Thesis Eleven, Vol. 88, No. 1. (2007), pp. 8-30.
    by Michael Schiltz
    posted to no-tag by pile on 2007-03-27 09:09:40 as **
  • The engineering of vision and the aesthetics of computer art
    SIGGRAPH Comput. Graph., Vol. 28, No. 4. (November 1994), pp. 259-263.
    by Lev Manovich
    posted to to-do_examine by pile on 2006-11-14 08:56:11 as **
  • Semiotics and levels of representation in complex information processing systems
    Intelligent Control (ISIC), 1998. Held jointly with IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA), Intelligent Systems and Semiotics (ISAS), Proceedings of the 1998 IEEE International Symposium on (1998), pp. 863-868.
    by JG Meunier
    posted to fernleihe by pile on 2006-11-13 11:08:42 as ** along with 2 people and 2 groups garyfeng rgb ReadingLab pileWorks
  • Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
    Indagationes Mathematicae (Proceedings), Vol. 75, No. 5. (1972), pp. 381-392.
    by NG de Bruijn
    posted to fernleihe by pile on 2006-11-02 17:52:50 as ** along with 2 people alec tov
  • Definability and decision problems in arithmetic
    The journal of symbolic logic, Vol. 14 (1949), pp. 98-114.
    by Julia Robinson
    posted to rgb by pile on 2006-10-17 18:38:47 as **
  • The evolution of norms.
    PLoS Biol, Vol. 3, No. 6. (June 2005)
    by PR Ehrlich, SA Levin
    posted to to-do_examine by pile on 2006-10-17 07:53:23 as ** along with 6 people and 3 groups kerim baronka mattjb livingthingdan bastintonyroy adriandefroment ComplexAdaptiveSystems DSTO-CAS livingthing
  • A new type of complementarity between quantum and classical information
    (3 Jul 2002)
    by Jonathan Oppenheim, Karol Horodecki, Michal, Ryszard Horodecki
    posted to to-do_examine by pile on 2006-10-17 07:38:25 as ** along with 1 person kevina
  • Haskell vs. Ada Vs. C++ vs Awk vs \ldots An Experiment in Software Prototyping Productivity
    (1994)
    by Paul Hudak, Mark P Jones
    posted to haskell by pile on 2006-10-13 10:28:24 as ** along with 1 person serebryakov
  • The Berry paradox
    Complexity, Vol. 1 (1995), pp. ?-?.
    by GJ Chaitin
    posted to godel number by pile on 2006-10-10 10:34:19 as **
  • On Computable Beliefs of Rational Machines
    Games and Economical Behavior, Vol. 1 (1989), pp. 144-169.
    by Nimrod Megiddo
    posted to godel number by pile on 2006-10-10 09:42:39 as **
  • On Computable Beliefs of Rational Machines
    Games and Economical Behavior, Vol. 1 (1989), pp. 144-169.
    by Nimrod Megiddo
    posted to godel number by pile on 2006-10-10 09:42:25 as **
  • Modeling Connectionist Networks: Categorical, Geometric Aspects (Towards “Homomorphic Learning”)
    COMPUTING ANTICIPATORY SYSTEMS: CASYS'03 - Sixth International Conference, Vol. 718, No. 1. (2004), pp. 257-267.
    by Jochen Pfalzgraf
    edited by Daniel M Dubois
    posted to category-theory pdf_done by pile on 2006-10-06 07:37:42 as ** along with 1 person scis0000001
  • Continuation-Based Program Transformation Strategies
    J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
    by Mitchell Wand
    posted to pdf_done by pile on 2006-10-06 07:33:20 as ** along with 9 people and 2 groups kvm samth twleung rgrig JacquesC JeffreyPalmer voigt nominolo americovargas NU-PRL SRG_at_UCD
  • Imperative Functional Programming
    (1993), pp. 71-84.
    by SLP Simon, Philip Wadler
    posted to citavi-standorte-done input-output monads by pile on 2006-09-28 11:11:29 as ** along with 7 people and 1 group samth jacob cedricboidin pintman lomeo jwm0123 glaubersp NU-PRL
  • Variations on algebra: Monadicity and generalisations of equational theories
    (1994)
    by E Robinson
    posted to lueth_02_composing by pile on 2006-09-28 11:08:42 as **
  • Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms
    (1987), pp. 114-139.
    by David E Rydeheard, John G Stell
    posted to lueth_02_composing by pile on 2006-09-28 11:01:25 as **
  • Notions of Computation Determine Monads
    (2002), pp. 342-356.
    by Gordon D Plotkin, John Power
    posted to lueth_02_composing by pile on 2006-09-28 11:01:04 as **
  • Monads and Modularity
    (2002), pp. 18-32.
    by Christoph Lüth, Neil Ghani
    posted to lueth_02_composing by pile on 2006-09-28 10:58:52 as **
  • Monads and Modular Term Rewriting
    (1997), pp. 69-86.
    by Christoph Lüth, Neil Ghani
    posted to lueth_02_composing by pile on 2006-09-28 10:57:28 as **
  • Monad transformers and modular interpreters
    (1995), pp. 333-343.
    by Sheng Liang, Paul Hudak, Mark Jones
    posted to lueth_02_composing by pile on 2006-09-28 10:54:24 as ** along with 6 people and 1 group eaubin JacquesC rwtodd cedricboidin oliverh bfraser NU-PRL
  • Combining Monads
    (1993), pp. 134-143.
    by David J King, Philip Wadler
    posted to lueth_02_composing by pile on 2006-09-28 10:44:26 as **
  • Combining Computational Effects: commutativity & sum
    (2002), pp. 474-484.
    by Martin Hyland, Gordon D Plotkin, John Power
    posted to lueth_02_composing by pile on 2006-09-28 10:38:02 as **
  • Abstract Syntax and Variable Binding
    (1999)
    by Marcelo Fiore, Gordon Plotkin, Daniele Turi
    posted to lueth_02_composing by pile on 2006-09-28 10:35:26 as **
  • Algebra of programming
    (1997)
    by Richard Bird, Oege de Moor
    posted to lueth_02_composing by pile on 2006-09-28 10:34:53 as ** along with 2 people marcinzalewski jpbernardy
  • A Dimly Perceived Horizon: The Complex Meeting Ground between Physical and Inner Time
    Ann NY Acad Sci, Vol. 879, No. 1. (30 June 1999), pp. 143-153.
    by Francisco J Varela
    posted to time by pile on 2006-09-27 07:30:07 as ** along with 1 person and 1 group rgb pileWorks
  • Mobile Ambients
    (1998)
    by Luca Cardelli, Andrew D Gordon
    posted to ambient-calculus by pile on 2006-09-26 14:44:13 as ** along with 2 people Myren hubyrod
  • Equational Properties of Mobile Ambients
    (1999), pp. 212-226.
    by Andrew D Gordon, Luca Cardelli
    posted to ambient-calculus by pile on 2006-09-26 14:42:07 as **
  • Symmetry and Self-Organization in Complex Systems
    (12 Sep 2006)
    by BD Macarthur, JW Anderson
    posted to bibtex-export by pile on 2006-09-25 15:10:08 as ** along with 6 people ansobol jrw ddahlem gane5h scis0000001 Langam
  • An Advanced C++ Library for Symbolic Computing
    by Zhiqing L Department
    posted to citavi-standorte-done by pile on 2006-09-22 15:27:54 as **
  • DIAM II: The binary infological level and its database language - FORAL
    (1976), pp. 121-140.
    by Michael E Senko
    posted to citavi-standorte-done by pile on 2006-09-22 14:20:52 as **
  • On the equivalences of data based systems
    (1975), pp. 43-76.
    by Edgar H Sibley
    posted to citavi-standorte-done by pile on 2006-09-22 13:13:37 as **
  • Tramp: An interpretive associative processor with deductive capabilities
    (1968), pp. 143-156.
    by William L Ash, Edgar H Sibley
    posted to citavi-standorte-done by pile on 2006-09-22 13:01:45 as **
  • Computational Lambda-Calculus and Monads
    (1989), pp. 14-23.
    by Eugenio Moggi
    posted to citavi-standorte-done lueth_02_composing by pile on 2006-09-21 12:17:55 as ** along with 7 people and 1 group jrw cedricboidin tautologico glaubersp mfrydr ds mmarcus complogic
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/pile

    RIS BibTeX
    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.