There are IEEE standards. There are implementations in hard- and software. There are implementations in software meant for simulation – and then there are models built to validate them. I’ll list some peculiarities of the PRISM modelchecker, as I started using it with only Java / C / C++ / php experience. The syntax is sometimes slightly obscure. Read the rest of this entry »
As a researcher I often encounter mispronunciations, either due to lack of knowledge or because of language barriers. Especially the words “Cooperative” and “Corporate” are sometimes used interchangeably by non-fluent English speakers. Not only does this sound really strange when listening to a talk on vehicular networking, it is also fundamentally different.
“Cooperative” implies working together as equals, whereas “Corporate” usually embodies the pinnacle of competition. Then, of course, you also have the derivative hybrids like “cooperate” and “corporative” which do not make it any clearer.
So folks, for the sake of clear understanding, don’t mix the two!
Running computation jobs on a cluster is great – it speeds up your work and reduces the temperature in your office. But you need to carefully craft your *.pbs file – or you will see some strange results. This post is meant as a reference / FAQ and will probably grow over time. Read the rest of this entry »
Zoals iedereen kom ook ik wel eens bij een supermarkt. Dit doe ik doorgaans niet voor mijn plezier, maar omdat het nodig is. Ik probeer er dan ook maximaal rendement uit te halen: ik breng mijn glas en statiegeldflessen weg, haal alle boodschappen die ik nodig heb en neem deze in een kartonnen doos mee naar huis, die ik later weer nodig heb om mijn oud papier in te doen. En toen ging er ineens iets mis met mijn supermarktbeleving…
Read the rest of this entry »
While the regular M90 army boots are great, they can be a bit hot in the summer. So I went looking for a lighter pair of shoes at Blackhawk! and 5.11. Skidder already bought the Black Ops boots, so I tried them on first. Well, great fit and all, but still a bit warm, and especially high for in the summer. 5.11 didn’t have any spectacular boots in their online shop, so I started looking for Blackhawks choice in shoes. Now I saw the Tanto Light Hiker (TLH) before, but didn’t really inspect it because it was mid-winter. Now I have them and lets start the review! Read the rest of this entry »