- Apr 1 2008
Just to gather new tools to help me in my M. Sc. thesis, I'm taking a course on Discrete Event Simulation. This course in fact is not as general as its name may suggest. It focuses mainly on modelling with a formalism called DEVS (which stands for...
- Mar 28 2008
From the Wikipedia: "calculus can refer to any method or system of calculation", and that's not an exception for the Lambda Calculus. First of all, lets define the terms of this calculus: A Lambda Term is something with the form x where x is in...
- Mar 26 2008
In my quest for making every piece of code testable, I run across the requestor pattern. You won't find it doing a Google search. I first saw it in many places in JDT's source code. The idea is separating an extraction of information (a processor)...
- Mar 25 2008
- Mar 15 2008
A Term Rewriting System (TRS) is a very powerful yet simple math tool used, for instance, for the creation of computational models. Given a set of function symbols S, and an (uncountable) set of variables V, I will define rewriting rule by example...
Nicolás di Tada Founder
Juan Wajnerman CTO
Brian J. Cardiff Principal Engineer, Product Manager & Researcher
Matías García Isaía Full-stack Engineer & Site Reliability Engineer
Leandro Matayoshi Full-stack Engineer
Martin Pettinati Marketing & Communications Lead
María Inti David