This book is the outcome of a series of discussions at the Philips Symposium on Intelligent Algorithms, held in Eindhoven in December 2004. It offers exciting and practical examples of the use of intelligent algorithms in ambient and biomedical computing. It contains topics such as bioscience computing, database design, machine consciousness, scheduling, video summarization, audio classification, semantic reasoning, machine learning, tracking and localization, secure computing, and communication.

Argumentation is all around us. Letters to the Editor often make points of cons- tency, and "Why" is one of the most frequent questions in language, asking for r- sons behind behaviour. And argumentation is more than 'reasoning' in the recesses of single minds, since it crucially involves interaction. It cements the coordinated social behaviour that has allowed us, in small bands of not particularly physically impressive primates, to dominate the planet, from the mammoth hunt all the way up to organized science. This volume puts argumentation on the map in the eld of Arti cial Intelligence. This theme has been coming for a while, and some famous pioneers are chapter authors, but we can now see a broader systematic area emerging in the sum of topics and results. As a logician, I nd this intriguing, since I see AI as 'logic continued by other means', reminding us of broader views of what my discipline is about. Logic arose originally out of re ection on many-agent practices of disputation, in Greek Ant- uity, but also in India and China. And logicians like me would like to return to this broader agenda of rational agency and intelligent interaction. Of course, Aristotle also gave us a formal systems methodology that deeply in uenced the eld, and eventually connected up happily with mathematical proof and foundations.

Programming Finite Elements in Java (TM) teaches the reader how to programme the algorithms of the finite element method (FEM) in Java (TM). The compact, simple code helps the student to read the algorithms, to understand them and thus to be able to refine them. All of the main aspects of finite element techniques are considered: finite element solution; generation of finite element meshes; and visualization of finite element models and results with Java 3D (TM). The step-by-step presentation includes algorithm programming and code explanation at each point. Problems and exercises are provided for each chapter, with Java (TM) source code and problem data sets available from http://extras.springer.com/2010/978-1-84882-971-8.

When researchers gather around lunch tables, at conferences, or in bars, there are some topics that are more or less compulsory. The discussions are about the ho- less management of the university or the lab where they are working, the lack of funding for important research, politicians' inability to grasp the potential of a p- ticularly promising ?eld, and the endless series of committees that seem to produce very little progress. It is common to meet excellent researchers claiming that they have almost no time to do research because writing applications, lecturing, and - tending to committee work seem to take most of their time. Very few ever come into a position to do something about it. With Simula we have this chance. We were handed a considerable annual grant and more or less left to ourselves to do whatever we thought would produce the best possible results. We wanted to create a place where researchers could have the time and conditions necessary to re?ect over dif?cult problems, uninterrupted by mundane dif?culties; where doctoral students could be properly supervised and learn the craft of research in a well-organized and professional manner; and where entrepreneurs could ?nd professional support in developing their research-based - plications and innovations.

The Third Conference on Applied Mathematics and Scienti?c Computing took place June 23-27, 2003 on island of Brijuni, Croatia. The main goal of the conference was to interchange ideas among applied mathematicians in the broadest sense both from and outside academia, as well as experts from other areas who apply different mathematical techniques. During the meeting there were invited and contributed talksand software presentations. Invited presentations were given by active researchers from the ?eldsof approximation theory, numerical methods for differential equations and numericallinear algebra. These proceedings contain research and review papers by invited speakers and selected contributed papers from the ?elds of applied and numerical mathematics. A particular aim of the conference was to encourage young scientists to present results of their research. Traditionally, the best presentation given by PhD student was rewarded. This year awardee was Luka Grubisi ? c ' (University of Hagen, Hagen, Germany) and we congratulate him for this achievement. It would be hard to organize the conference without generous support of the Croatian Ministry of Science and Technology and we acknowledge it. We are also indebted to themainorganizer, Department of Mathematics, University of Zagreb.Motivating beautiful nature should bealso mentioned.And,attheend, we are thankful to Drs. JosipTambaca ? and Ivica Nakic ' for giving this book its ?nal shape.

