This book contains 50 papers from among the 95 papers presented at the Seventh International Conference on Fibonacci Numbers and Their Applications which was held at the Institut Fiir Mathematik, Technische Universitiit Graz, Steyrergasse 30, A-SOlO Graz, Austria, from July 15 to July 19, 1996. These papers have been selected after a careful review by well known referees in the field, and they range from elementary number theory to probability and statistics. The Fibonacci numbers and recurrence relations are their unifying bond. It is anticipated that this book, like its six predecessors, will be useful to research workers and graduate students interested in the Fibonacci numbers and their applications. September 1, 1997 The Editors Gerald E. Bergum South Dakota State University Brookings, South Dakota, U. S. A. Alwyn F. Horadam University of New England Armidale, N. S. W. , Australia Andreas N. Philippou House of Representatives Nicosia, Cyprus xxvii THE ORGANIZING COMMITTEES LOCAL COMMITTEE INTERNATIONAL COMMITTEE Tichy, Robert, Chairman Horadam, A. F. (Australia), Co-Chair Prodinger, Helmut, Co-Chairman Philippou, A. N. (Cyprus), Co-Chair Grabner, Peter Bergurt:t, G. E. (U. S. A. ) Kirschenhofer, Peter Filipponi, P. (Italy) Harborth, H. (Germany) Horibe, Y. (Japan) Johnson, M. (U. S. A. ) Kiss, P. (Hungary) Phillips, G. M. (Scotland) Turner, J. (New Zealand) Waddill, M. E. (U. S. A. ) xxix LIST OF CONTRIBUTORS TO THE CONFERENCE *ADELBERG, ARNOLD, "Higher Order Bernoulli Polynomials and Newton Polygons. " AMMANN, ANDRE, "Associated Fibonacci Sequences. " *ANDERSON, PETER G. , "The Fibonacci Shuffle Tree.

Reversible grammar allows computational models to be built that are equally well suited for the analysis and generation of natural language utterances. This task can be viewed from very different perspectives by theoretical and computational linguists, and computer scientists. The papers in this volume present a broad range of approaches to reversible, bi-directional, and non-directional grammar systems that have emerged in recent years. This is also the first collection entirely devoted to the problems of reversibility in natural language processing. Most papers collected in this volume are derived from presentations at a workshop held at the University of California at Berkeley in the summer of 1991 organised under the auspices of the Association for Computational Linguistics. This book will be a valuable reference to researchers in linguistics and computer science with interests in computational linguistics, natural language processing, and machine translation, as well as in practical aspects of computability.

One service methematics has rendered 'Et moi, ..., si j'avait su comment en revenir, je n'y serais point alle.' the human race. It has put common sense JulesVerne back where it belongs, on the topmost shelf next to the dusty canister labelled The series is divergent; therefore we may 'discarded nonsecse'. be 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 nonlinearities 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 computer science ... '; 'One service category theory has rendered mathematics ... '. All arguable true. And all statements obtainable this way form part of the raison d'etre of this series.

This special volume focuses on optimization and control of processes governed by partial differential equations. The contributors are mostly participants of the DFG-priority program 1253: Optimization with PDE-constraints which is active since 2006. The book is organized in sections which cover almost the entire spectrum of modern research in this emerging field. Indeed, even though the field of optimal control and optimization for PDE-constrained problems has undergone a dramatic increase of interest during the last four decades, a full theory for nonlinear problems is still lacking. The contributions of this volume, some of which have the character of survey articles, therefore, aim at creating and developing further new ideas for optimization, control and corresponding numerical simulations of systems of possibly coupled nonlinear partial differential equations. The research conducted within this unique network of groups in more than fifteen German universities focuses on novel methods of optimization, control and identification for problems in infinite-dimensional spaces, shape and topology problems, model reduction and adaptivity, discretization concepts and important applications. Besides the theoretical interest, the most prominent question is about the effectiveness of model-based numerical optimization methods for PDEs versus a black-box approach that uses existing codes, often heuristic-based, for optimization.

