This book constitutes the thoroughly refereed post-proceedings of the 9th International Symposium on Graph Drawing, GD 2001, held in Vienna, Austria, in September 2001.The 32 revised full papers presented were carefully reviewed and selected from 66 paper submissions. Also included are a corrected version of a paper from the predecessor volume, short reports on the software systems exhibition, two papers of the special session on graph exchange formats, and a report on the annual graph drawing contests. The papers are organized in topical sections on hierarchical drawing, planarity, crossing theory, compaction, planar graphs, symmetries, interactive drawing, representations, aesthetics, 2D- and 3D-embeddings, data visualization, floor planning, and planar drawing.

Quantum Methods with Mathematica, the first book of its kind, has achieved worldwide success and critical acclaim.

This book presents algorithmic tools for algebraic geometry and experimental applications of them. It also introduces a software system in which the tools have been implemented and with which the experiments can be carried out. Macaulay 2 is a computer algebra system devoted to supporting research in algebraic geometry, commutative algebra, and their applications. The reader of this book will encounter Macaulay 2 in the context of concrete applications and practical computations in algebraic geometry. The expositions of the algorithmic tools presented here are designed to serve as a useful guide for those wishing to bring such tools to bear on their own problems. These expositions will be valuable to both the users of other programs similar to Macaulay 2 (for example, Singular and CoCoA) and those who are not interested in explicit machine computations at all. The first part of the book is primarily concerned with introducing Macaulay2, whereas the second part emphasizes the mathematics.

Nonlinear physics continues to be an area of dynamic modern research, with applications to physics, engineering, chemistry, mathematics, computer science, biology, medicine and economics. In this text extensive use is made of the Mathematica computer algebra system. No prior knowledge of Mathematica or programming is assumed. The authors have included a CD-ROM that contains over 130 annotated Mathematica files. These files may be used to solve and explore the text's 400 problems. This book includes 33 experimental activities that are designed to deepen and broaden the reader's understanding of nonlinear physics. These activities are correlated with Part I, the theoretical framework of the text. Additional features: * User-friendly, accessible presentation integrating theory, experiments, and the provided Mathematica notebooks; as the concepts of nonlinear science are developed, readers are gently introduced to Mathematica as an auxiliary tool * CD-ROM includes a wide variety of illustrative nonlinear examples solved with Mathematica--command structures introduced on a need-to-know basis * Notebooks designed to make use of Mathematica's sound capability * Mathematica notebook using the EulerEquation command incorporated into the text This work is an excellent text for undergraduate and graduate students as well as a useful resource for working scientists. Reviewer comments on the Maple edition of NONLINEAR PHYSICS: "An...excellent book...the authors have been able to cover an extraordinary range of topics and hopefully excite a wide audience to investigate nonlinear phenomena...accessible to advanced undergraduates and yet challenging enough for graduate students and workingscientists.... The reader is guided through it all with sound advice and humor.... I hope that many will adopt the text." -American Journal of Physics "Its organization of subject matter, clarity of writing, and smooth integration of analytic and computational techniques put it among the very best...Richard Enns and George McGuire have written an excellent text for introductory nonlinear physics." -Computers in Physics,.".correctly balances a good treatment of nonlinear, but also nonchaotic, behavior of systems with some of the exciting findings about chaotic dynamics...one of the book's strength is the diverse selection of examples from mechanical, chemical, electronic, fluid and many other systems .... Another strength of the book is the diversity of approaches that the student is encouraged to take...the authors have chosen well, and the trio of text, ...software, and lab manual gives the newcomer to nonlinear physics quite an effective set of tools.... Basic ideas are explained clearly and illustrated with many examples." -Physics Today,.". the care that the authors have taken to ensure that their text is as comprehensive, versatile, interactive, and student-friendly as possible place this book far above the average." -Scientific Computing World

