The 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, held in Phuket Thailand on August 6 - 8, 2008 is aimed at bringing together researchers and scientist, businessmen and entrepreneurs, teachers and students to discuss the numerous fields of computer science, and to share ideas and information in a meaningful way. This publication captures 20 of the conference's most promising papers, and we impatiently await the important contributions that we know these authors will bring to the field.

Our contemporary understanding of brain function is deeply rooted in the ideas of the nonlinear dynamics of distributed networks. Cognition and motor coordination seem to arise from the interactions of local neuronal networks, which themselves are connected in large scales across the entire brain. The spatial architectures between various scales inevitably influence the dynamics of the brain and thereby its function. But how can we integrate brain connectivity amongst these structural and functional domains? Our Handbook provides an account of the current knowledge on the measurement, analysis and theory of the anatomical and functional connectivity of the brain. All contributors are leading experts in various fields concerning structural and functional brain connectivity. In the first part of the Handbook, the chapters focus on an introduction and discussion of the principles underlying connected neural systems. The second part introduces the currently available non-invasive technologies for measuring structural and functional connectivity in the brain. Part three provides an overview of the analysis techniques currently available and highlights new developments. Part four introduces the application and translation of the concepts of brain connectivity to behavior, cognition and the clinical domain. Written for: Researchers, engineers, graduate students in complexity, applied nonlinear dynamics, neuroscience

In recent years, new mathematical methods and tools have been developed and - plied extensively in the ?eld of aerospace engineering, for example, ?nite element method, computational ?uiddynamics, optimization, control, eigenvalues problems. The interaction between aerospace engineering and mathematics has been sign- cant in the past for both engineers and mathematicians and will be even stronger in the future. The School of Mathematics "Guido Stampacchia" of the "Ettore Majorana" FoundationandCentreofScienti?cCultureisthemostappropriatesiteforaerospace engineers and mathematicians to meet. The present volume collects the papers p- sented at the Erice Workshop held on September 8-16, 2007, which was organized in order to allow aerospace engineers and mathematicians from Universities, - search Centres, and Industry to debate advanced problems in aerospace engineering requiring extensive mathematical applications. Theeditorsarecon?denttocapturetheinterestofpeoplefrombothacademiaand industry, particularly, young researchers working on new frontiers of mathematical applications to engineering. The workshop was dedicated to Angelo Miele, Professor at Rice University in Houston, on the occasion of his 85th birthday. Angelo Miele is both an eminent mathematician and a famous engineer, among other activities, able to conceive new scenarios for space exploration. He has been the advisor of many PhD students at Houston, who became well-known professors in universities worldwide and are speakers at this workshop.

With contributions by specialists in optimization and practitioners in the fields of aerospace engineering, chemical engineering, and fluid and solid mechanics, the major themes include an assessment of the state of the art in optimization algorithms as well as challenging applications in design and control, in the areas of process engineering and systems with partial differential equation models.

Hysteresis effects occur in science and engineering: plasticity, ferromagnetism, ferroelectricity are well-known examples. Modelling and mathematical analysis of hysteresis phenomena have been addressed by mathematicians only recently, but are now in full development.
This volume provides a self-contained and comprehensive introduction to the analysis of hysteresis models, and illustrates several new results in this field. First the classical models of Prandtl, Ishlinskii, Preisach and Duhem are formulated and studied, using the concept of "hysteresis operator." A new model of discontinuous hysteresis is introduced. Several partial differential equations containing hysteresis operators are studied in the framework of Sobolev spaces.

The aim of this book is to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's. The computer programs are presented in a straightforward generic language. As a consequence they are well structured, clearly explained and can be translated easily into any high level programming language. Applications and corresponding numerical tests are also given and discussed. To our knowledge, this is the first book to put together mathematics and computer programs for Optimal Control in order to bridge the gap between mathematical abstract algorithms and concrete numerical ones. The text is addressed to students and graduates in Mathematics, Mechanics, Applied Mathematics, Numerical Software, Information Technology and Engineering. It can also be used for Master and Ph.D. programs.

