Links and Information Relating to CogX, The School of Computer Science, and The Robotics Lab

Configuration and Resources

• School of Computer Science Mailing Lists

• Booking a School Meeting Room

• Library (Map, see building R22)

• Configuring Vista for University of Birmingham Wireless

• Travel Insurance (NOT AUTOMATIC!!, YOU MUST FILL THIS OUT)

• University gives you £50 towards glasses (click here)

• Cyclescheme at the University (up-to 36% off the cost of the bicycle)

• All Birmingham folks have an SVN repository all of their own. And you can share (give access to outsiders). Details are here.

• Map of the University of Birmingham Campus

• CAST and CogX related instructions

• Expenses Reimbursement Forms

• Configuring a printer in VISTA

C++ Resources

• C++-0X :: Thomas Becker explaines rvalue references – i.e., &&

• SGI online STL (Standard Template Library) reference.

• What is explicit.

• What about TR1?

Search Engines

• Worio

• Cuil (Search Engine) (Theory)

• Microsoft Live

• Yahoo

• Clusty

• Spezify

• Powerset (Wikipedia only)

• Alpha (Not really a web search – i.e., for Maths...)

• Google::Scholar

• Google::Code_Seach

Numerical Computation

• Armadillo (C++)

• Boost (C++)

• MTL (C++)

• Framewave (C/C++)

• ATLAS

• LAPACK

• BLAS

• Scilab (Interpreted)

• Octave (Interpreted)

Description Logic and (Semi-)Automated Theorem Proving

• OpenCyc

• FaCT

• Racer

• HOL

• Isabelle

• Proof General

• Coq

• Otter (and Prover9)

Plotting Data and Graphs

• GraphViz

• ploticus

• gnuplot

• Some bash loops and tools for dealing with images to be included in a LaTeX document.

Software Media Players

• VLC

• MPlayer

Links to Other Peoples Accademic Papers (or Material)

• Decision-theoretic planning for robot control and related literature (unformatted, bibtex).

• Topics in philosophy.

• Videos of interesting robots and cyborgs.

• Videos for AAAI-07 at Pascal video playground.

• Ulrike Sattler maintains a good list of DL (Description Logic) reasoning engines.

Procrastination

• Is it Friday?

• Blu does MUTO [Incidentally, this has nothing to do with International Klein Blue, or indeed Yves Klein]

• The Raven by Edgar Allen Poe, read by eSpeak

• Radiohead goes Nude for James Houston

• Definitely notpron

• Bobby McFerrin:

Charles Gounod's “Ave Maria”

Bach's “Arioso” from Cantata n. 156

Is a car, and other things!

• Has the large hadron collider destroyed the world yet?

• Aeon Flux – Bitch fatale Anarchic chic: she's a death toy.

Efficient add-hock routing in a darknet:

It's a small world after all (FreeNet).

– Kirsty Hawkshaw sings “It's a Fine Day” for David Carlotti and Carmine Sorrentino –