Type information has many applications, it can be used for optimized compilation, termination analysis, error detection, . . . . However logic programs are typically untyped. A well-typed program has the property that it behaves identically with or without type checking. Hence the automatic inference of a well-typing is worthwhile. Existing inferences are either cheap and inaccurate, or accurat...

There is at least one undisputable universal related to music: in all the cultures that we know of, and throughout recorded history, people all around the world have engaged in music. Music has also been the focus of much study, placing it at the convergence of Art and Science. The aim of this session is to illustrate the current interdisciplinary investigations of music, combining the new appr...

In the 1 h before work, a person can use more than 50 labor devices. At work, between logging-on to logging-off, a person can remain nearly continuously in their chair. At the end of the work-day, if the home is the castle, the chair is its throne. From their throne, a person can order food, purchase a car, find a new lifepartner, and play war; all this—and more—without ever getting up. With cr...

The first paper, Quality-Driven Decision Making Methodology for System-Level Design, by L. Joiwiak and S.A. Ong, proposes a methodology allowing quality-driven analysis and evaluation of alternative solutions for system-level design and hardware/software partitioning problems. A model for the design decision making process and for specifying and analyzing utility functions is discussed and an e...

This issue of Pedometron is timed to coincide with the biennial meeting of the Pedometrics Commission, Pedometrics 2007, which is taking place in Tübingen, Germany, from 27th August. I am sure that, as in the past, the Pedometrics meeting will be a great success, and offer my thanks to Thorsten Behrens, Thomas Scholten and Volker Hennings for their work in organizing it. If you are at the meeti...

Gravitational wave differences for mass-ratio q=2 binary black hole simulations. Courtesy M. Pürrer.

In many critical applications such as airport operations (for capacity planning), military simulations (for tactical training and planning), and medical simulations (for the planning of medical treatment and surgical operations), it is very useful to conduct simulations within physically accurate and visually realistic settings that are represented by real video imaging sequences. Furthermore, ...

This paper addresses the designers’ activity and in particular the way designers express an object shape in 2D sketches through character lines. The tools currently available in commercial CAS/CAD systems to manipulate the digital models are still not sufficiently suited to support design. In this paper, we introduce the so-called Fully Free Form Deformation Features (δ-F), able to take into ac...

Ab initio calculation at HF/6-31G* level of theory for geometry optimization and MP2/6-31G*//HF/6-31G* for a single point total energy calculation are reported for the important energyminimumconformations and transition-state geometries of of cyclodeca-1,2,3-triene (1). The mostfavorable conformation of 1 is a unsymmetrical twist-chair (1-TC) structure. Degenerateinterconversion of 1-TC with it...