jonny goes to england

Sed quis custodiet ipsos custodies?

Hmm..England hat für 14 Einwohner 1 Security Cam, was über 4 Millionen Kameras entspricht. Wenn man als Tourist einen Tag in London verbringt wird man von über 300 Kameras aufgenommen. Wenn ich von meinem Haus zum CS Department laufe, werde ich (je nach Weg) von etwa 12 Kameras (ich muss es einmal genau zählen) aufgenommen.
Nun überlegt sich die UK Regierung scheinbar X-Ray Scanner in Laternenpfeilern einzubauen, um Personen unbemerkt auf Waffen etc. zu untersuchen. Bedenklich.

Was läuft diese Woche?

Heute nachmittag habe ich Specification & Verification. Dort geht es hauptsächlich um Theorem Proving mittels dem Programm PVS. Man schreibt dabei Spezifikationen (= erwünschtes Verhalten) einer Software in einer Art Predicate Logic auf. Danach formuliert man einige Lemmas die man beweisen möchte. Schliesslich gibt man diese Spezifikation dem PVS Programm und beweist die einzelnen Lemmas in einer interaktiven PVS Session. PVS selbst vereinfacht die logischen Schritte, welche der Computer selbst herausfinden kann (z.b. sehr vereinfacht: True ∨ False schreibt er um zu True), der User muss jedoch die eigentliche Verifizierung der Lemmas selbst durchführen.

Morgen habe ich Interactive System Design. Wir sind am Buch The Design of Everyday Things am lesen. Dabei geht es um das Design von alltäglichen Dingen wie Teekannen bis zum Design von Computer User Interfaces. Viel blabla. Zusätzlich müssen wir als Gruppenarbeit ein DAB Radio Interface entwickeln, welches sich durch seine Benutzerfreundlichkeit von den existierenden Geräten unterscheidet. Als erster Schritt müssen wir Papier Prototypen entwickeln und diese mittels bestimmten Testmethoden auf die Bedienerfreundlichkeit überprüfen. Ack.

Am Freitag habe ich Semantic Web gehabt. Wer denkt (wie ich das gedacht habe), dass es hier vorallem um Web-Technologien etc geht der liegt sehr falsch. Im Moment sind wir am eine Description Logic am kennenlernen, welche später dazu verwendet wird, um Relationen zwischen Objekten zu beschreiben. Eine solche Beispiel Relation wäre X — isFatherOf –> Y.
Schlussendlich geht es beim Semantic Web darum, Informationen so zu präsentieren, dass Computer selbstständig Schlüsse ziehen können über den Inhalt und Beziehungen gegenüber weiteren Informationen. Eine Beispiel Anwendung für ein “funktionierendes” Semantic Web wäre eine intelligente Suchmachine.
Ich kann noch nicht viel über den Kurs berichten, da wir erst etwa 6h hatten. In einem späteren Post werde ich sicher genauer ins Detail gehen

Zu guter Letzt sollte ich so bald wie möglich mein Supervisor für meine Master Arbeit finden. Der komische Japaner, welchen ich als Supervisor im Auge hatte, ist leider gerade in seinem sabbatical leave ….somit muss ich mir jemand anderes suchen

Bald findet die 6th Annual Postgraduate Conference in QMUL statt… Hmm wenn man schnell genug wäre mit dem Wählen seiner Master-Arbeit könnte man dort seine Arbeit präsentieren..

Es kam, was kommen musste. Heute Nacht um 02:06 ging der Feueralarm los. Natürlich ein Falschalarm. Im Freien war es ungefähr -5 Grad und die Leute frierten sich, in ihren pinken Micky Maus Hosen, die Aerscher ab. 02:17 konnten wir die Häuser wieder betreten, gerade genug Zeit um hellwach zu werden. Ich schlief etwa 03:30 wieder ein..

Dank Google Earth hab ich eine Campusübersicht erstellt. Am besten direkt aufs Bild klicken, da es viele Notes (33) drauf hat:
(wenn jemand weiss wie ich Flickr Bilder mit den Notes direkt hier einbinde dann sagt es mir bitte )

Eine kleine Impression von meinem Znacht. Seit langem habe ich wieder einmal Brot gegessen! Scotch Pancakes sind übrigens super.

Apropos Essen:

Halb im Witz/halb im Ernst habe ich am Sonntag noch dem Premierfoods Customer Care eine Mail bezüglich ihrem Sun Pat Peanutbutter Produkt geschrieben. Ich versuechte eine möglichst muehsame Frage zu formulieren. Schlussendlich erkundigte ich mich, ob sie regelmässig Aflatoxin Tests auf Ihren Produkten durchführen und wie ihre Testmethoden aussehen .. ich erwartete natürlich keine Antwort. Doch heute schreibt mir doch tatsächlich der Jan von Premierfoods zurück und beschreibt mir ausführlich wie ihre Fabrik und die Zulieferer Aflatoxin Tests vollziehen. Zusätzlich wurde ich belehrt, dass die Gläser kein Vakuum benötigen, da die Wasseraktivität des Peanutbutters zu gering ist, um ein Wachstum des Pilzes Aspergillus flavus zu begünstigen. I’m impressed. Haha …

It snowed today, hihi.

Hab gerade auf YouTube ein paar Queen Mary videos gefunden .. zwei Modelle von Restaurants die hier gebauten wurden.
Dieses ist einige Meter von hier entfernt:

Nucleus ist auf dem Mediziner Campus:

Heute hat ein neues Restaurant “The Curve” im Erdgeschoss von diesem Gebäude geöffnet:

Das ganze ist sehr modern ausgestattet mit schönen Marmor-Tischen, Stühlen, Holzboden und Ledersofas. Das beste daran ist, dass darin ein Starbucks integriert ist

Das ist am Mittag aufgenommen …