Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
Call number: | 9783319510347:ONLINE Show nearby items on shelf |
Title: | Network Games, Control, and Optimization Proceedings of NETGCOOP 2016, Avignon, France |
Author(s): | |
Date: | 2017 |
Size: | 1 online resource (XIV, 234 p. 49 illus., 38 illus. in color p.) |
Contents: | Altman, E., Jain, A., Hayel, Y., Finite Improvement Property in a Stochastic Game Arising in Competition over Popularity in Social Networks -- Altman, E., Jain, A., Shimkin, N., Touati, C., Overview on Dynamic Games for Analyzing |
Competition in the Internet and in Online Social Networks -- Altman, E., Touati, C., Load Balancing Congestion Games and their Asymptotic Behavior -- Bachmann, I., Morales, F., Silva, A., Bustos-Jimenez, J., Go-Index: Applying Supply | |
Networks Principles as Internet Robustness Metrics -- Belhadj Amor, S., Perlaza, S., Decentralized K-User Gaussian Multiple Access Channels -- Berri, S., Varma, V., Lasaulce, S., Radjef, M., Correlated Equilibria in Wireless Power | |
Control Games -- Chorppath, A., Zappone, A., Jorswieck, E., Alpcan, T., An Energy-Efficiency Game in Relay-Assisted D2D Networks with Malicious Devices -- Courcoubetis, C., Dimakis, A., Kanakakis, M., Minimally Intrusive Server | |
Policies for Background Data Transfers -- De Pellegrini, F., Massaro, A., Goratti, L., Rachid, E., Bounded Generalized Kelly Mechanism for Multi-Tenant Caching in Mobile Edge Clouds -- Douros, V., Toumpis, S., Polyzos, G., Power | |
Control and Bargaining for Cellular Operator Revenue Increase under Licensed Spectrum Sharing -- Grammatico, S., An Incentive Mechanism for Agents Playing Competitive Aggregative Games -- Hamidouche, K., Saad, W., Debbah, M., | |
Multi-Games for LTE and WiFi Coexistence over Unlicensed Channels -- Hasan, C., Marina, M., Energy-Efficient User Association in Broadcast Transmission -- Ju, M., Zhou, F., Xiao, S., Torres-Moreno, J., Spectrum Shared p-Cycle Design in | |
Elastic Optical Networks with/without Spectrum Conversion Capabilities -- Chaitanya, A., Mukherji, U., Sharma, V., Learning Equilibria of a Stochastic Game on Gaussian Interference Channels with Incomplete Information -- Legenvre, F., | |
Altman, E., Hayal, Y., Potential Game Approach to Virus Attack in Network General Topology -- Marcastel, A., Belmega, E., Mertikopoulos, P., Fijalkow, I., Interfernce Mitigation via Pricing in Time-Varying Cognitive Radio Systems -- | |
Silva, A., Opinion Manipulation in Social Networks -- Taynitskiy, V., Gubar, E., Zhu, Q., Optimal Security Policy for Protection against Heterogeneous Malware -- Wu, H., Zhou, F., Zhu, Z., Chen, Y., An Experimental Comparison of | |
Routing and Spectrum Assignment Algorithms in Elastic Optical Networks -- Zhang, C., Varma, V., Lasaulce, S., Robust Power Modulation for Channel State Information Exchange | |
ISBN: | 9783319510347 |
Series: | eBooks |
Series: | Springer eBooks |
Series: | Springer 2017 package |
Keywords: | Mathematics , Computer science , Game theory , System theory , Computer mathematics , Applied mathematics , Engineering mathematics , Mathematics , Game Theory, Economics, Social and Behav. Sciences , Systems Theory, Control , Mathematical Applications in Computer Science , Math Applications in Computer Science , Appl.Mathematics/Computational Methods of Engineering |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | 9783319460031:ONLINE Show nearby items on shelf |
Title: | Lectures on Matrix Field Theory |
Author(s): |
Badis Ydri |
Date: | 2017 |
Size: | 1 online resource (XII, 352 p. 8 illus., 6 illus. in color p.) |
Contents: | Preface -- Introductory Remarks -- The Non-Commutative Moyal-Weyl Spaces Rd -- The Fuzzy Sphere -- Quantum Non-Commutative Phi-Four -- The Multitrace Approach -- Non-Commutative Gauge Theory -- Appendix A - The Landau States -- |
Appendix B - The Traces TrtAtB and TrtAtBtCtD -- Index | |
ISBN: | 9783319460031 |
Series: | eBooks |
Series: | Springer eBooks |
Series: | Springer 2017 package |
Keywords: | Physics , Computer science , Algebraic geometry , Mathematical physics , Quantum field theory , String theory , Quantum physics , Physics , Quantum Field Theories, String Theory , Mathematical Physics , Math Applications in Computer Science , Algebraic Geometry , Quantum Physics |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9781461457466:ONLINE Show nearby items on shelf |
Title: | A Course on Mathematical Logic [electronic resource] |
Author(s): |
Shashi Mohan Srivastava |
Date: | 2013 |
Edition: | 2nd ed. 2013 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted withlogic and would like to learn Gdels incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related tofoundations and computability, such as logic, axiomati c set theory, model theory, recursion theory, and computability. In this new edition, many small and large changes have been made throughout the text. The main purpose of this newedition is toprovide a healthy first introduction to model theory, which is a very important branch of logic. Topics in the new chapter include ultraproduct of models, elimination of quantifiers, types, applications of types tomodel theory, and applications to algebra, number theory and geometry. Some proofs, such as the proof of the very important completeness theorem, have been completely rewritten in a more clear and concise manner. The new editionalso introduces new topics, such as the notion of elementary class of structures, elementary diagrams, partial elementary maps, hom ogeneous structures, definability, and many more. Review from the first edition: All results includedin the book are very carefully selected and proved. The authors manner of writing is excellent, which will surely make this book useful to many categories of readers. --Marius Tarnauceanu, Zentralblatt MATH |
Note: | Springer eBooks |
Contents: | Preface |
1 Syntax of First | |
Order Logic | |
2 Semantics of First | |
Order Languages | |
3 Propositional Logic | |
4 Completeness Theorem for First | |
Order Logic | |
5 Model Theory | |
6 Recursive Functions and Arithmetization of Theories | |
7 Incompleteness Theorems and Recursion Theory | |
References | |
Index | |
ISBN: | 9781461457466 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Universitext, 0172-5939 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science , Algebra , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9781441979100:ONLINE Show nearby items on shelf |
Title: | A Course in Topological Combinatorics [electronic resource] |
Author(s): |
Mark Longueville |
Date: | 2013 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | A Course in Topological Combinatorics is the first undergraduate textbook on the field of topological combinatorics, a subject that has become an active and innovative research area in mathematics over the last thirty years withgrowing applications i n math, computer science, and other applied areas. Topological combinatorics is concerned with solutions to combinatorial problems by applying topological tools. In most cases these solutions are very elegant andthe connection between combinatorics and to pology often arises as an unexpected surprise. The textbook covers topics such as fair division, graph coloring problems, evasiveness of graph properties, and embedding problems from discretegeometry. The text contains a large number of figures that suppo rt the understanding of concepts and proofs. In many cases several alternative proofs for the same result are given, and each chapter ends with a series of exercises. Theextensive appendix makes the book completely self-contained. The textbook is well sui ted for advanced undergraduate or beginning graduate mathematics students. Previous knowledge in topology or graph theory is helpful but notnecessary. The text may be used as a basis for a one- or two-semester course as well as a supplementary text for a topology or combinatorics class |
Note: | Springer eBooks |
Contents: | Preface |
List of Symbols and Typical Notation | |
1 Fair | |
Division Problems | |
2 Graph | |
Coloring Problems | |
3 Evasiveness of Graph Properties | |
4 Embedding and Mapping Problems | |
A Basic Concepts from Graph Theory | |
B Crash Course in Topology | |
C Partially Ordered Sets, Order Complexes, and Their Topology | |
D Groups and Group Actions | |
E Some Results and Applications from Smith Theory | |
References | |
Index | |
ISBN: | 9781441979100 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Universitext, 0172-5939 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Combinatorics , Discrete groups |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9783642251009:ONLINE Show nearby items on shelf |
Title: | Progress in Industrial Mathematics at ECMI 2010 [electronic resource] |
Author(s): |
Michael Gnther Andreas Bartel Markus Brunk Sebastian Schps Michael Striebel |
Date: | 2012 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | ECMI, the European Consortium for Mathematics in Industry, is the European brand associated with applied mathematics for industry and organizes highly successful biannual conferences. In this series, the ECMI 2010, the 16thEuropean Conference on Math ematics for Industry, was held in the historic city hall of Wuppertal in Germany. It covered the mathematics of a wide range of applications and methods, from circuit and electromagnetic device simulation tomodel order reduction for chip design, uncertain ties and stochastics, production, fluids, life and environmental sciences, and dedicated and versatile methods. These proceedings of ECMI 2010 emphasize mathematics as an innovationenabler for industry and business, and as an absolutely essential pre-requ iste for Europe on its way to becoming the leading knowledge-based economy in the world |
Note: | Springer eBooks |
Contents: | Part I Circuit and Electromagnetic Device Simulation |
Part II Model Order Reduction for Chip Design | |
Part III Uncertainties and Stochastics | |
Part IV Production | |
Part VI Life and Environmental Sciences | |
Part VII Dedicated and Versatile Methods | |
Index | |
ISBN: | 9783642251009 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics in Industry, 1612-3956 : v17 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Differential Equations , Differential equations, partial , Finance , Computer science Mathematics , Mathematical optimization |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9780817682866:ONLINE Show nearby items on shelf |
Title: | A Beginner's Guide to Discrete Mathematics [electronic resource] |
Author(s): |
W.D Wallis |
Date: | 2012 |
Edition: | Second Edition |
Publisher: | Boston : Birkhuser Boston |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Wallis's book on discrete mathematics is a resource for an introductory course in a subject fundamental to both mathematics and computer science, a course that is expected not only to cover certain specific topics but also tointroduce students to imp ortant modes of thought specific to each discipline . . . Lower-division undergraduates through graduate students. Choice (Review of the First Edition) Very appropriately entitled as a 'beginner's guide',this textbook presents itself as the first exposure to discrete mathematics and rigorous proof for the mathematics or computer science student. Zentralblatt MATH (Review of the First Edition) This second edition of A BeginnersGuide to Discrete Mathematicspresents a detailedguide to discrete mathematicsand its relationship to other mathematical subjects includingset theory, probability, cryptography, graph theory, and number theory.Thistextbookhas a distinctly applied orientation and explores a variety of applications. Key features of the second edition: * Includesa new chapter on the theory of voting as well asnumerous new examples and exercises throughout thebook * Introduces functions, vectors, matrices, number systems, scientific notations, and the representation of numbers in computers * Provides exam ples, which then lead into easy practice problems throughout the text, and fullexercises at the end of each chapter *Full solutions for practice problems are provided at the end of the book This text is intended for undergraduates in mathematics and compu ter science, however, featured special topics andapplications may also interest graduate students |
Note: | Springer eBooks |
Contents: | Properties of Numbers |
Sets and Data Structures | |
Boolean Algebras and Circuits | |
Relations and Functions | |
The Theory of Counting | |
Probability | |
Graph Theory | |
Matrices | |
Number Theory and Cryptography | |
The Theory of Voting | |
Solutions to Practic Exercises | |
Answers to Selected Exercises | |
Index | |
ISBN: | 9780817682866 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computational complexity , Combinatorics , Logic, Symbolic and mathematical , Mathematical statistics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9781441911636:ONLINE Show nearby items on shelf |
Title: | Differential Equations: Theory and Applications [electronic resource] |
Author(s): |
David Betounes |
Date: | 2010 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The book provides a comprehensive introduction to the theory of ordinary differential equations at the graduate level and includes applications to Newtonian and Hamiltonian mechanics. It not only has a large number of examplesand computer graphics, b ut also has a complete collection of proofs for the major theorems, ranging from the usual existence and uniqueness results to the Hartman-Grobman linearization theorem and the Jordan canonical form theorem. Thebook can be used almost exclusively in the t raditional way for graduate math courses, or it can be used in an applied way for interdisciplinary courses involving physics, engineering, and other science majors. For this reason anextensive computer component using Maple is provided on Springers websi te. This new edition has been extensively revised throughout, particularly the chapters on linear systems, stability theory and Hamiltonian systems. The computercomponent is an in-depth supplement and complement to the material in the text and contains an introduction to discrete dynamical systems and iterated maps, special-purpose Maple code for animating phase portraits, stair diagrams,N-body motions, and rigid-body motions, and numerous tutorial Maple worksheets pertaining to all aspects of using Maple to study the topics in the text. Review from first edition: This book is intended for first- and second- yeargraduate students in mathematics and also organized to be used for interdisciplinary courses in applied mathematics, physics, and engineering. .. . The book is well written and provides many interesting examples. The author gives acomprehensive introduction to the theory on ordinary differential equations with a focus on mechanics and dynamical systems. The exposition is clear and easily understood .... (Yuan Rong, Zentralblatt MATH, Vol. 993 (18), 2002) |
Note: | Springer eBooks |
Contents: | Introduction |
Techniques, Concepts and Examples | |
Existence and Uniqueness: The Flow Map | |
Linear Systems | |
Linearization and Transformation | |
Stability Theory | |
Integrable Systems | |
Newtonian Mechanics | |
Hamiltonian Systems | |
Appendix A: Elementary Analysis | |
Appendix B: Lipschitz Maps and Linearization | |
Appendix C: Linear Algebra | |
Appendix D: Electronic Contents | |
ISBN: | 9781441911636 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Differentiable dynamical systems , Differential Equations , Numerical analysis , Mathematical physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9780387754772:ONLINE Show nearby items on shelf |
Title: | Mathematica in Action [electronic resource] : Problem Solving Through Visualization and Computation |
Author(s): |
Stan Wagon |
Date: | 2010 |
Edition: | 3 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | In this third edition of Mathematica in Action, award-winning author Stan Wagon guides beginner and veteran users alike through Mathematica's powerful tools for mathematical exploration. The transition to Mathematica 7 is madesmooth with plenty of ex amples and case studies that utilize Mathematica's newest tools, such as dynamic manipulations and adaptive three-dimensional plotting. Mathematica in Action also emphasizes the breadth of Mathematica and theimpressive results of combining techniques from different areas. This material enables the reader to use Mathematica to solve a variety of complex problems. Case studies ranging from elementary to sophisticated are provided throughout.Whenever possible, the book shows how Mathematica can be used to di scover new things. Striking examples include the design of a road on which a square wheel bike can ride, the design of a drill that can drill square holes, anillustration of the BanachTarski Paradox via hyperbolic geometry, new and surprising formulas for p, the discovery of shadow orbits for chaotic systems, and the use of powerful new capabilities for three-dimensional graphics.Visualization is emphasized throughout, with finely crafted graphics in each chapter. Wagon is the author of eleven books on ma thematics, including A Course in Computational Number Theory, named one of the ten best math books of 2000by the American Library Association. He has written extensively on the educational applications of Mathematica, including the books VisualDSolve: Vis ualizing Differential Equations with Mathematica, and Animating Calculus: MathematicaNotebooks for the Laboratory. From reviews of the second edition: In a dazzling range of examples Stan Wagon shows how such features as animation, 3-dimensional graphics and high-precision integer arithmetic can contribute to ourunderstanding and enjoyment of mathematics. Richard Walker, The Mathematical Gazette The bottom line is that Mathematica in Action i |
Note: | Springer eBooks |
Contents: | Preface |
A Brief Introduction | |
Plotting | |
Prime Numbers | |
Rolling Wheels | |
Surfaces | |
Dynamic Manipulation | |
The Cantor Set, Real and Complex | |
The Quadratic Map | |
The Recursive Turtle | |
Parametric Plotting of Surfaces | |
Penrose Tiles | |
Complex Dynamics (by Mark McClure) | |
Solving Equations | |
Optimization | |
Differential Equations | |
Computational Geometry | |
Check Digits and the Pentagon | |
Coloring Planar Maps | |
New Directions for pi. The Banach | |
Tarski Paradox | |
The Riemman Zeta Function | |
Miscellany | |
References | |
Index | |
ISBN: | 9780387754772 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science Mathematics , Visualization , Computer software |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2009-9780817646127:ONLINE Show nearby items on shelf |
Title: | Mathematical Analysis [electronic resource] : An Introduction to Functions of Several Variables |
Author(s): |
Mariano Giaquinta Giuseppe Modica |
Date: | 2009 |
Publisher: | Boston, MA : Birkhuser Boston |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This text introduces basic ideas, structures, and results of differential and integral calculus for functions of several variables. The presentation is engaging and motivates the reader with numerous examples, remarks,illustrations, and exercises. Ma thematical Analysis: An Introduction to Functions of Several Variables may be used in the classroom setting for advanced undergraduate and graduate students or as a self-study. It is also a valuablereference for researchers in most mathematical discipline s. An appendix highlights mathematicians and scientists who have made important contributions in the development of theories in the subject. Other books recently published by theauthors include: Mathematical Analysis: Functions of One Variable, Mathematic al Analysis: Approximation and Discrete Processes, and Mathematical Analysis: Linear and Metric Structures and Continuity, all of which provide the readerwith a strong foundation in modern-day analysis. Reviews of previous volumes in Mathematical Analysis : The presentation of the theory is clearly arranged, all theorems have rigorous proofs, and every chapter closes with a summing up ofthe results and exercises with different requirements. . . . This book is excellently suitable for students in mathematic s, physics, engineering, computer science and all students of technological and scientific faculties. Journalof Analysis and its Applications The exposition requires only a sound knowledge of calculus and the functions of one variable. A key feature this lively yet rigorous and systematic treatment is the historical accounts of ideas andmethods of the subject. Ideas in mathematics develop in cultural, historical and economical contexts, thus the authors made brief accounts of those aspects and used a larg e number of beautiful illustrations. Zentralblatt MATH |
Note: | Springer eBooks |
ISBN: | 9780817646127 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Global analysis (Mathematics) , Differential Equations , Differential equations, partial |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9780817647636:ONLINE Show nearby items on shelf |
Title: | Logic for Computer Scientists [electronic resource] |
Author(s): |
Uwe Schning |
Date: | 2008 |
Publisher: | Boston, MA : Birkhuser Boston |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computerscience research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advancedundergraduate course in logic for compute r scientists. This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists. Schning decides to concentrate on computationalissues, and gives us a short book (less than 170 pages) with a tig ht storyline. I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow. This book seemssuitable for a short course, a seminar series, or part of a larger course on Prolog and logic p rogramming, probably at the advanced undergraduate level. SIGACT News Contains examples and 126 interesting exercises which put thestudent in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming. Mathematical Reviews This book concentrates on those aspects ofmathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises andillustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introduct ory course in artificial intelligence. Zentralblatt MATH |
Note: | Springer eBooks |
Contents: | Introduction |
Propositional Logic | |
Predicate Logic | |
Logic Programming | |
Bibliography | |
Table of Notations | |
Index | |
ISBN: | 9780817647636 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Progress in Computer Science and Applied Logic (PCS) : v8 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Computer science , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2007-9780387489476:ONLINE Show nearby items on shelf |
Title: | Applied Linear Algebra and Matrix Analysis [electronic resource] |
Author(s): |
Thomas S Shores |
Date: | 2007 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This new book offers a fresh approach to matrix and linear algebra by providing a balanced blend of applications, theory, and computation, while highlighting their interdependence. Intended for a one-semester course, AppliedLinear Algebra and Matrix Analysis places special emphasis on linear algebra as an experimental science, with numerous examples, computer exercises, and projects. While the flavor is heavily computational and experimental, the text isindependent of specific hardware or software pl atforms. Throughout the book, significant motivating examples are woven into the text, and each section ends with a set of exercises. The student will develop a solid foundation in thefollowing topics *Gaussian elimination and other operations with matric es *basic properties of matrix and determinant algebra *standard Euclidean spaces, both real and complex *geometrical aspects of vectors, such as norm, dot product,and angle *eigenvalues, eigenvectors, and discrete dynamical systems *general norm and inne r-product concepts for abstract vector spaces For many students, the tools of matrix and linear algebra will be as fundamental in theirprofessional work as the tools of calculus thus it is important to ensure that students appreciate the utility and beaut y of these subjects as well as the mechanics. By including applied mathematics and mathematical modeling, this newtextbook will teach students how concepts of matrix and linear algebra make concrete problems workable. Thomas S. Shores is Professor of Math ematics at the University of Nebraska, Lincoln, where he has received awards for his teaching.His research touches on group theory, commutative algebra, mathematical modeling, numerical analysis, and inverse theory |
Note: | Springer eBooks |
Contents: | Preface |
Linear Systems of Equations | |
Matrix Algebra | |
Vector Spaces | |
Geometrical Aspects of Standard Spaces | |
The Eigenvalue Problem | |
Geometrical Aspects of Abstract Spaces | |
Table of Symbols | |
Answers to Selected Exercises | |
References | |
Index | |
ISBN: | 9780387489476 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Undergraduate Texts in Mathematics, 0172-6056 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Matrix theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2006-9780387319094:ONLINE Show nearby items on shelf |
Title: | Evolutionary Computation for Modeling and Optimization [electronic resource] |
Author(s): |
Daniel Ashlock |
Date: | 2006 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Evolutionary Computation for Optimization and Modeling is an introduction to evolutionary computation, a field which includes genetic algorithms, evolutionary programming, evolution strategies, and genetic programming. The text isa survey of some app lication of evolutionary algorithms. It introduces mutation, crossover, design issues of selection and replacement methods, the issue of populations size, and the question of design of the fitness function. It alsoincludes a methodological material on eff icient implementation. Some of the other topics in this book include the design of simple evolutionary algorithms, applications to several types of optimization, evolutionary robotics, simpleevolutionary neural computation, and several types of automatic programming including genetic programming. The book gives applications to biology and bioinformatics and introduces a number of tools that can be used in biologicalmodeling, including evolutionary game theory. Advanced techniques such as cellular encoding , grammar based encoding, and graph based evolutionary algorithms are also covered. This book presents a large number of homework problems,projects, and experiments, with a goal of illustrating single aspects of evolutionary computation and comparing diff erent methods. Its readership is intended for an undergraduate or first-year graduate course in evolutionarycomputation for computer science, engineering, or other computational science students. Engineering, computer science, and applied math students wi ll find this book a useful guide to using evolutionary algorithms as a problem solvingtool |
Note: | Springer eBooks |
Contents: | An Overview of Evolutionary Computation |
Designing Simple Evolutionary Algorithms | |
Optimizing Real | |
Valued Functions | |
Sunburn: Coevolving Strings | |
Small Neural Nets : Symbots | |
Evolving Finite State Automata | |
Ordered Structures | |
Plus | |
One | |
Recall | |
Store | |
Fitting to Data | |
Tartarus: Discrete Robotics | |
Evolving Logic Functions | |
ISAc List: Alternative Genetic Programming | |
Graph | |
Based Evolutionary Algorithms | |
Cellular Encoding | |
Application to Bioinformatics | |
ISBN: | 9780387319094 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Artificial intelligence , Bioinformatics , Algorithms |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2005-9780387281452:ONLINE Show nearby items on shelf |
Title: | Quantum Dynamics with Trajectories [electronic resource] : Introduction to Quantum Hydrodynamics |
Author(s): |
Robert E Wyatt |
Date: | 2005 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Remarkable progress has recently been made in the application of quantumtrajectories as the computational tool for solving quantum mechanical problems. This is the first book to present these developments in the broader contextof the hydrodynamical f ormulation of quantum dynamics. In addition to a thorough discussion of the quantum trajectory equations of motion, there is considerable material that deals with phase space dynamics, adaptive moving grids,electronic energy transfer, and trajectories for stationary states. On the pedagogical side, a number of sections of this book will be accessible to students who have had an introductory quantum mechanics course. There is alsoconsiderable material for advanced researchers, and chapters in the book cove r both methodology and applications. The book will be useful to students and researchers in physics, chemistry, applied math, and computational dynamics.This excellent book covers a wide range of topics associated with Quantum Hydrodynamics. It's an excel lent survey of the history, current state-of-the-field, and future research directions. Brian Kendrick,Theoretical Division, LosAlamos National Laboratory, Los Alamos,NM, USA The book is unique in that it addresses with equal expertise, computational meth odology and theoretical connections at the interface between de Broglie-Bohm theory and phase space momentmethods.A highly didactic text, to be recommended to graduate students and researchers in physics and chemistry. Irene Burghardt,Departement de chimi e, Ecole Normale Superieure, Paris, France Wyatt shows how one can use the ideas drawnfrom Bohm's interpretation to develop new and efficient computational methods for both time dependent and time independent quantum mechanics.This is THE definitive text on practical Bohmian mechanics. Eric Bittner,Department ofChemistry, University of Houston, Tx, USA |
Note: | Springer eBooks |
Contents: | Trajectory approaches to quantum mechanics |
The Bohm hydrodynamic equations | |
The phase space route to the hydrodynamic equations | |
Quantum trajectories | |
Fitting methods for computation of spatial derivatives | |
Applications to wavepacket tunneling and decoherence | |
Application to electronic transitions | |
The initial value representation and correlation functions | |
Mixed quantum | |
classical dynamics | |
Moving adaptive grids | |
Trajectory approach to the density matrix | |
Derivative propagation along quantum trajectories | |
Quantum dynamics in phase space | |
Non | |
Bohmain trajectory approach | |
ISBN: | 9780387281452 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Interdisciplinary Applied Mathematics, 0939-6047 : v28 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Chemistry, Physical organic , Computer science Mathematics , Quantum theory , Fluids , Plasma (Ionized gases) , Hydraulic engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9783709105870:ONLINE Show nearby items on shelf |
Title: | Geometric Modelling Dagstuhl 2002 |
Author(s): | |
Date: | 2004 |
Size: | 1 online resource (248 p.) |
Note: | 10.1007/978-3-7091-0587-0 |
Contents: | An Algorithm for Parametric Quadric Patch Construction -- Planar Development of Free-Form Surfaces: Quality Evaluation and Visual Inspection -- Biorthogonal Loop-Subdivision Wavelets -- Fairness Criteria for Algebraic Curves -- Spline |
Curve Approximation and Design by Optimal Control Over the Knots -- A Parametric Quartic Spline Interpolant to Position, Tangent and Curvature -- Surface Compression Using a Space of C1 Cubic Splines with a Hierarchical Basis -- | |
Evolutions of Polygons in the Study of Subdivision Surfaces -- The Bézier Tangential Surface System: a Robust Dual Representation of Tangent Space -- Bounding the Distance between 2D Parametric Bézier Curves and their Control Polygon | |
-- Wavelet-Based Multiresolution with % MathType!MTEF!2!1!+- % feaagCart1ev2aaatCvAUfKttLearuavP1wzZbItLDhis9wBH5garm % Wu51MyVXgaruWqVvNCPvMCaebbnrfifHhDYfgasaacH8srps0lbbf9 % q8WrFfeuY-Hhbbf9v8qqaqFr0xc9pk0xbba9q8WqFfea0-yr0RYxir % | |
-Jbba9q8aq0-yq-He9q8qqQ8frFve9Fve9Ff0dmeaabaqaciGacaGa % aeqabaWaaeaaeaaakeaadaGcbaqaaiabikdaYaWcbaGaemOBa4gaaa % aa!31E1! $$ \sqrt[n]{2} $$ Subdivision -- Quasi-Interpolants with Tension Properties from and in CAGD -- Length | |
Preserving Multiresolution Editing of Curves -- The Convex Hull of Freeform Surfaces -- Robust Spherical Parameterization of Triangular Meshes -- Spine Based Shape Parameterisation for PDE Surfaces -- Direct Segmentation of Algebraic | |
Models for Reverse Engineering -- Two Triangulation Methods Based on Edge Refinement -- Efficient Collision Detection for Moving Ellipsoids Using Separating Planes | |
ISBN: | 9783709105870 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Numerical analysis , Computer science , Computer graphics , Computer-aided engineering , Algorithms , Geometry , Mathematics , Geometry , Math Applications in Computer Science , Numeric Computing , Computer Graphics , Computer-Aided Engineering (CAD, CAE) and Design , Algorithms |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9783642187568:ONLINE Show nearby items on shelf |
Title: | Multiscale Modelling and Simulation |
Author(s): | |
Date: | 2004 |
Size: | 1 online resource (141 p.) |
Note: | 10.1007/978-3-642-18756-8 |
Contents: | I Mathematical Methods -- Some Recent Progress in Multiscale Modeling -- Homogenization Method for Transport of DNA Particles in Heterogeneous Arrays -- Metastability, conformation dynamics, and transition pathways in complex systems |
-- Nonlinear Dynamics Analysis through Molecular Dynamics Simulations -- Exploration of coarse free energy surfaces templated on continuum numerical methods -- Damping factors for the gap-tooth scheme -- II Materials Science -- | |
Multiscale Aspects of Polymer Simulations -- Polymers near a Surface: An ab initio Density Functional based Multiscale Modeling Approach -- Dual Resolution Molecular Simulation of Bisphenol-A Polycarbonate Adsorption onto Nickel (111): | |
Chain Length Effects -- Stress and energy flow field near a rapidly propagating mode I crack -- A Peierls Criterion for Deformation Twinning at a Mode II Crack -- III Physics/Chemistry/Fluid Dynamics/Biology -- Simulation of Transport | |
in Partially Miscible Binary Fluids: Combination of Semigrandcanonical Monte Carlo and Molecular Dynamics Methods -- Computer simulations of SiO2 and GeO2 -- Large Scale Density Functional Calculations -- Dispersion corrected density | |
functionals applied to the water naphthalene cluster -- Flow of Aqueous Solutions in Carbon Nanotubes -- Continuum-particle hybrid methods for dense fluids -- Dissipative Particle Dynamics for Modeling Complex Fluidics -- Population | |
balance modeling of synthesis of nanoparticles in aerosol flame reactors -- Modelling gene expression using stochastic simulation -- Color Plates | |
ISBN: | 9783642187568 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Computational Science and Engineering: 39 |
Keywords: | Mathematics , Chemometrics , Computer mathematics , Mathematical models , Applied mathematics , Engineering mathematics , Mathematics , Mathematical Modeling and Industrial Mathematics , Computational Mathematics and Numerical Analysis , Appl.Mathematics/Computational Methods of Engineering , Math. Applications in Chemistry |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9781475743555:ONLINE Show nearby items on shelf |
Title: | Theory and Practice of Finite Elements |
Author(s): |
Alexandre Ern |
Date: | 2004 |
Size: | 1 online resource (526 p.) |
Note: | 10.1007/978-1-4757-4355-5 |
Contents: | I Theoretical Foundations -- 1 Finite Element Interpolation -- 2 Approximation in Banach Spaces by Galerkin Methods -- II Approximation of PDEs -- 3 Coercive Problems -- 4 Mixed Problems -- 5 First-Order PDEs -- 6 Time-Dependent |
Problems -- III Implementation -- 7 Data Structuring and Mesh Generation -- 8 Quadratures, Assembling, and Storage -- 9 Linear Algebra -- 10 A Posteriori Error Estimates and Adaptive Meshes -- IV Appendices -- A Banach and Hilbert | |
Spaces -- A.1 Basic Definitions and Results -- A.2 Bijective Banach Operators -- B Functional Analysis -- B.1 Lebesgue and Lipschitz Spaces -- B.2 Distributions -- B.3 Sobolev Spaces -- Nomenclature -- References -- Author Index | |
ISBN: | 9781475743555 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Mathematical Sciences: 159 |
Keywords: | Mathematics , Computer science , Mathematical analysis , Analysis (Mathematics) , Partial differential equations , Applied mathematics , Engineering mathematics , Computer mathematics , Mathematics , Analysis , Applications of Mathematics , Math Applications in Computer Science , Partial Differential Equations , Computational Mathematics and Numerical Analysis , Appl.Mathematics/Computational Methods of Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9781402027765:ONLINE Show nearby items on shelf |
Title: | Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference “Foundations of the Formal Sciences III” |
Author(s): | |
Date: | 2004 |
Size: | 1 online resource (260 p.) |
Note: | 10.1007/978-1-4020-2776-5 |
Contents: | Complexity hierarchies derived from reduction functions -- Quantum query algorithms and lower bounds -- Algebras of minimal rank: overview and recent developments -- Recent developments in iterated forcing theory -- Classification |
problems in algebra and topology -- Using easy optimization problems to solve hard ones -- On Sacks forcing and the Sacks property -- Supertask computation -- A refinement of Jensen's constructible hierarchy -- Effective Hausdorff | |
dimension -- Axiomatizability of algebras of binary relations -- Forcing axioms and projective sets of reals -- Post's and other problems of supertasks of higher type | |
ISBN: | 9781402027765 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic : 23 |
Keywords: | Computer science , Computers , Computer science , Algorithms , Mathematical logic , Computer Science , Computer Science, general , Theory of Computation , Mathematical Logic and Foundations , Math Applications in Computer Science , Mathematics of Computing , Algorithms |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9780817681944:ONLINE Show nearby items on shelf |
Title: | Linear Algebra |
Author(s): |
Jin Ho Kwak |
Date: | 2004 |
Edition: | Second Edition |
Size: | 1 online resource (390 p.) |
Note: | 10.1007/978-0-8176-8194-4 |
Contents: | 1 Linear Equations and Matrices -- 1.1 Systems of linear equations -- 1.2 Gaussian elimination -- 1.3 Sums and scalar multiplications of matrices -- 1.4 Products of matrices -- 1.5 Block matrices -- 1.6 Inverse matrices -- 1.7 |
Elementary matrices and finding A?1 -- 1.8 LDU factorization -- 1.9 Applications -- 1.10 Exercises -- 2 Determinants -- 2.1 Basic properties of the determinant -- 2.2 Existence and uniqueness of the determinant -- 2.3 Cofactor | |
expansion -- 2.4 Cramer’s rule -- 2.5 Applications -- 2.6 Exercises -- 3 Vector Spaces -- 3.1 The n-space ?n and vector spaces -- 3.2 Subspaces -- 3.3 Bases -- 3.4 Dimensions -- 3.5 Row and column spaces -- 3.6 Rank and nullity -- 3.7 | |
Bases for subspaces -- 3.8 Invertibility -- 3.9 Applications -- 3.10 Exercises> -- 4 Linear Transformations -- 4.1 Basic propertiesof linear transformations -- 4.2 Invertiblelinear transformations -- 4.3 Matrices of linear | |
transformations -- 4.4 Vector spaces of linear transformations -- 4.5 Change of bases -- 4.6 Similarity -- 4.7. Applications -- 4.8 Exercises -- 5 Inner Product Spaces -- 5.1 Dot products and inner products -- 5.2 The lengths and | |
angles of vectors -- 5.3 Matrix representations of inner products -- 5.4 Gram-Schmidt orthogonalization -- 5.5 Projections -- 5.6 Orthogonal projections -- 5.7 Relations of fundamental subspaces -- 5.8 Orthogonal matrices and | |
isometries -- 5.9 Applications -- 5.10 Exercises -- 6 Diagonalization -- 6.1 Eigenvalues and eigenvectors -- 6.2 Diagonalization of matrices -- 6.3 Applications -- 6.4 Exponential matrices -- 6.5 Applications continued -- 6.6 | |
Diagonalization of linear transformations -- 6.7 Exercises -- 7 Complex Vector Spaces -- 7.1 The n-space ?n and complex vector spaces -- 7.2 Hermitian and unitary matrices -- 7.3 Unitarily diagonalizable matrices -- 7.4 Normal matrices | |
-- 7.5 Application -- 7.6 Exercises -- 8 Jordan Canonical Forms -- 8.1 Basic properties of Jordan canonical forms -- 8.2 Generalized eigenvectors -- 8.3 The power Ak and the exponential eA -- 8.4 Cayley-Hamilton theorem -- 8.5 The | |
minimal polynomial of a matrix> -- 8.6 Applications -- 8.7 Exercises -- 9 Quadratic Forms -- 9.1 Basic properties of quadratic forms -- 9.2 Diagonalization of quadratic forms -- 9.3 A classification of level surfaces -- 9.4 | |
Characterizations of definite forms -- 9.5 Congruence relation -- 9.6 Bilinear and Hermitian forms -- 9.7 Diagonalization of bilinear or Hermitian forms -- 9.8 Applications -- 9.9 Exercises -- Selected Answers and Hints | |
ISBN: | 9780817681944 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer science , Algebra , Matrix theory , Applied mathematics , Engineering mathematics , Economic theory , Mathematics , Algebra , Linear and Multilinear Algebras, Matrix Theory , Mathematics of Computing , Math Applications in Computer Science , Appl.Mathematics/Computational Methods of Engineering , Economic Theory/Quantitative Economics/Mathematical Methods |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9783642557538:ONLINE Show nearby items on shelf |
Title: | Mathematics — Key Technology for the Future Joint Projects between Universities and Industry |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (732 p.) |
Note: | 10.1007/978-3-642-55753-8 |
Contents: | I. Motors, Vehicles -- Synthesis of Automotive Cams Using Multiple Shooting-SQP Methods for Constrained Optimization -- Numerical Optimization of Scavenging in Two-Stroke Engines with Transfer Ducts, an Exhaust Port and a Moving |
Piston -- A Numerical Tool for Flow Simulation in a Wankel Motor -- An Efficient Navier-Stokes Solver for Automotive Aerodynamics -- Numerical Simulation of Exhaust Systems in Car Industry — Efficient Calculation of Radiation Heat | |
Transfer -- Combinatorial Optimization Techniques for Three-Dimensional Arrangement Problems -- Simulation of Test-drives of Automobiles at Driving Limit -- An Optimal Control Approach To Real-Time Vehicle Guidance -- Theoretical and | |
Experimental Studies of an S-Catamaran -- II. Environmental Technology -- Robust Error Estimators for Interface Problems Occuring in Transport Processes in Porous Media -- Modelling and Simulation of a Planned Bio-Chemical in situ | |
Remediation -- Influence of Surfactants on Spreading of Contaminants and Soil Remediation -- Improvement of Environment Observing Remote Sensing Devices by Regularization Techniques -- III. Flow, Transport and Reactions in | |
Technological Processes -- Stability Analysis for Reactors from Chemical Industry -- Heterogeneous Dynamic Process Flowsheet Simulation of Chemical Plants -- Numerical Simulation of Annular Chromatography -- Numerical Methods for | |
Parameter Estimation in Bingham-Fluids -- A Viscoelastic Turbulence Model Based on Renormalization Group Theory -- Modelling and Simulation of Capacitor Impulse Welding -- Analysis of Transport Processes for Layered Porous Materials | |
Used in Industrial Applications -- Modelling and Numerical Simulation of District Heating Networks with Time-Saving Solution Methods -- Sensitivity and Robustness Analysis for Construction and Monitoring of Tubine-Generator Shafts -- | |
IV. Optics and Sensors -- Adaptive Multigrid Methods for the Vectorial Maxwell Eigenvalue Problem for Optical Waveguide Design -- Direct and Inverse Problems for Diffractive Structures — Optimization of Binary Gratings -- Computation | |
of Electromagnetic Fields for a Humidity Sensor -- V. Crystal Growth, Semiconductors -- Simulation of Industrial Crystal Growth by the Vertical Bridgman Method -- Numerical Simulation and Control of Industrial Crystal Growth Processes | |
-- Optimal Control of Sublimation Growth of SiC Crystals -- Mathematical Modelling and Numerical Simulation of Semiconductor Detectors -- Optimal Design of High Power Electronic Devices by Topology Optimization -- Modelling and | |
Simulation of Strained Quantum Wells in Semiconductor Lasers -- VI. Electronic Circuits -- Efficient Analysis of Oscillatory Circuits -- Modelling and Simulation of Power Devices for High-Voltage Integrated Circuits -- Finding | |
Beneficial DAE Structures in Circuit Simulation -- CHORAL — a Charge-Oriented Algorithm for the Numerical Integration of Electrical Circuits -- VII. Tomography, Image Analysis and Visualisation -- Reconstructing Crystalline Structures | |
from Few Images Under High Resolution Transmission Electron Microscopy -- Measurement of Paint Layer Thickness with Photothermal Infrared Radiometry -- Spatio-Temporal Current Density Reconstruction from EEG-/MEG-Data -- Signal | |
Correction in NMR Spectroscopy -- On Scattering of Ultrasonic Waves -- Smoothing of Tomographic Data and Hybrid Volume-Surface Visualisation -- Video Coding with Adaptive Vector Quantization and Rate Distortion Optimization -- VIII. | |
Statistical Methods in Medical Applications -- The Application of Statistical Methods of Meta-Analysis for Heterogeneity Modelling in Medicine and Pharmacy, Psychology, Quality Control and Assurance -- An Application for the Analysis | |
of Human Tremor Time-Series -- IX. Optimization in Design and Production -- Free Material Optimization -- Automatic Layout and Labelling of State Diagrams -- Optimization Problems in a Semi-Automatic Device for Cutting Leather -- | |
Stochastic Programming for Power Production and Trading Under Uncertainty -- Scheduling Scarce Resources in Chemical Engineering -- X. Optimization in Traffic and Communication -- Duty Scheduling in Public Transit -- Rotation Planning | |
for the Continental Service of a European Airline -- Computer Aided Scheduling of Switching Engines -- Train Schedule Optimization in Public Rail Transport -- An Integrated Planning Approach for Cellular Radio Networks -- Author Index | |
ISBN: | 9783642557538 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Chemometrics , Computer graphics , Computer mathematics , Visualization , Statistics , Applied mathematics , Engineering mathematics , Mathematics , Computational Science and Engineering , Visualization , Appl.Mathematics/Computational Methods of Engineering , Math. Applications in Chemistry , Computer Imaging, Vision, Pattern Recognition and Graphics , Statistics for Life Sciences, Medicine, Health Sciences |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9783662047200:ONLINE Show nearby items on shelf |
Title: | Geometry Our Cultural Heritage |
Author(s): |
Audun Holme |
Date: | 2002 |
Size: | 1 online resource (378 p.) |
Note: | 10.1007/978-3-662-04720-0 |
Contents: | I A Cultural Heritage -- 1 Early Beginnings -- 2 The Great River Civilizations -- 3 Greek and Hellenic Geometry -- 4 Geometry in the Hellenistic Era -- 5 The Geometry of Yesterday and Today -- 6 Geometry and the Real World -- II |
Introduction to Geometry -- 7 Axiomatic Geometry -- 8 Axiomatic Projective Geometry -- 9 Models for Non-Euclidian Geometry -- 10 Making Things Precise -- 11 Projective Space -- 12 Geometry in the Affine and the Projective Plane -- 13 | |
Algebraic Curves of Higher Degrees in the Affine Plane ?2 -- 14 Higher Geometry in the Projective Plane -- 15 Sharpening the Sword of Algebra -- 16 Constructions with Straightedge and Compass -- 17 Fractal Geometry -- 18 Catastrophe | |
Theory -- References | |
ISBN: | 9783662047200 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer science , Geometry , Physics , Mathematics , Geometry , Mathematics, general , Theoretical, Mathematical and Computational Physics , Math Applications in Computer Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9783642040160:ONLINE Show nearby items on shelf |
Title: | Graph Colouring and the Probabilistic Method |
Author(s): |
Michael Molloy |
Date: | 2002 |
Size: | 1 online resource (326 p.) |
Note: | 10.1007/978-3-642-04016-0 |
Contents: | 1. Colouring Preliminaries -- 2. Probabilistic Preliminaries -- 3. The First Moment Method -- 4. The Lovász Local Lemma -- 5. The Chernoff Bound -- 6. Hadwiger’s Conjecture -- 7. A First Glimpse of Total Colouring -- 8. The Strong |
Chromatic Number -- 9. Total Colouring Revisited -- 10. Talagrand’s Inequality and Colouring Sparse Graphs -- 11. Azuma’s Inequality and a Strengthening of Brooks’ Theorem -- 12. Graphs with Girth at Least Five -- 13. Triangle-Free | |
Graphs -- 14. The List Colouring Conjecture -- 15. The Structural Decomposition -- 16. ?, ? and ? -- 17. Near Optimal Total Colouring I: Sparse Graphs -- 18. Near Optimal Total Colouring II: General Graphs -- 19. Generalizations of the | |
Local Lemma -- 20. A Closer Look at Talagrand’s Inequality -- 21. Finding Fractional Colourings and Large Stable Sets -- 22. Hard-Core Distributions on Matchings -- 23. The Asymptotics of Edge Colouring Multigraphs -- 24. The Method of | |
Conditional Expectations -- 25. Algorithmic Aspects of the Local Lemma -- References | |
ISBN: | 9783642040160 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Algorithms and Combinatorics: 23 |
Keywords: | Mathematics , Computers , Algorithms , Computer science , Probabilities , Combinatorics , Mathematics , Probability Theory and Stochastic Processes , Combinatorics , Theory of Computation , Math Applications in Computer Science , Algorithm Analysis and Problem Complexity |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9781468492446:ONLINE Show nearby items on shelf |
Title: | Fractals in Multimedia |
Author(s): | |
Date: | 2002 |
Size: | 1 online resource (270 p.) |
Note: | 10.1007/978-1-4684-9244-6 |
Contents: | to IMA fractal proceedings -- Uniqueness of invariant measures for place-dependent random iterations of functions -- Iterated function systems for lossless data compression -- From fractal image compression to fractal-based methods in |
mathematics -- Fractal image compression with fast local search -- Wavelets are piecewise fractal interpolation functions -- Self-affine vector measures and vector calculus on fractals -- Using the Picard contraction mapping to solve | |
inverse problems in ordinary differential equations -- Fractal modulation and other applications from a theory of the statistics of dimension -- Signal enhancement based on Hölder regularity analysis -- Iterated data mining techniques | |
on embedded vector modeling -- A web-based fractal geometry course for non-science students -- List of minisymposium participants | |
ISBN: | 9781468492446 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | The IMA Volumes in Mathematics and its Application: 132 |
Keywords: | Computer science , Computer science , Image processing , Application software , Dynamics , Ergodic theory , Probabilities , Topology , Computer Science , Image Processing and Computer Vision , Topology , Computer Applications , Probability Theory and Stochastic Processes , Dynamical Systems and Ergodic Theory , Math Applications in Computer Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9781447106579:ONLINE Show nearby items on shelf |
Title: | Quantitative Methods for Current Environmental Issues |
Author(s): | |
Date: | 2002 |
Size: | 1 online resource (270 p.) |
Note: | 10.1007/978-1-4471-0657-9 |
Contents: | I. Spatial and Temporal Models and Methods -- 1 Modeling Spatio-Temporally Misaligned Areal and Point Process Environmental Data -- 2 Space and Space-Time Modeling using Process Convolutions -- 3 Multivariate Kriging for Interpolating |
with Data from Different Sources -- II. Environmental Sampling and Standards -- 4 Distance Sampling: Recent Advances and Future Directions -- 5 Setting Environmental Standards: A Statistical Approach -- III. Atmosphere and Ocean -- 6 | |
The Interpretation and Validation of Measurements of the Ocean Wave Directional Spectrum -- 7 Thermal Energy Emission and Propagation from Accidents -- 8 Development and Application of an Extended Methodology to Validate Short-Range | |
Atmospheric Dispersion Models -- 9 Uncertainty and Sensitivity of Dispersion Model Results to Meteorological Inputs: Two Case Studies -- IV. Risk and Uncertainty -- 10 Statistics and the Environmental Sciences: Approaches to Model | |
Combination -- 11 Bayesian Analysis of Computer Code Outputs -- 12 The Realities of Decision Making on Risks | |
ISBN: | 9781447106579 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Statistics , Applied mathematics , Engineering mathematics , Environmental sciences , Statistics , Statistical Theory and Methods , Math. Appl. in Environmental Science , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Applications of Mathematics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-9783662043318:ONLINE Show nearby items on shelf |
Title: | Online Optimization of Large Scale Systems |
Author(s): | |
Date: | 2001 |
Size: | 1 online resource (804 p.) |
Note: | 10.1007/978-3-662-04331-8 |
Contents: | I Optimal Control for Ordinary Differential Equations -- Sensitivity Analysis and Real-Time Optimization of Parametric Nonlinear Programming Problems -- Sensitivity Analysis and Real-Time Control of Parametric Optimal Control Problems |
Using Boundary Value Methods -- Sensitivity Analysis and Real-Time Control of Parametric Optimal Control Problems Using Nonlinear Programming Methods -- Sensitivity Analysis and Real-Time Control of a Container Crane under State | |
Constraints -- Real-Time Control of an Industrial Robot under Control and State Constraints -- Real-Time Optimal Control of Shape Memory Alloy Actuators in Smart Structures -- Real-Time Solutions for Perturbed Optimal Control Problems | |
by a Mixed Open- and Closed-Loop Strategy -- Real-Time Optimization of DAE Systems -- Real-Time Solutions of Bang-Bang and Singular Optimal Control Problems -- Conflict Avoidance During Landing Approach Using Parallel Feedback Control | |
-- II Optimal Control for Partial Differential Equations -- Optimal Control Problems with a First Order PDE System — Necessary and Sufficient Optimality Conditions -- Optimal Control Problems for the Nonlinear Heat Equation -- Fast | |
Optimization Methods in the Selective Cooling of Steel -- Real-Time Optimization and Stabilization of Distributed Parameter Systems with Piezoelectric Elements -- Instantaneous Control of Vibrating String Networks -- Modelling, | |
Stabilization, and Control of Flow in Networks of Open Channels -- Optimal Control of Distributed Systems with Break Points -- to Model Based Optimization of Chemical Processes on Moving Horizons -- Multiscale Concepts for Moving | |
Horizon Optimization -- Real-Time Optimization for Large Scale Processes: Nonlinear Model Predictive Control of a High Purity Distillation Column -- Towards Nonlinear Model-Based Predictive Optimal Control of Large-Scale Process Models | |
with Application to Air Separation Plants -- IV Delay Differential Equations in Medical Decision Support Systems -- Differential Equations with State-Dependent Delays -- Biomathematical Models with State-Dependent Delays for | |
Granulocytopoiesis -- Stochastic Optimization for Operating Chemical Processes under Uncertainty -- A Multistage Stochastic Programming Approach in Real-Time Process Control -- Optimal Control of a Continuous Distillation Process under | |
Probabilistic Constraints -- Adaptive Optimal Stochastic Trajectory Planning -- Stochastic Optimization Methods in Robust Adaptive Control of Robots -- Multistage Stochastic Integer Programs: An Introduction -- Decomposition Methods | |
for Two-Stage Stochastic Integer Programs -- Modeling of Uncertainty for the Real-Time Management of Power Systems -- Online Scheduling of Multiproduct Batch Plants under Uncertainty -- VIII Combinatorial Online Planning in | |
Transportation -- Combinatorial Online Optimization in Real Time -- Online Optimization of Complex Transportation Systems -- Stowage and Transport Optimization in Ship Planning -- IX Real-Time Annealing in Image Segmentation -- Basic | |
Principles of Annealing for Large Scale Non-Linear Optimization -- Multiscale Annealing and Robustness: Fast Heuristics for Large Scale Non-linear Optimization -- Author Index | |
ISBN: | 9783662043318 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Operations research , Decision making , Computer science , Calculus of variations , Applied mathematics , Engineering mathematics , Mathematics , Calculus of Variations and Optimal Control Optimization , Math Applications in Computer Science , Appl.Mathematics/Computational Methods of Engineering , Operation Research/Decision Theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-9783642567674:ONLINE Show nearby items on shelf |
Title: | Discretization Methods and Iterative Solvers Based on Domain Decomposition |
Author(s): |
Barbara I Wohlmuth |
Date: | 2001 |
Size: | 1 online resource (199 p.) |
Note: | 10.1007/978-3-642-56767-4 |
Contents: | Discretization Techniques Based on Domain Decomposition -- 1.1 Introduction to Mortar Finite Element Methods -- 1.2 Mortar Methods with Alternative Lagrange Multiplier Spaces -- 1.3 Discretization Techniques Based on the Product Space |
-- 1.4 Examples for Special Mortar Finite Element Discretizations -- 1.5 Numerical Results -- Iterative Solvers Based on Domain Decomposition -- 2.1 Abstract Schwarz Theory -- 2.2 Vector Field Discretizations -- 2.3 A Multigrid Method | |
for the Mortar Product Space Formulation -- 2.4 A Dirichlet-Neumann Type Method -- 2.5 A Multigrid Method for the Mortar Saddle Point Formulation -- List of Figures -- List of Tables -- Notations | |
ISBN: | 9783642567674 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Computational Science and Engineering: 17 |
Keywords: | Mathematics , Computer science , Mathematical analysis , Analysis (Mathematics) , Computer mathematics , Numerical analysis , Computational intelligence , Mathematics , Numerical Analysis , Analysis , Computational Science and Engineering , Math Applications in Computer Science , Computational Intelligence |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9783642597213:ONLINE Show nearby items on shelf |
Title: | Discontinuous Galerkin Methods Theory, Computation and Applications |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (470 p.) |
Note: | 10.1007/978-3-642-59721-3 |
Contents: | I Overview -- The Development of Discontinuous Galerkin Methods -- II Invited Papers -- Steps Toward a Robust High-Order Simulation Tool for Aerospace Applications -- Simplified Discontinuous Galerkin Methods for Systems of |
Conservation Laws with Convex Extension -- A High Order Discontinuous Galerkin Method for Compressible Turbulent Flows -- Discontinuous Galerkin Methods for Elliptic Problems -- Analysis of Finite Element Methods for Linear Hyperbolic | |
Problems -- Software for the Parallel Adaptive Solution of Conservation Laws by Discontinuous Galerkin Methods -- Simulation of Gravity Flow of Granular Materials in Silos -- A Comparison of Discontinuous and Continuous Galerkin | |
Methods Based on Error Estimates, Conservation, Robustness and Efficiency -- The Utility of Modeling and Simulation in Determining Transport Performance Properties of Semiconductors -- A Discontinuous Galerkin Method for the | |
Incompressible Navier-Stokes Equations -- Full Convergence for Hyperbolic Finite Elements -- A Conservative DGM for Convection-Diffusion and Navier-Stokes Problems -- GMRES Discontinuous Galerkin Solution of the Compressible | |
Navier-Stokes Equations -- Explicit Finite Element Methods for Linear Hyperbolic Systems -- hp-DGFEM for Partial Differential Equations with Nonnegative Characteristic Form -- A Discontinuous Galerkin Method Applied to Nonlinear | |
Parabolic Equations -- III Contributed Papers -- Parallel Iterative Discontinuous Galerkin Finite-Element Methods -- A Discontinuous Projection Algorithm for Hamilton Jacobi Equations -- Successes and Failures of Discontinuous Galerkin | |
Methods in Viscoelastic Fluid Analysis -- High Order Current Basis Functions for Electromagnetic Scattering of Curved Surfaces -- An Adaptive Discontinuous Galerkin Model for Coupled Viscoplastic Crack Growth and Chemical Transport -- | |
An Optimal Estimate for the Local Discontinuous Galerkin Method -- Post-Processing of Galerkin Methods for Hyperbolic Problems -- to Discontinuous Wavelets -- The Local Discontinuous Galerkin Method for Contaminant Transport Problems | |
-- Discontinuous Galerkin Method for the Numerical Solution of Euler Equations in Axisymmetric Geometry -- Ten Years Using Discontinuous Galerkin Methods for Polymer Processing Problems -- Using Krylov-Subspace Iterations in | |
Discontinuous Galerkin Methods for Nonlinear Reaction-Diffusion Systems -- An Abridged History of Cell Discretization -- The Effect of the Least Square Procedure for Discontinuous Galerkin Methods for Hamilton-Jacobi Equations -- A | |
Posteriori Error Estimate in the Case of Insufficient Regularity of the Discrete Space -- Discontinuous Spectral Element Approximation of Maxwell's Equations -- A Posteriori Error Estimation for Adaptive Discontinuous Galerkin | |
Approximations of Hyperbolic Systems -- A Numerical Example on the Performance of High Order Discontinuous Galerkin Method for 2D Incompressible Flows -- A Discontinuous Galerkin Method in Moving Domains -- Discontinuous Galerkin for | |
Hyperbolic Systems with Stiff Relaxation -- Finite Element Output Bounds for Parabolic Equations: Application to Heat Conduction Problems -- 3D Unstructured Mesh ALE Hydrodynamics with the Upwind Discontinuous Galerkin Method -- Some | |
Remarks on the Accuracy of a Discontinuous Galerkin Method -- Coupling Continuous and Discontinuous Techniques: An Adaptive Approach -- A Discontinuous Galerkin Method for the Shallow Water Equations with Source Terms -- Dispersion | |
Analysis of the Continuous and Discontinuous Galerkin Formulations -- The Cell Discretization Algorithm An Overview -- Accuracy, Resolution, and Computational Complexity of a Discontinuous Galerkin Finite Element Method -- An ELLAM | |
Scheme for Porous Medium Flows -- Application of the Discontinuous Galerkin Method to Maxwell's Equations Using Unstructured Polymorphic hp-Finite Elements -- A Space-Time Discontinuous Galerkin Method for Elastodynamic Analysis -- | |
Nonconforming, Enhanced Strain, and Mixed Finite Element Methods — A Unified Approach | |
ISBN: | 9783642597213 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Computational Science and Engineering: 11 |
Keywords: | Mathematics , Computer science , Computer mathematics , Physics , Computational intelligence , Mathematics , Computational Mathematics and Numerical Analysis , Computational Intelligence , Mathematical Methods in Physics , Numerical and Computational Physics , Math Applications in Computer Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9783540465195:ONLINE Show nearby items on shelf |
Title: | Computer Algebra Methods for Equivariant Dynamical Systems |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (162 p.) |
Note: | 10.1007/BFb0104059 |
Contents: | Gröbner bases: Buchberger's algorithm -- The consequence of grading -- Definitions and the relation to Gröbner bases -- Computation of a Hilbert series -- The Hilbert series driven Buchberger algorithm -- The computation with |
algebraic extensions -- Detection of Gröbner bases -- Dynamic Buchberger algorithm -- Elimination -- Algorithms of the computation of invariants and equivariants: Using the Hilbert series -- Invariants -- Equivariants -- Using the | |
nullcone -- Using a homogeneous system of parameters -- Computing uniqueness -- Symmetric bifurcation theory -- Local bifurcation analysis -- An example of secondary Hopf bifurcation -- Orbit space reduction -- Exact computation of | |
steady states -- Differential equations on the orbit space -- Using Noether normalization -- Further reading -- References -- Index | |
ISBN: | 9783540465195 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 1728 |
Keywords: | Mathematics , Computer science , Algebra , Mathematical analysis , Analysis (Mathematics) , Global analysis (Mathematics) , Manifolds (Mathematics) , Computer mathematics , Mathematics , Algebra , Mathematics of Computing , Computational Science and Engineering , Math Applications in Computer Science , Analysis , Global Analysis and Analysis on Manifolds |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9781461213901:ONLINE Show nearby items on shelf |
Title: | An Introduction to Quantum Computing Algorithms |
Author(s): |
Arthur O Pittenger |
Date: | 2000 |
Size: | 1 online resource (140 p.) |
Note: | 10.1007/978-1-4612-1390-1 |
Contents: | 1 Quantum -- 2 Basics of Quantum Computation -- 3 Quantum Algorithms -- 4 Quantum Error-Correcting Codes -- Afterword -- References |
ISBN: | 9781461213901 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Progress in Computer Science and Applied Logic : 19 |
Keywords: | Computer science , Computers , Algorithms , Computer science , Applied mathematics , Engineering mathematics , Quantum physics , Quantum computers , Spintronics , Computer Science , Theory of Computation , Applications of Mathematics , Math Applications in Computer Science , Quantum Physics , Quantum Information Technology, Spintronics , Algorithm Analysis and Problem Complexity |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9781461213208:ONLINE Show nearby items on shelf |
Title: | Interpolating Cubic Splines |
Author(s): |
Gary D Knott |
Date: | 2000 |
Size: | 1 online resource (244 p.) |
Note: | 10.1007/978-1-4612-1320-8 |
Contents: | 1 Mathematical Preliminaries -- 1.1 The Pythagorean Theorem -- 1.2 Vectors -- 1.3 Subspaces and Linear Independence -- 1.4 Vector Space Bases -- 1.5 Euclidean Length -- 1.6 The Euclidean Inner Product -- 1.7 Projection onto a Line -- |
1.8 Planes in-Space -- 1.9 Coordinate System Orientation -- 1.10 The Cross Product -- 2 Curves -- 2.1 The Tangent Curve -- 2.2 Curve Parameterization -- 2.3 The Normal Curve -- 2.4 Envelope Curves -- 2.5 Arc Length Parameterization -- | |
2.6 Curvature -- 2.7 The Frenet Equations -- 2.8 Involutes and Evolutes -- 2.9 Helices -- 2.10 Signed Curvature -- 2.11 Inflection Points -- 3 Surfaces -- 3.1 The Gradient of a Function -- 3.2 The Tangent Space and Normal Vector -- 3.3 | |
Derivatives -- 4 Function and Space Curve Interpolation -- 5 2D-Function Interpolation -- 5.1 Lagrange Interpolating Polynomials -- 5.2 Whittaker’s Interpolation Formula -- 5.3 Cubic Splines for 2D-Function Interpolation -- 5.4 | |
Estimating Slopes -- 5.5 Monotone 2D Cubic Spline Functions -- 5.6 Error in 2D Cubic Spline Interpolation Functions -- 6 ?-Spline Curves With Range Dimension d -- 7 Cubic Polynomial Space Curve Splines -- 7.1 Choosing the Segment | |
Parameter Limits -- 7.2 Estimating Tangent Vectors -- 7.3 Bézier Polynomials -- 8 Double Tangent Cubic Splines -- 8.1 Kochanek-Bartels Tangents -- 8.2 Fletcher-McAllister Tangent Magnitudes -- 9 Global Cubic Space Curve Splines -- 9.1 | |
Second Derivatives of Global Cubic Splines -- 9.2 Third Derivatives of Global Cubic Splines -- 9.3 A Variational Characterization of Natural Splines -- 9.4 Weighted v-Splines -- 10 Smoothing Splines -- 10.1 Computing an Optimal | |
Smoothing Spline -- 10.2 Computing the Smoothing Parameter -- 10.3 Best Fit Smoothing Cubic Splines -- 10.4 Monotone Smoothing Splines -- 11 Geometrically Continuous Cubic Splines -- 11.1 Beta Splines -- 12 Quadratic Space Curve Based | |
Cubic Splines -- 13 Cubic Spline Vector Space Basis Functions -- 13.1 Bases for C1 and C2 Space Curve Cubic Splines -- 13.2 Cardinal Bases for Cubic Spline Vector Spaces -- 13.3 The B-Spline Basis for Global Cubic Splines -- 14 | |
Rational Cubic Splines -- 15 Two Spline Programs -- 15.1 Interpolating Cubic Splines Program -- 15.2 Optimal Smoothing Spline Program -- 16 Tensor Product Surface Splines -- 16.1 Bicubic Tensor Product Surface Patch Splines -- 16.2 A | |
Generalized Tensor Product Patch Spline -- 16.3 Regular Grid Multi-Patch Surface Interpolation -- 16.4 Estimating Tangent and Twist Vectors -- 16.5 Tensor Product Cardinal Basis Representation -- 16.6 Bicubic Splines with Variable | |
Parameter Limits -- 16.7 Triangular Patches -- 16.8 Parametric Grids -- 16.9 3D-Function Interpolation -- 17 Boundary Curve Based Surface Splines -- 17.1 Boundary Curve Based Bilinear Interpolation -- 17.2 Boundary Curve Based Bicubic | |
Interpolation -- 17.3 General Boundary Curve Based Spline Interpolation -- 18 Physical Splines -- 18.1 Computing a Space Curve Physical Spline Segment -- 18.2 Computing a 2D Physical Spline Segment -- References | |
ISBN: | 9781461213208 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Progress in Computer Science and Applied Logic : 18 |
Keywords: | Computer science , Computer science , Application software , Computer-aided engineering , Applied mathematics , Engineering mathematics , Computer mathematics , Computer Science , Math Applications in Computer Science , Computational Mathematics and Numerical Analysis , Applications of Mathematics , Computer-Aided Engineering (CAD, CAE) and Design , Computer Applications |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9783642602368:ONLINE Show nearby items on shelf |
Title: | Traffic and Mobility Simulation — Economics — Environment |
Author(s): | |
Date: | 1999 |
Size: | 1 online resource (270 p.) |
Note: | 10.1007/978-3-642-60236-8 |
Contents: | I. Economic Factors of Traffic Generation -- Multicriteria Demand Reaction Analysis in Passenger Transport -- II. Traffic Generation -- Dynamic Estimation of Transport Demand: Solutions — Requirements — Problems -- The Development of |
a Unified Modeling Framework for the Household Activity-Travel Scheduling Process -- The Development of ALBATROSS: Some Key Issues -- Analysis of Traffic Flow of Goods on Motorways by Means of Video Data — Chances and Limits -- | |
Estimating Path Flows from Traffic Counts -- III. Traffic Flow Theory, Networks -- Remarks on Traffic Flow Modeling and Its Applications -- Online Traffic Simulation with Cellular Automata -- Census-Based Travel Demand Generation for | |
Transportation Simulations -- Some New Approaches to the Microscopic Modelling of Traffic Flow and the Dynamic Route Assignment Problem -- Evaluation of Cellular Automata for Traffic Flow Simulation on Freeway and Urban Streets -- | |
Effects of New Vehicle and Traffic Technologies — Analysis of Traffic Flow, Fuel Consumption and Emissions with PELOPS -- Traffic Simulation for the Development of Traffic Management Systems -- Modelling Advanced Transport Telematic | |
Applications with Microscopic Simulators: The Case of AIMSUN2 -- IV. Environmental Effects -- Modelling of Regional and Local Air Pollution Based on Dynamical Simulation of Traffic -- Interaction of Traffic and Other Anthropogenic | |
Emissions in Polluted Regions and Their Environment -- Time Soluted Assessment of Traffic Impacts in Urban Areas Based on Dynamic Traffic Simulation | |
ISBN: | 9783642602368 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Applied mathematics , Engineering mathematics , Computer mathematics , Environmental sciences , Economic theory , Mathematics , Applications of Mathematics , Computational Mathematics and Numerical Analysis , Math. Appl. in Environmental Science , Economic Theory/Quantitative Economics/Mathematical Methods |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9783642599958:ONLINE Show nearby items on shelf |
Title: | Dynamic Modules User’s Manual and Programming Guide for MuPAD 1.4 |
Author(s): |
Andreas Sorgatz |
Date: | 1999 |
Size: | 1 online resource (235 p.) |
Note: | 10.1007/978-3-642-59995-8 |
Contents: | 1 Introduction and Quick Start -- 1.1 How to Read this Manual -- 1.2 The Concept in Brief -- 1.3 Where to Find Further Information -- 1.4 Challenges and Contributions -- 2 Modules User Interface -- 2.1 Basic Functions to Access |
Modules -- 2.2 Extended Module Management -- 2.3 Module Domain Representation -- 2.4 Module Online Documentation -- 3 Introduction to Module Programming -- 3.1 Module Source Code -- 3.2 Creating Binary Code -- 3.3 Predefined Methods | |
and Reserved Names -- 3.4 Online Documentation File Format -- 4 Inside MuPAD -- 4.1 System Components -- 4.2 The Kernel -- 4.3 The Interpreter -- 4.4 Memory Management System -- 4.5 Data Types -- 4.6 Displaying MuPAD Objects -- 4.7 | |
Module Management System -- 5 Module Generator -- 5.1 Analysis and Code Extension -- 5.2 Creating Executable Modules -- 5.3 Module Debugging -- 5.4 Module Generator Options -- 5.5 Warning and Error Messages -- 6 Application Programming | |
Interface (MAPI) -- 6.1 Introduction and Conventions -- 6.2 Defining Module Functions -- 6.3 Type Checking -- 6.4 Comparing Objects -- 6.5 Data Conversion -- 6.6 Basic Object Manipulation -- 6.7 Constructing MuPAD Objects -- 6.8 MuPAD | |
Interpreter Interface -- 6.9 Arbitrary Precision Arithmetic -- 6.10 Miscellaneous -- 7 Special features -- 7.1 Module Initialization Function -- 7.2 Including MuPAD Code -- 7.3 Storing a Global State -- 7.4 User-defined Data Types -- | |
7.5 MuPAD Preferences -- 8 Technical Information -- 8.1 Supported Operating Systems -- 8.2 Integrating Software Packages -- 8.3 Position Independent Code -- 8.4 Including Non C++ Code -- 8.5 Shared Libraries -- 8.6 Analyzing Module | |
Object Code -- 8.7 Debugging Dynamic Modules -- 9 Trouble Shooting -- 9.1 Naming Conflicts -- 9.2 Exceptions and Threads -- 9.3 Streams and Templates -- 9.4 Signals -- 9.5 Questions and Answers -- 10 Demos and Applications -- 10.1 Some | |
Introducing Examples -- 10.2 User-defined Data Types -- 10.3 Numerics -- 10.4 Arbitrary Precision Arithmetic -- 10.5 Polynomial Computations -- 10.6 Interprocess Communication Protocols -- 10.7 Miscellaneous -- A The Accompanying | |
CD-ROM -- A.1 Contents of the CD-ROM -- A.1.1 MuPAD -- A.1.2 ASAP -- A.1.3 GB and RealSolving -- A.1.4 GMP -- A.1.5 MAGNUM -- A.1.6 MP -- A.1.7 NTL -- A.1.8 PVM -- A.1.9 Singular -- A.2 System Requirements -- A.3 Installation -- A.3.1 | |
Using the CD-ROM Live System -- A.3.2 Installation on Hard Disk -- A.4 MuPAD License Agreements -- A.4.1 General License -- A.4.2 Educational License -- A.4.3 How to Register MuPAD -- B Changes -- B.1 With Respect to Release 1.2.2 -- | |
B.2 With Respect to Release 1.3.0 -- B.3 Latest News and Changes -- C mmg Short Reference -- D MAPI Short Reference -- E Glossary | |
ISBN: | 9783642599958 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer science , Algorithms , Mathematics , Algorithms , Math Applications in Computer Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9783642583605:ONLINE Show nearby items on shelf |
Title: | Computational Molecular Dynamics: Challenges, Methods, Ideas Proceedings of the 2nd International Symposium on Algorithms for Macromolecular Modelling, Berlin, May 21–24, 1997 |
Author(s): | |
Date: | 1999 |
Size: | 1 online resource (494 p.) |
Note: | 10.1007/978-3-642-58360-5 |
Contents: | Introductory Survey -- Molecular Dynamics Simulations: The Limits and Beyond -- I Conformational Dynamics -- Steered Molecular Dynamics -- Conformational Transitions of Proteins from Atomistic Simulations -- Conformational Dynamics |
Simulations of Proteins -- Computation of Essential Molecular Dynamics by Subdivision Techniques -- Mathematical Model of the Nucleic Acids Conformational Transitions with Hysteresis over Hydration-Dehydration Cycle -- II Thermodynamic | |
Modelling -- Simulation Studies of Protein-Ligand Interactions -- Estimating Relative Free Energies from a Single Simulation of the Initial State -- Exploration of Peptide Free Energy Surfaces -- Prediction of pKas of Titratable | |
Residues in Proteins Using a Poisson-Boltzmann Model of the Solute-Solvent System -- Exploiting Tsallis Statistics -- New Techniques for the Construction of Residue Potentials for Protein Folding -- III Enhanced Time-Stepping | |
Algorithms -- Some Failures and Successes of Long-Timestep Approaches to Biomolecular Simulations -- Application of a Stochastic Path Integral Approach to the Computations of an Optimal Path and Ensembles of Trajectories -- On Some | |
Difficulties in Integrating Highly Oscillatory Hamiltonian Systems -- Molecular Dynamics in Systems with Multiple Time Scales: Reference System Propagator Algorithms -- The Five Femtosecond Time Step Barrier -- Long Time Step MD | |
Simulations Using Split Integration Symplectic Method -- Comparison of Geometric Integrators for Rigid Body Simulation -- IV Quantum-Classical Simulations -- New Methods in Quantum Molecular Dynamics of Large Polyatomic Systems -- | |
Approximation Properties and Limits of the Quantum-Classical Molecular Dynamics Model -- Numerical Integrators for Quantum-Classical Molecular Dynamics -- Symplectic Multiple-Time-Stepping Integrators for Quantum-Classical Molecular | |
Dynamics -- A Bunch of Time Integrators for Quantum/Classical Molecular Dynamics -- Applications of Ab-Initio Molecular Dynamics Simulations in Chemistry and Polymer Science -- Polarons of Molecular Crystal Model by Nonlocal Dynamical | |
Coherent Potential Method -- V Parallel Force Field Evaluation -- Ewald and Multipole Methods for PeriodicN-Body Problems -- Avoiding Algorithmic Obfuscation in a Message-Driven Parallel MD Code -- Parallel Molecular Dynamics Using | |
Force Decomposition | |
ISBN: | 9783642583605 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Computational Science and Engineering: 4 |
Keywords: | Mathematics , Chemometrics , Computer mathematics , Biomathematics , Physics , Mathematics , Computational Mathematics and Numerical Analysis , Math. Applications in Chemistry , Mathematical and Computational Biology , Theoretical, Mathematical and Computational Physics , Physiological, Cellular and Medical Topics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9781461215684:ONLINE Show nearby items on shelf |
Title: | Discrete Tomography Foundations, Algorithms, and Applications |
Author(s): | |
Date: | 1999 |
Size: | 1 online resource (479 p.) |
Note: | 10.1007/978-1-4612-1568-4 |
Contents: | Foundations -- Discrete Tomography: A Historical Overview -- Sets of Uniqueness and Additivity in Integer Lattices -- Tomographic Equivalence and Switching Operations -- Uniqueness and Complexity in Discrete Tomography -- |
Reconstruction of Plane Figures from Two Projections -- Reconstruction of Two-Valued Functions and Matrices -- Reconstruction of Connected Sets from Two Projections -- Algorithms -- Binary Tomography Using Gibbs Priors -- Probabilistic | |
Modeling of Discrete Images -- Multiscale Bayesian Methods for Discrete Tomography -- An Algebraic Solution for Discrete Tomography -- Binary Steering of Nonbinary Iterative Algorithms -- Reconstruction of Binary Images via the EM | |
Algorithm -- Compact Object Reconstruction -- Applications -- CT-Assisted Engineering and Manufacturing -- 3D Reconstruction from Sparse Radiographic Data -- Heart Chamber Reconstruction from Biplane Angiography -- Discrete Tomography | |
in Electron Microscopy -- Tomography on the 3D-Torus and Crystals -- A Recursive Algorithm for Diffuse Planar Tomography -- From Orthogonal Projections to Symbolic Projections | |
ISBN: | 9781461215684 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Medicine , Radiology , Computer science , Computer graphics , Image processing , Medicine & Public Health , Imaging / Radiology , Image Processing and Computer Vision , Signal, Image and Speech Processing , Math Applications in Computer Science , Discrete Mathematics in Computer Science , Computer Imaging, Vision, Pattern Recognition and Graphics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9781461215301:ONLINE Show nearby items on shelf |
Title: | Exploring Abstract Algebra With Mathematica® |
Author(s): |
Allen C Hibbard |
Date: | 1999 |
Size: | 1 online resource (467 p.) |
Note: | 10.1007/978-1-4612-1530-1 |
Contents: | I Group Labs -- 1 Using Symmetry to Uncover a Group -- 2 Determining the Symmetry Group of a Given Figure -- 3 Is This a Group? -- 4 Let’s Get These Orders Straight -- 5 Subversively Grouping Our Elements -- 6 Cycling Through the |
Groups -- 7 Permutations -- 8 Isomorphisms -- 9 Automorphisms -- 10 Direct Products -- 11 Cosets -- 12 Normality and Factor Groups -- 13 Group Homomorphisms -- 14 Rotational Groups of Regular Polyhedra -- II Ring Labs -- 1 Introduction | |
to Rings and Ringoids -- 2 Introduction to Rings, Part 2 -- 3 An Ideal Part of Rings -- 4 What Does ?[i](a + b i) Look Like? -- 5 Ring Homomorphisms -- 6 Polynomial Rings -- 7 Factoring and Irreducibility -- 8 Roots of Unity -- 9 | |
Cyclotomic Polynomials -- 10 Quotient Rings of Polynomials -- 11 Quadratic Field Extensions -- 12 Factoring in ?[?d] -- 13 Finite Fields -- III User’s Guide -- 1 Introduction to Abstract Algebra -- 2 Groupolds -- 3 Ringoids -- 4 | |
Morphoids -- 5 Additional Functionality | |
ISBN: | 9781461215301 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer science , Algebra , Mathematical analysis , Analysis (Mathematics) , Algorithms , Computer software , Physics , Mathematics , Algebra , Mathematical Software , Analysis , Algorithms , Math Applications in Computer Science , Mathematical Methods in Physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9781461206354:ONLINE Show nearby items on shelf |
Title: | Bounded Queries in Recursion Theory |
Author(s): |
William I Gasarch |
Date: | 1999 |
Size: | 1 online resource (353 p.) |
Note: | 10.1007/978-1-4612-0635-4 |
Contents: | A: Getting Your Feet Wet -- 1 Basic Concepts -- 2 Bounded Queries and the Halting Set -- 3 Definitions and Questions -- B: The Complexity of Functions -- 4 The Complexity of CnA -- 5 #nA and Other Functions -- C: The Complexity of |
Sets -- 6 The Complexity of ODDnA and MODmnA -- 7 Q Versus QC -- 8 Separating and Collapsing Classes -- D: Miscellaneous -- 9 Nondeterministic Complexity -- 10 The Literature on Bounded Queries -- References | |
ISBN: | 9781461206354 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Progress in Computer Science and Applied Logic : 16 |
Keywords: | Computer science , Computers , Computer science , Operator theory , Applied mathematics , Engineering mathematics , Computer mathematics , Computer Science , Math Applications in Computer Science , Operator Theory , Theory of Computation , Discrete Mathematics in Computer Science , Computational Mathematics and Numerical Analysis , Applications of Mathematics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1998-9789401153027:ONLINE Show nearby items on shelf |
Title: | Elimination Methods in Polynomial Computer Algebra |
Author(s): |
Valery Bykov |
Date: | 1998 |
Size: | 1 online resource (244 p.) |
Note: | 10.1007/978-94-011-5302-7 |
Contents: | 1. Basic Mathematical Facts -- 1. The logarithmic residue -- 2. The Newton recursion formulas -- 3. Localization theorems for the real zeros of a polynomial -- 4. The local residue (of Grothendieck) -- 5. The multidimensional |
logarithmic residue -- 6. The classical scheme for elimination of unknowns -- 2. A Modified Elimination Method -- 7. A generalized transformation formula for local residues -- 8. A modified elimination method -- 9. A formula for the | |
logarithmic derivative of the resultant -- 10. Multidimensional analogues of the Newton formulas -- 11. Elimination of unknowns in different variables. Real roots -- 3. Applications in Mathematical Kinetics -- 12. Short schemes -- 13. | |
The search for all stationary solutions -- 14. The kinetic polynomial. Single-route mechanisms -- 15. Construction of the kinetic polynomial in the general case -- 4. Computer Realizations -- 16. Analytic manipulations on the computer | |
-- 17. Basic problems in computer algebra of polynomials -- 18. Realization of the elimination method -- 19. The construction of the resultant -- List of applications | |
ISBN: | 9789401153027 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mathematics and Its Applications : 448 |
Keywords: | Mathematics , Chemometrics , Numerical analysis , Computer science , Functions of complex variables , Mathematics , Several Complex Variables and Analytic Spaces , Math. Applications in Chemistry , Symbolic and Algebraic Manipulation , Numeric Computing |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1998-9783662011317:ONLINE Show nearby items on shelf |
Title: | COMPSTAT Proceedings in Computational Statistics 13th Symposium held in Bristol, Great Britain, 1998 |
Author(s): | |
Date: | 1998 |
Size: | 1 online resource (501 p.) |
Note: | 10.1007/978-3-662-01131-7 |
Contents: | Keynote Papers -- Analysis of Clustered Multivariate Data from Developmental Toxicity Studies -- Wavelets in Statistics: Some Recent Developments -- Invited Papers -- Mortality Pattern Prediction in Worker Cohorts -- Design Algorithms |
for Correlated Data -- (Co)Variance Structures for Linear Models in the Analysis of Plant Improvement Data -- Optimal Scaling Methods for Graphical Display of Multivariate Data -- Computer-Assisted Statistics Teaching in Network | |
Environments -- Modelling Bacterial Genomes Using Hidden Markov Models -- MCMC Specifics for Latent Variable Models -- Exploratory Versus Decision Trees -- Exploring Time Series Using Semi- and Nonparametric Methods -- Time Series | |
Forecasting by Principal Component Methods -- Contributed Papers -- A Simulation Study of Indirect Prognostic Classification -- Model Search: An Overview -- Speeding up the Computation of the Least Quartile Difference Estimator -- | |
Piece-wise Detection of Spinal Scoliosis -- A Comparison of Recent EM Accelerators within Item Response Theory -- Gröbner Basis Methods in Polynomial Modelling -- Analysis of High Dimensional Data from Intensive Care Medicine -- | |
Fitting Non-Gaussian Time Series Models -- Using Singular Value Decomposition in Non-Linear Regression -- A Modelling Approach for Bandwidth Selection in Kernel Density Estimation -- A New Method for Cross-Classification Analysis of | |
Contingency Data Tables -- Bayesian Analysis of Overdispersed Count Data with Application to Teletraffic Monitoring -- An Alternative Pruning Method Based on the Impurity-Complexity Measure -- Bayesian Inference for Mixture: The Label | |
Switching Problem -- Simulation of Multifractional Brownian Motion -- Simulating Categorical Data from Spatial Models -- Robust Factorization of a Data Matrix -- Spatial Clustering Techniques: An Experimental Comparison -- A Visual | |
Environment for Designing Experiments -- Essay of a Dynamic Regression by Principal Components Model for Correlated Time Series -- Traffic Models for Telecommunication -- Construction of Non-Standard Row-Column Designs -- Computational | |
Statistics for Pharmacokinetic Data Analysis -- Frailty Factors and Time-dependent Hazards in Modelling Ear Infections in Children Using BASSIST -- Algorithms for Robustified Error-in-Variables Problems -- Idaresa — a Tool for | |
Construction, Description and Use of Harmonised Datasets from National Surveys -- LLAMA: an Object-Oriented System for Log Multiplicative Models -- Using Threshold Accepting to Improve the Computation of Censored Quantile Regression -- | |
On the Convergence of Iterated Random Maps with Applications to the MCEM Algorithm -- Parameter Estimators for Gaussian Models with Censored Time Series and Spatio-Temporal Data -- Assessing the Multimodality of a Multivariate | |
Distribution Using Nonparametric Techniques -- Bayesian Signal Restoration and Model Determination for Ion Channels -- ARGUS, Software Packages for Statistical Disclosure Control -- Building End-User Statistical Applications: An | |
Example Using STABLE -- On Multiple Window Local Polynomial Approximation with Varying Adaptive Bandwidths -- Minimization of Computational Cost in Tree-Based Methods by a Proper Ordering of Splits -- Stable Multivariate Procedures — | |
Strategies and Software Tools -- An Alternating Method to Optimally Transform Variables in Projection Pursuit Regression -- Predicting from Unbalanced Linear or Generalized Linear Models -- MCMC Solution to Circle Fitting in Analysis | |
of RICH Detector Data -- A Visual Future for Statistical Computing -- Development of Statistical Software SAMMIF for Sensitivity Analysis in Multivariate Methods -- Data Imputation and Nowcasting in the Environmental Sciences Using | |
Clustering and Connectionist Modelling -- Graphical User Interface for Statistical Software Using Internet -- A Wavelet Approach to Functional Principal Component Analysis -- Quasi-Monte Carlo EM Algorithm for MLEs in Generalized | |
Linear Mixed Models -- Applications of Smoothed Monotone Regression Splines and Smoothed Bootstrapping in Survival Analysis -- Comparing the Fits of Non-Nested Non-Linear Models -- The Deepest Fit -- Partially Linear Models: A New | |
Algorithm and some Simulation Results -- Induction of Graphical Models from Incomplete Samples -- Locally and Bayesian Optimal Designs for Binary Dose-Response Models with Various Link Functions -- Statistics Training and the Internet | |
-- Jointly Modelling Longitudinal and Survival Data -- Representing Solar Active Regions with Triangulations -- A General Form for Specification of Correlated Error Models, with Allowance for Heterogeneity -- Exploratory Data Analysis | |
with Linked Dotplots and Histograms -- An Object-Oriented Approach to Local Computation in Bayes Linear Belief Networks -- Index of Authors -- Index of Keywords | |
ISBN: | 9783662011317 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Statistics , Information technology , Business , Computer science , Statistics , Statistics and Computing/Statistics Programs , Math Applications in Computer Science , IT in Business |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1998-9783540687115:ONLINE Show nearby items on shelf |
Title: | Markov Set-Chains |
Author(s): |
Darald J Hartfiel |
Date: | 1998 |
Size: | 1 online resource (132 p.) |
Note: | 10.1007/BFb0094586 |
Contents: | Stochastic matrices and their variants -- to Markov set-chains -- Convergence of Markov set-chains -- Behavior in Markov set-chains |
ISBN: | 9783540687115 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 1695 |
Keywords: | Mathematics , Computer science , Matrix theory , Algebra , Convex geometry , Discrete geometry , Probabilities , Biomathematics , Mathematics , Probability Theory and Stochastic Processes , Linear and Multilinear Algebras, Matrix Theory , Convex and Discrete Geometry , Mathematical and Computational Biology , Math Applications in Computer Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1998-9781461222149:ONLINE Show nearby items on shelf |
Title: | Maple V Programming Guide |
Author(s): |
M. B Monagan |
Date: | 1998 |
Size: | 1 online resource (379 p.) |
Note: | 10.1007/978-1-4612-2214-9 |
Contents: | 1. Introduction -- 1.1 Getting Started -- 1.2 Basic Programming Constructs -- 1.3 Basic Data Structures -- 1.4 Computing with Formulae -- 2. Fundamentals -- 2.1 Evaluation Rules -- 2.2 Nested Procedures -- 2.3 Types -- 2.4 Choosing a |
Data Structure: Connected Graphs -- 2.5 Remember Tables -- 2.6 Conclusion -- 3. Advanced Programming -- 3.1 Procedures Which Return Procedures -- 3.2 When Local Variables Leave Home -- 3.3 Interactive Input -- 3.4 Extending Maple -- | |
3.5 Writing Your Own Packages -- 3.6 Conclusion -- 4. The Maple Language -- 4.1 Language Elements -- 4.2 Escape Characters -- 4.3 Statements -- 4.4 Expressions -- 4.5 Useful Looping Constructs -- 4.6 Substitution -- 4.7 Conclusion -- | |
5. Procedures -- 5.1 Procedure Definitions -- 5.2 Parameter Passing -- 5.3 Local and Global Variables -- 5.4 Procedure Options and the Description Field -- 5.5 The Value Returned by a Procedure -- 5.6 The Procedure Object -- 5.7 | |
Explorations -- 5.8 Conclusion -- 6. Debugging Maple Programs -- 6.1 A Tutorial Example -- 6.2 Invoking the Debugger -- 6.3 Examining and Changing the State of the System -- 6.4 Controlling Execution -- 6.5 Restrictions -- 7. Numerical | |
Programming in Maple -- 7.1 The Basics of evalf -- 7.2 Hardware Floating-Point Numbers -- 7.3 Floating-Point Models in Maple -- 7.4 Extending the evalf Command -- 7.5 Using the Matlab Package -- 7.6 Conclusion -- 8. Programming with | |
Maple Graphics -- 8.1 Basic Plot Functions -- 8.2 Programming with Plotting Library Functions -- 8.3 Maple’s Plotting Data Structures -- 8.4 Programming with Plot Data Structures -- 8.5 Programming with the plottools Package -- 8.6 | |
Example: Vector Field Plots -- 8.7 Generating Grids of Points -- 8.8 Animation -- 8.9 Programming with Color -- 8.10 Conclusion -- 9. Input and Output -- 9.1 A Tutorial Example -- 9.2 File Types and Modes -- 9.3 File Descriptors versus | |
File Names -- 9.4 File Manipulation Commands -- 9.5 Input Commands -- 9.6 Output Commands -- 9.7 Conversion Commands -- 9.8 A Detailed Example -- 9.9 Notes to C Programmers -- 9.10 Conclusion | |
ISBN: | 9781461222149 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Chemometrics , Computer science , Algorithms , Physics , Computational intelligence , Mathematics , Algorithms , Symbolic and Algebraic Manipulation , Theoretical, Mathematical and Computational Physics , Math. Applications in Chemistry , Computational Intelligence |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1998-9781461222125:ONLINE Show nearby items on shelf |
Title: | Maple V Learning Guide |
Author(s): |
K. M Heal |
Date: | 1998 |
Size: | 1 online resource (8 p.) |
Note: | 10.1007/978-1-4612-2212-5 |
Contents: | 1. Interactive Use of Maple -- 1.1 The Worksheet Interface -- 1.2 Tutorial 1: Solving Problems -- 1.4 Tutorial 3: Documenting Your Work -- 1.5 Tutorial 4: Multiple Worksheets -- 1.6 Tutorial 5: Getting Help -- 1.7 Conclusion -- 2. |
Mathematics with Maple: the Basics -- 2.1 Introduction -- 2.2 Numerical Computations -- 2.3 Basic Symbolic Computations -- 2.4 Assigning Names to Expressions -- 2.5 More Basic Types of Maple Objects -- 2.6 Expression Manipulation -- | |
2.7 Conclusion -- 3. Finding Solutions -- 3.1 Simple solve -- 3.2 Solving Numerically: fsolve -- 3.3 Other Solvers -- 3.4 Polynomials -- 3.5 Calculus -- 3.6 Differential Equations: dsolve -- 3.7 The Organization of Maple -- 3.8 The | |
Maple Packages -- 3.9 Conclusion -- 4. Graphics -- 4.1 Graphing in Two Dimensions -- 4.2 Graphing in Three Dimensions -- 4.3 Animation -- 4.4 Annotating Plots -- 4.5 Composite Plots -- 4.6 Special Types of Plots -- 4.7 Manipulating | |
Graphical Objects -- 4.8 Conclusion -- 5. Evaluation and Simplification -- 5.1 Mathematical Manipulations -- 5.2 The Assume Facility -- 5.3 Structural Manipulations -- 5.4 Evaluation Rules -- 5.5 Conclusion -- 6. Examples from Calculus | |
-- 6.1 Introductory Calculus -- 6.2 Ordinary Differential Equations -- 6.3 Partial Differential Equations -- 6.4 Conclusion -- 7. Input and Output -- 7.1 Reading Files -- 7.2 Writing Data to a File -- 7.3 Exporting Whole Worksheets -- | |
7.4 Printing Graphics -- 7.5 Conclusion | |
ISBN: | 9781461222125 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Chemometrics , Computer science , Algorithms , Physics , Computational intelligence , Mathematics , Algorithms , Symbolic and Algebraic Manipulation , Theoretical, Mathematical and Computational Physics , Math. Applications in Chemistry , Computational Intelligence |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1997-9781461241287:ONLINE Show nearby items on shelf |
Title: | An Introduction to Functional Analysis in Computational Mathematics |
Author(s): |
V. I Lebedev |
Date: | 1997 |
Size: | 1 online resource (256 p.) |
Note: | 10.1007/978-1-4612-4128-7 |
Contents: | 1. Functional Spaces and Problems in the Theory of Approximation -- 1. Metric Spaces -- 2. Compact Sets in Metric Spaces -- 3. Statement of the Main Extremal Problems in the Theory of Approximation. Main Characteristics of the Best |
Approximations -- 4. The Contraction Mapping Principle -- 5. Linear Spaces -- 6. Normed and Banach Spaces -- 7. Spaces with an Inner Product. Hilbert Spaces -- 8. Problems on the Best Approximation. Orthogonal Expansions and Fourier | |
Series in a Hilbert Space -- 9. Some Extremal Problems in Normed and Hilbert Spaces -- 10. Polynomials the Least Deviating from Zero. Chebyshev Polynomials and Their Properties -- 11. Some Extremal Polynomials -- 2. Linear Operators | |
and Functionals -- 1. Linear Operators in Banach Spaces -- 2. Spaces of Linear Operators -- 3. Inverse Operators. Linear Operator Equations. Condition Measure of Operator -- 4. Spectrum and Spectral Radius of Operator. Convergence | |
Conditions for the Neumann Series. Perturbations Theorem -- 5. Uniform Boundedness Principle -- 6. Linear Functionals and Adjoint Space -- 7. The Riesz Theorem. The Hahn-Banach Theorem. Optimization Problem for Quadrature Formulas. The | |
Duality Principle -- 8. Adjoint, Selfadjoint, Symmetric Operators -- 9. Eigenvalues and Eigenelements of Selfadjoint and Symmetric Operators -- 10. Quadrature Functionals with Positive Definite Symmetric or Symmetrizable Operator and | |
Generalized Solutions of Operator Equations -- 11. Variational Methods for the Minimization of Quadrature Functionals -- 12. Variational Equations. The Vishik-Lax-Milgram Theorem -- 13. Compact (Completely Continuous) Operators in | |
Hilbert Space -- 14. The Sobolev Spaces. Embedding Theorems -- 15. Generalized Solution of the Dirichlet Problem for Elliptic Equations of the Second Order -- 3. Iteration Methods for the Solution of Operator Equations -- 1. General | |
Theory of Iteration Methods -- 2. On the Existence of Convergent Iteration Methods and Their Optimization -- 3. The Chebyshev One-Step (Binomial) Iteration Methods -- 4. The Chebyshev Two-Step (Trinomial) Iteration Method -- 5. The | |
Chebyshev Iteration Methods for Equations with Symmetrized Operators -- 6. Block Chebyshev Method -- 7. The Descent Methods -- 8. Differentiation and Integration of Nonlinear Operators. The Newton Method -- 9. Partial Eigenvalue | |
Problem -- 10. Successive Approximation Method for Inverse Operator -- 11. Stability and Optimization of Explicit Difference Schemes for Stiff Differential Equations | |
ISBN: | 9781461241287 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer science , Functional analysis , Applied mathematics , Engineering mathematics , Computer mathematics , Mathematics , Functional Analysis , Computational Mathematics and Numerical Analysis , Math Applications in Computer Science , Applications of Mathematics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1996-9783642997891:ONLINE Show nearby items on shelf |
Title: | Applied Mathematics and Parallel Computing Festschrift for Klaus Ritter |
Author(s): | |
Date: | 1996 |
Size: | 1 online resource (376 p.) |
Note: | 10.1007/978-3-642-99789-1 |
Contents: | Informatics and the Internal Necessity for the Mathematization of the Sciences -- A New Semi-infinite Programming Method for Nonlinear Approximation -- Exhibition Organized by Klaus Ritter on the Occasion of the 125th Anniversary of |
the Technical University of Munich -- Concavity of the Vector-Valued Functions Occuring in Fuzzy Multiobjective Decision-Making -- An Algorithm for the Solution of the Parametric Quadratic Programming Problem -- Optimal and | |
Asymptotically Optimal Equi-partition of Rectangular Domains via Stripe Decomposition -- Trust-Region Interior-Point Algorithms for Minimization Problems with Simple Bounds -- Adaptive Kernel Estimation of a Cusp-shaped Mode -- | |
Automatic Differentiation: The Key Idea and an Illustrative Example -- An Approach to Parallelizing Isotonic Regression -- Mathematical Programming at Oberwolfach -- A SQP-Method for Linearly Constrained Maximum Likelihood Problems -- | |
Machine Learning via Polyhedral Concave Minimization -- Optimization Concepts in Autonomous Mobile Platform Design -- A Fuzzy Set Approach for Optimal Positioning of a Mobile Robot Using Sonar Data -- Gradient Computation by Matrix | |
Multiplication -- Simulating Ultrasonic Range Sensors on a Transputer Workstation -- A Modular Architecture for Optimization Tutorials -- Differential Stability Conditions for Saddle Problems on Products of Convex Polyhedra -- | |
Large-Scale Global Optimization on Transputer Networks -- The Statistical Art of Maximizing the Likelihood -- Remote Access to a Transputer Workstation -- An Extension of Multivariate Reliability Systems -- Automatic Differentiation: A | |
Structure-Exploiting Forward Mode with Almost Optimal Complexity for Kantorovi? Trees -- Approximate Structured Optimization by Cyclic Block-Coordinate Descent -- Author Index | |
ISBN: | 9783642997891 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Operations research , Decision making , Microprocessors , Computer science , Probabilities , Mathematics , Probability Theory and Stochastic Processes , Math Applications in Computer Science , Processor Architectures , Operation Research/Decision Theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1996-9781475754261:ONLINE Show nearby items on shelf |
Title: | How Nature Works the science of self-organized criticality |
Author(s): |
Per Bak |
Date: | 1996 |
Size: | 1 online resource (9 p.) |
Note: | 10.1007/978-1-4757-5426-1 |
Contents: | 1 Complexity and Criticality -- 2 The Discovery of Self-Organized Criticality -- 3 The Sandpile Paradigm -- 4 Real Sandpiles and Landscape Formation -- 5 Earthquakes, Starquakes, and Solar Flares -- 6 The “Game of Life”: Complexity Is |
Criticality -- 7 Is Life a Self-Organized Critical Phenomenon? -- 8 Mass Extinctions and Punctuated Equilibria in a Simple Model of Evolution -- 9 Theory of the Punctuated Equilibrium Model -- 10 The Brain -- 11 On Economics and | |
Traffic Jams | |
ISBN: | 9781475754261 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Chemometrics , Earth sciences , Computer simulation , Mathematical analysis , Analysis (Mathematics) , Biomathematics , Statistical physics , Dynamical systems , Mathematics , Analysis , Statistical Physics, Dynamical Systems and Complexity , Simulation and Modeling , Math. Applications in Chemistry , Earth Sciences, general , Mathematical and Computational Biology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1996-9781461240884:ONLINE Show nearby items on shelf |
Title: | Learning and Geometry: Computational Approaches |
Author(s): | |
Date: | 1996 |
Size: | 1 online resource (212 p.) |
Note: | 10.1007/978-1-4612-4088-4 |
Contents: | Learning -- MDL Learning -- PAC Learning, Noise and Geometry -- A Review of Some Extensions to the PAC Learning Model -- Geometry -- Finite Point Sets and Oriented Matroids: Combinatorics in Geometry -- A Survey of Geometric Reasoning |
Using Algebraic Methods -- Synthetic versus Analytic Geometry for Computers -- Representing Geometric Configurations -- Geometry Theorem Proving in Euclidean, Decartesian, Hilbertian and Computerwise Fashion | |
ISBN: | 9781461240884 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Progress in Computer Science and Applied Logic : 14 |
Keywords: | Computer science , Computer science , Education , Computer mathematics , Geometry , Mathematics , Computer Science , Math Applications in Computer Science , Geometry , Computers and Education , Mathematics Education , Computational Mathematics and Numerical Analysis , Computer Science, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9780817644468:ONLINE Show nearby items on shelf |
Title: | Linear Algebra |
Author(s): |
Harold M Edwards |
Date: | 1995 |
Size: | 1 online resource (184 p.) |
Note: | 10.1007/978-0-8176-4446-8 |
Contents: | Matrix Multiplication -- Equivalence of Matrices. Reduction to Diagonal Form -- Matrix Division -- Determinants -- Testing for Equivalence -- Matrices with Rational Number Entries -- The Method of Least Squares -- Matrices with |
Polynomial Entries -- Similarity of Matrices -- The Spectral Theorem | |
ISBN: | 9780817644468 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer science , Matrix theory , Algebra , Applied mathematics , Engineering mathematics , Economic theory , Mathematics , Linear and Multilinear Algebras, Matrix Theory , Math Applications in Computer Science , Mathematics of Computing , Appl.Mathematics/Computational Methods of Engineering , Economic Theory/Quantitative Economics/Mathematical Methods |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1993-9781461383789:ONLINE Show nearby items on shelf |
Title: | MacMath 9.2 A Dynamical Systems Software Package for the Macintosh™ |
Author(s): |
John H Hubbard |
Date: | 1993 |
Size: | 1 online resource (162 p.) |
Note: | 10.1007/978-1-4613-8378-9 |
ISBN: | 9781461383789 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Computer science , Statistical physics , Dynamical systems , Physics , Statistical Physics, Dynamical Systems and Complexity , Math Applications in Computer Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1993-9781461209034:ONLINE Show nearby items on shelf |
Title: | The Joy of Sets Fundamentals of Contemporary Set Theory |
Author(s): |
Keith Devlin |
Date: | 1993 |
Edition: | Second Edition |
Size: | 1 online resource (194 p.) |
Note: | 10.1007/978-1-4612-0903-4 |
Contents: | 1 Naive Set Theory -- 1.1 What is a Set? -- 1.2 Operations on Sets -- 1.3 Notation for Sets -- 1.4 Sets of Sets -- 1.5 Relations -- 1.6 Functions -- 1.7 Well-Or der ings and Ordinals -- 1.8 Problems -- 2 The Zermelo—Fraenkel Axioms -- |
2.1 The Language of Set Theory -- 2.2 The Cumulative Hierarchy of Sets -- 2.3 The Zermelo—Fraenkel Axioms -- 2.4 Classes -- 2.5 Set Theory as an Axiomatic Theory -- 2.6 The Recursion Principle -- 2.7 The Axiom of Choice -- 2.8 Problems | |
-- 3 Ordinal and Cardinal Numbers -- 3.1 Ordinal Numbers -- 3.2 Addition of Ordinals -- 3.3 Multiplication of Ordinals -- 3.4 Sequences of Ordinals -- 3.5 Ordinal Exponentiation -- 3.6 Cardinality, Cardinal Numbers -- 3.7 Arithmetic of | |
Cardinal Numbers -- 3.8 Regular and Singular Cardinals -- 3.9 Cardinal Exponentiation -- 3.10 Inaccessible Cardinals -- 3.11 Problems -- 4 Topics in Pure Set Theory -- 4.1 The Borel Hierarchy -- 4.2 Closed Unbounded Sets -- 4.3 | |
Stationary Sets and Regressive Functions -- 4.4 Trees -- 4.5 Extensions of Lebesgue Measure -- 4.6 A Result About the GCH -- 5 The Axiom of Constructibility -- 5.1 Constructible Sets -- 5.2 The Constructible Hierarchy -- 5.3 The Axiom | |
of Constructibility -- 5.4 The Consistency of V = L -- 5.5 Use of the Axiom of Constructibility -- 6 Independence Proofs in Set Theory -- 6.1 Some Undecidable Statements -- 6.2 The Idea of a Boolean-Valued Universe -- 6.3 The | |
Boolean-Valued Universe -- 6.4 VB and V -- 6.5 Boolean-Valued Sets and Independence Proofs -- 6.6 The Nonprovability of the CH -- 7 Non-Well-Founded Set Theory -- 7.1 Set-Membership Diagrams -- 7.2 The Anti-Foundation Axiom -- 7.3 The | |
Solution Lemma -- 7.4 Inductive Definitions Under AFA -- 7.5 Graphs and Systems -- 7.6 Proof of the Solution Lemma -- 7.7 Co-Inductive Definitions -- 7.8 A Model of ZF- +AFA -- Glossary of Symbols | |
ISBN: | 9781461209034 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer science , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Math Applications in Computer Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1993-9781461203254:ONLINE Show nearby items on shelf |
Title: | Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday |
Author(s): | |
Date: | 1993 |
Size: | 1 online resource (816 p.) |
Note: | 10.1007/978-1-4612-0325-4 |
Contents: | The Work of Anil Nerode: A Retrospective -- Embedding Distributive Lattices Preserving 1 Below A Nonzero Recursively Enumerable Turing Degree -- Prime Isols and the Theorems of Fermat and Wilson -- Problem Solving Strategies for the |
Derivation of Programs -- Effective Real Dynamics -- An Integer Lattice Arising in the Model Theory of Wreath Products -- Undecidability and Definability for Parametrized Polynomial Time m-Reducibilities -- Extracting Programs from | |
Proofs by an Extension of the Curry-Howard Process -- A Bird’s-Eye View of Twilight Combinatorics -- Effectively and Noneffectively Nowhere Simple Subspaces -- Index Sets in Recursive Combinatorics -- Computability in Unitary | |
Representations of Compact Groups -- Recursive Properties of Intervals of Recursive Linear Orders -- Algorithmic Stability of Models -- The Combinatorics of the Friedberg-Muchnick Theorem -- Partial Automata and Finitely Generated | |
Congruences: An Extension of Nerode’s Theorem -- Minimal Pair Constructions and Iterated Trees of Strategies -- Intuitionistic L -- n-Recursive Linear Orders Without (n + 1)-Recursive Copies -- Multiple Agent Autonomous Control — A | |
Hybrid Systems Architecture -- Distributed Concurrent Programs as Strategies in Games -- Dempster-Shafer Logic Programs and Stable Semantics -- Who Put the “Back” in Back-and-Forth? -- Polynomial Time Categoricity and Linear Orderings | |
-- The Disjunction and Numerical Existence Properties for Intuitionistic Analysis -- On the Strength of Fraïssé’s Conjecture | |
ISBN: | 9781461203254 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Progress in Computer Science and Applied Logic : 12 |
Keywords: | Computer science , Computer logic , Mathematical logic , Computer science , Applied mathematics , Engineering mathematics , Computer Science , Math Applications in Computer Science , Applications of Mathematics , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages , Logics and Meanings of Programs |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1992-9783540475002:ONLINE Show nearby items on shelf |
Title: | Design of Survivable Networks |
Author(s): |
Mechthild Stoer |
Date: | 1992 |
Size: | 1 online resource (204 p.) |
Note: | 10.1007/BFb0088963 |
Contents: | Motivation -- Network survivability models using node types -- Survivable network design under connectivity constraints — a survey -- Decomposition -- Basic inequalities -- Lifting theorems -- Partition inequalities -- Node partition |
inequalities -- Lifted r-cover inequalities -- Comb inequalities -- How to find valid inequalities -- Implementation of the cutting plane algorithm -- Computational results | |
ISBN: | 9783540475002 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 1531 |
Keywords: | Engineering , Chemometrics , Computer science , System theory , Calculus of variations , Probabilities , Applied mathematics , Engineering mathematics , Engineering , Appl.Mathematics/Computational Methods of Engineering , Mathematics of Computing , Probability Theory and Stochastic Processes , Systems Theory, Control , Calculus of Variations and Optimal Control Optimization , Math. Applications in Chemistry |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1991-9780817648442:ONLINE Show nearby items on shelf |
Title: | Linear Programming |
Author(s): |
Howard Karloff |
Date: | 1991 |
Edition: | 1 |
Size: | 1 online resource (144 p.) |
Note: | 10.1007/978-0-8176-4844-2 |
Contents: | The Basics -- The Simplex Algorithm -- Duality -- The Ellipsoid Algorithm -- Karmarkar’s Algorithm |
ISBN: | 9780817648442 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Computer science , Computer programming , Programming languages (Electronic computers) , Algorithms , Computer science , Applied mathematics , Engineering mathematics , Computer mathematics , Computer Science , Programming Techniques , Applications of Mathematics , Programming Languages, Compilers, Interpreters , Math Applications in Computer Science , Computational Mathematics and Numerical Analysis , Algorithm Analysis and Problem Complexity |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1985-9783540393658:ONLINE Show nearby items on shelf |
Title: | Recent Mathematical Methods in Dynamic Programming Proceedings of the Conference held in Rome, Italy, March 26–28, 1984 |
Author(s): | |
Date: | 1985 |
Size: | 1 online resource (204 p.) |
Note: | 10.1007/BFb0074776 |
Contents: | The time optimal control of variational inequalities. dynamic programming and the maximum principle -- Some singular perturbation problems arising in stochastic control -- Some results on stationary Bellman equation in Hilbert spaces |
-- A stochastic control approach to some large deviations problems -- Towards an expert system in stochastic control: Optimization in the class of local feedbacks -- Optimal control and viscosity solutions -- Some control problems of | |
degenerate diffusions with unbounded cost -- On some stochastic optimal impulse control problems -- Approximation of Hamilton-Jacobi-Bellman equation in deterministic control theory. An application to energy production systems -- | |
Dynamic programming for optimal control problems with terminal constraints | |
ISBN: | 9783540393658 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 1119 |
Keywords: | Computer science , Computer science , Computer Science , Math Applications in Computer Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1983-9783642688744:ONLINE Show nearby items on shelf |
Title: | Mathematical Programming The State of the Art Bonn 1982 |
Author(s): | |
Date: | 1983 |
Size: | 1 online resource (658 p.) |
Note: | 10.1007/978-3-642-68874-4 |
Contents: | I. About the XIth International Symposium on Mathematical Programming -- Program and Organizing Committee -- Welcoming Addresses -- List of Sponsors -- The Fulkerson Prize and the Dantzig Prize 1982 -- II. Mathematical Programming: |
The State of the Art — Bonn 1982 -- Predictor-Corrector and Simplicial Methods for Approximating Fixed Points and Zero Points of Nonlinear Mappings -- Polyhedral Theory and Commutative Algebra -- Reminiscences About the Origins of | |
Linear Programming -- Penalty Functions -- Applications of the FKG Inequality and its Relatives -- Semi-Infinite Programming and Applications -- Applications of Matroid Theory -- Recent Results in the Theory of Machine Scheduling -- | |
Submodular Functions and Convexity -- Recent developments in Algorithms and Software for Trust Region Methods -- Variable Metric Methods for Constrained Optimization -- Polyhedral Combinatorics -- Generalized Equations -- Generalized | |
Subgradients in Mathematical Programming -- Nondegeneracy Problems in Cooperative Game Theory -- Conic Methods for Unconstrained Minimization and Tensor Methods for Nonlinear Equations -- Min-Max Results in Combinatorial Optimization | |
-- Generalized Gradient Methods of Non-Differentiable Optimization Employing Space Dilatation Operations -- The Problem of the Average Speed of the Simplex Method -- Solution of Large Linear Systems of Equations by Conjugate Gradient | |
Type Methods -- Stochastic Programming: Solution Techniques and Approximation Schemes -- III. Scientific Program -- IV. List of Authors | |
ISBN: | 9783642688744 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computers , Computer science , Convex geometry , Discrete geometry , Calculus of variations , Combinatorics , Economic theory , Mathematics , Combinatorics , Convex and Discrete Geometry , Calculus of Variations and Optimal Control Optimization , Theory of Computation , Math Applications in Computer Science , Economic Theory/Quantitative Economics/Mathematical Methods |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1969-9783662380253:ONLINE Show nearby items on shelf |
Title: | Integral Operators in the Theory of Linear Partial Differential Equations |
Author(s): |
Stefan Bergman |
Date: | 1969 |
Edition: | Second Revised Printing |
Size: | 1 online resource (145 p.) |
Note: | 10.1007/978-3-662-38025-3 |
ISBN: | 9783662380253 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Ergebnisse der Mathematik und ihrer Grenzgebiete : N. F., 23 |
Keywords: | Mathematics , Computer science , Difference equations , Functional equations , Physics , Mathematics , Difference and Functional Equations , Math Applications in Computer Science , Theoretical, Mathematical and Computational Physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Return to the Fermilab Library catalog