Registrati | Log in | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: pileWorks - library [146 articles]

Recent papers posted by members of the pileWorks group
  • Foundations of Sequence-Based Software Specification
    IEEE Trans. Softw. Eng., Vol. 29, No. 5. (May 2003), pp. 417-429.
    by Stacy J Prowell, Jesse H Poore
    posted to specification software sequence-based by rgb to the group pileWorks on 2007-09-08 15:29:44 as **
  • A set-theoretic view of data-base representation
    (1974), pp. 477-494.
    by Henry E Beitz
    posted to set_theory set-theoretic by rgb to the group pileWorks on 2007-09-05 15:18:40 as **
  • The Haskell Road To Logic, Maths And Programming
    (31 May 2004)
    by Kees Doets, Jan E Van
    posted to haskell by rgb to the group pileWorks on 2007-09-05 15:01:20 as ** along with 8 people dsquared greg_restall thsutton grzegorz madhadron flashfonic R13 jasmithoffice
  • A Distributed Single Address-Space Operating System Supporting Persistence
    No. SCS\&E Report 9302. (1993)
    by Gernot Heiser, Kevin Elphinstone, Stephen Russell, Graham R Hellestrand
    posted to persistence by rgb to the group pileWorks on 2007-09-01 13:06:13 as **
  • Efficient Persistent Haskell
    (1998)
    by A Davie, K Hammond, J Quintela
    posted to haskell by rgb to the group pileWorks on 2007-09-01 13:05:31 as ** along with 3 people draganigajic yang sclv
  • Sorting Morphisms
    (1998), pp. 1-27.
    by Lex Augusteijn
    posted to morphisms by rgb to the group pileWorks on 2007-09-01 13:03:27 as **
  • Linear-Time Pointer-Machine Algorithms for Path-Evaluation Problems on Trees and Graphs
    (14 Nov 2006)
    by Adam L Buchsbaum, Loukas Georgiadis, Haim Kaplan, Anne Rogers, Robert E Tarjan, Jeffery R Westbrook
    posted to pointer-machine by rgb to the group pileWorks on 2007-08-17 18:33:35 as **
  • Two hierarchies of Generalized Kronecker Trees, Forms, Decision Diagrams, and Regular Layouts
    by M Perkowski, L Jozwiak, R Drechsler
    posted to trees by rgb to the group pileWorks on 2007-08-05 15:54:35 as **
  • Universal XOR Canonical Forms of Boolean Functions and its Subset Family of AND/OR/XOR Canonical Forms
    by Marek A Perkowski, Andisheh Sarabi, Rudolf F Beyl
    posted to xor by rgb to the group pileWorks on 2007-08-05 15:23:08 as **
  • Experiences Deploying a Large-Scale Emergent Network
    by Bryce W O'Hearn
    posted to no-tag by rgb to the group pileWorks on 2007-06-03 13:03:34 as **
  • The Self And The Other: The Purpose Of Distinction
    by Ranulph Glanville
    posted to lof by rgb to the group pileWorks on 2007-05-26 10:46:43 as **
  • What the Liar Taught Achilles
    pp. 29-46.
    by G Mar
    posted to no-tag by rgb to the group pileWorks on 2007-05-18 14:15:23 as ** along with 2 people suizan Tominator
  • Type Classes in Haskell
    ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138.
    by Cordelia V Hall, Kevin Hammond, SLP Simon, Philip L Wadler
    posted to class haskell type by rgb to the group pileWorks on 2007-03-19 16:31:07 as ** along with 4 people and 1 group dherman robennals tov bendiken NU-PRL
  • Heap compression and binary I/O in Haskell
    (1997)
    by M Wallace, C Runciman
    posted to haskell by rgb to the group pileWorks on 2007-03-03 16:42:51 as **
  • The Temporal Precedence Problem
    Algorithmica, Vol. 28, No. 3. (2000), pp. 288-306.
    by Desh Ranjan, Enrico Pontelli, Gopal Gupta, Luc Longpre
    posted to temporal time by rgb to the group pileWorks on 2007-02-22 11:34:24 as **
  • Bead Pile System as a Model for Self-Organized Criticality
    APS Meeting Abstracts (March 2000), 36055.
    by HL Wagner, DT Jacobs
    posted to self-organising by rgb to the group pileWorks on 2006-12-11 11:41:10 as **
  • The Essence of Functional Programming
    (1992), pp. 1-14.
    by Philip Wadler
    posted to monads by rgb to the group pileWorks on 2006-11-30 10:47:40 as ** along with 11 people and 2 groups jrw cedricboidin wasi rahul damaru wadler ben_moseley glaubersp mingguo ds donniejones18 SRL SIG
  • A Categorical Manifesto
    Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67.
    by Joseph A Goguen
    posted to category-theory by rgb to the group pileWorks on 2006-11-19 13:28:42 as ** along with 11 people ansobol jrw bonotake scis0000001 pilho kaqui ajk artur masteraka popx marcinzalewski
  • 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 representation semiotics by rgb to the group pileWorks on 2006-11-13 11:04:49 as ** along with 2 people and 1 group garyfeng pile ReadingLab
  • A Generic Persistent Object Store
    Software engineering journal, Vol. 7, No. 2. (1992), pp. 161-168.
    by AL Brown, R Morrison
    posted to persistence storage by rgb to the group pileWorks on 2006-11-02 11:00:07 as **
  • A Persistence Library for Haskell
    by Andr'e Santos, Bruno Abdon
    posted to storage persistence haskell by rgb to the group pileWorks on 2006-11-02 10:37:27 as **
  • The bits between the lambdas: binary data in a lazy functional language
    ACM SIG\-PLAN Notices, Vol. 34, No. 3. (1999), pp. 107-117.
    by Malcolm Wallace, Colin Runciman
    posted to persistence storage by rgb to the group pileWorks on 2006-11-02 10:27:42 as **
  • Trie memory
    Commun. ACM, Vol. 3, No. 9. (September 1960), pp. 490-499.
    by Edward Fredkin
    posted to memory trie by rgb to the group pileWorks on 2006-11-01 11:56:59 as ** along with 1 person scis0000001
  • Saunders Mac Lane, the Knight of Mathematics
    (11 Jul 2005)
    by SS Kutateladze
    posted to category-theory by rgb to the group pileWorks on 2006-10-06 08:29:06 as read along with 3 people ansobol TooMuchCoffeeMan mstone
  • How to declare an imperative
    ACM Comput. Surv., Vol. 29, No. 3. (September 1997), pp. 240-263.
    by Philip Wadler
    posted to descartes mind-body wadler_97_how-root by rgb to the group pileWorks on 2006-09-28 14:49:37 as ***** along with 2 people jacob mmarcus
  • Process Physics: Modelling Reality as Self-Organising Information
    (8 September 2000)
    by Reginald T Cahill, Christopher M Klinger, Kirsty Kitto
    posted to information process-physics relational self-organising by rgb to the group pileWorks on 2006-09-21 15:13:21 as ** along with 7 people jrw zzkt rogargon scis0000001 anansi Scis0000002 TomQ
  • A 'Pile' metaphor for supporting casual organization of information
    (1992), pp. 627-634.
    by Richard Mander, Gitta Salomon, Yin Y Wong
    posted to interface by rgb to the group pileWorks on 2006-09-21 12:51:31 as ** along with 7 people and 1 group draggin indratmo mxp manastungare technocrat pilho Adrian_Secord Blog_and_Wiki_Research
  • Social systems
    (2003)
    by Niklas Luhmann
    posted to autopoiesis luhmann social systems by rgb to the group pileWorks on 2006-09-21 12:46:53 as **
  • The Pile System: A New Approach To Data and Computing
    (2004)
    by Polina Proutskova
    posted to a-system-of-pure-relations pilesys by rgb to the group pileWorks on 2006-09-21 10:37:30 as read
  • Comprehending Monads
    (1990), pp. 61-78.
    by PL Wadler
    posted to category-theory monads by rgb to the group pileWorks on 2006-09-19 18:09:15 as **** along with 29 people and 1 group hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley scis0000001 msn mstone bunge Benja jsala meiersi jasonmc glaubersp ds conal cdiggins cognominal benchambers kazuya hayeah mmarcus donniejones18 SRG_at_UCD
  • Flat Arrays as a Categorical Data Type
    (submitted)
    by CR Banger, DB Skillicorn
    posted to category-theory by rgb to the group pileWorks on 2006-09-19 10:53:37 as ** along with 1 person msakai
  • Functional programming with bananas, lenses, envelopes and barbed wire
    (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
    posted to category-theory by rgb to the group pileWorks on 2006-09-19 10:21:08 as ** along with 10 people and 2 groups greenrd yallop jyasskin voigt oryp6518 dmitri83 aleks bringert wtribbey spl SRG_at_UCD Compilers
  • From General Systems to Soft Systems to Soft Computing: Applications for Large and Complex Real World Systems
    (3 Nov 2005)
    by Prashant
    posted to systems-theory by rgb to the group pileWorks on 2006-09-06 11:12:10 as **
  • the difference between updating a knowledge base and revising it
    by H Katsuno, A Mendelzon
    posted to no-tag by rgb to the group pileWorks on 2006-08-25 12:05:40 as ** along with 1 person dcora
  • Updates and counterfactuals
    (1991)
    by G Grahne
    posted to no-tag by rgb to the group pileWorks on 2006-08-25 12:05:07 as **
  • Interpretation as abduction
    (1988), pp. 95-103.
    by Jerry R Hobbs, Mark Stickel, Paul Martin, Douglas D Edwards
    posted to no-tag by rgb to the group pileWorks on 2006-08-25 10:57:12 as ** along with 2 people arnia matwendt
  • New Millennium AI and the Convergence of History
    (19 Jun 2006)
    by Juergen Schmidhuber
    posted to no-tag by rgb to the group pileWorks on 2006-08-23 15:55:59 as ** along with 1 person jrw
  • Detecting Distributed Denial-of-Service Attacks Using Kolmogorov Complexity Metrics
    Journal of Network and Systems Management, Vol. 14, No. 1. (March 2006), pp. 69-80.
    by Kulkarni, Amit, Bush, Stephen
    posted to kolmogorov by rgb to the group pileWorks on 2006-08-17 12:42:23 as **
  • An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science)
    (27 February 1997)
    by Ming Li, Paul Vitanyi
    posted to kolmogorov by rgb to the group pileWorks on 2006-08-17 12:38:51 as ** along with 8 people ansobol stanley BarrosH ddahlem scis0000001 michaelmampaey robertoalamino robotact
  • Some equivalences between Shannon entropy and Kolmogorov complexity
    Information Theory, IEEE Transactions on, Vol. 24, No. 3. (1978), pp. 331-338.
    by S Leung-Yan-Cheong, T Cover
    posted to kolmogorov by rgb to the group pileWorks on 2006-08-17 12:37:34 as ** along with 1 person and 1 group jack Vision
  • An Introduction to Kolmogorov Complexity and Its Applications
    (1993)
    by Ming Li, Paul MB Vitanyi
    posted to kolmogorov by rgb to the group pileWorks on 2006-08-17 12:36:23 as ** along with 1 person and 1 group rahul SRL
  • Kolmogorov Complexity for Possibly Infinite Computations
    Journal of Logic, Language and Information, Vol. 14, No. 2. (March 2005), pp. 133-148.
    by Veronica Becher, Santiago Figueira
    posted to kolmogorov by rgb to the group pileWorks on 2006-08-17 12:35:25 as ** along with 1 person scis0000001
  • The Sources of Kolmogorov's Grundbegriffe
    (21 Jun 2006)
    by Glenn Shafer, Vladimir Vovk
    posted to kolmogorov by rgb to the group pileWorks on 2006-08-17 12:33:59 as ** along with 1 person ansobol
  • Kolmogorov complexity and computational complexity
    (2004)
    by L Fortnow
    posted to kolmogorov by rgb to the group pileWorks on 2006-08-17 12:29:51 as ** along with 4 people geomblog rsantana suizan pcamacho
  • Shannon Information and Kolmogorov Complexity
    (1 October 2004)
    by Peter Grunwald, Paul Vitanyi
    posted to kolmogorov by rgb to the group pileWorks on 2006-08-17 12:28:14 as ** along with 19 people and 7 groups jjray camster geomblog adg marciolima JimG yish ddahlem pverstra madhadron scis0000001 remipannequin csolar1971 neilc rsantana balduzzi pcamacho quianominorleo rrbarb dbk-lab mathgamespatterns dtl vds-arg eni macc Holonic_Tracilog_Team
  • On category theory as a (meta) ontology for information systems research
    (2001), pp. 59-69.
    by Michael Johnson, CNG Dampney
    posted to category-theory by rgb to the group pileWorks on 2006-08-17 09:50:13 as ** along with 2 people and 1 group greenrd mstone SRG_at_UCD
  • Composing monads using coproducts
    Vol. 37, No. 9. (September 2002), pp. 133-144.
    by Christoph Lüth, Neil Ghani
    posted to category-theory coproducts lueth_02_composing-root monads by rgb to the group pileWorks on 2006-08-17 09:43:29 as ***** along with 2 people and 1 group mstone pedagand Lambda the Ultimate
  • The correctness of a modified SECD machine
    (1970), pp. 149-157.
    by Clement L Mcgowan
    posted to no-tag by rgb to the group pileWorks on 2006-08-17 09:35:22 as **
  • Interaction Combinators
    Information and Computation, Vol. 137, No. 1. (25 August 1997), pp. 69-101.
    by Yves Lafont
    posted to combinators by rgb to the group pileWorks on 2006-08-17 09:28:10 as ** along with 3 people voigt scis0000001 yoshihiko
  • The duality of computation
    (2000)
    by P Curien, H Herbelin
    posted to no-tag by rgb to the group pileWorks on 2006-08-17 09:26:32 as **
    • Puoi citare questa pagina come: http://www.citeulike.org/group/1584

    Result page: 1 2 3 Next 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.