The human work involved in data transformation represents a major bottleneck for today’s data-driven organizations. In response, we present Predictive Interaction, a framework for interactive systems that shifts the burden of technical specification from users to algorithms, while preserving human guidance and expressive power.

A pattern-based approach to the presentation, codi cation and reuse of property speci cations for nite-state veri cation was proposed by Dwyer and his colleagues in [4,3]. The patterns enable nonexperts to read and write formal speci cations for realistic systems and facilitate easy conversion of speci cations between formalisms, such as LTL, CTL, QRE. In this paper we extend the pattern system...

It is known that Dodgson’s rule is computationally very demanding. Tideman (1987) suggested an approximation to it but did not investigate how often his approximation selects the Dodgson winner. We show that under the Impartial Culture assumption the probability that the Tideman winner is the Dodgson winner tend to 1. However we show that the convergence of this probability to 1 is slow. We sug...

Two people have a full B-gallon jug of wine and two empty jugs of capacity M and S, respectively, where B= M +S. Any jug may be poured into any other jug until either the first one is empty or the second is full. What is the quickest way for them to divide the wine equally? We solve this problem and show that a natural related problem may be solved in polynomial time.

Mainstream model transformation tools operate on graph structured models which are described by class-based meta-models. In the traditional grammarware space, transformation tools consume and produce tree structured terms, which are described by some kind of algebraic datatype or grammar. In this paper we explore a functional style of model transformation using Rascal, a meta-programming langua...