The communication between a developer and a domain expert (or manager) is very important for successful deployment of formal methods. On the one hand it is crucial for the developer to get feedback from the domain expert for further development. On the other hand the domain expert needs to check whether his expectations are met. An animation tool allows to check the presence of desired function...

A 2-knot will be a 2-sphere embedded into R locally flatly. Although we cannot see a 2-knot directly with our eyes, there are several ways to visualize it. A motion picture is one of the ways. Roughly speaking, a motion picture is a CT scan (Computed Tomographic scan) of a 2-knot. It is a one-parameter family of slices of a 2-knot, that are 0or 1-dimensional objects in R. The n-twist-spun trefo...

Blotchy noise is one of the most common and visually annoying noises noticed in digitized black-and-white motion picture films. This work investigates presents a three-stage blotchy noise reduction scheme combining efforts of temporal median filtering and motioncompensated filtering after joint motion/noise detection. Implementation of each module of the scheme is discussed and finally performa...

Movie films are often damaged through ageing, chemical changes and contact with mechanical parts of a film projector. In this paper a method for the removal of scratches and undesirable lines in digitised film sequences is discussed. The method assumes the prior knowledge about the position and orientation of the scratches and utilises an iterative method to interpolate the affected pixels. The...

We examined three united atom models in light of their description of polyolefin dynamics and investigated the relative influence of various potentials on the resulting dynamics. Results were compared with a collection of experimental data on polyethylene, poly(ethylene-alt-propylene), polypropylene, and head-to-head polypropylene, including quasielastic neutron scattering measurements that we ...

Theories of emotion postulate that emotional input is processed independently from perceptual awareness. Although visual masking has a long tradition in studying whether emotional pictures are processed below a supposed threshold of perceptual awareness (subliminal perception), a consensus has yet to be reached. This article reviews current concerns in the use of visual masking. These include a...

In the first thirty minutes of The Big Picture, an unknown film-school graduate wins the attention of a studio executive at his graduation showcase.3 The smooth-talking executive invites the wide-eyed graduate to come to the studio’s office and pitch an idea for a script. The graduate excitedly attends a series of pitch meetings, hoping that this will be his big break. He buys a Porsche and dum...