This book has brought 24 groups of experts and active researchers around the world together in image processing and analysis, video processing and analysis, and communications related processing, to present their newest research results, exchange latest experiences and insights, and explore future directions in these important and rapidly evolving areas. It aims at increasing the synergy between academic and industry professionals working in the related field. It focuses on the state-of-the-art research in various essential areas related to emerging technologies, standards and applications on analysis, processing, computing, and communication of multimedia information. The target audience of this book is researchers and engineers as well as graduate students working in various disciplines linked to multimedia analysis, processing and communications, e.g., computer vision, pattern recognition, information technology, image processing, and artificial intelligence. The book is also meant to a broader audience including practicing professionals working in image/video applications such as image processing, video surveillance, multimedia indexing and retrieval, and so on. We hope that the researchers, engineers, students and other professionals who read this book would find it informative, useful and inspirational toward their own work in one way or another.

This book is the first monograph on a new powerful method discovered by the author for the study of nonlinear dynamical systems relying on reduction of nonlinear differential equations to the linear abstract Schroedinger-like equation in Hilbert space. Besides the possibility of unification of many apparently completely different techniques, the "quantal" Hilbert space formalism introduced enables new original methods to be discovered for solving nonlinear problems arising in investigation of ordinary and partial differential equations as well as difference equations. Applications covered in the book include symmetries and first integrals, linearization transformations, Backlund transformations, stroboscopic maps, functional equations involving the case of Feigenbaum-Cvitanovic renormalization equations and chaos.

The Cargese Summer School "Low Dimensional Applications of Quantum Field Theory" was held in July 1995. The School was dedicated to the memory of Claude Itzykson. This session focused on the recent progress in quantum field theory in two dimen sions with a particular emphasis on integrable models and applications of quantum field theory to condensed matter physics. A large fraction of the school was also devoted to a detailed review of the exciting developments in four dimensional super symmetric Yang-Mills theory. The diversity of the topics presented constitute, in our opinion, one of the most attractive features of these proceedings. Some contributions constitute a very thor ough introduction to their subject matter and should be helpful to advanced students in the field while others present entirely new research, not previously published, and should be of considerable interest to the specialist. There were in depth introductory lectures on the application of conformal field theory techniques to disordered systems, on the quantum Hall effect, on quantum in tegrable systems, on the thermodynamic Bethe Ansatz and on the new developments in supersymmetric gauges theories. The computation of the three point function of the Liouville model using conformal bootstrap methods was presented in detail."

Two central problems in the pure theory of economic growth are analysed in this monograph: 1) the dynamic laws governing the economic growth processes, 2) the kinematic and geometric properties of the set of solutions to the dynamic systems. With allegiance to rigor and the emphasis on the theoretical fundamentals of prototype mathematical growth models, the treatise is written in the theorem-proof style. To keep the exposition orderly and as smooth as possible, the economic analysis has been separated from the purely mathematical issues, and hence the monograph is organized in two books. Regarding the scope and content of the two books, an "Introduction and Over view" has been prepared to offer both motivation and a brief account. The introduc tion is especially designed to give a recapitulation of the mathematical theory and results presented in Book II, which are used as the unifying mathematical framework in the analysis and exposition of the different economic growth models in Book I. Economists would probably prefer to go directly to Book I and proceed by consult ing the mathematical theorems of Book II in confirming the economic theorems in Book I. Thereby, both the independence and interdependence of the economic and mathematical argumentations are respected."

This textbook deals with optimization of dynamic systems. The motivation for undertaking this task is as follows: There is an ever increasing need to produce more efficient, accurate, and lightweight mechanical and electromechanical de vices. Thus, the typical graduating B.S. and M.S. candidate is required to have some familiarity with techniques for improving the performance of dynamic systems. Unfortunately, existing texts dealing with system improvement via optimization remain inaccessible to many of these students and practicing en gineers. It is our goal to alleviate this difficulty by presenting to seniors and beginning graduate students practical efficient techniques for solving engineer ing system optimization problems. The text has been used in optimal control and dynamic system optimization courses at the University of Deleware, the University of Washington and Ohio University over the past four years. The text covers the following material in a straightforward detailed manner: * Static Optimization: The problem of optimizing a function that depends on static variables (i.e., parameters) is considered. Problems with equality and inequality constraints are addressed. * Numerical Methods: Static Optimization: Numerical algorithms for the solution of static optimization problems are presented here. The methods presented can accommodate both the unconstrained and constrained static optimization problems. * Calculus of Variation: The necessary and sufficient conditions for the ex tremum of functionals are presented. Both the fixed final time and free final time problems are considered.

