« October 2004 | Main | December 2004 »
November 20, 2004
[Misc.] History of Ultimate
[The Ultimate Handbook - History of Ultimate, My Ultimate photo book] Turns out Steve German was on the first ultimate frisbee team. Turns out he's a researcher at IBM in a field similar to mine and really bright guy. I spent a great summer in Cambridge UK playing with a great team named Strange Blue. I guess Steve's good taste in sports carried over to research areas.
Posted by jones at 10:51 PM | Comments (0)
[Research] on the fly optimization
[ Code On The Fly : Academic Research ] Is similar to some ideas I want to pursue in static analysis for dead variable elimination in model checking.
Posted by jones at 10:39 PM | Comments (0)
November 10, 2004
[Research] linear time invariant systems
[PlanetMath: linear time invariant systems,time invariant filters] What does THAT mean? Not sure yet. Time invariant is something like "the thing does the same thing all the time"
Posted by jones at 04:09 PM | Comments (1)
November 09, 2004
[Misc.] Postscript bounding box figure
[ Bounding Box ] Postscript bounding box coordinates. Useful for those of us that use powerpoint to draw figures for latex documents.
Posted by jones at 03:37 PM | Comments (0)
[] Photoblogging with XSLT, MT and Gallery
[XML.com: What is XSLT?] RAther than hack the rss feed into an html feed, it may make more sense to retarget the xml in the rss feed. XSLT may be just the tool for doing that. Someday when I get a minute, I'll look into it.
Posted by jones at 01:34 PM | Comments (0)
November 08, 2004
[Research] sampled data in control
[Mathematics of Sampled Data Systems] So we've got a great formal verification tool for embedded processors that has a discrete model of time. We'd like to keep the model of time discrete because it works out better for our simulators. However, we'd like to embed the embedded processor (poor choice of terms?) in a continous environment. This results in a sampled data system in the parlance of control theory.
If you'd like us to look at verifying your sampled data system using model checking as a case study, drop me a line at jones@cs.byu.edu. We will sign most NDAs...
Posted by jones at 02:07 PM | Comments (0)
November 05, 2004
[Misc.] Photobloging with MT and Gallery
[mt-feed.php] A very early and ugly, but working, php script that generates "nice" html for using Gallery and MovableType to photoblog. The script is just a 30-minute mutation of the rss.php feed generator that comes with Gallery.
The install goes something like this:
- download mt-feed.php and put it in your gallery top-level directory.
- Make sure Server Side Includes (SSI) are turned on in your MT blog directory. Here's how to do it in Apache. A good idea is to set
Options +Includes
AddHandler server-parsed .html
in a .htaccess file in your top-level blog directory. I know, I know, turning SSI on for all of your .html files is a bad idea. However, I don't want to rename my index.html to index.shtml. And MT cleverly sets the permissions on index.html to not include "executable".
- Add an include directive to include the mt-blog.php script. See the tutorial abvoe for details
- There's an array in mt-feed.php that excludes certain galleries by name. Every gallery named in the array will never be included in the MT feed. Otherwise, the MT feed would include the complete parentage of every modified gallery. I don't want that all the time. There may be more elegant ways to do this.
That's it.
Things to do:
- Add album titles to the mt-feed in a sensible way.
- Figure out what order mt-feed processes albums and change it to process newest albums first.
- take out all the stuff that just generates xml for the rss feed that I've deleted.
Posted by jones at 11:26 PM | Comments (1)
[Education] Conference management software
[Conference packages] I run a peer-reviewed paper review for my graduate theory course. The students submit papers and I farm them out for review within the class. Students are graded on their own paper and on their own reviews of other papers. Later versions of hte paper are graded on their responses to the reviewers comments. I will soon install one of these packages to run the game.
... In the end, I went with Public Knowledge Project it has a few features that I don't need and the model of a conference flow is a little different from what I need. BUT, the install was a breeze. Note that you must have someone with an email address listed as the conference contact (see Main admin page -> People -> View/edit conference directors and contacts) or all mail will fail to be sent to reviewers authors etc. (because php mail will attempt to send with an empty from address)
It would be nice if...
- reviewers could self register
- all of the configuration options were a little more organized
The install was easy, beautiful, wonderful. Took very litte time.
Posted by jones at 10:01 AM | Comments (0)
November 03, 2004
[Misc.] Photoblogging with MT
[MT Wiki . MT . PhotoBlogTutorials ] Oh boy. I feel my once driving passion but now smoldering interesting in photography fusing with my somewhat less enthusiastic but long running interest in blogging to create some kind of new second-order technical hobby.
Posted by jones at 01:56 PM | Comments (1)