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
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 →
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... →
Red Drink in Paris →