The present book - through the topics and the problems approach - aims at filling a gap, a real need in our literature concerning CFD (Computational Fluid Dynamics). Our presentation results from a large documentation and focuses on reviewing the present day most important numerical and computational methods in CFD. Many theoreticians and experts in the field have expressed their - terest in and need for such an enterprise. This was the motivation for carrying out our study and writing this book. It contains an important systematic collection of numerical working instruments in Fluid Dyn- ics. Our current approach to CFD started ten years ago when the Univ- sity of Paris XI suggested a collaboration in the field of spectral methods for fluid dynamics. Soon after - preeminently studying the numerical approaches to Navier-Stokes nonlinearities - we completed a number of research projects which we presented at the most important inter- tional conferences in the field, to gratifying appreciation. An important qualitative step in our work was provided by the dev- opment of a computational basis and by access to a number of expert softwares. This fact allowed us to generate effective working programs for most of the problems and examples presented in the book, an - pect which was not taken into account in most similar studies that have already appeared all over the world.

? DoesP=NP. In just ?ve symbols Dick Karp -in 1972-captured one of the deepest and most important questions of all time. When he ?rst wrote his famous paper, I think it's fair to say he did not know the depth and importance of his question. Now over three decades later, we know P=NP is central to our understanding of compu- tion, it is a very hard problem, and its resolution will have potentially tremendous consequences. This book is a collection of some of the most popular posts from my blog- Godel Lost Letter andP=NP-which I started in early 2009. The main thrust of the blog, especially when I started, was to explore various aspects of computational complexity around the famousP=NP question. As I published posts I branched out and covered additional material, sometimes a timely event, sometimes a fun idea, sometimes a new result, and sometimes an old result. I have always tried to make the posts readable by a wide audience, and I believe I have succeeded in doing this.

Research in Bayesian analysis and statistical decision theory is rapidly expanding and diversifying, making it increasingly more difficult for any single researcher to stay up to date on all current research frontiers. This book provides a review of current research challenges and opportunities. While the book can not exhaustively cover all current research areas, it does include some exemplary discussion of most research frontiers. Topics include objective Bayesian inference, shrinkage estimation and other decision based estimation, model selection and testing, nonparametric Bayes, the interface of Bayesian and frequentist inference, data mining and machine learning, methods for categorical and spatio-temporal data analysis and posterior simulation methods. Several major application areas are covered: computer models, Bayesian clinical trial design, epidemiology, phylogenetics, bioinformatics, climate modeling and applications in political science, finance and marketing. As a review of current research in Bayesian analysis the book presents a balance between theory and applications. The lack of a clear demarcation between theoretical and applied research is a reflection of the highly interdisciplinary and often applied nature of research in Bayesian statistics. The book is intended as an update for researchers in Bayesian statistics, including non-statisticians who make use of Bayesian inference to address substantive research questions in other fields. It would also be useful for graduate students and research scholars in statistics or biostatistics who wish to acquaint themselves with current research frontiers.

This book represents the results of cross-fertilization between OR/MS and CS/AI. It is this interface of OR/CS that makes possible advances that could not have been achieved in isolation. Taken collectively, these articles are indicative of the state-of-the-art in the interface between OR/MS and CS/AI and of the high caliber of research being conducted by members of the INFORMS Computing Society.

This text offers an introduction to error-correcting linear codes for researchers and graduate students in mathematics, computer science and engineering. The book differs from other standard texts in its emphasis on the classification of codes by means of isometry classes. The relevant algebraic are developed rigorously. Cyclic codes are discussed in great detail. In the last four chapters these isometry classes are enumerated, and representatives are constructed algorithmically.

