An Energy Abundant Eco City: "Optimizing the eco-city model after the energy revolution"

A quantitative study about eco cities, resulting in a vision of future sustainable urban development after a hypothetical energy revolution. The project regards remaining problems after the energy problem is solved. Sustainability means sustainable economy. A new assesment method is introduced based on a quantification of resource requirements....

Incentivizing Seeding In BitTorrent - Indirect Interaction as an Incentive to Seed

BitTorrent has turned into the most popular P2P file sharing protocol and is used for various purposes such as Video on demand and Media Streaming. The fundamental problem with P2P networks in general is that quality of service highly depends on altruistic resource sharing by participating peers. Many peers freeride on the good intentions of...

Muscle parameters for musculoskeletal modelling of the human neck

This study presents a consistent anatomical dataset, containing the musculoskeletal geometry (muscle attachment sites, fibre length, tendon length, bony landmarks) and muscle contraction parameters (physiological cross sectional area, optimal fibre length) of the complete neck musculature. A dissection experiment was performed on the left side...

Behaviour of nourishments in quasi 3-dimensional graded sediment models

Bed degradation in a number of Dutch river branches, like the Bovenrijn, can cause various problems in the near future. At low waters the navigation depth at the non-erodible layer near Emmerich can become too small. Other problems could be lower ground water levels and stability of structures in and near the river, like groynes. To diminish...

RAFFS: Model checking a robust abstract flash file store

This thesis presents a case study in modeling and verifying a POSIX-like file store for Flash memory. This work fits in the context of Hoare’s verification challenge and, in particular, Joshi and Holzmann’s mini-challenge to build a verifiable file store. I have designed a simple file store and implemented it in the form of a Promela model. This...

Transformatietools Uncovered: Een zoektocht naar de toepassingsmogelijkheden van de transformatie-instrumenten

Met als bijlage: A0 poster. Inleiding: Nederland heeft te kampen met een structurele leegstand die zonder ingrijpen niet wordt opgelost. Transformatie kan van de mogelijkheden zijn om deze leegstand op te lossen. Op dit moment is transformatie vaak nog onaantrekkelijk doordat ontwikkelaars zich moet begeven op een onbekend terrein. Bij het...