In this paper we discuss a component-oriented architecture which we are employing to develop programmable exploratory software for mathematics. We argue that the architecture can be used to provide synergy between end-user programming and efficient behavior of components, i.e. computational objects of a wide range of technical complexity and functionalities. We give examples of components with ...

This paper explores a futures perspective for practical theology. Although there are some examples of a future orientation, a systematic futures perspective has not been developed. Building on futures studies (including predictive studies on foresight and design and architecture studies), the authors propose a methodological model for future-sensitive practical theology, accounting for the prob...

This paper describes a system that dynamically generate narratives through improvisation. MEXICA-impro is based on a cognitive account of the creative process called engagement-reflection. Its architecture defines a framework where two agents participate in a simulated improvisation session to generate the plot of a story in which each one draws knowledge from two different databases representi...

Managing Generic IP verification requires consideration of uncertainties & dynamic changes of standard & specification during project execution. Such scenario requires well defined process which needs to be followed throughout the project execution. A creative approach is required to make sure verification architecture is flexible enough to adapt majority of the run time changes enabling faster...

To study the value of interactivity and chance in creative cognition we looked at the creative process in architecture, choreography and word discovery. Seventeen architects and novice students were given a set of blocks and asked to design their dream house. Although the blocks seem simple they are filled with perceptual surprises. Manipulation led to seeing new things and these in turn led to...

Why should wait for some days to get or receive the adobe photoshop cs2 one on one book that you order? Why should you take it if you can get the faster one? You can find the same book that you order right here. This is it the book that you can receive directly after purchasing. This adobe photoshop cs2 one on one is well known book in the world, of course many people will try to own it. Why do...

We describe research extending the interactive a↵ordances of textual code fragments in creative coding environments. In particular we examine the potential of source code both to display the state of running processes and also to alter state using means other than traditional text editing. In contrast to previous research that has focused on the inclusion of additional interactive widgets insid...

I present an Hipparcos color-magnitude diagram (CMD) that is color-coded by transverse velocity v ⊥. This illustrates the connection between the photomet-ric and kinematic properties of various stellar populations in a manner that is particularly suitable to introductory astronomy courses.

We provide a treatement of the intuitionistic 3 modality in the style of justification logic. We introduce a new type of terms, called witness terms, that justify consistency, obtain justification analogs for the constructive modal logics CK, CD, CT, and CS4, and prove the realization theorem for them.