This book takes a unique approach to information retrieval by laying down the foundations for a modern algebra of information retrieval based on lattice theory. All major retrieval methods developed so far are described in detail a" Boolean, Vector Space and probabilistic methods, but also Web retrieval algorithms like PageRank, HITS, and SALSA a" and the author shows that they all can be treated elegantly in a unified formal way, using lattice theory as the one basic concept. Further, he also demonstrates that the lattice-based approach to information retrieval allows us to formulate new retrieval methods.

SAndor Dominicha (TM)s presentation is characterized by an engineering-like approach, describing all methods and technologies with as much mathematics as needed for clarity and exactness. His readers in both computer science and mathematics will learn how one single concept can be used to understand the most important retrieval methods, to propose new ones, and also to gain new insights into retrieval modeling in general. Thus, his book is appropriate for researchers and graduate students, who will additionally benefit from the many exercises at the end of each chapter.

The complexity of biological systems has intrigued scientists from many disciplines and has given birth to the highly influential field of systems biology wherein a wide array of mathematical techniques, such as flux balance analysis, and technology platforms, such as next generation sequencing, is used to understand, elucidate, and predict the functions of complex biological systems. More recently, the field of synthetic biology, i.e., de novo engineering of biological systems, has emerged. Scientists from various fields are focusing on how to render this engineering process more predictable, reliable, scalable, affordable, and easy. Systems and control theory is a branch of engineering and applied sciences that rigorously deals with the complexities and uncertainties of interconnected systems with the objective of characterising fundamental systemic properties such as stability, robustness, communication capacity, and other performance metrics. Systems and control theory also strives to offer concepts and methods that facilitate the design of systems with rigorous guarantees on these properties. Over the last 100 years, it has made stellar theoretical and technological contributions in diverse fields such as aerospace, telecommunication, storage, automotive, power systems, and others. Can it have, or evolve to have, a similar impact in biology? The chapters in this book demonstrate that, indeed, systems and control theoretic concepts and techniques can have a significant impact in systems and synthetic biology. Volume I provides a panoramic view that illustrates the potential of such mathematical methods in systems and synthetic biology. Recent advances in systems and synthetic biology have clearly demonstrated the benefits of a rigorous and systematic approach rooted in the principles of systems and control theory - not only does it lead to exciting insights and discoveries but it also reduces the inordinately lengthy trial-and-error process of wet-lab experimentation, thereby facilitating significant savings in human and financial resources. In Volume I, some of the leading researchers in the field of systems and synthetic biology demonstrate how systems and control theoretic concepts and techniques can be useful, or should evolve to be useful, in order to understand how biological systems function. As the eminent computer scientist Donald Knuth put it, "biology easily has 500 years of exciting problems to work on". This edited book presents but a small fraction of those for the benefit of (1) systems and control theorists interested in molecular and cellular biology and (2) biologists interested in rigorous modelling, analysis and control of biological systems.

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

Multigrid Methods for Finite Elements combines two rapidly developing fields: finite element methods, and multigrid algorithms. At the theoretical level, Shaidurov justifies the rate of convergence of various multigrid algorithms for self-adjoint and non-self-adjoint problems, positive definite and indefinite problems, and singular and spectral problems. At the practical level these statements are carried over to detailed, concrete problems, including economical constructions of triangulations and effective work with curvilinear boundaries, quasilinear equations and systems. Great attention is given to mixed formulations of finite element methods, which allow the simplification of the approximation of the biharmonic equation, the steady-state Stokes, and Navier--Stokes problems.

In this second edition, the following recent papers have been added: "Gauss Codes, Quantum Groups and Ribbon Hopf Algebras", "Spin Networks, Topology and Discrete Physics", "Link Polynomials and a Graphical Calculus" and "Knots Tangles and Electrical Networks". An appendix with a discussion on invariants of embedded graphs and Vassiliev invariants has also been included.This book is an introduction to knot and link invariants as generalized amplitudes (vacuum-vacuum amplitudes) for a quasi-physical process. The demands of knot theory, coupled with a quantum statistical framework, create a context that naturally and powerfully includes an extraordinary range of interrelated topics in topology and mathematical physics. The author takes a primarily combinatorial stance toward knot theory and its relations with these subjects. This has the advantage of providing very direct access to the algebra and to the combinatorial topology, as well as the physical ideas. This book is divided into 2 parts: Part I of the book is a systematic course in knots and physics starting from the ground up. Part II is a set of lectures on various topics related to and sometimes based on Part I. Part II also explores some side-topics such as frictional properties of knots, relations with combinatorics and knots in dynamical systems.