This book covers the needs of scientists - be they mathematicians, physicists, chemists or engineers - in terms of symbolic computation, and allows them to locate quickly, via a detailed table of contents and index, the method they require for the precise problem they are adressing.It requires no prior experience of symbolic computation, nor specialized mathematical knowledge, and provides quick access to the practical use of symbolic computation software. The organization of the book in mutually independent chapters, each focusing on a specific topic, allows the user to select what is of interest without necessarily reading everything.

Presents the main ideas of computer-intensive statistical methods Gives the algorithms for all the methods Uses various plots and illustrations for explaining the main ideas Features the theoretical backgrounds of the main methods. Includes R codes for the methods and examples

The most widely used statistical method in seasonal adjustment is without doubt that implemented in the X-11 Variant of the Census Method II Seasonal Adjustment Program. Developed at the US Bureau of the Census in the 1950's and 1960's, this computer program has undergone numerous modifications and improvements, leading especially to the X-11-ARIMA software packages in 1975 and 1988 and X-12-ARIMA, the first beta version of which is dated 1998. While these software packages integrate, to varying degrees, parametric methods, and especially the ARIMA models popularized by Box and Jenkins, they remain in essence very close to the initial X-11 method, and it is this "core" that Seasonal Adjustment with the X-11 Method focuses on. With a Preface by Allan Young, the authors document the seasonal adjustment method implemented in the X-11 based software. It will be an important reference for government agencies, macroeconomists, and other serious users of economic data. After some historical notes, the authors outline the X-11 methodology. One chapter is devoted to the study of moving averages with an emphasis on those used by X-11. Readers will also find a complete example of seasonal adjustment, and have a detailed picture of all the calculations. The linear regression models used for trading-day effects and the process of detecting and correcting extreme values are studied in the example. The estimation of the Easter effect is dealt with in a separate chapter insofar as the models used in X-11-ARIMA and X-12-ARIMA are appreciably different. Dominique Ladiray is an Administrateur at the French Institut National de la Statistique et des Etudes Economiques. He is also a Professor at the Ecole Nationale de la Statistique et de l'Administration Economique, and at the Ecole Nationale de la Statistique et de l'Analyse de l'Information. He currently works on short-term economic analysis. Benoît Quenneville is a methodologist with Statistics Canada Time Series Research and Analysis Centre. He holds a Ph.D. from the University of Western Ontario. His research interests are in time series analysis with an emphasis on official statistics.

This book offers a detailed application guide to XploRe - an interactive statistical computing environment. As a guide it contains case studies of real data analysis situations. It helps the beginner in statistical data analysis to learn how XploRe works in real life applications. Many examples from practice are discussed and analysed in full length. Great emphasis is put on a graphic based understanding of the data interrelations. The case studies include: Survival modelling with Cox's proportional hazard regression, Vitamin C data analysis with Quantile Regression, and many others.

MATLAB , a software package developed by Math Works, Inc. is powerful, versatile and interactive software for scientific and technical computations including simulations. Specialised toolboxes provided with several built-in functions are a special feature of MATLAB .

This book titled System Design through MATLAB Control Toolbox and SIMULINK aims at getting the reader started with computations and simulations in system engineering quickly and easily and then proceeds to build concepts for advanced computations and simulations that includes the control and compensation of systems. Simulation through SIMULINK has also been described to allow the reader to get the feel of the real world situation.

This book is appropriate for undergraduate students undergoing final semester of their project work, postgraduate students who have MATLAB integrated in their course or wish to take up simulation problem in the area of system engineering for their dissertation work and research scholars for whom MATLAB along with toolboxes and SIMULINK is an indispensable tool for simulation.

To download interactive simulations of various systems (523Kb) described in the book, go to http//www.springer.co.uk/matlab.htm

