Bibliography

LA home
Computing
 Algorithms
 Bioinformatics
 FP,  λ
 Logic,  π
 MML
 Prog.Langs

Bibliography
 publications

This is an annotated Computer Science bibliography of about 8000 references. The main topics are computer algorithms, inductive inference (II), artificial intelligence (AI), machine learning, computer programming languages, functional programming (FP) & logic programming (LP), and bioinformatics, although many other references are also included. World wide web links are given where possible. (There is also Alf-Christian Achille's (huge) Collection of Computer Science Bibliographies [here].)

  • Search the bibliography using glookbib. (Glookbib searches for entries matching all the given keywords. It is not case sensitive. Use full dates, e.g., 1970 not 70.
    Do not include 'and', 'or', ',', '+' or wildcards,
    e.g., to search for 'inductive inference' give the Search String: inductive inference )
Search String:
  • Recent additions: Jan Dec Nov
  • It also contains World Wide Web (www) links to annotated with their principal contents. For example, if you want to find information about women on the web then search for women www in this bibliography.
  • If you find this information useful please acknowledge it, and if you can fill in a gap or find something new that you think might interest me then please let me know. (Disclaimer: Use information at your own risk - no liability of any kind is accepted for the consequences of using this information.) ©, all rights reserved.

Lists of some of the more common keywords are given below. I try to be consistent - but do not always achieve it.


Algorithms.

algorithm, approximate, automaton, AVL, complexity, compress, compression, coset, delete, divide and conquer, dynamic programming algorithm DPA, edit distance, factor, find, finite state machine FSM, game, Gibbs sampling, graph, group, heuristic, insert, insitu, isomorphism, longest common subsequence LCS, match, matching, merge, MML, Monte-Carlo, network, NP, NPC, n-queens, pattern, permutation, permute, play, polyominoe, prefix, primality, prime, problem, program, puzzle, queue, random, random number generator RNG, recursion, recursive, search, selection, sequence, simulated annealing, sort, space, stable, stochastic, string, substring, suffix, time, traversal, tree, trees, union, word

See also Data Structures.


Artificial Intelligence.

alpha beta, artificial intelligence AI, artificial neural net ANN, backtrack, checkers, chess, constraint satisfaction, game, genetic algorithm GA, machine learning, minimax, plan, prisoner's dilemma, prune, pruning, puzzle, search, tree, uncertainty

See also Algorithms, and Inductive Inference.


Arts.

Art, gallery, haiku, history, museum, Music, painting, picture, prints, sculpture


Bioinformatics.

2D, 3D, alignment, amino acid AA, BioInformatics, code, compression, conformation, cost, DNA, drug, DPA, dynamic, edit distance, evolution, evolutionary, evolve, family, fold, folding, gap, gene, genetic, homology, indel, information, intron, map, maps, mapping, MolBio, mRNA, multiple alignment, mutation, PAM, PAM250, penalty, phylogenetic, prediction, primary, protein, repeat, repetitive, resistance, restriction site mapping RSM, RNA, secondary structure SS, similar, similarity, structure, substitution, tertiary, tree, trees, tRNA

All references directly in this area include the keyword MolBio. See also Algorithms, and Inductive Inference.


Conferences.

Conf, CFP

Some abbreviations that are used: ACSC {Australian Comp. Sci. Conf.}, AIM {Art. Int. and Math.}, DCC {Data Compression Conf.}, ECAI {Euro. Conf. A.I.}, FPCA {Func. Prog. and Comp. Arch.}, ICFP {Int. Conf. Func. Prog.}, ISMB {Intell. Sys. Mol. Bio.}, LFP {Lisp and Func. Prog.}, HICSS {Hawaii Int. Conf. Sys. Sci.}, ICCI {Int. Conf. Comp. and Inf.}, POPL {Principles of Prog. Lang.}, STOC {Symp. Theor. Comp. Sci.}


Data Structures.

array, AVL, B-tree, delete, find, graph, hash, hashing, heap, insert, list, lookup, network, Patricia, prefix, priority queue, queue, search, sequence, set, spanning, stack, string, suffix array, suffix tree, table, tree, trie, union

See also Algorithms.


Entertainment.

art, automotive, cartoon, film, fun, funny, movie, music, radio, sail, sailing, sport, TV, yacht


Functional and Logic Programming.

abstract, abstraction, applicative, by-name, by-need, circular program, closure, combinator, continuation, Curry, data type, eager, functional programming FP, Haskell, lambda calculus, lambda lifting, lazy, Lazy ML LML, lenient, lgg, logic, logic programming LP, mgu, name, need, normal form, normal order, partial evaluation, polymorphism, predicate, Prolog, propositional, referential transparency, speculative, Standard ML SML, strict, super-combinator, type, type checking, unification, unify

See also Programming Languages.


Geography.

Australia, England, Europe, France, Germany, London, Melbourne, Paris, Scotland, UK, USA, www

(and other misc' locations).


Inductive Inference.

Akaike AIC, algorithmic complexity AC, artificial intelligence AI, Bayes, Bayesian, binomial, classification, clustering, compression, decision graph, decision tree, distribution, entropy, estimation, expectation maximization EM, explanation, factor analysis, Fisher, Fisher information, hidden Markov model HMM, hypothesis, inductive inference II, inductive logic programming ILP, information theory IT, machine learning, Markov, Markov model, maximum likelihood, minimum description length MDL, minimum message length MML encoding, model, multinomial, multi-state distribution, NML, neural net NN ANN, normal distribution, Occam, Ockham, prior, probability, statistics, stochastic

See also Artificial Intelligence, and Bioinformatics.


Journals.

Some abbreviations that are used: ACM {Assoc. Comp. Mach.}, CACM {Comm. Assoc. Comp. Mach.}, COMPJ {(British) Comp. Jrnl.}, IEEE {Inst. Elec. and Elec. Eng.}, IPL {Inf. Proc. Lett.}, JACM {Jrnl. Assoc. Comp. Mach.}, JCSS {Jrnl. Comp. Sys. Sci.}, JME {Jrnl. Mol. Evol.}, JCSS {Jrnl. Comp. Sys. Sci.}, JRSS {Jrnl. Royal Stat. Soc}, SPE {Software Practice and Experience}, TOPLAS {Trans. Prog. Langs and Sys.}


Media.

art, film, media, movie, music, newspaper, radio, television, TV, www


Programming Languages.

Algol, applicative, by-name, by-reference, by-value, CCS, compiler, compiler compiler CC, concurrent, CSP, data type, declarative, denotational semantics, functional, imperative, implementation, inheritance, interpreter, language, message passing, MIMD, module, object oriented OO, parallel, parser, persistent, programming, programming language definition PLD, semantics, SIMD, syntax, thunk, type, type checking

Also see Functional and Logic Programming and try programming languages names.


World Wide Web.

archive, bibliography, ftp, HTML, home, HREF, http, index, search engine, SGML, site, VRML, www, wwwIndex, XML


Miscellaneous.

beauty, bib, bibliography, book, chaos, computer science, fractal, funny, haha, joke, page, quiz, quote, silly, spam, spoof, text, topical, university


window on the wide world:

Computer Science Education Week

Linux
 Ubuntu
free op. sys.
OpenOffice
free office suite,
ver 3.4+

The GIMP
~ free photoshop
Firefox
web browser
FlashBlock
like it says!

© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Faculty of Information Technology (Clayton), Monash University, Australia 3800 (6/'05 was School of Computer Science and Software Engineering, Fac. Info. Tech., Monash University,
was Department of Computer Science, Fac. Comp. & Info. Tech., '89 was Department of Computer Science, Fac. Sci., '68-'71 was Department of Information Science, Fac. Sci.)
Created with "vi (Linux + Solaris)",  charset=iso-8859-1,  fetched Monday, 29-Dec-2014 00:03:22 EST.