The International Symposium on Computational & Applied PDEs was held at Zhangjiajie National Park of China from July 1-7, 2001. The main goal of this conference is to bring together computational, applied and pure mathematicians on different aspects of partial differential equations to exchange ideas and to promote collaboration. Indeed, it attracted a number of leading scientists in computational PDEs including Doug Arnold (Minnesota), Jim Bramble (Texas A & M), Achi Brandt (Weizmann), Franco Brezzi (Pavia), Tony Chan (UCLA), Shiyi Chen (John Hopkins), Qun Lin (Chinese Academy of Sciences), Mitch Luskin (Minnesota), Tom Manteuffel (Colorado), Peter Markowich (Vienna), Mary Wheeler (Texas Austin) and Jinchao Xu (Penn State); in applied and theoretical PDEs including Weinan E (Princeton), Shi Jin (Wisconsin), Daqian Li (Fudan) and Gang Tian (MIT). It also drew an international audience of size 100 from Austria, China, Germany, Hong Kong, Iseael, Italy, Singapore and the United States. The conference was organized by Yunqing Huang of Xiangtan University, Jinchao Xu of Penn State University, and Tony Chan of UCLA through ICAM (Institute for Computational and Applied Mathematics) of Xiangtan university which was founded in January 1997 and directed by Jinchao Xu. The scientific committee of this conference consisted of Randy Bank of UCSD, Tony Chan of UCLA, K. C.

Drug research and discovery are of critical importance in human health care. Computational approaches for drug lead discovery and optimization have proven successful in many recent research programs. These methods have grown in their effectiveness not only because of improved understanding of the basic science - the biological events and molecular interactions that define a target for therapeutic intervention - but also because of advances in algorithms, representations, and mathematical procedures for studying such processes. This volume surveys some of those advances. A broad landscape of high-profile topics in computer-assisted molecular design (CAMD) directed to drug design are included. Subject areas represented in the volume include receptor-based applications such as binding energy approximations, molecular docking, and de novo design; non-receptor-based applications such as molecular similarity; molecular dynamics simulations; solvation and partitioning of a solute between aqueous and nonpolar media; graph theory; non-linear multidimensional optimization, processing of information obtained from simulation studies, global optimization and search strategies, and performance enhancement through parallel computing.

This book focuses on the topics which provide the foundation for practicing engineering mathematics: ordinary differential equations, vector calculus, linear algebra and partial differential equations. Destined to become the definitive work in the field, the book uses a practical engineering approach based upon solving equations and incorporates computational techniques throughout.

This volume contains the proceedings of the Second International Workshop on Optimal Design and Control, held in Arlington, Virginia, 30 September-3 Octo ber, 1997. The First Workshop was held in Blacksburg, Virginia in 1994. The proceedings of that meeting also appeared in the Birkhauser series on Progress in Systems and Control Theory and may be obtained through Birkhauser. These workshops were sponsored by the Air Force Office of Scientific Re search through the Center for Optimal Design and Control (CODAC) at Vrrginia Tech. The meetings provided a forum for the exchange of new ideas and were designed to bring together diverse viewpoints and to highlight new applications. The primary goal of the workshops was to assess the current status of research and to analyze future directions in optimization based design and control. The present volume contains the technical papers presented at the Second Workshop. More than 65 participants from 6 countries attended the meeting and contributed to its success. It has long been recognized that many modern optimal design problems are best viewed as variational and optimal control problems. Indeed, the famous problem of determining the body of revolution that produces a minimum drag nose shape in hypersonic How was first proposed by Newton in 1686. Optimal control approaches to design can provide theoretical and computational insight into these problems. This volume contains a number of papers which deal with computational aspects of optimal control.

This book presents a substantial part of matrix analysis that is functional analytic in spirit. Topics covered include the theory of majorization, variational principles for eigenvalues, operator monotone and convex functions, and perturbation of matrix functions and matrix inequalities. The book offers several powerful methods and techniques of wide applicability, and it discusses connections with other areas of mathematics.

