The paper presents an analysis of the interpretation of recursive types as logical relations in the framework of iterative algebraic theories. This allows a smoother presentation of the underlying technique, and easier proofs of properties of the interpretation.

The water relations of Picea abies in a healthy stand with green trees only and a declining stand with trees showing different stages of needle yellowing were investigated in northern Bavaria. The present study is based on observations of trees differing in their nutritional status but apparently green on both sites in order to identify changes in the response pattern which might be caused by a...

This report is a rst attempt of formalizing the diagonalization proof technique. We give a strategy how to systematically construct diagonalization proofs: (i) nding an indexing relation, (ii) constructing a diagonal element, and (iii) making the implicit contradiction of the diagonal element explicit. We suggest a declarative representation of the strategy and describe how it can be realized i...

Batra [1] used a linear relationship between the second Piola-Kirchhoff stress tensor S and the Green-St. Venant strain tensor E to study finite simple shearing and finite simple extension deformations of an elastic body. In each case he found that the tangent modulus (i.e. the slope of the shear stress vs. the shear strain curve or the slope of the axial stress vs. the axial stretch curve) is ...

The last few years have seen an opening up of what is considered to be the legitimate terrain of international relations (IR). This move is, for the most part, extremely welcome. Yet, the multiple theoretical and empirical openings in IR since the end of the Cold War have failed to elucidate many of the puzzles, questions and problems posed by the contemporary conjuncture. There are a number of...

agricultural landscapes with the green veins and forests patches are forming many parts of european landscapes. in spite of many ecological, economic and agricultural advantages of these elements, they have been changed due to agricultural intensification. we studied changes of these elements, their relations with agricultural activities, farming systems and land use of the adjacent parcel in t...

Recently, Rajagopal and co-workers have shown (see Rajagopal [1], Rajagopal and Srinivasa [2],[3], Bustamante and Rajagopal[4], Rajagopal and Saccomandi [5]) that if by an elastic body one means a body that is incapable of dissipation, then the class of such bodies is far larger than either Green elastic or for that matter Cauchy elastic bodies as one could model elastic bodies using implicit c...

Revised Einstein–Helfand and revised Green–Kubo relations accurately predict viscosity trend with polymer length in DPD simulations.