Theory

Evening Seminar by Prof. Robin Bloomfield, Birkbeck College, 14 April 2010: Interdependencies and Resilient Infrastructure
(Apologies if you receive multiple copies of this announcement) BCS-FACS Evening Seminar Series joint event with the Safety Critical Systems Club Interdependencies and Resilient Infrastructure Professor Robin Bloomfield (CSR City University, London and Adelard) ... 6 Apr 2010 16:27

Application of Bipartite Maximum Matching
Hello, Can someone point out some applications of bipartite maximum matching ( other than the usual job - applicant example). I am especially interested in safety and mission critical examples. I would appreciate references too. Thanks a bundle ... 6 Apr 2010 01:00

#include "cpuid.os"
#include "cpuid.os" // These are the bit flags set call cpuid // with register eax set to 1 #define _MMX_FEATURE_BIT 0x00800000 #define _SSE_FEATURE_BIT 0x02000000 #define _SSE2_FEATURE_BIT 0x04000000 // This bit is set when cpuid is called with // register set to 80000001h (only applicable ... 5 Apr 2010 23:54

Impersonators Flatter Me, Thank YOu
// Example to illustrate the peak finder (class TSpectrum). // This script generates a random number of gaussian peaks // on top of a linear background. // The position of the peaks is found via TSpectrum // To execute this example, do // root > .x showpeaks.C (generate 10 peaks by default) // root > .x showpe... 5 Apr 2010 21:41

Program automatically Solves Sudoku
On Apr 4, 6:38 pm, Pink Pig <b...(a)wmdaly.com> wrote: On Apr 4, 9:09 pm, Sodoku <marty.musa...(a)gmail.com> wrote: http://www.yousendit.com/download/bFFOeFVkOW5tMEkwTVE9PQ Now maybe you can work on a program to spell sudoku. Woops, sorry. Did you check out the program. ... 4 Apr 2010 22:34

Mathematical Logic and the Strengthened Liar's Paradox
Consider the following sentence : S = "S cannot be proven true in PA, and the sentence '(The axioms of PA are consistent) --> S' cannot be proven true." Assume that PA is consistent. Then, is S true or false? Assume, for the sake of contradiction, that it is false. Then we have, "S can be proven true in P... 8 Apr 2010 20:49

3SAT - CNF to CNF Conversion
I want to OR two 2CNF expressions. I know DNF to CNF conversions can produce an exponetial number of CNF clauses. Even so, I would like to know how large a CNF can be assuming it is the union of two 2CNF expressions. Some examples: First formula is (a+b) and second formula is (c+d): (a+b) + (c+d) = (a+b+c+d) ... 4 Apr 2010 18:11

6th Int. Conf. on Technology and Medical Sciences – Announce & Call for Papers
Dear Colleague, We are pleased to announce the TMSi2010 – 6th International Conference on Technology and Medical Sciences (www.fe.up.pt/tmsi2010) that will be held at the Faculty of Engineering of University of Porto, Porto, Portugal, on October 21-23, 2010. Possible Topics (but not limited to) - Analysis a... 2 Apr 2010 14:50

plagiarism, no follow-ups please
On Apr 2, 8:27 am, A Serious Moment <marty.musa...(a)gmail.com> cross-posted a 1980 paper by J. Hartmanis and S.R. Mahaney, falsely taking credit for their work. ... 2 Apr 2010 12:36

plagiarism, no follow-ups please
On Apr 2, 6:14 am, A Serious Moment <marty.musa...(a)gmail.com> cross-posted an OCR'd version of a 1980 paper by SR Mahaney, mutilating the text further to remove its attribution and create the false impression of authorship by the (im)poster. ... 2 Apr 2010 09:17