The author applies methods of nonlinear elasticity to investigate the defects in the crystal structure of solids such as dislocations and disclinations that characterize the plastic and strength properties of many materials. Contrary to the geometrically motivated nonlinear theory of dislocations continuously distributed over the body, nonlinear analysis of isolated dislocations and disclinations is less developed; it is given for the first time in this book, and in a form accessible to both students and researchers. The general theory of Volterra's dislocations in elastic media under large deformations is developed. A number of exact solutions are found. The nonlinear approach to investigating the isolated defects produces results that often differ qualitatively from those of the linear theory.

For several decades developments in porous media have taken place in almost independent areas. In civilengineering, many papers were publisheddealing with the foundations offlow and transport through porous media. The method used in most cases is called averaging, and the notion ofa representative elementary vol- ume(REV)playsanimportantrole. Inchemicalengineering,papersonconceptual models were written on the theory ofmixtures. Intheoretical physics and stochas- tic analysis, percolation theory has emerged, providing probabilistic models for systems where theconnectedness propertiesofsomecomponentdominatethebe- havior. In mathematics, atheoryhasbeendevelopedcalled homogenizationwhich deals with partial differential equations having rapidly oscillating coefficients. Early work in these and related areas was - among others - done by the fol- lowing scientists: Maxwell [Max81] and Rayleigh [Ray92] studied the effective conductivity of media with small concentrations of randomly and periodically, respectively, arranged inclusions. Einstein [Ein06] investigated the effective vis- cosityofsuspensions with hard spherical particles in compressible viscous fluids. Marchenko and Khrouslov [MK64] looked at the asymptotic nature of homog- enization; they introduced a general approach of averaging based on asymptotic tools which can handle a variety ofdifferent physical problems. Unfortunately, up to now, little efforthas been made to bridge the gap between these different fields of research. Consequently, many results were and are dis- covered independently, and scientists are almost unable to understand each other because the respective languages have been developing in different directions.

This book presents theory and latest application work in Bond Graph methodology with a focus on: * Hybrid dynamical system models, * Model-based fault diagnosis, model-based fault tolerant control, fault prognosis * and also addresses * Open thermodynamic systems with compressible fluid flow, * Distributed parameter models of mechanical subsystems. In addition, the book covers various applications of current interest ranging from motorised wheelchairs, in-vivo surgery robots, walking machines to wind-turbines.The up-to-date presentation has been made possible by experts who are active members of the worldwide bond graph modelling community. This book is the completely revised 2nd edition of the 2011 Springer compilation text titled Bond Graph Modelling of Engineering Systems - Theory, Applications and Software Support. It extends the presentation of theory and applications of graph methodology by new developments and latest research results. Like the first edition, this book addresses readers in academia as well as practitioners in industry and invites experts in related fields to consider the potential and the state-of-the-art of bond graph modelling.

Presenting the concept and design and implementation of configurable intelligent optimization algorithms in manufacturing systems, this book provides a new configuration method to optimize manufacturing processes. It provides a comprehensive elaboration of basic intelligent optimization algorithms, and demonstrates how their improvement, hybridization and parallelization can be applied to manufacturing. Furthermore, various applications of these intelligent optimization algorithms are exemplified in detail, chapter by chapter. The intelligent optimization algorithm is not just a single algorithm; instead it is a general advanced optimization mechanism which is highly scalable with robustness and randomness. Therefore, this book demonstrates the flexibility of these algorithms, as well as their robustness and reusability in order to solve mass complicated problems in manufacturing. Since the genetic algorithm was presented decades ago, a large number of intelligent optimization algorithms and their improvements have been developed. However, little work has been done to extend their applications and verify their competence in solving complicated problems in manufacturing. This book will provide an invaluable resource to students, researchers, consultants and industry professionals interested in engineering optimization. It will also be particularly useful to three groups of readers: algorithm beginners, optimization engineers and senior algorithm designers. It offers a detailed description of intelligent optimization algorithms to algorithm beginners; recommends new configurable design methods for optimization engineers, and provides future trends and challenges of the new configuration mechanism to senior algorithm designers.