Presents a discrete in time-space universal map of relative dynamics that is used to unfold an extensive catalogue of dynamic events not previously discussed in mathematical or social science literature. With emphasis on the chaotic dynamics that may ensue, the book describes the evolution on the basis of temporal and locational advantages. It explains nonlinear discrete time dynamic maps primarily through numerical simulations. These very rich qualitative dynamics are linked to evolution processes in socio-spatial systems. Important features include: The analytical properties of the one-stock, two- and three-location map; the numerical results from the one- and two-stock, two- and three-location dynamics; and the demonstration of the map's potential applicability in the social sciences through simulating population dynamics of the U.S. Regions over a two-century period. In addition, this book includes new findings: the Hopf equivalent discrete time dynamics bifurcation; the Feigenbaum slope-sequences; the presence of strange local attractors and containers; switching of extreme states; the presence of different types of turbulence; local and global turbulence. Intended for researchers and advanced graduate students in applied mathematics and an interest in dynamics and chaos. Mathematical social scientists in many other fields will also find this book useful.

Since the original publication of this book, available computer power has increased greatly. Today, scientific computing is playing an ever more prominent role as a tool in scientific discovery and engineering analysis. In this second edition, the key addition is an introduction to the finite element method. This is a widely used technique for solving partial differential equations (PDEs) in complex domains. This text introduces numerical methods and shows how to develop, analyze, and use them. Complete MATLAB programs for all the worked examples are now available at www.cambridge.org/Moin, and more than 30 exercises have been added. This thorough and practical book is intended as a first course in numerical analysis, primarily for new graduate students in engineering and physical science. Along with mastering the fundamentals of numerical methods, students will learn to write their own computer programs using standard numerical methods.

* Metivier is an expert in the field of pdes/math physics, with a particular emphasis on shock waves. * New monograph focuses on mathematical methods, models, and applications of boundary layers, present in many problems of physics, engineering, fluid mechanics. * Metivier has good Birkhauser track record: one of the main authors of "Advances in the Theory of Shock Waves" (Freistuehler/Szepessy, eds, 4187-4). * Manuscript endorsed by N. Bellomo, MSSET series editor...should be a good sell to members of MSSET community, who by-in-large are based in Europe. * Included are self-contained introductions to different topics such as hyperbolic boundary value problems, parabolic systems, WKB methods, construction of profiles, introduction to the theory of Evans' functions, and energy methods with Kreiss' symmetrizers.

"D. Walnut's lovely book aims at the upper undergraduate level, and so it includes relatively more preliminary material . . . than is typically the case in a graduate text. It goes from Haar systems to multiresolutions, and then the discrete wavelet transform . . . The applications to image compression are wonderful, and the best I have seen in books at this level. I also found the analysis of the best choice of basis, and wavelet packet, especially attractive. The later chapters include MATLAB codes. Highly recommended "

Bulletin of the AMS

An Introduction to Wavelet Analysis provides a comprehensive presentation of the conceptual basis of wavelet analysis, including the construction and application of wavelet bases.

The book develops the basic theory of wavelet bases and transforms without assuming any knowledge of Lebesgue integration or the theory of abstract Hilbert spaces. The book elucidates the central ideas of wavelet theory by offering a detailed exposition of the Haar series, and then shows how a more abstract approach allows one to generalize and improve upon the Haar series. Once these ideas have been established and explored, variations and extensions of Haar construction are presented. The mathematical prerequisites for the book are a course in advanced calculus, familiarity with the language of formal mathematical proofs, and basic linear algebra concepts.

Features:

* Rigorous proofs with consistent assumptions about the mathematical background of the reader (does not assume familiarity with Hilbert spaces or Lebesgue measure).

* Complete background material on is offered on Fourier analysis topics.

* Wavelets are presented first on the continuous domain and later restricted to the discrete domain for improved motivation and understanding of discrete wavelet transforms and applications.

