bfraser's tags

ab abduction abductive abstraction actor adt advice ai algorithms alloy amt analysis answer_set antipattern aop aosd apl architecture aspect aspect_interference aspectj aspects assembly assertion assume_guarantee automatic bandera bayesian bdd bmc bogor book bounded_mc bugs c caml category_theory cbr chaff checking circumscription cityscape classic clp cognate common_sense compiler complexity component concept concern concerns concurrency constraint corba co-training cprogramming csp cvs database datalog data_structure db dbc deadlock decidability decompile decompiler deduction default_reasoning defect demeter dependency_injection design dfc diagrams distance distributed dp dpll dsl dymac dynamic early_aspects eclipse edit edit-distance efficient embedded_languages engineering erlang escape_analysis event exception_handling fca feature feature_interaction floating_point fop formal formalmethods fp frame framework fsm functional galois garbage_collection generic graph graph_drawing graphplan haskell heuristic http hyperj ifds ilp incremental induction instruction_scheduling integration integrity intent ir java jboss jetty jikes jit jlint jml jni join_points journal jvm knowledge language late-binding lattice learning legacy_code levenshtein library linear_logic lisp list logic logic_programming lp lsa ltl machine_learning magic_sets mcmc mda methods metric metrics middleware mining minisat mismatch mixin ml mobile mock modal model model_checking modular modularity monad mozilla multithreaded mylar neural_net nlp nonmonotonic numerical obfuscator object oop open_modules open_source ordering oriented os pagerank parallel pattern patterns pca pcc persistence physical pi-calculus planning plugin pointcut polymorphism portability pregancy prism process process_algebra program program_analysis program_comp programming project prolog proof property-testing prose pulse query queue race_detector reasoning refactoring reference rengineering repository requirements rest retrieval reuse robotics rough_set runtime sat sat_encoding scientific scl security semantics separation server slicing snippet snippets soa software software_evolution software_product_line sokoban sourceforge specification speech spidering spl spring static static_analysis strips structure subclassing subject survey symbolic_execution telecom temporal_logic testing theorem_proving theory thought threads tms tool topoi trace_monitoring traces traits transaction translation tree type type_inference type_theory ui uml understanding unit_testing verification vm web

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.