The first Stanford MIPS project started as a special graduate course in 1981. That project produced working silicon in 1983 and a prototype for running small programs in early 1984. After that, we declared it a success and decided to move on to the next project-MIPS-X. This book is the final and complete word on MIPS-X. The initial design of MIPS-X was formulated in 1984 beginning in the Spring. At that time, we were unsure that RISe technology was going to have the industrial impact that we felt it should. We also knew of a number of architectural and implementation flaws in the Stanford MIPS machine. We believed that a new processor could achieve a performance level of over 10 times a VAX 11/780, and that a microprocessor of this performance level would convince academic skeptics of the value of the RISe approach. We were concerned that the flaws in the original RISe design might overshadow the core ideas, or that attempts to industrialize the technology would repeat the mistakes of the first generation designs. MIPS-X was targeted to eliminate the flaws in the first generation de­ signs and to boost the performance level by over a factor of five.

The theory of automorphisms and derivations of associative rings is a direct descendant of the development of classical Galois theory and the theory of invariants. This volume presents a comprehensive overview of the methods and results of that theory, which has been greatly enriched during the last twenty years. Some of the material included appears for the first time. Among the problems discussed in this book are the following: construction of a Galois theory for prime and semiprime rings and its application to domains and free algebras; investigation of the problems of the algebraic dependence of automorphisms and derivations; studies of the fixed rings for finite groups and rings of constants for differential Lie algebras acting on the rings; non-commutative invariants of linear groups; theorems of finite groups acting on modular lattices; actions of Hopf algebras. The monograph is meant for specialists in algebra, but it can also be useful for a wider range of mathematicians. The inclusions in the book of the latest achievements on the structural theory of rings with generalized identities makes it desirable reading for graduate students as well.

One service mathematics has rendered the "Et moi, "'f si favait su comment en revenir. je n 'y serais point alleC human raoe. It hat put common sense back where it belongs. on the topmost shelf next Jules Verne to the dusty canister labelled 'discarded non· The series is divergent; therefore we may be smse'. Eric T. Bell able to do something with it. O. H eaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non­ linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com­ puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'elre of this series.

'Et moi, …. si j'avait su comment en revenir, One service mathematics has rendered the je n'y semis point all,,: human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non­ The series is divergent: therefore we may be sense'. able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non­ !inearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com­ puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series.

It is clear that the relationship between algebra and geometry lacks lateral symmetry. The dialectics of their interaction is better reflected by the formula 'geometry - algebra - geometry' than by its mirror-image. Sufficiently convinc- ing historical examples are Descartes' coordinatization, Klein's Erlanger- programme, and the development of algebraic topology from Poincare's notion of fundamental group. It is true that there are some isolated examples which could be used to suggest the converse, but the typical pattern is the one-way traffic of algebraic concepts being used, and frequently arising, in the study of objects of a geometric or topological nature.

It can be seen from the title that we shall be dealing here with a mathemati- cal theory based on precise notions and definitions. The central object of this theory is an invariant toroidal manifold of a dynamical system considered in a Euclidean space En or in its product with an n-dimensional torus, that is, in the space En X T m . Taking into account the fact that a quasi-periodic solution of a dynamical system in En "sweeps out" an invariant torus of this sytem, the relation between the theory of invariant tori and the theory of multi-frequency oscillations becomes clear; the existence of such tori is a necessary condition for the existence of multi-frequency oscillations of quasi-periodic solutions of dynamical systems. By defining multi-frequency oscillations as a motion of a dynamical system, describing a recurrent trajectory on an invariant toroidal manifold of the system, we make the invariant toroidal manifold into the main subject of the mathematical theory of multi-frequency oscillations; the exis- tence of such a manifold is sufficient for multi-frequency oscillations of the system to exist.

I want to thank R. L. Fosdick, M. E. Gurtin and W. O. Williams for their detailed criticism of the manuscript. I also thank F. Davi, M. Lembo, P. Nardinocchi and M. Vianello for valuable remarks prompted by their reading of one or another of the many previous drafts, from 1988 to date. Since it has taken me so long to bring this writing to its present form, many other colleagues and students have episodically offered useful comments and caught mistakes: a list would risk to be incomplete, but I am heartily grateful to them all. Finally, I thank V. Nicotra for skillfully transforming my hand sketches into book-quality figures. P. PODIO-GUIDUGLI Roma, April 2000 Journal of Elasticity 58: 1-104,2000. 1 P. Podio-Guidugli, A Primer in Elasticity. © 2000 Kluwer Academic Publishers. CHAPTER I Strain 1. Deformation. Displacement Let 8 be a 3-dimensional Euclidean space, and let V be the vector space associated with 8. We distinguish a point p E 8 both from its position vector p(p):= (p-o) E V with respect to a chosen origin 0 E 8 and from any triplet (~1, ~2, ~3) E R3 of coordinates that we may use to label p. Moreover, we endow V with the usual inner product structure, and orient it in one of the two possible manners. It then makes sense to consider the inner product a .

Researchers and graduate students in the theory of stochastic processes will find in this 35th volume some thirty articles on martingale theory, martingales and finance, analytical inequalities and semigroups, stochastic differential equations, functionals of Brownian motion and of Lévy processes. Ledoux's article contains a self-contained introduction to the use of semigroups in spectral gaps and logarithmic Sobolev inequalities; the contribution by Emery and Schachermayer includes an exposition for probabilists of Vershik's theory of backward discrete filtrations.