* Special appendix, "Excursions in Wavelet Theory, " provides a guide to current literature on the topic.

* Over 170 exercises guide the reader through the text.

An Introduction to Wavelet Analysis is an ideal text/reference for a broad audience of advanced students and researchers in applied mathematics, electrical engineering, computational science, and physical sciences. It is also suitable as a self-study reference guide for professionals."

"Approximate Global Convergence and Adaptivity for Coefficient Inverse Problems" is the first book in which two new concepts of numerical solutions of multidimensional Coefficient Inverse Problems (CIPs) for a hyperbolic Partial Differential Equation (PDE) are presented: Approximate Global Convergence and the Adaptive Finite Element Method (adaptivity for brevity).
Two central questions for CIPs are addressed: How to obtain a good approximations for the exact solution without any knowledge of a small neighborhood of this solution, and how to refine it given the approximation.
The book also combines analytical convergence results with recipes for various numerical implementations of developed algorithms. The developed technique is applied to two types of blind experimental data, which are collected both in a laboratory and in the field. The result for the blind backscattering experimental data collected in the field addresses a real world problem of imaging of shallow explosives.

This book contains a broad spectrum of plasma physics areas, from magnetic confinement (tokamaks) to spectroscopy in plasmas. The invited papers of the LAWPP present mini-courses for graduate students and review papers in each area, also updating the new ideas in the field.

ThesubjectofthisbookisSemi-In?niteAlgebra,ormorespeci?cally,Semi-In?nite Homological Algebra. The term "semi-in?nite" is loosely associated with objects that can be viewed as extending in both a "positive" and a "negative" direction, withsomenaturalpositioninbetween,perhapsde?nedupto a"?nite"movement. Geometrically, this would mean an in?nite-dimensional variety with a natural class of "semi-in?nite" cycles or subvarieties, having always a ?nite codimension in each other, but in?nite dimension and codimension in the whole variety [37]. (For further instances of semi-in?nite mathematics see, e. g. , [38] and [57], and references below. ) Examples of algebraic objects of the semi-in?nite type range from certain in?nite-dimensional Lie algebras to locally compact totally disconnected topolo- cal groups to ind-schemes of ind-in?nite type to discrete valuation ?elds. From an abstract point of view, these are ind-pro-objects in various categories, often - dowed with additional structures. One contribution we make in this monograph is the demonstration of another class of algebraic objects that should be thought of as "semi-in?nite", even though they do not at ?rst glance look quite similar to the ones in the above list. These are semialgebras over coalgebras, or more generally over corings - the associative algebraic structures of semi-in?nite nature. The subject lies on the border of Homological Algebra with Representation Theory, and the introduction of semialgebras into it provides an additional link with the theory of corings [23], as the semialgebrasare the natural objects dual to corings.

This monograph presents a collection of results, observations, and examples related to dynamical systems described by linear and nonlinear ordinary differential and difference equations. In particular, dynamical systems that are susceptible to analysis by the Liapunov approach are considered. The naive observation that certain "diagonal-type" Liapunov functions are ubiquitous in the literature attracted the attention of the authors and led to some natural questions. Why does this happen so often? What are the spe cial virtues of these functions in this context? Do they occur so frequently merely because they belong to the simplest class of Liapunov functions and are thus more convenient, or are there any more specific reasons? This monograph constitutes the authors' synthesis of the work on this subject that has been jointly developed by them, among others, producing and compiling results, properties, and examples for many years, aiming to answer these questions and also to formalize some of the folklore or "cul ture" that has grown around diagonal stability and diagonal-type Liapunov functions. A natural answer to these questions would be that the use of diagonal type Liapunov functions is frequent because of their simplicity within the class of all possible Liapunov functions. This monograph shows that, although this obvious interpretation is often adequate, there are many in stances in which the Liapunov approach is best taken advantage of using diagonal-type Liapunov functions. In fact, they yield necessary and suffi cient stability conditions for some classes of nonlinear dynamical systems."

