As a requirement for the course “Advanced Propositional Reasoning” that I’m taking, today I did a presentation of a very very interesting paper titled Empirical study of the anatomy of modern SAT solvers. You can …
Blog
-
-
What is “Computer Science” ?
-
Slides for “Partial Models: A Position Paper”
I’ve uploaded the slides for the talk I’m going to give tomorrow at the MoDeVVa 2011 workshop. You can download them here.
-
“Partial models: A position paper”
In a couple of weeks I will be travelling to New Zealand to present a position paper that we wrote with Marsha Chechik, Shoham Ben-David and Rick Salay titled “Partial models: A position paper” [pdf] in …
-
How Green Is Your Internet?
-
“5 simple steps to Fowler’s DSL with Xtext 2.0”
Check out this excellent post by Sven Efftinge.
-
LaTeX and Inkscape
The following are my notes (mostly for my benefit) about how I got Inkscape and LaTeX to properly work together, so that I can have LaTeX text in my images. Before anything, check that you …
-
On writing pseudocode
When we think of algorithms and programs, we usually think of code in some programming language. However, programming languages are languages for humans to talk to machines. For humans to talk to other humans about programs, a programming language is not necessarily …
-
The Story of Electronics
-
Aspect oriented modeling
A very interesting Google Tech Talk. I kinda expected to see attributed graph grammars pop up when he started discussing the rule-based transformation approach. I wander if a declarative approach could also work.
Michalis Famelis 