Master's Thesis Examination Lars Hvam Petersen

External Priority Queues in Practice

As the need to handle larger data sets grows, it has become more important to design algorithms that uses the hard drive to store data if the amount of RAM is insufficient. However disk access is slow and data should only be transferred in blocks, this has lead to the development of the I/O model in which the number of block transfers between main memory and...

---

PhD defence, Tomas Toft

---

Pi-Lambda talk: Roland Axelsson

Title:
Model Checking the First Order Fragment of Higher Order Fixpoint Logic

Abstract:

We present a model checking algorithm for HFL1, the first-order fragment
of Higher-Order Fixpoint Logic. This logic is capable of expressing many
interesting properties which are not regular and, hence, not expressible in the modal mu-calculus. The algorithm avoids best-case exponential behaviour...

---