Advanced R helps you understand how R works at a fundamental level. It is designed for R programmers who want to deepen their understanding of the language, and programmers experienced in other languages who want to understand what makes R different and special. This book will teach you the foundations of R; three fundamental programming paradigms (functional, object-oriented, and metaprogramming); and powerful techniques for debugging and optimising your code. By reading this book, you will learn: The difference between an object and its name, and why the distinction is important The important vector data structures, how they fit together, and how you can pull them apart using subsetting The fine details of functions and environments The condition system, which powers messages, warnings, and errors The powerful functional programming paradigm, which can replace many for loops The three most important OO systems: S3, S4, and R6 The tidy eval toolkit for metaprogramming, which allows you to manipulate code and control evaluation Effective debugging techniques that you can deploy, regardless of how your code is run How to find and remove performance bottlenecks The second edition is a comprehensive update: New foundational chapters: "Names and values," "Control flow," and "Conditions" comprehensive coverage of object oriented programming with chapters on S3, S4, R6, and how to choose between them Much deeper coverage of metaprogramming, including the new tidy evaluation framework use of new package like rlang (http://rlang.r-lib.org), which provides a clean interface to low-level operations, and purr (http://purrr.tidyverse.org/) for functional programming Use of color in code chunks and figures Hadley Wickham is Chief Scientist at RStudio, an Adjunct Professor at Stanford University and the University of Auckland, and a member of the R Foundation. He is the lead developer of the tidyverse, a collection of R packages, including ggplot2 and dplyr, designed to support data science. He is also the author of R for Data Science (with Garrett Grolemund), R Packages, and ggplot2: Elegant Graphics for Data Analysis.

It is generally accepted that training in statistics must include some exposure to the mechanics of computational statistics. This learning guide is intended for beginners in computer-aided statistical data analysis. The prerequisites for XploRe - the statistical computing environment - are an introductory course in statistics or mathematics. The reader of this book should be familiar with basic elements of matrix algebra and the use of HTML browsers. This guide is designed to help students to XploRe their data, to learn (via data interaction) about statistical methods and to disseminate their findings via the HTML outlet. The XploRe APSS (Auto Pilot Support System) is a powerful tool for finding the appropriate statistical technique (quantlet) for the data under analysis. Homogeneous quantlets are combined in XploRe into quantlibs. The XploRe language is intuitive and users with prior experience of other sta tistical programs will find it easy to reproduce the examples explained in this guide. The quantlets in this guide are available on the CD-ROM as well as on the Internet. The statistical operations that the student is guided into range from basic one-dimensional data analysis to more complicated tasks such as time series analysis, multivariate graphics construction, microeconometrics, panel data analysis, etc. The guide starts with a simple data analysis of pullover sales data, then in troduces graphics. The graphics are interactive and cover a wide range of dis plays of statistical data."

Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN, is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being maintained by Gerard Ho- mann, and is freely available via ftp fromnetlib.bell-labs.comor from URL http: //cm.bell-labs.com/cm/cs/what/spin/Man/README.html. The beauty of nite-state model checking lies in the possibility of building \push-button" validation tools. When the state space is nite, the state-space traversal will eventually terminate with a de nite verdict on the property that is being validated. Equally helpful is the fact that in case the property is inv- idated the model checker will return a counterexample, a feature that greatly facilitates fault identi cation. On the downside, the time it takes to obtain a verdict may be very long if the state space is large and the type of properties that can be validated is restricted to a logic of rather limited expressiveness.

This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs 99), whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences, anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under the following title: Theorem ProvinginHigherOrderLogics: EmergingTrends1999. The organizers were pleased that Dominique Bolignano, Arjeh Cohen, and Thomas Kropf accepted invitations to be guest speakers for TPHOLs 99. For several years, D. Bolignano has been the leader of the VIP team in the Dyade consortium between INRIA and Bull and is now at the head of a company Trusted Logic. His team has been concentrating on the use of formal methods for the e ective veri cationof securityproperties for protocols used in electronic commerce. A. Cohen has had a key in?uence on the development of computer algebra in The Netherlands and his contribution has been of particular imp- tance to researchersinterested in combining the severalknown methods of using computers to perform mathematical investigations. T. Kropf is an important actor in the Europe-wide project PROSPER, which aims to deliver the be- ts of mechanized formal analysis to system builders in industry."

This compact introduction to Mathematicaaccessible to beginners at all levelspresents the basic elements of the latest version 3 (front End.txt.Int.:, kernel, standard packages). Using examples and exercises not specific to a scientific area, it teaches readers how to effectively solve problems in their own field. The cross-platform CD-ROM contains the entire book in the form of Mathematica notebooks, including color graphics, animations, and hyperlinks, plus the program MathReader.

