Bibliography

home1 home2
 Bib
 Algorithms
 Bioinfo
 FP
 Logic
 MML
 Prog.Lang
and the
 Book

Bibliography
 publications

This is an annotated Computer Science bibliography of about 10,000 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: Mar Feb Jan
  • 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, covid19 (covid-19), DNA, drug, DPA, dynamic, edit distance, evolution, evolutionary, evolve, family, fold, folding, gap, gene, genetic, homology, indel, information, intron, map, maps, mapping, MERS, MolBio, mRNA, multiple alignment, mutation, PAM, PAM250, penalty, phylogenetic, prediction, primary, protein, repeat, repetitive, resistance, restriction site mapping RSM, RNA, SARS, SARSCoV2 (SARS-CoV-2), 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. & Math.}, DCC {Data Compression Conf.}, ECAI {Euro. Conf. A.I.}, FPCA {Func. Prog. & Comp. Arch.}, ICFP {Int. Conf. Func. Prog.}, ISMB {Intell. Sys. Mol. Bio.}, LFP {Lisp & Func. Prog.}, HICSS {Hawaii Int. Conf. Sys. Sci.}, ICCI {Int. Conf. Comp. & 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. & 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 & Exp.}, TOPLAS {Trans. Prog. Langs & 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, KPIs, page, quiz, quote, silly, spam, spoof, text, topical, university


Coding Ockham's Razor, L. Allison, Springer

A Practical Introduction to Denotational Semantics, L. Allison, CUP

Linux
 Ubuntu
free op. sys.
OpenOffice
free office suite
The GIMP
~ free photoshop
Firefox
web browser

© 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 Sunday, 26-Mar-2023 03:13:53 AEDT.