This book evolved from a course at our university for beginning graduate stu­ dents in mathematics-particularly students who intended to specialize in ap­ plied mathematics. The content of the course made it attractive to other math­ ematics students and to graduate students from other disciplines such as en­ gineering, physics, and computer science. Since the course was designed for two semesters duration, many topics could be included and dealt with in de­ tail. Chapters 1 through 6 reflect roughly the actual nature of the course, as it was taught over a number of years. The content of the course was dictated by a syllabus governing our preliminary Ph. D. examinations in the subject of ap­ plied mathematics. That syllabus, in turn, expressed a consensus of the faculty members involved in the applied mathematics program within our department. The text in its present manifestation is my interpretation of that syllabus: my colleagues are blameless for whatever flaws are present and for any inadvertent deviations from the syllabus. The book contains two additional chapters having important material not included in the course: Chapter 8, on measure and integration, is for the ben­ efit of readers who want a concise presentation of that subject, and Chapter 7 contains some topics closely allied, but peripheral, to the principal thrust of the course. This arrangement of the material deserves some explanation.

After 20 years of pursuing rough set theory and its applications a look on its present state and further prospects is badly needed. The monograph Rough Set Theory and Granular Computing edited by Masahiro Inuiguchi, Shoji Hirano and Shusaku Tsumoto meets this demand. It presents the newest developments in this area and gives fair picture of the state of the art in this domain. Firstly, in the keynote papers by Zdzislaw Pawlak, Andrzej Skowron and Sankar K. Pal the relationship of rough sets with other important methods of data analysis -Bayes theorem, neuro computing and pattern recognitio- is thoroughly examined. Next, several interesting generalizations of the the­ ory and new directions of research are presented. Furthermore application of rough sets in data mining, in particular, rule induction methods based on rough set theory is presented and discussed. Further important issue dis­ cussed in the monograph is rough set based data analysis, including study of decisions making in conflict situations. Last but not least, some recent engi­ neering applications of rough set theory are given. They include a proposal of rough set processor architecture organization for fast implementation of ba­ sic rough set operations and discussion of results concerning advanced image processing for unmanned aerial vehicle. Thus the monograph beside presenting wide spectrum of ongoing research in this area also points out new emerging areas of study and applications, which makes it a valuable source of information to all interested in this do­ main.

Convective flow in the liquid phase is always present in a realistic process of freezing and melting and may significantly affect the dynamics and results of the process. The study of the interplay of growth and convection flow during the solidification has been an important subject in the broad fields of materials science, condensed matter physics, fluid physics, micro-gravity science, etc. The present book is concerned with the dynamics of free dendritic growth with convective flow in the melt. It systematically presents the results obtained in terms of a unified asymptotic approach in the framework of the interfacial wave (IFW) theory. In particular, the book explores the effect of the various types of convection flow on the selection and pattern formation of dendritic growth based on the global stability analysis.

For more than two thousand years some familiarity with mathematics has been regarded as an indispensable part of the intellectual equipment of every cultured person. Today the traditional place of mathematics in education is in grave danger. Unfortunately, professional representatives of mathematics share in the reponsibiIity. The teaching of mathematics has sometimes degen­ erated into empty drill in problem solving, which may develop formal ability but does not lead to real understanding or to greater intellectual indepen­ dence. Mathematical research has shown a tendency toward overspecialization and over-emphasis on abstraction. Applications and connections with other fields have been neglected . . . But . . . understanding of mathematics cannot be transmitted by painless entertainment any more than education in music can be brought by the most brilliant journalism to those who never have lis­ tened intensively. Actual contact with the content of living mathematics is necessary. Nevertheless technicalities and detours should be avoided, and the presentation of mathematics should be just as free from emphasis on routine as from forbidding dogmatism which refuses to disclose motive or goal and which is an unfair obstacle to honest effort. (From the preface to the first edition of What is Mathematics? by Richard Courant and Herbert Robbins, 1941.

Automatic Graph Drawing is concerned with the layout of relational structures as they occur in Computer Science (Data Base Design, Data Mining, Web Mining), Bioinformatics (Metabolic Networks), Businessinformatics (Organization Diagrams, Event Driven Process Chains), or the Social Sciences (Social Networks).

This book is a revised edition of my earlier book of the same title. The cur­ rent edition adopts the structure of the earlier version but is much changed. The introduction now contains definitions of stability. Chapters 2 to 4 ex­ plain stability and the energy method in more depth and new sections dealing with porous media are provided. Chapters 5 to 13 are revisions of those in the earlier edition. However, chapters 6 to 12 are substantially revised, brought completely up to date, and have much new material in. Throughout the book new results are provided which are not available elsewhere. Six new chapters, 14 - 19, are provided dealing with topics of current interest. These cover the topics of multi-component convection diffusion, convection in a compressible fluid, convection with temperature dependent viscosity and thermal conductivity, the subject of penetrative convection whereby part of the fluid layer can penetrate into another, nonlinear sta­ bility in the oceans, and finally in chapter 19 practical methods for solving numerically the eigenvalue problems which arise are presented. The book presents convection studies in a variety of fluid and porous media contexts. It should be accessible to a wide audience and begins at an elementary level. Many new references are provided.

Arnold Sommerfeld's "Mathematische Theorie der Diffraction" marks a milestone in optical theory, full of insights that are still relevant today. In a stunning tour de force, Sommerfeld derives the first mathematically rigorous solution of an optical diffraction problem. Indeed, his diffraction analysis is a surprisingly rich and complex mix of pure and applied mathematics, and his often-cited diffraction solution is presented only as an application of a much more general set of mathematical results. The body of Sommerfeld's work is devoted to the systematic development of a method for deriving solutions of the wave equation on Riemann surfaces, a fascinating but perhaps underappreciated topic in mathematical physics.