September 2010
15 posts
Thoughts on OR 2010
This was my first OR conference. The positives: Unlike the CADE conferences I used to hang out some 10 years ago, there was a good share of talks where a non-theorist could actually understand what was going on. There is less variety in methods, so a little bit of modelling knowledge will let you much further into advanced topics than a little bit of logic brings you into the field of theorem...
“I think there are some people in the Bush Administration that should be in the...”
– Addington Joins the Heritage Foundation : Dispatches from the Culture Wars
“Wow! That is pretty amazing. It is also completely ridiculous and false.”
– Michael Trick’s Operations Research Blog : Five Sundays, Mondays, and Tuesdays and Operations Research Training
August 2010
26 posts
“At a leisurely 600 km of travel per day this means the time to drive our...”
– Bartholdi on spacefilling curves
“Going to the customer and saying they have an unsolvable problem scenario...”
– Dual Noise: The Operations Research Toolers Tab: OR Theory, as opposed to OR Practice
How to estimate survival on the Titanic: A job for...
Given that you know the gender of a passenger (-1: female, 1 male), and the class he or she was in, can you predict the survival of said passenger with high probability?
As it turns out, yes:
(Gender+Class-1,15) < 0,5
correctly predicts death (0) or life (1) for more than 78% of all passengers. If you have not checked it out, Eureqa is a tool for genetic programming (symbolic regression)...
“How powerful is Eureqa? Well it can derive Newton’s Second Law from the motion...”
– Eureqa – Software to Replace Scientists | Singularity Hub
Eureqa | Cornell Computational Synthesis... →
Genetic Programming for the masses - synthesize your own equations from sample data.
Holidays suit her well →
Suspicion →
My Constraint Programming Blog →
“The proof of a great result has many times created new tools and techniques that...”
– Proofs, Proofs, Who Needs Proofs? « Gödel’s Lost Letter and P=NP
Let's do real CP: forbiddenAssignment
/********************************************* * The n x m grid is c-colorable if there is a way * to c-color the vertices of the n x m grid so that * there is no rectangle with all four corners the * same color. (The rectangles I care about have the * sides parallel to the x and y axis.) * * * Is there a 17x17 solution? * see:...
Paul's Braunigkeit →
Those three... →
Pepperonifest →
Red Drink in Paris →