This unusual introduction to Maple shows readers how Maple or any other computer algebra system fits naturally into a mathematically oriented work environment. Designed for mathematicians, engineers, econometricians, and other scientists, this book shows how computer algebra can enhance their theoretical work. A CD-ROM contains all the Maple worksheets presented in the book.

This upper-division laboratory supplement for courses in abstract algebra consists of several Mathematica packages programmed as a foundation for group and ring theory. Additionally, the "user's guide" illustrates the functionality of the underlying code, while the lab portion of the book reflects the contents of the Mathematica-based electronic notebooks. Students interact with both the printed and electronic versions of the material in the laboratory, and can look up details and reference information in the user's guide. Exercises occur in the stream of the text of the lab, which provides a context within which to answer, and the questions are designed to be either written into the electronic notebook, or on paper. The notebooks are available in both 2.2 and 3.0 versions of Mathematica, and run across all platforms for which Mathematica exits. A very timely and unique addition to the undergraduate abstract algebra curriculum, filling a tremendous void in the literature.

This open access book contains review papers authored by thirteen plenary invited speakers to the 9th International Congress on Industrial and Applied Mathematics (Valencia, July 15-19, 2019). Written by top-level scientists recognized worldwide, the scientific contributions cover a wide range of cutting-edge topics of industrial and applied mathematics: mathematical modeling, industrial and environmental mathematics, mathematical biology and medicine, reduced-order modeling and cryptography. The book also includes an introductory chapter summarizing the main features of the congress. This is the first volume of a thematic series dedicated to research results presented at ICIAM 2019-Valencia Congress.

This "hands-on" book is for people who are interested in immediately putting Maple to work. The reader is provided with a compact, fast and surveyable guide that introduces them to the extensive capabilities of the software. The book is sufficient for standard use of Maple and will provide techniques for extending Maple for more specialized work. The author discusses the reliability of results systematically and presents ways of testing questionable results. The book allows a reader to become a user almost immediately and helps him/her to grow gradually to a broader and more proficient use. As a consequence, some subjects are dealt with in an introductory way early in the book, with references to a more detailed discussion later on.

This Volume contains the Keynote, Invited and Full Contributed papers presented at COMPSTAT'98. A companion volume (Payne & Lane, 1998) contains papers describing the Short Communications and Posters. COMPSTAT is a one-week conference held every two years under the auspices of the International Association of Statistical Computing, a section of the International Statistical Institute. COMPSTAT'98 is organised by IACR-Rothamsted, IACR-Long Ashton, the University of Bristol Department of Mathematics and the University of Bath Department of Mathematical Sciences. It is taking place from 24-28 August 1998 at University of Bristol. Previous COMPSTATs (from 1974-1996) were in Vienna, Berlin, Leiden, Edinburgh, Toulouse, Prague, Rome, Copenhagen, Dubrovnik, Neuchatel, Vienna and Barcelona. The conference is the main European forum for developments at the interface between statistics and computing. This was encapsulated as follows in the COMPSTAT'98 Call for Papers. Statistical computing provides the link between statistical theory and applied statistics. The scientific programme of COMPSTAT ranges over all aspects of this link, from the development and implementation of new computer-based statistical methodology through to innovative applications and software evaluation. The programme should appeal to anyone working in statistics and using computers, whether in universities, industrial companies, research institutes or as software developers.

S+SPATIALSTATS is the first comprehensive, object-oriented package for the analysis of spatial data. Providing a whole new set of analysis tools, S+SPATIALSTATS was created specifically for the exploration and modeling of spatially correlated data. It can be used to analyze data arising in areas such as environmental, mining, and petroleum engineering, natural resources, geography, epidemiology, demography, and others where data is sampled spatially. This users manual provides the documentation for the S+SPATIALSTATS module.

