mstone's tags

2-categories 2-groups abstract-interpretation abstract-syntax access-control adjoints algebra algebraic-coding algebraic-graph-theory algorithms alice-ml analysis analytic-continuation anonymity arrows art art-history artificial-intelligence assembler auctions authentication authorization axiomatic-semantics bayesian-filters bidirectional-programming bioinformatics biology bloom-filter book-design categorical-logic category-theory change chemical-abstract-machine clean-hands coalgebra code-generation cohomology coinserters collaboration combinatorics comics comonads compilers computads computation computational-genetics concurrency concurrent-logic-programming configuration-management consensus constraint-satisfaction continuations continuous-query coproducts co-recursion covert-channels croquet cryptography databases dataflow data-structures declarative defunctionalization delay-tolerant-networking denotational-semantics dependent-types derivation-schemes design-patterns diagrams diff-algorithms distributed-computing distributed-hash-tables dsl duality dynamical-systems effects entropy euler-characteristic exceptions expression-problem file-system-apis first-order-logic fixed-points foundations free-monads fuctional-programming functional-pearls functional-programming galois-theory garbage-collection generic-programming ghc graphic-design graphics graph-theory group-theory hardness-amplification hashing haskell higher-category-theory higher-dimensional-algebra higher-rank-types hygiene ideas idempotent-calculus impredicativity information-theory inlining ipv6 java kalman-filters key-length lambda-calculus language-comparisons lexical-analysis linear-algebra linear-logic linguistics logic management markov-chain-monte-carlo markov-logic mathematical-history memory mercurial metaocaml meta-programming metric-spaces minitransactions ml modal-logic modules monadic-meta-language monads monoidal-categories monoids natural-language-processing n-categories networking neuroscience nix notions-of-computation numerical-analysis operads operating-systems operational-semantics opetopes optimization overlay-network parsing partial-evaluation particle-filters peer-to-peer persistent-b-trees pi-calculus pickling plan9 planning preferences probability process-calculi programming-languages program-transformation protocols pychology quantum-computing quantum-programming-languages quantum-software queries race-conditions recursion register-machines regular-expressions relational-algebra relation-algebras release-engineering replicated-sparse-memories replication research-methods rewriting-rules rewriting-systems scheduling security selinux semantic-analysis semantics semirings side-channels smalltalk software-engineering squeak stack-languages staged-programming statistics stream-computation string-diagrams survey-design synchronization syntax system-f taylor-series template-haskell tex thomas-eakins tocttou topology topos-theory tor total-functional-programming transactional-memory tufte type-annotation typed-intermediate-languages type-functions type-inference type-theory typography version-control versioned-filesystems virtual-machines voronoi-tesselation web-frameworks xanadu

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.