The nature of the physical Universe has been increasingly better understood in recent years, and cosmological concepts have undergone a rapid evolution (see, e.g., [11], [2],or [5]). Although there are alternate theories, it is generally believed that the large-scale relationships and homogeneities that we see can only be explainedby having the universe expand suddenlyin a very early "in?ationary" period. Subsequent evolution of the Universe is described by the Hubble expansion, the observation that the galaxies are ?ying away from each other. We can attribute di?erent rates of this expansion to domination of di?erent cosmological processes, beginning with radiation, evolving to matter domination, and, relatively recently, to vacuum domination (the Cosmological Constant term)[4]. We assume throughout that we will be relying as much as possible on observational data, with simulations used only for limited purposes, e.g., the appearance of the Milky Wayfrom nearbyintergalactic viewpoints. The visualization of large-scale astronomical data sets using?xed, non-interactive animations has a long history. Several books and ?lms exist, ranging from "Cosmic View: The Universe in Forty Jumps" [3] by Kees Boeke to "Powers of 10" [6,13] by Charles and Ray Eames, and the recent Imax ?lm "Cosmic Voyage" [15]. We have added our own contribution [9], "Cosmic Clock," which is an animation based entirely on the concepts and implementation described in this paper.

Recent advances in the field of guided-wave optics, such as fiber optics and integrated optics, have included the introduction of arbitrarily-shaped optical waveguides which, in many cases, also happened to be arbitrarily inhomogeneous, dissipative, anisotropic, and/or nonlinear. Most of such cases of waveguide arbitrariness do not lend themselves to analytical so lutions; hence, computational tools for modeling and simulation are es sential for successful design, optimization, and realization of the optical waveguides. For this purpose, various numerical techniques have been de veloped. In particular, the finite element method (FEM) is a powerful and efficient tool for the most general (i. e. , arbitrarily-shaped, inhomogeneous, dissipative, anisotropic, and nonlinear) optical waveguide problem. Its use in industry and research is extensive, and indeed it could be said that with out it many optical waveguide problems would be incapable of solution. This book is intended for students, engineers, designers, and techni cal managers interested in a detailed description of the FEM for optical waveguide analysis. Starting from a brief review of electromagnetic theory, the first chapter provides the concepts of the FEM and its fundamentals. In addition to conventional elements, i. e. , line elements, triangular elements, tetrahedral elements, ring elements, and triangular ring elements which are utilized for one-dimensional, two-dimensional, three-dimensional, axisymmetric two dimensional, and axisymmetric three-dimensional problems, respectively, special-purpose elements, such as isoparametric elements, edge elements, infinite elements, and boundary elements, are also introduced.

The Institute for Mathematics and its Applications (IMA) devoted its 1997-1998 program to Emerging Applications of Dynamical Systems. Dynamical systems theory and related numerical algorithms provide powerful tools for studying the solution behavior of differential equations and mappings. In the past 25 years computational methods have been developed for calculating fixed points, limit cycles, and bifurcation points. A remaining challenge is to develop robust methods for calculating more complicated objects, such as higher- codimension bifurcations of fixed points, periodic orbits, and connecting orbits, as well as the calcuation of invariant manifolds. Another challenge is to extend the applicability of algorithms to the very large systems that result from discretizing partial differential equations. Even the calculation of steady states and their linear stability can be prohibitively expensive for large systems (e.g. 10_3- -10_6 equations) if attempted by simple direct methods. Several of the papers in this volume treat computational methods for low and high dimensional systems and, in some cases, their incorporation into software packages.A few papers treat fundamental theoretical problems, including smooth factorization of matrices, self -organized criticality, and unfolding of singular heteroclinic cycles. Other papers treat applications of dynamical systems computations in various scientific fields, such as biology, chemical engineering, fluid mechanics, and mechanical engineering.

