Group: pileWorks - library 146 articles Export

	Foundations of Sequence-Based Software Specification [My Copy] 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 [My Copy] In FIDET '74: Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control (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 [My Copy] (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 [My Copy] 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 [My Copy] (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 [My Copy] In Advanced Functional Programming (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 [My Copy] (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 [My Copy] 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 [My Copy] 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 [My Copy] 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 [My Copy] 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 [My Copy] 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 3 people Malc suizan Tominator
	Type Classes in Haskell [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138. by Cordelia V. Hall, Kevin Hammond, S. L. P. 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 [My Copy] (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 [My Copy] 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 [My Copy] APS Meeting Abstracts (March 2000), 36055. by H. L. Wagner, D. T. Jacobs posted to self-organising by rgb to the group pileWorks on 2006-12-11 11:41:10 as
	The Essence of Functional Programming [My Copy] In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (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 [My Copy] 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 14 people pedagand robotact spl ansobol jrw bonotake scis0000001 pilho kaqui ajk artur masteraka popx marcinzalewski
	Semiotics and levels of representation in complex information processing systems [My Copy] 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 J. G. 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 [My Copy] Software engineering journal, Vol. 7, No. 2. (1992), pp. 161-168. by A. L. 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 [My Copy] 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 [My Copy] 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 [My Copy] 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 2 people deodupke scis0000001
	Saunders Mac Lane, the Knight of Mathematics [My Copy] (11 Jul 2005) by S. S. Kutateladze posted to category-theory by rgb to the group pileWorks on 2006-10-06 08:29:06 as along with 3 people ansobol TooMuchCoffeeMan mstone
	How to declare an imperative [My Copy] 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 [My Copy] (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 [My Copy] In CHI '92: Proceedings of the SIGCHI conference on Human factors in computing systems (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 8 people and 1 group jonathanbp draggin indratmo mxp manastungare technocrat pilho Adrian_Secord Blog_and_Wiki_Research
	Social systems [My Copy] (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 [My Copy] (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
	Comprehending Monads [My Copy] In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78. by P. L. Wadler posted to category-theory monads by rgb to the group pileWorks on 2006-09-19 18:09:15 as along with 31 people and 1 group mahler puzza 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 [My Copy] In PARLE'93 (submitted) by C. R. Banger, D. B. 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 [My Copy] In Proceedings of the 5th ACM conference on Functional programming languages and computer architecture (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 12 people and 2 groups ama08r Benja 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 [My Copy] (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 [My Copy] 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 [My Copy] (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 [My Copy] In 26th Annual Meeting of the Association for Computational Linguistics: Proceedings of the Conference (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 [My Copy] (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 [My Copy] 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 along with 1 person network01
	An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science) [My Copy] (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 9 people gogoasa ansobol stanley BarrosH ddahlem scis0000001 michaelmampaey robertoalamino robotact
	Some equivalences between Shannon entropy and Kolmogorov complexity [My Copy] 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 [My Copy] (1993) by Ming Li, Paul M. B. 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 [My Copy] 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 [My Copy] (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 [My Copy] (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 [My Copy] (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 20 people and 7 groups pafos 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 [My Copy] In FOIS '01: Proceedings of the international conference on Formal Ontology in Information Systems (2001), pp. 59-69. by Michael Johnson, C. N. G. 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 [My Copy] SIGPLAN Not. In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, 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 4 people and 1 group christiankissig bulwahn mstone pedagand Lambda the Ultimate
	The correctness of a modified SECD machine [My Copy] In STOC '70: Proceedings of the second annual ACM symposium on Theory of computing (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 [My Copy] 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 [My Copy] (2000) by P. Curien, H. Herbelin posted to no-tag by rgb to the group pileWorks on 2006-08-17 09:26:32 as

Note: You may cite this page as: http://www.citeulike.org/group/1584

Result page: 1 2 3 Next

time	16
agent	12
kolmogorov	10
category-theory	9
translation	7
haskell	5
persistence	4
space	4
emergence	3
information	3
memory	3
monads	3
network	3
programming	3
spacetime	3
storage	3
systems	3
type	3
visual	3
category	2
complexity	2
diagrammatic	2
graph	2
interface	2
languages	2
location	2
representation	2
self-organising	2
set	2
social	2
social_network	2
software	2
advice	1
alignment	1
anticipation	1
a-system-of-pure-relations	1
autoencoder_networks	1
autopoiesis	1
bernstein	1
bookmark	1
calculus	1
cantor	1
categories	1
cauchy	1
citeseer-api	1
class	1
coarse-graining	1
combinators	1
computer	1
connectionism	1
coordination	1
coproducts	1
data_compression	1
descartes	1
diagonal	1
diagrams	1
dynamical	1
evaluation	1
executable	1
formalism	1
foundations	1
geometric	1
geometro-hydrodynamics	1
geometry	1
inference	1
information_management	1
input	1
interaction	1
interactive	1
lambda	1
lof	1
logical	1
lueth_02_composing-root	1
luhmann	1
mathematics	1
meaning	1
method	1
metrics	1
mind-body	1
model	1
modeling	1
morphisms	1
mulitcategories	1
networks	1
neural	1
neural_networks	1
non-eurocentric	1
notation	1
object-oriented	1
output	1
personal_information_spaces	1
pilesys	1
pointer	1
pointer-machine	1
points-to	1
prediction	1
prime	1
primitives	1
process-physics	1
relational	1
relationship	1
relativity	1
retrieval	1
rewiring	1
semiotics	1
sequence-based	1
set-theoretic	1
set_theory	1
specification	1
statecharts	1
systems-theory	1
tagging	1
techniques	1
temporal	1
theory	1
translation_memory_systems	1
trees	1
trie	1
visualisation	1
wadler_97_how-root	1
xor	1

Group: pileWorks - library 146 articles Export

Group Tags