A method of obtaining a full (two-dimensional) nonlinear stability analysis of inhomogeneous deformations of arbitrary incompressible hyperelastic materials is presented. The analysis that we develop replaces the second variation condition expressed as an integral involving two arbitrary perturbations, with an equivalent (third-order) system of ordinary di¬erential equations. The positive-de­ n...

In this paper we extend the niteness result on the p-primary torsion subgroup in the Chow group of zero cycles on the selfproduct of a semistable elliptic curve obtained in joint work with S. Saito to primes p dividing the conductor. On the way we show the niteness of the Selmer group associated to the symmetric square of the elliptic curve for those primes. The proof uses p-adic techniques, in...

We study some challenging presentations which arise as groups of deeciency zero. In four cases we settle niteness: we show that two presentations are for nite groups while two are for innnite groups. Thus we answer three explicit questions in the literature and we provide the rst published deeciency zero presentation for a group with soluble length seven. The tools we use are coset enumeration ...

We investigate the problem of case-based learning of formal languages. Case-based reasoning and learning is a currently booming area of artiicial intelligence. The formal framework for case-based learning of languages has recently been developed by JL93] in an inductive inference manner. In this paper, we rst show that any indexed class of recursive languages in which niteness is decidable is c...

The elimination problem in diierential algebraic systems theory is discussed. The focus is on niteness questions, such as conditions for the elimination ideal to be nitely generated.

Speci cation of Object Interaction1 Thorsten Hartmann Gunter Saake 1This work was partially supported by CEC under ESPRIT-III Basic Research Action Working Group No. 6071 IS-CORE II (Information Systems { COrrectness and REusability). The work of Thorsten Hartmann is supported by Deutsche Forschungsgemeinschaft under Sa 465/1-3. Abstract As a consequence of the growing interest in active databa...

Some su cient conditions for niteness of a generalized non abelian tensor product of groups are established extending Ellis result for compatible actions The non abelian tensor product of groups was introduced by Brown and Loday following works of A Lue and R K Dennis It was de ned for any groups A and B which act on themselves by conjugation y xyx and each of which acts on the other such that ...

In this paper we examine the loss of symmetry in mechanics of mate rial To this end we rst review the so called Bromwich bounds of eigenvalues in linear algebra For illustration we revisit the hierarchy of di erent failure diagnos tics when the material properties loose symmetry Subsequently we examine the lack of symmetry in the stress and strain measures which appears in nite deforma tion ana...

Timed (or Stochastic) Data Flow Diagrams (TDFD's or SDFD's) introduced in [SB96b] are an extension of the Formalized Data Flow Diagrams, de ned in [LWBL96]. This extension allows us to assess the quantitative behavior (e. g., performance, throughput, average load of a bubble, etc.) as well as the qualitative behavior (e. g., deadlock, reachability, termination, niteness, liveness, etc.), eventu...

The expressiveness of the declarative language G odel can be improved by adding to it bounded quanti cations, i.e., quanti cations over nite domains, and arrays. Many problems can be expressed more concisely using bounded quanti cations than using recursion. Arrays are natural for many applications, e.g., in scienti c computing, and are conveniently used in bounded quanti cations. Treating bou...