« July 2004 | Main | September 2004 »
August 11, 2004
[Misc.] Hello again Safari!
Ok, turns out Safari is now working great on my MT 3.01D page and all my blogs. Perhaps the last software update handles css's better? Or not? Got me. I swear I didn't change a thing other than running "update software".
Posted by jones at 04:23 PM | Comments (0)
[Misc.] Bye bye safari
For reasons that I don't have the time to understand (but do have the time to complain about) safari won't correctly display my blog or Movabletype interface now that we've upgraded to MT 3.01D. Being a Mac user, but not a mac zealot, I found a very easy solution to this problem. I now use MicroSoft internet explorer for Mac. Works great.
Posted by jones at 01:17 PM | Comments (0)
August 10, 2004
[Paper reviews] "State space reduction based on live variable analysis" by Bozga et al
[Distributed and Complex Systems Research Group] Their notion of live variable bisimulation is particularly interesting.
prior work leads
Look up references 10, 18, 4, 1. This is the firstp paper to use live variable analysis to simplify the model in the presence of queues.
Live equivalnce is, roughly, that values assigned to the live variables are pairwise equivalent.
Posted by jones at 02:09 PM | Comments (0)
August 09, 2004
[Tech Support] Blog upgrade info
[Movable Type Publishing Platform: Movable Type 3.01D bug fix release] This is primarily for users of the MT installation in the VV Lab. Basically, we went from MT 2.63 to MT 3.01D. This allows us to use TypeKey to prevent spam porno posts to our blogs. To do so, you need to follow the following simple steps to reconfigure your blog(s)...
1. Configure your blog(s) to allow posts only from registered users. To do this, log in as normal and click... Weblog Config then click Preferences (its to the right side of the page on my mac) then scroll down to Comment Configuration then un-check "accept comments from unregistered users" then be sure that "accept comments from registered users" is checked. Click "save changes" and do a rebuild.
2. Now, you need to add a sign in link to your blog wherever you want poeple to be able to make comments. The html for this is:
[sign in required] [sign out]
I added it to the templates in Indivdual entry archive, comment listing template and comment error template. You could add the links wherever you want.
If you don't do step 1, your blog will quickly fill with porn spam. If you don't do step 2, nobody will be able to post to your blog. Step 1 is essential, step 2 is optional.
Posted by jones at 11:34 AM | Comments (0)
August 04, 2004
[Research] "To store or not to store" by Behrmann, Larsen and Pelanek
[Google Search: "to store or not to store" , The paper] The idea is to store only enough states to expand every state at least once. This is done by storing one state per cycle. Various heuristics are used to find a single state per cycle to store from the components of the network fo automata representing the system under test.
Our approach is on the fly. We compute the states to store as we find them, rather than beforehand. The difficulty is that we will have a hard time proving that we expand every state at least once if we don't start with the assumption that we store at least one state per cycle and work toward that. However, our on the fly algorithm may guarunte that.
They note that storing the waiting states (ie, waiting to be expanded) in a queue rather than a stack significanlty reduces the revisit count. This is because the bfs you get from a queue often contains the revisited state already when it would have been revisited. This is not the case in dfs. However, we note that bfs queues often get much longer than dfs stacks so this seems to be another time/space tradeoff. Good to know though.
Posted by jones at 02:23 PM | Comments (0)
August 02, 2004
[Misc.] That song from Crossing Jordan
[NBC.com > Crossing Jordan > Music] Ok, Ok. They played this song last night that I really liked, but don't know what its called. I have faith that its name will appear on this webpage sometime soon... I still don't get the show though. Good music selection though.
Posted by jones at 09:16 AM | Comments (1)
[Misc.] Foreman Hollow Nature Trail with Twins
[Foreman Hollow] A bit strenuous going up, but a good choice for packing around 1 year old twins. We saw 0 (zero) people on a July Saturday morning. Which was nice. An excellent choice for an otherwise busy summer day in the mountains. A stop at Grannies in Heber on the way home is highly reccomended.
We did it clockwise. The initial climb is hateful in the morning. Lots of sun, small trees and rocky switchbacks. We stopped for lunch at the top of the loop in a shady spot near a meadow. The twins were into it, but they didn't eat very well at lunch. So they devoured french fries and mint shakes at grannies. Not healthy, but at least they were eating. After the climb, its a really quite stunning hike through the pine forests and hollows of this canyon.
There's little interpretive signs along the way which, among other things, point out the commercial value of the pine trees and tell you how to estimate the number of board feet in a tree. It was a nice touch. The sign about microclimates was especially useful.
We had two of the twins' uncles with us. Having them help carry was probably essential to making it through the initial climb. Average hikers will probably struggle with the climb even without a kid on their back.
Posted by jones at 09:05 AM | Comments (0)
[Misc.] Hiking the Uintah's with Twins
[Wall Lake Fiasco] Overall an excellent trail for carrying one year old twins. However, watch the weather very closely and go prepared. We got hit by a powerful thunderstorm all the way back. We did Crystal Lake trail head to Wall Lake.
Posted by jones at 08:58 AM | Comments (0)
[Research] MatLab programming guide
[Programming] More powerful than a spreadsheet and easier than writing your own numerical analysis algs.
Posted by jones at 08:51 AM | Comments (0)