This book contains selected papers of NSC08, the 2nd Conference on Nonlinear Science and Complexity, held 28-31 July, 2008, Porto, Portugal. It focuses on fundamental theories and principles, analytical and symbolic approaches, computational techniques in nonlinear physics and mathematics. Topics treated include * Chaotic Dynamics and Transport in Classic and Quantum Systems * Complexity and Nonlinearity in Molecular Dynamics and Nano-Science * Complexity and Fractals in Nonlinear Biological Physics and Social Systems * Lie Group Analysis and Applications in Nonlinear Science * Nonlinear Hydrodynamics and Turbulence * Bifurcation and Stability in Nonlinear Dynamic Systems * Nonlinear Oscillations and Control with Applications * Celestial Physics and Deep Space Exploration * Nonlinear Mechanics and Nonlinear Structural Dynamics * Non-smooth Systems and Hybrid Systems * Fractional dynamical systems

In January 2012 an Oberwolfach workshop took place on the topic of recent developments in the numerics of partial differential equations. Focus was laid on methods of high order and on applications in Computational Fluid Dynamics. The book covers most of the talks presented at this workshop.

later versions. In addition, the CD-ROM contains a complete solutions manual that includes detailed solutions to all the problems in the book. If the reader does not wish to consult these solutions, then a brief list of answers is provided in printed form at the end of the book. Iwouldliketothankmyfamilymembersfortheirhelpandcontinuedsupportwi- out which this book would not have been possible. I would also like to acknowledge the help of the editior at Springer-Verlag (Dr. Thomas Ditzinger) for his assistance in bringing this book out in its present form. Finally, I would like to thank my brother, Nicola, for preparing most of the line drawings in both editions. In this edition, I am providing two email addresses for my readers to contact me (pkattan@tedata. net. jo and pkattan@lsu. edu). The old email address that appeared in the ?rst edition was cancelled in 2004. December 2006 Peter I. Kattan PrefacetotheFirstEdition 3 This is a book for people who love ?nite elements and MATLAB . We will use the popular computer package MATLAB as a matrix calculator for doing ?nite element analysis. Problems will be solved mainly using MATLAB to carry out the tedious and lengthy matrix calculations in addition to some manual manipulations especially when applying the boundary conditions. In particular the steps of the ?nite element method are emphasized in this book. The reader will not ?nd ready-made MATLAB programsforuseasblackboxes. Insteadstep-by-stepsolutionsof?niteelementpr- lems are examined in detail using MATLAB.

Analysis, Control and Optimization of Complex Dynamic Systems gathers in a single volume a spectrum of complex dynamic systems related papers written by experts in their fields, and strongly representative of current research trends. Complex systems present important challenges, in great part due to their sheer size which makes it difficult to grasp their dynamic behavior, optimize their operations, or study their reliability. Yet, we live in a world where, due to increasing inter-dependencies and networking of systems, complexity has become the norm. With this in mind, the volume comprises two parts. The first part is dedicated to a spectrum of complex problems of decision and control encountered in the area of production and inventory systems. The second part is dedicated to large scale or multi-agent system problems occurring in other areas of engineering such as telecommunication and electric power networks, as well as more generic context.

While preparing and teaching 'Introduction to Geodesy I and II' to undergraduate students at Stuttgart University, we noticed a gap which motivated the writing of the present book: Almost every topic that we taught required some skills in algebra, and in particular, computer algebra! From positioning to transformation problems inherent in geodesy and geoinformatics, knowledge of algebra and application of computer algebra software were required. In preparing this book therefore, we have attempted to put together basic concepts of abstract algebra which underpin the techniques for solving algebraic problems. Algebraic computational algorithms useful for solving problems which require exact solutions to nonlinear systems of equations are presented and tested on various problems. Though the present book focuses mainly on the two ?elds, the concepts and techniques presented herein are nonetheless applicable to other ?elds where algebraic computational problems might be encountered. In Engineering for example, network densi?cation and robotics apply resection and intersection techniques which require algebraic solutions. Solution of nonlinear systems of equations is an indispensable task in almost all geosciences such as geodesy, geoinformatics, geophysics (just to mention but a few) as well as robotics. These equations which require exact solutions underpin the operations of ranging, resection, intersection and other techniques that are normally used. Examples of problems that require exact solutions include; * three-dimensional resection problem for determining positions and orientation of sensors, e. g. , camera, theodolites, robots, scanners etc.

