This paper presents an explicit, computationally efficient, recursive formula for computing the normal forms, center manifolds and nonlinear transformations for general n-dimensional systems, associated with semisimple singularities. Based on the formula, we develop a Maple program, which is very convenient for an end-user who only needs to prepare an input file and then execute the program to ...

A framework is described for the automatic synthesis of imperative programs, which may alter data structures and produce destructive side effects as part of their intended behavior. A program meeting a given specification is extracted from the proof of a theorem in a variant of situational logic, in which the states of a computation are explicit objects. As an example, an in-place reverse progr...

We propose a framework for robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model allows one to partially specify a control program in a highlevel, logical language, but also provides an interpreter that— given a logical axiomatization of a domain—will determine the optimal completion of that progra...

This article describes a numerical study on the TOX-clinching process of the steel sheets. In addition, the influence of plastic anisotropy of the material on joining parameters is analyzed by evolution of the joint parameters such as undercut and neck thickness and punch force-displacement curve. Finite element analysis with ABAQUS/CAE-Explicit program is used to simulate two dimensional and t...

Wolfram Kahl Universit at der Bundeswehr M unchen, D-85577 Neubiberg, Germany 1 Motivation Programmers of Haskell or ML know that once their programs are syntactically correct and get past the type checker, the probability that they are correct is usually already pretty high. But while the parser or the type checker still complain, it is not always easy to spot the real problem, which may be ...

Timbre is a major cue for the human auditory system to recognize musical sounds. Timbral patterns can be decomposed in the widely used spectral envelope and the less considered temporal dynamics. In this paper, we present new temporal dynamics similarity measures, which will prove valuable for the recognition of timbral patterns. These similarity measures are evaluated, first alone, then in con...