Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

msakai's no-tag [23 articles]

Recent papers added to msakai's library classified by the tag no-tag. You can also see everyone's no-tag.
  • Programming in Scala A comprehensive step-by-step guide
    (17 August 2008)
    by Martin Odersky, Lex Spoon, Bill Venners
    posted to no-tag by msakai on 2008-09-03 10:55:28 as ** along with 1 person shimomura
  • notes What really happened on Mars Rover Pathfinder
    The Risks Digest, Vol. 19, No. 49.
    by Mike Jones
    posted to no-tag by msakai on 2008-08-27 08:45:13 as read along with 1 person yoriyuki
  • Type Checking with Open Type Functions
    (2008)
    by Tom Schrijvers, Simon P Jones, Manuel Chakravarty, Martin Sulzmann
    posted to no-tag by msakai on 2008-07-15 02:35:41 as ** along with 1 person shimomura
  • UMCS-90-3-1 On the usability of logics which handle partial functions
    by Cheng
    posted to no-tag by msakai on 2008-06-03 02:42:53 as ** along with 1 person yoriyuki
  • notes Consistency Management in Optimistic Replication Algorithms
    by Yasushi Saito
    posted to no-tag by msakai on 2008-05-31 10:32:36 as read along with 1 person fmc
  • A secure environment for untrusted helper applications confining the Wily Hacker
    (1996), pp. 1-1.
    by Ian Goldberg, David Wagner, Randi Thomas, Eric A Brewer
    posted to no-tag by msakai on 2008-05-25 14:46:30 as read
  • Magazines and Vmem: Extending the Slab Allocator to Many CPUs and Arbitrary Resources
    (June 2001)
    by Jeff Bonwick, Jonathan Adams
    posted to no-tag by msakai on 2008-05-25 13:42:22 as read along with 1 person movement
  • Java/C++ integration
    (November 1997)
    by Per Bothner
    posted to no-tag by msakai on 2008-05-25 13:39:26 as read
  • The Third Homomorphism Theorem
    (1994)
    by Jeremy Gibbons
    edited by CB Jay
    posted to no-tag by msakai on 2008-05-25 10:10:28 as **
  • The complexity of the Pigeonhole Principle
    Combinatorica, Vol. 14, No. 4. (1 December 1994), pp. 417-433.
    by M Ajtai
    posted to no-tag by msakai on 2008-05-12 10:25:38 as ** along with 1 person yoriyuki
  • A case study on how to manage the theft of information
    (2005), pp. 135-138.
    by Robert
    posted to no-tag by msakai on 2008-05-12 09:54:06 as ** along with 2 people keigoi takataka15
  • Thermodynamical approach to the traveling salesman problem: An efficient simulation algorithm
    Journal of Optimization Theory and Applications, Vol. 45, No. 1. (1 January 1985), pp. 41-51.
    by V Černý
    posted to no-tag by msakai on 2008-04-06 17:27:41 as ** along with 1 person pawelt
  • Winning Isn't Everything: Corruption in Sumo Wrestling
    American Economic Review, Vol. 92 (5 December 2000), pp. 1594-1605.
    by Mark Duggan, Steven D Levitt
    posted to no-tag by msakai on 2008-03-17 15:47:42 as **
  • Global variable considered harmful
    SIGPLAN Not., Vol. 8, No. 2. (February 1973), pp. 28-34.
    by W Wulf, Mary Shaw
    posted to no-tag by msakai on 2008-02-20 05:39:36 as ** along with 1 person keigoi
  • Towards proving preservation of behaviour of refactoring of UML models
    (2005), pp. 252-259.
    by Marc van Kempen, Michel Chaudron, Derrick Kourie, Andrew Boake
    posted to no-tag by msakai on 2007-11-07 08:57:57 as ** along with 2 people leonardo keigoi
  • Grammar-based analysis of string expressions
    (2005), pp. 59-70.
    by Peter Thiemann
    posted to no-tag by msakai on 2007-11-06 08:38:39 as ** along with 1 person keigoi
  • notes History and basic features of the critical-pair/completion procedure
    J. Symb. Comput., Vol. 3, No. 1-2. (1987), pp. 3-38.
    by Bruno Buchberger
    posted to no-tag by msakai on 2007-11-04 16:51:12 as **
  • Programs, grammars and arguments: a personal view of some connections between computation, language and logic
    Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on (1993), pp. 246-249.
    by J Lambek
    posted to no-tag by msakai on 2006-11-09 15:20:55 as read
  • An Empirical Comparison of Supervised
    by Learning A Using
    posted to no-tag by msakai on 2006-06-28 09:52:30 as **
  • Kleene Algebra with Tests
    ACM Transactions on Programming Languages and Systems, Vol. 19, No. 3. (May 1997), pp. 427-443.
    by Dexter Kozen
    posted to no-tag by msakai on 2006-03-31 20:00:00 as ** along with 1 person aotani
  • Fixed Points of Type Constructors and Primitive Recursion
    by Andreas Abel, Ralph Matthes
    posted to no-tag by msakai on 2006-03-31 19:58:32 as ** along with 1 person aotani
  • Comparing mathematical provers
    (2003)
    by F Wiedijk
    posted to no-tag by msakai on 2006-03-23 16:14:52 as read along with 1 person huitseeker
  • Nominal unification
    (2003)
    by C Urban, A Pitts, M Gabbay
    posted to no-tag by msakai on 2006-02-23 02:20:31 as **
    • Note: You may cite this page as: http://www.citeulike.org/user/msakai/tag/no-tag

    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.