This book presents a self-contained introduction to techniques from field theory applied to stochastic and collective dynamics in neuronal networks. These powerful analytical techniques, which are well established in other fields of physics, are the basis of current developments and offer solutions to pressing open problems in theoretical neuroscience and also machine learning. They enable a systematic and quantitative understanding of the dynamics in recurrent and stochastic neuronal networks. This book is intended for physicists, mathematicians, and computer scientists and it is designed for self-study by researchers who want to enter the field or as the main text for a one semester course at advanced undergraduate or graduate level. The theoretical concepts presented in this book are systematically developed from the very beginning, which only requires basic knowledge of analysis and linear algebra.

The International Federation for Information Processing, IFIP, is a multinational federation of professional technical organisations concerned with information processing. IFIP is dedicated to improving communication and increased understanding among practitioners of all nations about the role information processing can play in all walks of life. This Working Conference, Secondary School Mathematics in the World of Communication Technologies: Learning, Teaching and the Curriculum, was organised by Working Group 3.1, Informatics in Secondary Education, ofiFIP Technical Committee for Education, TC3. This is the third conference on this theme organised by WG 3.1, the previous two were held in Varna, Bulgaria, 1977, and Sofia, Bulgaria, 1987-proceedings published by North-Holland Elsevier. The aim of the conference was to take a forward look at the issue of the relationships between mathematics and the new technologies of information and communication in the context of the increased availability of interactive and dynamic information processing tools. The main focus was on the mathematics education of students in the age range of about ll to 18 years and the following themes were addressed: * Curriculum: curriculum evolution; relationships with informatics; * Teachers: professional development; methodology and practice; * Learners: tools and techniques; concept development; research and theory; * Human and social issues: culture and policy; personal impact.

This companion to The New Statistical Analysis of Data by Anderson and Finn provides a hands-on guide to data analysis using SPSS. Included with this guide are instructions for obtaining the data sets to be analysed via the World Wide Web. First, the authors provide a brief review of using SPSS, and then, corresponding to the organisation of The New Statistical Analysis of Data, readers participate in analysing many of the data sets discussed in the book. In so doing, students both learn how to conduct reasonably sophisticated statistical analyses using SPSS whilst at the same time gaining an insight into the nature and purpose of statistical investigation.

Maple V Mathematics Programming Guide is the fully updated language and programming reference for Maple V Release 5. It presents a detailed description of Maple V Release 5 - the latest release of the powerful, interactive computer algebra system used worldwide as a tool for problem-solving in mathematics, the sciences, engineering, and education. This manual describes the use of both numeric and symbolic expressions, the data types available, and the programming language statements in Maple. It shows how the system can be extended or customized through user defined routines and gives complete descriptions of the system's user interface and 2D and 3D graphics capabilities.

A greatly expanded and heavily revised second edition, this popular guide provides instructions and clear examples for running analyses of variance (ANOVA) and several other related statistical tests of significance with SPSS. No other guide offers the program statements required for the more advanced tests in analysis of variance. All of the programs in the book can be run using any version of SPSS, including versions 11 and 11.5. A table at the end of the preface indicates where each type of analysis (e.g., simple comparisons) can be found for each type of design (e.g., mixed two-factor design).
Providing comprehensive coverage of the basic and advanced topics in ANOVA, this is the only book available that provides extensive coverage of SPSS syntax, including the commands and subcommands that tell SPSS what to do, as well as the pull-down menu point-and-click method (PAC). Detailed explanation of the syntax, including what is necessary, desired, and optional helps ensure that users can validate the analysis being performed. The book features the output of each design along with a complete explanation of the related printout.
The new edition was reorganized to provide all analysis related to one design type in the same chapter. It now features expanded coverage of analysis of covariance (ANCOVA) and mixed designs, new chapters on designs with random factors, multivariate designs, syntax used in PAC, and all new examples of output with complete explanations. The new edition is accompanied by a CD-ROM with all of the book's data sets, as well as exercises for each chapter.
This book is ideal for readers familiar with the basic concepts of the ANOVA technique including both practicing researchers and data analysts, as well as advanced students learning analysis of variance.