« November 2003 | Main | January 2004 »

December 29, 2003

[Tech Support] First month of Mac OS X

Well, in short, its less stable than Windows XP but far more functional. I've had a forced reboot once on the mac, and that's 1 more time than I had in 2.5 years of XP. iTunes has died suddenly on the mac (but not on XP?!). I've had to reboot 3-4 times to mysteriously fix the wireless connection. But... I've been impressed that stuff just works on the mac several times. For example: multiple screen support just works, sharing files with windows boxes just works, the bluetooth keyboard and mouse just work. But the coolest thing is the excellent support for the Unix world, like, cvs, scp and tex. Overall, I am still glad I made the switch. The increase is functionality has been worth the loss of stability. That's good news for mac zealots because that's what made windows so popular in the early days.

Posted by jones at 09:43 AM | Comments (0)

December 24, 2003

[Education] Resources for writing a thesis statement

[How to Write a Thesis Statement, writing resources from Temple U] The thesis statement is the germ around which the rest of the the thesis or proposal crystalize.

A good thesis statement should...

Posted by jones at 11:46 AM | Comments (0)

December 17, 2003

[Research] Self-organization book

[
Amazon.com: Books: Self-Organization in Biological Systems] Interesting book from MASI talk by Thereluz.

Posted by jones at 10:37 AM | Comments (0)

[Research] 2d applications in java/swing

[2D Graphics] working out some ideas to visualize an algorithm I've been using.

questions:

Posted by jones at 06:57 AM | Comments (0)

December 16, 2003

[Tech Support] Lex/Yacc manual

[
Lex - A Lexical Analyzer Generator] for future reference in parsing the output of gdb in our gdb as a model checker project.

Posted by jones at 11:46 AM | Comments (0)

December 15, 2003

[Research] Race conditions

A thourough understanding of race conditions is needed to think of a way to describe one in our model checker.

definition of a race condition

Posted by jones at 02:45 PM | Comments (0)

December 12, 2003

[Misc.] guide to atlanta

[Welcome to AccessAtlanta!] for use at masi 2003.

Posted by jones at 07:42 PM | Comments (0)

[Paper reviews] special issue on industrial FM

[Kluwer Academic Publishers - Formal Methods in System Design] A special issue organized by Ganesh with some interesting papers from industry. (volume 22, number 2, march 2003)

Posted by jones at 12:39 PM | Comments (0)

December 11, 2003

[Misc.] Art that expresses joy

[Art that expresses joy by Nnamdi Okonkwo] I remember going to the BYU art museum a few years ago to see an exhibit by an artist (can't remember the name) who was really really good at painting sad, forlorn, dejected people. It bothered me that there wasn't an exhibit of art that expressed hapiness, elation and joy. Happiness is just as valid and artsy a feeling as sadness. So Nnamdi's work is from a different culture, but I can feel the happiness oozing from his work. Of course, it helps that he lives up the street. Nnamdi reeks of genuine happiness and enthusiasm, I always feel happier after talking to him. This page also explains why his hands are so rough...

Posted by jones at 10:05 PM | Comments (0)

[Tech Support] How to generate an eps figure in excel on macOS X

Click "print" then chose "output options" set the file type to PS. Then save the file somewhere. Return to that location in the terminal of your choice. Run "ps2epsi " then run "eps2eps ".

Posted by jones at 08:59 PM | Comments (0)

[Research] computing mean, variance etc.

Computing Mean, Variance and Standard Deviation with Array I can never remember how to do this either...

Posted by jones at 12:51 PM | Comments (0)