Computational Methods in Elasticity and Plasticity: Solids and Porous Media presents the latest developments in the area of elastic and elasto-plastic finite element modeling of solids, porous media and pressure-dependent materials and structures. The book covers the following topics in depth: the mathematical foundations of solid mechanics, the finite element method for solids and porous media, the theory of plasticity and the finite element implementation of elasto-plastic constitutive models. The book also includes: -A detailed coverage of elasticity for isotropic and anisotropic solids. -A detailed treatment of nonlinear iterative methods that could be used for nonlinear elastic and elasto-plastic analyses. -A detailed treatment of a kinematic hardening von Mises model that could be used to simulate cyclic behavior of solids. -Discussion of recent advances in the analysis of porous media and pressure-dependent materials in more detail than other books currently available. Computational Methods in Elasticity and Plasticity: Solids and Porous Media also contains problem sets, worked examples and a solutions manual for instructors.

Computer Science and Operations Research continue to have a synergistic relationship and this book represents the results of the cross-fertilization between OR/MS and CS/AI. It is this interface of OR/CS that makes possible advances that could not have been achieved in isolation. Taken collectively, these articles are indicative of the state of the art in the interface between OR/MS and CS/AI and of the high-caliber research being conducted by members of the INFORMS Computing Society.

The goal of this book is to present the topic of discrete calculus to scientists and - gineers and to show how the theory can be applied to solving a wide variety of re- world problems. We feel that discrete calculus allows us to unify many approaches to data analysis and content extraction while being accessible enough to be widely applied in many ?elds and disciplines. This project initially began as a tutorial on discrete calculus and its applications, and we hope that this work can provide an introduction to discrete calculus and demonstrate its effectiveness in many problem domains. This book bene?ted enormously from the friends and colleagues who provided software, data, and their time in reading the manuscript. In particular, for software we would like to thank Sebastien Bougleux for help with total variation code for an arbitrary graph and Camille Couprie for powerwatershed code. For use of their data, we wish to thank Jason Bohland, James Fowler, David Gleich, and Robert S- ner. For comments on the manuscript we would like to thank Christopher Alvino, Mukund Balasubramanian, Jason Bohland, Sebastien Bougleux, Gaelle Desbordes, Mathieu Desbrun, Noha El-Zehiry, Gareth Funka-Lea, David Gleich, Oliver Hinds, Anil Hirani, Hiroshi Ishikawa, Robert Kotiuga, Elliot Saltzman, Dheeraj Singaraju, Ganesh Sundaramoorthi and Enzo Tonti. We thank Eric Schwartz for all his help and support over the years. We would like to thank Wayne Wheeler, Simon Rees, and Catherine Brett at Springer for their enthusiasm and for initially proposing this project.

The present volume celebrates the 60th birthday of Professor Giovanni Paolo Galdi and honors his remarkable contributions to research in the ?eld of Mathematical Fluid Mechanics. The book contains a collection of 35 peer reviewed papers, with authors from 20 countries, re?ecting the worldwide impact and great inspiration by his work over the years. These papers were selected from invited lectures and contributed talks presented at the International Conference on Mathematical Fluid Mechanics held in Estoril, Portugal, May 21-25, 2007 and organized on the oc- sion of Professor Galdi's 60th birthday. We express our gratitude to all the authors and reviewers for their important contributions. Professor Galdi devotes his career to research on the mathematical analysis of the Navier-Stokes equations and non-Newtonian ?ow problems, with special emphasis on hydrodynamic stability and ?uid-particle interactions, impressing the worldwide mathematical communities with his results. His numerous contributions have laid down signi?cant milestones in these ?elds, with a great in?uence on interdis- plinary research communities. He has advanced the careers of numerous young researchers through his generosity and encouragement, some directly through int- lectual guidance and others indirectly by pairing them with well chosen senior c- laborators. A brief review of Professor Galdi's activities and some impressions by colleagues and friends are included here.

