jonny goes to england

London & co

Archive for January 2007

Paranoia in the laundry

leave a comment »

Sed quis custodiet ipsos custodies?

Advertisements

Written by jk

January 31, 2007 at 4:58 pm

Posted in London, QMUL

UK X-ray scanners in lamp posts

with 2 comments

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.

Written by jk

January 30, 2007 at 10:38 pm

Posted in London

New Week

leave a comment »

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: TrueFalse 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..

Written by jk

January 29, 2007 at 12:19 pm

Posted in QMUL

02:06

leave a comment »

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..

Written by jk

January 26, 2007 at 2:06 pm

Posted in QMUL

Campus Aerial View

leave a comment »

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 🙂 )

Written by jk

January 25, 2007 at 9:25 pm

Posted in QMUL

Dinner, Peanut Butter & Aflatoxin

with one comment

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 …

Written by jk

January 24, 2007 at 9:32 pm

Posted in food, offtopic, QMUL

Snow

with 2 comments

It snowed today, hihi.

Written by jk

January 24, 2007 at 12:34 pm

Posted in QMUL