Trace theory
From Wikipedia, the free encyclopedia Theory of trace monoids In mathematics and computer science, trace theory aims to provide a concrete mathematical underpinning for the study of concurrent computation and process calculi. The underpinning is provided by an algebraic definition of the free partially commutative monoid or trace monoid, or equivalently, the history monoid, which provides a concrete algebraic foundation, analogous to the way that the free monoid provides the underpinning for formal languages. The power of trace theory stems from the fact that the algebra of dependency graphs (such as Petri nets) is isomorphic to that of trace monoids, and thus, one can apply both algebraic formal language tools, as well as tools from graph theory.

L-Systems Explorer
Download here (94K) - Note: you will need MFC42.DLL to run this. LSE, or L-Systems Explorer, is a program that allows you to design or view Lindenmeyer Systems (L-Systems). L-Systems are simple string-based commands (much like Turtle graphics) that allow various shapes to be drawn. The interest in Artificial Life is that they can create very life-like tree structures from simple commands. LSE was designed to replace LSD, since the dialog-based nature of the program limited what could be done with it. This more advanced program was inspired by the drawings and chapter on L-Systems in The Computational Beauty of Nature. LSE has the following improvements: Allows for up to 26 different rules Loading and saving of rules Zooming, panning and depth adjustment. Note this is the same L-System, with the depths set at 0-4 from left to right. L-System Commands L-Systems Explorer allows you to assign up to 26 recursive rules. Using LSE Version 1.1 A few bugs fixed, and gradient support added.

Lehrstuhl Grafische Systeme - Projekte - Virtuelle Pflanzen
Relationale Wachstumsgrammatiken als Basis für ein mehrskaliges metabolisches Strukturmodell der Gerste: Neue Techniken der Informatik für Functional-Structural Plant Models (FSPM) Im Rahmen des Vorläuferprojekts wurde die formale Modellspezifikations-Sprache der Relationalen Wachstumsgrammatiken (Relational Growth Grammars, RGG) entwickelt, mit der interaktiven Software GroIMP (Growth Grammar Related Interactive Modelling Platform) operabel gemacht und an ersten Beispielen demonstriert. Da Formalismus und Software zunächst schrittweise ausgebaut und getestet werden mussten, waren diese Beispiele bisher auf sehr ausschnitthafte Modelle beschränkt. Kooperationspartner: Institut für Pflanzengenetik und Kulturpflanzenforschung (IPK) Gatersleben, Dr. Abschlussbericht andere Projekte am Lehrstuhl zurück zur Homepage des Lehrstuhls

Rewriting
Replacing subterm in a formula with another term In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. Such methods may be achieved by rewriting systems (also known as rewrite systems, rewrite engines,[1][2] or reduction systems). In their most basic form, they consist of a set of objects, plus relations on how to transform those objects. Rewriting can be non-deterministic. One rule to rewrite a term could be applied in many different ways to that term, or more than one rule could be applicable. Example cases[edit] Logic[edit] In logic, the procedure for obtaining the conjunctive normal form (CNF) of a formula can be implemented as a rewriting system.[6] The rules of an example of such a system would be: (double negation elimination) (De Morgan's laws) (distributivity) [note 1] where the symbol ( Arithmetic[edit] For example, the computation of 2+2 to result in 4 can be duplicated by term rewriting as follows: .

Newsroom - Software allows interactive tabletop displays on Web
Researchers have developed a new type of software that enables people to use large visual displays and touch screens interactively over the Internet for business and homeland security applications. Here, users at Purdue and the University of Manitoba in Canada interact as if they were in the same room using the same display. (School of Electrical and Computer Engineering, Purdue University) Download image WEST LAFAYETTE, Ind. - Researchers have developed a new type of software that enables people to use large visual displays and touch screens interactively over the Internet for business and homeland security applications. Tabletop touch-operated displays are becoming popular with professionals in various fields, said Niklas Elmqvist, an assistant professor of electrical and computer engineering at Purdue University. "These displays are like large iPhones, and because they are large they invite collaboration," he said. Writer: Emil Venere, 765-494-4709, venere@purdue.edu

powerPlant | Free Graphics software downloads
Currying
Transforming a function in such a way that it only takes a single argument In the prototypical example, one begins with a function that takes two arguments, one from and one from and produces objects in The curried form of this function treats the first argument as a parameter, so as to create a family of functions The family is arranged so that for each object in there is exactly one function In this example, itself becomes a function, that takes as an argument, and returns a function that maps each to The proper notation for expressing this is verbose. belongs to the set of functions Meanwhile, Thus, something that maps will be of the type With this notation, is a function that takes objects from the first set, and returns objects in the second set, and so one writes This is a somewhat informal example; more precise definitions of what is meant by "object" and "function" are given below. that takes the pair and together as arguments, and returns whose return value is another function and subsequently, . .

Poetry on the Road 2010
The metaphoric theme of this years Poetry on the Road visual is a mad origami master. Every poem is represented as a data sculpture made from virtual paper. So this year, we don't have a single key visual but a sequence of individual graphics that represent a single poem. This is also reflected on the design level - a number of poster variations were produced for the festival. The concept in a nutshell: a long paper strip that is folded in an extremely complex manner. Every ridge represents a word. Complex forms - and a long and complex process! Like in the last few years, the visuals for Poetry on the Road were developed with Processing.