This book constitutes the refereed proceedings of the 8th International Conference on Combinatorial Optimization and Applications, COCOA 2014, held on the island of Maui, Hawaii, USA, in December 2014. The 56 full papers included in the book were carefully reviewed and selected from 133 submissions. Topics covered include classic combinatorial optimization; geometric optimization; network optimization; optimization in graphs; applied optimization; CSoNet; and complexity, cryptography, and games.

This textbook introduces readers to the basic concepts of quasi-Monte Carlo methods for numerical integration and to the theory behind them. The comprehensive treatment of the subject with detailed explanations comprises, for example, lattice rules, digital nets and sequences and discrepancy theory. It also presents methods currently used in research and discusses practical applications with an emphasis on finance-related problems. Each chapter closes with suggestions for further reading and with exercises which help students to arrive at a deeper understanding of the material presented. The book is based on a one-semester, two-hour undergraduate course and is well-suited for readers with a basic grasp of algebra, calculus, linear algebra and basic probability theory. It provides an accessible introduction for undergraduate students in mathematics or computer science.

This book presents numerical and other approximation techniques for solving various types of mathematical problems that cannot be solved analytically. In addition to well known methods, it contains some non-standard approximation techniques that are now formally collected as well as original methods developed by the author that do not appear in the literature. This book contains an extensive treatment of approximate solutions to various types of integral equations, a topic that is not often discussed in detail. There are detailed analyses of ordinary and partial differential equations and descriptions of methods for estimating the values of integrals that are presented in a level of detail that will suggest techniques that will be useful for developing methods for approximating solutions to problems outside of this text. The book is intended for researchers who must approximate solutions to problems that cannot be solved analytically. It is also appropriate for students taking courses in numerical approximation techniques.

This book contains the results in numerical analysis and optimization presented at the ECCOMAS thematic conference "Computational Analysis and Optimization" (CAO 2011) held in Jyvaskyla, Finland, June 9-11, 2011. Both the conference and this volume are dedicated to Professor Pekka Neittaanmaki on the occasion of his sixtieth birthday. It consists of five parts that are closely related to his scientific activities and interests: Numerical Methods for Nonlinear Problems; Reliable Methods for Computer Simulation; Analysis of Noised and Uncertain Data; Optimization Methods; Mathematical Models Generated by Modern Technological Problems. The book also includes a short biography of Professor Neittaanmaki.

This book constitutes the thoroughly refereed post-conference proceedings of the 40th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2014, held in Nouan-le-Fuzelier, France, in June 2014. The 32 revised full papers presented were carefully reviewed and selected from 80 submissions. The book also includes two invited papers. The papers cover a wide range of topics in graph theory related to computer science, such as design and analysis of sequential, parallel, randomized, parameterized and distributed graph and network algorithms; structural graph theory with algorithmic or complexity applications; computational complexity of graph and network problems; graph grammars, graph rewriting systems and graph modeling; graph drawing and layouts; computational geometry; random graphs and models of the web and scale-free networks; and support of these concepts by suitable implementations and applications.

This book investigates stability loss problems of the viscoelastic composite materials and structural members within the framework of the Three-Dimensional Linearized Theory of Stability (TDLTS). The stability loss problems are considered the development of the initial infinitesimal imperfection in the structure of the material or of the structural members. This development is studied within the framework of the Three-Dimensional Geometrical Non-Linear Theory of the Deformable Solid Body Mechanics. The solution to the corresponding boundary-value problems is presented in the series form in the small parameter which characterizes the degree of the initial imperfection. In this way, the nonlinear problems for the domains bounded by noncanonical surfaces are reduced for the same nonlinear problem for the corresponding domains bounded by canonical surfaces and the series subsequent linearized problems. It is proven that the equations and relations of these linearized problems coincide with the corresponding ones of the well-known TDLTS. Under concrete investigations as stability loss criterion the case is taken for the initial infinitesimal imperfection that starts to increase indefinitely. Moreover, it is proven that the critical parameters can be determined by the use of only the zeroth and first approximations.