Warning: Trying to access array offset on value of type bool in /data/www/freeminded.org/www/wp-content/plugins/wp-latex/wp-latex.php on line 39 Freeminded.org Warning: Trying to access array offset on value of type bool in /data/www/freeminded.org/www/wp-content/plugins/wp-latex/wp-latex.php on line 46

Using PRISM – a probabilistic symbolic modelchecker

Tuesday, June 14, 2011 Posted by

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 »

Cooperative Awareness Vs. Corporate Awareness

Thursday, June 9, 2011 Posted by

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!

Clustercomputing with Torque

Monday, May 30, 2011 Posted by

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 »

Die dozen bij EMTÉ…

Saturday, May 21, 2011 Posted by

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 »

Review: Blackhawk! Tanto Light Hiker boots

Wednesday, May 11, 2011 Posted by

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 »