An up-to-date and unified treatment of bifurcation theory for variational inequalities in reflexive spaces and the use of the theory in a variety of applications, such as: obstacle problems from elasticity theory, unilateral problems; torsion problems; equations from fluid mechanics and quasilinear elliptic partial differential equations. The tools employed are those of modern nonlinear analysis. Accessible to graduate students and researchers who work in nonlinear analysis, nonlinear partial differential equations, and additional research disciplines that use nonlinear mathematics.

This book is a collection of papers presented at a symposium held in honor of Sidney Leibovich. According all papers deal with mathematical or computational aspects of fluid dynamics applied mostly to atmospheric or oceanographic problems. All contributions are research papers having not only the specialist but also graduate students in mind.

I don't know who Gigerenzer is, but he wrote something very clever that I saw quoted in a popular glossy magazine: "Evolution has tuned the way we think to frequencies of co-occurances, as with the hunter who remembers the area where he has had the most success killing game." This sanguine thought explains my obsession with the division algebras. Every effort I have ever made to connect them to physics - to the design of reality - has succeeded, with my expectations often surpassed. Doubtless this strong statement is colored by a selective memory, but the kind of game I sought, and still seek, seems to frowst about this particular watering hole in droves. I settled down there some years ago and have never feIt like Ieaving. This book is about the beasts I selected for attention (if you will, to ren der this metaphor politically correct, let's say I was a nature photographer), and the kind of tools I had to develop to get the kind of shots Iwanted (the tools that I found there were for my taste overly abstract and theoretical). Half of thisbook is about these tools, and some applications thereof that should demonstrate their power. The rest is devoted to a demonstration of the intimate connection between the mathematics of the division algebras and the Standard Model of quarks and leptons with U(l) x SU(2) x SU(3) gauge fields, and the connection of this model to lO-dimensional spacetime implied by the mathematics."

This book, intended for researchers and graduate students in physics, applied mathematics and engineering, presents a detailed comparison of the important methods of solution for linear differential and difference equations - variation of constants, reduction of order, Laplace transforms and generating functions - bringing out the similarities as well as the significant differences in the respective analyses. Equations of arbitrary order are studied, followed by a detailed analysis for equations of first and second order. Equations with polynomial coefficients are considered and explicit solutions for equations with linear coefficients are given, showing significant differences in the functional form of solutions of differential equations from those of difference equations. An alternative method of solution involving transformation of both the dependent and independent variables is given for both differential and difference equations. A comprehensive, detailed treatment of Green's functions and the associated initial and boundary conditions is presented for differential and difference equations of both arbitrary and second order. A dictionary of difference equations with polynomial coefficients provides a unique compilation of second order difference equations obeyed by the special functions of mathematical physics. Appendices augmenting the text include, in particular, a proof of Cramer's rule, a detailed consideration of the role of the superposition principal in the Green's function, and a derivation of the inverse of Laplace transforms and generating functions of particular use in the solution of second order linear differential and difference equations with linear coefficients.

Statistics is strongly tied to applications in different scientific disciplines, and the most challenging statistical problems arise from problems in the sciences. In fact, the most innovative statistical research flows from the needs of applications in diverse settings. This volume is a testimony to the crucial role that statistics plays in scientific disciplines such as genetics and environmental sciences, among others. The articles in this volume range from human and agricultural genetic DNA research to carcinogens and chemical concentrations in the environment and to space debris and atmospheric chemistry. Also included are some articles on statistical methods which are sufficiently general and flexible to be applied to many practical situations. The papers were refereed by a panel of experts and the editors of the volume. The contributions are based on the talks presented at the Workshop on Statistics and the Sciences, held at the Centro Stefano Franscini in Ascona, Switzerland, during the week of May 23 to 28, 1999. The meeting was jointly organized by the Swiss Federal Institutes of Technology in Lausanne and Zurich, with the financial support of the Minerva Research Foundation. As the presentations at the workshop helped the participants recognize the po tential role that statistics can play in the sciences, we hope that this volume will help the reader to focus on the central role of statistics in the specific areas presented here and to extrapolate the results to further applications."