Multivariate polynomials are a main tool in approximation. The book begins with an introduction to the general theory by presenting the most important facts on multivariate interpolation, quadrature, orthogonal projections and their summation, all treated under a constructive view, and embedded in the theory of positive linear operators. On this background, the book gives the first comprehensive introduction to the recently developped theory of generalized hyperinterpolation. As an application, the book gives a quick introduction to tomography. Several parts of the book are based on rotation principles, which are presented in the beginning of the book, together with all other basic facts needed.

Infotext]((Kurztext))These are the proceedings of the 7th International Conference on Hyperbolic Problems, held in Zurich in February 1998. The speakers and contributors have been rigorously selected and present the state of the art in this field. The articles, both theoretical and numerical, encompass a wide range of applications, such as nonlinear waves in solids, various computational fluid dynamics from small-scale combustion to relativistic astrophysical problems, multiphase phenomena and geometrical optics.

((Volltext))These proceedings contain, in two volumes, approximately one hundred papers presented at the conference on hyperbolic problems, which has focused to a large extent on the laws of nonlinear hyperbolic conservation. Two-fifths of the papers are devoted to mathematical aspects such as global existence, uniqueness, asymptotic behavior such as large time stability, stability and instabilities of waves and structures, various limits of the solution, the Riemann problem and so on. Roughly the same number of articles are devoted to numerical analysis, for example stability and convergence of numerical schemes, as well as schemes with special desired properties such as shock capturing, interface fitting and high-order approximations to multidimensional systems. The results in these contributions, both theoretical and numerical, encompass a wide range of applications such as nonlinear waves in solids, various computational fluid dynamics from small-scale combustion to relativistic astrophysical problems, multiphase phenomena and geometrical optics."

Semi-infinite optimization is a vivid field of active research. Recently semi infinite optimization in a general form has attracted a lot of attention, not only because of its surprising structural aspects, but also due to the large number of applications which can be formulated as general semi-infinite programs. The aim of this book is to highlight structural aspects of general semi-infinite programming, to formulate optimality conditions which take this structure into account, and to give a conceptually new solution method. In fact, under certain assumptions general semi-infinite programs can be solved efficiently when their bi-Ievel structure is exploited appropriately. After a brief introduction with some historical background in Chapter 1 we be gin our presentation by a motivation for the appearance of standard and general semi-infinite optimization problems in applications. Chapter 2 lists a number of problems from engineering and economics which give rise to semi-infinite models, including (reverse) Chebyshev approximation, minimax problems, ro bust optimization, design centering, defect minimization problems for operator equations, and disjunctive programming."

Books on computation in the marketplace tend to discuss the topics within specific fields. Many computational algorithms, however, share common roots. Great advantages emerge if numerical methodologies break the boundaries and find their uses across disciplines. Interdisciplinary Computing In Java Programming Language introduces readers of different backgrounds to the beauty of the selected algorithms. Serious quantitative researchers, writing customized codes for computation, enjoy cracking source codes as opposed to the black-box approach. Most C and Fortran programs, despite being slightly faster in program execution, lack built-in support for plotting and graphical user interface. This book selects Java as the platform where source codes are developed and applications are run, helping readers/users best appreciate the fun of computation. Interdisciplinary Computing In Java Programming Language is designed to meet the needs of a professional audience composed of practitioners and researchers in science and technology. This book is also suitable for senior undergraduate and graduate-level students in computer science, as a secondary text.

The focus from most Virtual Reality (VR) systems lies mainly on the visual immersion of the user. But the emphasis only on the visual perception is insufficient for some applications as the user is limited in his interactions within the VR. Therefore the textbook presents the principles and theoretical background to develop a VR system that is able to create a link between physical simulations and haptic rendering which requires update rates of 1\, kHz for the force feedback. Special attention is given to the modeling and computation of contact forces in a two-finger grasp of textiles. Addressing further the perception of small scale surface properties like roughness, novel algorithms are presented that are not only able to consider the highly dynamic behaviour of textiles but also capable of computing the small forces needed for the tactile rendering at the contact point. Final analysis of the entire VR system is being made showing the problems and the solutions found in the work