Week of 11/18/2007 - 02:00 to 11/25/2007 - 01:59
In the first installment of this micro series I tried to make the point that different content paradigms are here for a reason and that the very fact of life should be accepted, not ignored.
Each paradigm organizes content in its own way, either using a set of tables, a hierarchy of object classes, a tree-like structure, graphs (semantic networks), or just as natural language text.
What is also worth noting is that the different paradigms can deal with different levels of irregularity. That is \
Today I was poking around the Jena RDF Framework, mostly to figure out how one would use an OWL reasoner there.
- 19.12. 12:54: Assignment II modalities finally settled.
- 18.12. 13:07: Assignment II modalities will be released shortly. Submission days will be Wed 9.1.2008 and Thu 10.1.2008. Similar scheme as for the first assignment. Thanks for your patience.
Drastically simplified, the Viennese parking regulations are (in German):
- Die Wiener Bezirke 1-9 und 20 sind flaechendeckende
I recently claimed that you would not find too many disturbed students at Bond University. Well, YMMV.
Mild cases of mental disturbance are simply displayed by those students who prefer to sit in the last row during the lecture, constantly hammering onto their laptop keyboards.
Fellow students would complain that the annoying noise would make it difficult to follow the lecturer's words of wisdom; the guy would be in 15 IRC channels simultaneously.
I have always been frightened by concurrent programs which share a common memory, with fine-grained interleaving of access to it. But with multi-core computers, that is the way of the future. Fortunately, the recent development of separation logic gives an elegant way of expressing ownership of storage locations and the transfer of ownership.
I will introduce a semantics based on Petri nets, using separation logic to annotate their arcs and to prove absence of race conditions as well as assertional correctness.
- Wili: Ich wuerde euch gerne meinen hardwaresimulater in Perl vorstellen. Dazu bringe ich den SBC mit, lasse aber die 10 Tonnen schwere Maschine im Werk.
- domm: Perl 5.10 Sneak Preview (in english, because we expect some guests from Bratislava)
Der Social-Teil findet ab 20:30 in der Stiegl Ambulanz im alten AKH statt.
in den Räumlichkeiten des NIG (Neues Institutsgebäude)
NIG, Raum D116, im Gang D