Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
Call number: | 9784431558033:ONLINE Show nearby items on shelf |
Title: | From Tracking Code to Analysis : Generalised Courant-Snyder Theory for Any Accelerator Model |
Author(s): |
Etienne Forest |
Date: | 2016 |
Publisher: | Springer Japan |
Size: | 1 online resource (347 p) |
Note: | EBL eBook |
Contents: | Introduction -- The linear transverse normal form: one degree of freedom -- The nonlinear transverse normal form: one degree of freedom -- Classification of linear normal forms -- Nonlinear normal forms -- Spin normal form -- The nonlinear spin-orbi tal phase advance: the mother of all algorithms -- Deprit-Guignard perturbation theory faithful to the code -- Here is the conclusion of this book -- Phasors basis: why do I reject symplectic phasors? -- The logarithm of a map -- Stroboscopic average for the ISF vector n -- Hierarchy of Analytical Methods. |
ISBN: | 9784431558026 |
Series: | eBooks |
Keywords: | Particle accelerators, Design and construction, Computer 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: | 9783662532249:ONLINE Show nearby items on shelf |
Title: | Computational Multiscale Modeling of Fluids and Solids Theory and Applications |
Author(s): |
Martin Oliver Steinhauser |
Date: | 2017 |
Edition: | 2nd ed. 2017 |
Size: | 1 online resource (XXIII, 405 p. 139 illus., 34 illus. in color p.) |
Contents: | Part I Fundamentals -- Introduction -- Multiscale Computational Materials Science -- Mathematical and Physical Prerequisites -- Fundamentals of Numerical Simulation -- Part II Computational Methods on Multiscales -- Summary of Part I |
-- Computational Methods on Electronic/Atomistic Scale -- Computational Methods on Atomistic/Microscopic Scale -- Computational Methods on Microscopic/Mesoscopic Scale -- Perspectives in Multiscale Materials Modeling -- Further Reading | |
-- Mathematical Definitions -- Sample code for the main routine of a MD simulation -- A Sample Makefile -- Tables of Physical Constants -- List of Algorithms -- Selected Solutions | |
ISBN: | 9783662532249 |
Series: | eBooks |
Series: | Springer eBooks |
Series: | Springer 2017 package |
Keywords: | Physics , Computer mathematics , Geophysics , Applied mathematics , Engineering mathematics , Materials science , Physics , Numerical and Computational Physics, Simulation , Characterization and Evaluation of Materials , Computational Mathematics and Numerical Analysis , Appl.Mathematics/Computational Methods of Engineering , Geophysics and Environmental 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: | 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: | 9781439822050:ONLINE Show nearby items on shelf |
Title: | Computer simulation using particles [electronic resource] |
Author(s): |
Roger W. Hockney James W. Eastwood |
Date: | 1988 |
Publisher: | Taylor & Francis |
Size: | 1 online resource (540 p.) |
Contents: | Chapter 1. Computer Experiments Using Particle Models Chapter 2. A One-Dimensional Plasma Model Chapter 3. The Simulation Program Chapter 4. Time Integration Schemes Chapter 5. The Particle-Mesh Force Calculation Chapter 6. The Solution of the Field Equations Chapter 7. Collisionless Particle Models Chapter 8. Particle-Particle-Particle-Mesh (P3m) Algorithms Chapter 9. Plasma Simulation Chapter 10. Semiconductor Device Simulation Chapter 11. Astrophysics Chapter 12. Solids, Liquids, and Phase Changes |
ISBN: | 9780852743928 |
Series: | CRCnetBASE eBook platform |
Series: | eBooks single |
Keywords: | Digital computer simulation , Particles, Computer simulation |
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: | 9781316576533:ONLINE Show nearby items on shelf |
Title: | Computer age statistical inference : algorithms, evidence, and data science [electronic resource] |
Author(s): |
Bradley Efron Trevor Hastie |
Publisher: | Cambridge University Press |
Size: | 1 electronic resource (475 pages) |
Contents: | Algorithms and inference -- Frequentist inference -- Bayesian inference -- Fisherian inference and maximum likelihood estimation -- Parametric models and exponential families -- Empirical Bayes -- Jame-Stein estimation and ridge regression -- Genera lized linear models and regression trees -- Survival analysis and the EM algorithm -- The jackknife and the bootstrap -- Bootstrap confidence intervals -- Cross-validation and Cp estimates of prediction error -- Postwar statistical inference and methodolo gy -- Large-scale hypothesis testing and FDRs -- Sparse modeling and the lasso -- Random forests and boosting -- Neural networks and deep learning -- Support-vector machines and kernel methods -- Inference after model selection -- Empirical Bayes estimati on strategies. |
ISBN: | 9781316576533 |
Series: | Institute of mathematical statistics monographs |
Keywords: | 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 |
Location: | NEW DATE = 2016 |
Call number: | 1119013356:ONLINE Show nearby items on shelf |
Title: | Optimization of Computer Networks - Modeling and Algorithms - A Hands-On Approach |
Author(s): |
Marino |
Date: | 2016 |
Size: | 1 online resource (421 p.) |
ISBN: | 9781119013358 |
Series: | eBooks |
Series: | Wiley Online Library |
Series: | Wiley 2016 package purchase |
Keywords: | Electrical & Electronics 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: | 1118341139:ONLINE Show nearby items on shelf |
Title: | Evolutionary Algorithms for Mobile Ad hoc Networks |
Author(s): |
Dorronsoro |
Date: | 2014 |
Publisher: | Wiley |
Size: | 1 online resource (241 p.) |
ISBN: | 9781118341131 |
Series: | eBooks |
Series: | Wiley Online Library |
Series: | Wiley 2016 package purchase |
Keywords: | 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: | 0471455652:ONLINE Show nearby items on shelf |
Title: | Practical Genetic Algorithms, Second Edition with CD-ROM |
Author(s): |
Haupt |
Date: | 2004 |
Publisher: | Wiley-Interscience |
Size: | 1 online resource (273 p.) |
ISBN: | 9780471455653 |
Series: | eBooks |
Series: | Wiley Online Library |
Series: | Wiley 2016 package purchase |
Keywords: | 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: | 0470902108:ONLINE Show nearby items on shelf |
Title: | Algorithms and Parallel Computing |
Author(s): |
Gebali |
Date: | 2011 |
Publisher: | Wiley |
Size: | 1 online resource (365 p.) |
ISBN: | 9780470902103 |
Series: | eBooks |
Series: | Wiley Online Library |
Series: | Wiley 2016 package purchase |
Keywords: | 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: | 0470890452:ONLINE Show nearby items on shelf |
Title: | Data Mining: Concepts, Models, Methods, and Algorithms, Second Edition |
Author(s): |
Kantardzic |
Date: | 2011 |
Publisher: | Wiley-IEEE Press |
Size: | 1 online resource (553 p.) |
ISBN: | 9780470890455 |
Series: | eBooks |
Series: | Wiley Online Library |
Series: | Wiley 2016 package purchase |
Keywords: | 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: | 0470018127:ONLINE Show nearby items on shelf |
Title: | Algorithms and Networking for Computer Games |
Author(s): |
Smed |
Date: | 2006 |
Publisher: | Wiley |
Size: | 1 online resource (289 p.) |
ISBN: | 9780470018125 |
Series: | eBooks |
Series: | Wiley Online Library |
Series: | Wiley 2016 package purchase |
Keywords: | Electrical & Electronics 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: | 047001704X:ONLINE Show nearby items on shelf |
Title: | An Introduction to 3D Computer Vision Techniquesand Algorithms |
Author(s): |
Cyganek |
Date: | 2009 |
Publisher: | Wiley |
Size: | 1 online resource (505 p.) |
ISBN: | 9780470017043 |
Series: | eBooks |
Series: | Wiley Online Library |
Series: | Wiley 2016 package purchase |
Keywords: | Electrical & Electronics 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: | TK5105.5.T36::2011 Show nearby items on shelf |
Title: | Computer networks |
Author(s): |
Andrew S. Tanenbaum David Wetherall |
Date: | 2011 |
Edition: | 9780132126953 |
Publisher: | Boston : Pearson Prentice Hall |
Size: | 933 p |
Contents: | Uses of computer networks -- network hardware -- Network software -- Reference models -- Example networks -- Network standardization -- Metric units -- The theoretical basis for data communication -- Guided transmission media -- wireless transmissio n -- Communication satellites -- Digital modulation and multiplexing -- The public switched telephone network - The mobile telephone system -- Cable television -- Data link layer design issues -- Error detection and correction -- Elementary data link prot ocols -- Sliding window protocols -- Example data link protocols -- The channel allocation problem -- Multiple access protocols -- Ethernet -- Wireless lans -- Broadband wireless -- Bluetooth -- RFID -- Data link layer switching -- Network layer design is sues -- Routing algorithms -- Congestion control algorithms -- Quality of service -- Internetworking -- The network layer in the internet -- The transport service -- Elements of transport protocols -- Congestion control -- The internet transport protocols : UDP -- The internet transport protocols: TCP -- Performance issues -- Delay-tolerant networking -- DNS-The domain name system -- Electronic mail -- The world wide web -- Streaming audio and video -- Content delivery -- Cryptography -- Symmetric-key algo rithms -- Public-key algorithms -- Digital signatures -- Management of public keys -- Communication security -- Authentication protocols -- Email security -- Web security -- Social issues. |
ISBN: | 9780132126953 |
Keywords: | Computer networks. |
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 |
Location: | MAIN |
Call number: | TK5102.5.E46::1991 Show nearby items on shelf |
Title: | C language algorithms for digital signal processing |
Author(s): |
Paul M. Embree Bruce Kimble |
Date: | 1991 |
Publisher: | Englewood Cliffs, N.J. : PTR Prentice Hall |
Size: | 456 p |
Contents: | Digital Signal Processing Fundamentals, C Programming Fundamentals, User Interface and Disk Storage Routines, Filtering Routines, Discrete Fourier Transform Routines, Matrix and Vector Routines, Image Processing Routines, Standard C Function Library , DSP Function Library and Programs |
ISBN: | 9780131334069 |
Keywords: | Signal processing Digital techniques Data processing , C (Computer program language) |
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 |
Location: | MAIN |
Call number: | TA1634.S715::2012 Show nearby items on shelf |
Title: | Programming computer vision with Python Tools and algorithms for analyzing images |
Author(s): |
Jan Erik Solem |
Date: | 2012 |
Edition: | 1st ed. |
Publisher: | O'Reilly |
Size: | 247 p |
Contents: | Basic image handling and processing -- Local image descriptors -- Image to image mappings -- Camera models and augmented reality -- Multiple view geometry -- Clustering images -- Searching images -- Classifying image content -- Image segmentation -- OpenCV A. Installing packages B. Image datasets C. Image credits. |
ISBN: | 9781449316549 |
Keywords: | Computer algorithms , Computer vision , Python |
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 |
Location: | NEW BOOKS |
Call number: | TA1634.D38::1997 Show nearby items on shelf |
Title: | Machine vision Theory, algorithms, practicalities |
Author(s): |
E. Roy Davies |
Date: | 1997 |
Publisher: | San Diego : Academic Press |
Note: | 2nd edition |
Note: | 750 p. |
ISBN: | 012206092X |
Keywords: | Computer vision |
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 |
Location: | MAIN |
Call number: | SPRINGER-2016-9784431558033:ONLINE Show nearby items on shelf |
Title: | From Tracking Code to Analysis Generalised Courant-Snyder Theory for Any Accelerator Model |
Author(s): |
Etienne Forest |
Date: | 2016 |
Edition: | 1st ed. 2016 |
Size: | 1 online resource (347 p.) |
Note: | 10.1007/978-4-431-55803-3 |
Contents: | Introduction -- The linear transverse normal form: one degree of freedom -- The nonlinear transverse normal form: one degree of freedom -- Classification of linear normal forms -- Nonlinear normal forms -- Spin normal form -- The |
nonlinear spin-orbital phase advance: the mother of all algorithms -- Deprit-Guignard perturbation theory faithful to the code -- Here is the conclusion of this book -- Phasors basis: why do I reject symplectic phasors? -- The | |
logarithm of a map -- Stroboscopic average for the ISF vector n -- Hierarchy of Analytical Methods | |
ISBN: | 9784431558033 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Computer programming , Particle acceleration , Physics , Particle Acceleration and Detection, Beam Physics , Numerical and Computational Physics , Programming Techniques |
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-2016-9783319411927:ONLINE Show nearby items on shelf |
Title: | Search and Optimization by Metaheuristics Techniques and Algorithms Inspired by Nature |
Author(s): |
Ke-Lin Du |
Date: | 2016 |
Size: | 1 online resource (40 p.) |
Note: | 10.1007/978-3-319-41192-7 |
Contents: | Preface -- Introduction -- Simulated Annealing -- Optimization by Recurrent Neural Networks -- Genetic Algorithms and Genetic Programming -- Evolutionary Strategies -- Differential Evolution -- Estimation of Distribution Algorithms -- Mimetic Algor ithms -- Topics in EAs -- Particle Swarm Optimization -- Artificial Immune Systems -- Ant Colony Optimization -- Tabu Search and Scatter Search -- Bee Metaheuristics -- Harmony Search -- Biomolecular Computing -- Quantum Computing -- Other Heuristics-Insp ired Optimization Methods -- Dynamic, Multimodal, and Constraint-Satisfaction Optimizations -- Multiobjective Optimization -- Appendix 1: Discrete Benchmark Functions -- Appendix 2: Test Functions -- Index |
ISBN: | 9783319411927 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer simulation , Algorithms , Computer mathematics , Mathematical optimization , Computational intelligence , Mathematics , Computational Science and Engineering , Algorithms , Optimization , Simulation and Modeling , 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-2016-9783319323770:ONLINE Show nearby items on shelf |
Title: | Pi: The Next Generation A Sourcebook on the Recent History of Pi and Its Computation |
Author(s): |
David H Bailey |
Date: | 2016 |
Size: | 1 online resource (507 p.) |
Note: | 10.1007/978-3-319-32377-0 |
Contents: | Foreword -- Preface -- Introduction -- Computation of pi using arithmetic-geometric mean -- Fast multiple-precision evaluation of elementary functions -- The arithmetic-geometric mean of Gauss -- The arithmetic-geometric mean and fast computation of elementary functions -- A simplified version of the fast algorithms of Brent and Salamin -- Is pi normal? -- The computation of pi to 29,360,000 decimal digits using Borweins' quartically convergent algorithm -- Gauss, Landen, Ramanujan, the arithmetic-g eometric mean, ellipses, pi, and the ladies diary -- Vectorization of multiple-precision arithmetic program and 201,326,000 decimal digits of pi calculation.-Ramanujan and pi -- 11. Ramanujan, modular equations, and approximations to pi or how to compute one billion digits of pi -- Pi, Euler numbers, and asymptotic expansions -- A spigot algorithm for the digits of pi -- On the rapid computation of various polylogarithmic constants -- Similarities in irrationality proofs for pi, ln 2, ζ(2), |
and ζ(3) -- Unbounded spigot algorithms for the digits of pi -- Mathematics by experiment: Plausible reasoning in the 21st century -- Approximations to pi derived from integrals with nonnegative integrands -- Ramanujan's series for 1/π: A survey - - The computation of previously inaccessible digits of π2 and Catalan's constant -- Walking on real numbers -- Birth, growth and computation of pi to ten trillion digits -- Pi day is upon us again and we still do not know if pi is normal -- The Life of p i -- I prefer pi: A brief mathematical history and anthology of articles in the American Mathematical Monthly -- Bibliography -- Index | |
ISBN: | 9783319323770 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer mathematics , History , Number theory , Mathematics , Computational Mathematics and Numerical Analysis , Number Theory , History of Mathematical 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-2016-9783319320854:ONLINE Show nearby items on shelf |
Title: | Geometry, Algebra and Applications: From Mechanics to Cryptography |
Author(s): | |
Date: | 2016 |
Size: | 1 online resource (198 p.) |
Note: | 10.1007/978-3-319-32085-4 |
Contents: | 1 W. Batat, P. M. Gadea, J. A. Oubiña, A survey on homogeneous structures on the classical hyperbolic spaces -- 2 A. Bejancu, On the (1 + 3) threading of spacetime -- 3 M. Brozos-Vázquez, E. Calviño-Louzao, E. García-Río, R. Vázquez-Lorenzo, L ocal structure of self-dual gradient Yamabe solitons -- 4 G. Calvaruso, The prescribed curvature problem in low dimension -- 5 M. Castrillón López, P. L. García, Euler-Poincare reduction by a subgroup of symmetries as an optimal control problem -- 6 M. Castrillón López, T. S. Ratiu, Morse families and Lagrangian submanifolds -- 7 R. Durán Díaz, L. Hernández Encinas, Special primes: properties and applications -- 8 F. Etayo, Rotation Minimizing vector fields and frames in Riemannian manifolds -- 9 R. Ferreiro Pérez, Local anomaly cancellation and equivariant cohomology of jet bundles -- 10 A. Fúster-Sabater, F. Montoya Vitini, Classes of nonlinear filters for stream ciphers -- 11 V. Gayoso Martínez, L. Hernández Encinas, A. Martín Muñoz, |
Implementation of cryptographic algorithms for elliptic curves -- 12 R. Hernández-Amador, J. Monterde, J. Vallejo, Supermanifolds, symplectic geometry and curvature -- 13 A. Marcelo, F. Marcelo, C. Rodríguez, Prime submodules and symmetric algebra s -- 14 A. Martín del Rey, G. Rodríguez Sánchez, Application to cybersecurity of the stability theory of the systems of ordinary differential equations -- 15 I. V. Mykytyuk, On the non-triviality of the eight-form T4(w) on manifolds with a Spin(9)-stru cture -- 16 A. Peinado, Flaws in the application of Number Theory in Key Distribution Schemes for Multicast Networks -- 17 L. Pozo, E. Rosado, Einstein-Hilbert Lagrangian induced on the linear frame bundle | |
ISBN: | 9783319320854 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Springer Proceedings in Mathematics & Statistics: 161 |
Keywords: | Mathematics , Data structures (Computer science) , Data encryption (Computer science) , Coding theory , Differential geometry , Mathematical physics , Mathematics , Mathematical Physics , Differential Geometry , Data Encryption , Data Structures , Coding and Information 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-2016-9783319294391:ONLINE Show nearby items on shelf |
Title: | Finite Difference Computing with Exponential Decay Models |
Author(s): |
Hans Petter Langtangen |
Date: | 2016 |
Size: | 1 online resource (200 p.) |
Note: | 10.1007/978-3-319-29439-1 |
Contents: | Preface -- Algorithms and implementations -- Analysis -- Generalizations -- Models -- Scientific Software Engineering -- References -- Index. |
ISBN: | 9783319294391 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Computational Science and Engineering: 110 |
Keywords: | Mathematics , Computer programming , Software engineering , Computer mathematics , Physics , Applied mathematics , Engineering mathematics , Mathematics , Computational Science and Engineering , Programming Techniques , Software Engineering , Numerical and Computational Physics , 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-2016-9783319282626:ONLINE Show nearby items on shelf |
Title: | Sparse Grids and Applications - Stuttgart 2014 |
Author(s): | |
Date: | 2016 |
Edition: | 1st ed. 2016 |
Size: | 1 online resource (24 p.) |
Note: | 10.1007/978-3-319-28262-6 |
Contents: | Peng Chen and Christoph Schwab: Adaptive Sparse Grid Model Order Reduction for Fast Bayesian Estimation and Inversion -- Fabian Franzelin and Dirk Pflüger: From Data to Uncertainty: An E_cient Integrated Data-Driven Sparse Grid Approach to Propagat e Uncertainty -- Helmut Harbrecht and Michael Peters: Combination Technique Based Second Moment Analysis for Elliptic PDEs on Random Domains -- Brendan Harding: Adaptive sparse grids and extrapolation techniques -- Philipp Hupp and Riko Jacob: A Cache-Opt imal Alternative to the Unidirectional Hierarchization Algorithm -- Valeriy Khakhutskyy and Markus Hegland: Spatially-Dimension- Adaptive Sparse Grids for Online Learning -- Katharina Kormann and Eric Sonnendrücker: Sparse Grids for the Vlasov–Poisson Equation -- Fabio Nobile, Lorenzo Tamellini, Francesco Tesei and Raul Tempone: An Adaptive Sparse Grid Algorithm for Elliptic PDEs with Lognormal Diffusion Coefficient -- David Pfander, Alexander Heinecke, and Dirk Pflüger: A New Subspace-Based |
Algorithm for E_cient Spatially Adaptive Sparse Grid Regression, Classification and Multi- Evaluation -- Sharif Rahman, Xuchun Ren, and Vaibhav Yadav: High-Dimensional Stochastic Design Optimization by Adaptive-Sparse Polynomial Dimensional Decompos ition -- Jie Shen, Yingwei Wang, and Haijun Yu: E_cient Spectral-Element Methods for the Electronic Schrödinger Equation -- Hoang Tran, Clayton G. Webster, and Guannan Zhang: A Sparse Grid Method for Bayesian Uncertainty Quantification with Application t o Large Eddy Simulation Turbulence Models -- Julian Valentin and Dirk Pflüger: Hierarchical Gradient-Based Optimization with BSplines on Sparse Grids | |
ISBN: | 9783319282626 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Computational Science and Engineering: 109 |
Keywords: | Mathematics , Algorithms , Computer mathematics , Mathematics , Computational Science and Engineering , 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-2016-9783319275178:ONLINE Show nearby items on shelf |
Title: | Simulation-Driven Modeling and Optimization ASDOM, Reykjavik, August 2014 |
Author(s): | |
Date: | 2016 |
Edition: | 1st ed. 2016 |
Size: | 1 online resource (51 p.) |
Note: | 10.1007/978-3-319-27517-8 |
Contents: | Numerical Aspects of Model Order Reduction for Gas Transportation Networks (Grundel, S., Hornung, N. & Roggendorf, S.) -- Parameter Studies for Energy Networks with Examples from Gas Transport (Clees, T.) -- Fast Multi-Objective Aerodynamic Optimiza tion Using Space-Mapping-Corrected Multi-Fidelity Models and Kriging Interpolation (Leifsson, L. et al.) -- Assessment of Inverse and Direct Methods for Airfoil and Wing Design (Zhang, M. & Rizzi, A.W.) -- Performance Optimization of EBG-Based Common Mode Filters for Signal Integrity Applications (Orlandi, A. et al.) -- Unattended Design of Wide-Band Planar Filters using a Two-Step Aggressive Space Mapping (ASM) Optimization Algorithm (Boria, V. et al.) -- Two-Stage Gaussian Process Modeling of Microwave Structures for Design Optimization (Jacobs, J.P. & Koziel, S.) -- Efficient Reconfigurable Microstrip Patch Antenna Modeling Exploiting Knowledge Based Artificial Neural Networks (Simsek, M. & Aoad, A.) -- Expedited Simulation-Driven |
Multi-Objective Design Optimization of Quasi-Isotropic Dielectric Resonator Antenna (Bekasiewicz, A. et al.) -- Optimal Design of Photonic Crystal Nanostructures (Hassan, A.-K., Rafat, N. & Mohamed, A.S.A.) -- Design Optimization of LNAs and Reflect array Antennas using the Full-Wave Simulation based Artificial Intelligence Models with the Novel Metaheuristic Algorithms (Güneş, F., Demirel, S. & Nesil, S.) -- Stochastic Decision-Making in Waste Management Using a Firefly Algorithm-Driven Simulation -Optimization Approach for Generating Alternatives (Yeomans, J.S., Imanirad, R. & Yang, X.-S.) -- Linear and Nonlinear System Identification using Evolutionary Optimisation (Worden, K. et al.) -- A Surrogate-Model-Assisted Evolutionary Algorithm for Compu tationally Expensive Design Optimization Problems with Inequality Constraints (Liu, B., Zhang, Q. & Gielen, G.) -- Sobol Indices for Dimension Adaptivity in Sparse Grids (Dwight, R.P., Desmedt, S.G.L., & Omrani, P.S.). | |
ISBN: | 9783319275178 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Springer Proceedings in Mathematics & Statistics: 153 |
Keywords: | Mathematics , Computer mathematics , Mathematical models , Calculus of variations , Mathematics , Calculus of Variations and Optimal Control Optimization , Mathematical Modeling and Industrial Mathematics , Computational Science and 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-2014-9789462390331:ONLINE Show nearby items on shelf |
Title: | Compressed Data Structures for Strings [electronic resource] : On Searching and Extracting Strings from Compressed Textual Data |
Author(s): |
Rossano Venturini |
Date: | 2014 |
Publisher: | Paris : Atlantis Press : Imprint: Atlantis Press |
Size: | 1 online resource |
Note: | Data compression is mandatory to manage massive datasets, indexing is fundamental to query them. However, their goals appear as counterposed: the former aims at minimizing data redundancies, whereas the latter augments the datasetwith auxiliary infor mation to speed up the query resolution. In this monograph we introduce solutions that overcome this dichotomy. We start by presenting the use of optimization techniques to improve the compression of classical datacompression algorithms, then we move to t he design of compressed data structures providing fast random access or efficient pattern matching queries on the compressed dataset. These theoretical studies are supported by experimentalevidences of their impact in practical scenarios |
Contents: | Introduction |
Basic concepts | |
Optimally partitioning a text to improve its compression | |
Bit | |
complexity of Lempel | |
Ziv compression | |
Fast random access on compressed data | |
Experiments on compressed full | |
text indexing | |
Dictionary indexes | |
Future directions of research | |
ISBN: | 9789462390331 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Atlantis Studies in Computing, 2212-8557 : v4 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | 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-2014-9788847055223:ONLINE Show nearby items on shelf |
Title: | Numerical Models for Differential Problems [electronic resource] |
Author(s): |
Alfio Quarteroni |
Date: | 2014 |
Edition: | Second Edition |
Publisher: | Milano : Springer Milan : Imprint: Springer |
Size: | 1 online resource |
Note: | In this text, we introduce the basic concepts for the numerical modelling of partial differential equations. We consider the classical elliptic, parabolic and hyperbolic linear equations, but also the diffusion, transport, andNavier-Stokes equations, as well as equations representing conservation laws, saddle-point problems and optimal control problems. Furthermore, we provide numerous physical examples which underline such equations. We then analyzenumerical solution methods based on finite elements , finite differences, finite volumes, spectral methods and domain decomposition methods, and reduced basis methods. In particular, we discuss the algorithmic and computerimplementation aspects and provide a number of easy-to-use programs. The text does no t require any previous advanced mathematical knowledge of partial differential equations: the absolutely essential concepts are reported in apreliminary chapter. It is therefore suitable for students of bachelor and master courses in scientific discipline s, and recommendable to those researchers in the academic and extra-academic domain who want to approach this interestingbranch of applied mathematics |
Contents: | 1 A brief survey of partial differential equations |
2 Elements of functional analysis | |
3 Elliptic equations | |
4 The Galerkin finite element method for elliptic problems | |
5 Parabolic equations | |
6 Generation of 1D and 2D grids | |
7 Algorithms for the solution of linear systems | |
8 Elements of finite element programming | |
9 The finite volume method | |
10 Spectral methods | |
11 Discontinuous element methods (DG and mortar) | |
12 Diffusion | |
transport | |
reaction equations | |
13 Finite differences for hyperbolic equations | |
14 Finite elements and spectral methods for hyperbolic equations | |
ISBN: | 9788847055223 |
Series: | eBooks |
Series: | SpringerLink |
Series: | MS&A - Modeling, Simulation and Applications, 2037-5255 : v8 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Global analysis (Mathematics) , Computer science Mathematics , Numerical analysis |
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-2014-9783319066745:ONLINE Show nearby items on shelf |
Title: | Input Modeling with Phase-Type Distributions and Markov Models [electronic resource] : Theory and Applications |
Author(s): |
Peter Buchholz Jan Kriege Iryna Felko |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | Containing a summary of several recent results on Markov-based input modeling in a coherent notation, this book introduces and compares algorithms for parameter fitting and gives an overview of available software tools in thearea. Due to progress mad e in recent years with respect to new algorithms to generate PH distributions and Markovian arrival processes from measured data, the models outlined are useful alternatives to other distributions or stochasticprocesses used for input modeling. Graduate s tudents and researchers in applied probability, operations research and computer science along with practitioners using simulation or analytical models for performance analysis and capacityplanning will find the unified notation and up-to-date results pre sented useful. Input modeling is the key step in model based system analysis to adequately describe the load of a system using stochastic models. The goal of inputmodeling is to find a stochastic model to describe a sequence ofmeasurements from a real sys tem to model for example the inter-arrival times of packets in a computer network or failure times of components in a manufacturing plant.Typical application areas are performance and dependability analysis of computer systems, communication networks, log istics or manufacturing systems but also the analysis of biological or chemical reaction networks and similarproblems. Often the measured values have a high variability and are correlated. Its been known for a long time that Markov based models like phase type distributions or Markovian arrival processes are very general and allow one tocapture even complex behaviors. However, the parameterization of these models results often in a complex and non-linear optimization problem. Only recently, several new re sults about the modeling capabilities of Markov based models andalgorithms to fit the parameters of those models have been published |
Contents: | 1. Introduction |
2. Phase Type Distributions | |
3. Parameter Fitting for Phase Type Distributions | |
4. Markovian Arrival Processes | |
5. Parameter Fitting of MAPs | |
6. Stochastic Models including PH Distributions and MAPs | |
7. Software Tools | |
8. Conclusion | |
References | |
Index | |
ISBN: | 9783319066745 |
Series: | eBooks |
Series: | SpringerLink |
Series: | SpringerBriefs in Mathematics, 2191-8198 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer software , Distribution (Probability 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-2014-9783319064048:ONLINE Show nearby items on shelf |
Title: | Approximation Theory XIV: San Antonio 2013 [electronic resource] |
Author(s): |
Gregory E Fasshauer Larry L Schumaker |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This volume developed from papers presented at the international conference Approximation Theory XIV, held April 710, 2013 in San Antonio, Texas. The proceedings contains surveys by invited speakers, covering topics such assplines on non-tensor-produ ct meshes, Wachspress and mean value coordinates, curvelets and shearlets, barycentric interpolation, and polynomial approximation on spheres and balls. Other contributed papers address a variety of currenttopics in approximation theory, including eigenva lue sequences of positive integral operators, image registration, and support vector machines. This book will be of interest to mathematicians, engineers, and computer scientists workingin approximation theory, computer-aided geometric design, numerical a nalysis, and related approximation areas |
Contents: | Isogeometric Method for the Elliptic Monge |
Ampre Equation | |
Dual Compatible Splines on non Tensor Product Meshes | |
Multivariate Anisotropic Interpolation on the Torus | |
A Generalized Class of Hard Thresholding Algorithms for Sparse Signal Recovery | |
On a New Proximity Condition for Manifold | |
Valued Subdivision Schemes | |
Wachspress and Mean Value Coordinates | |
Hermite and Bernstein Style Basis Functions for Cubic Serendipity Spaces on Squares and Cubes | |
Suitability of Parametric Shepard Interpolation for Nonrigid Image Registration | |
Parabolic Molecules: Curvelets, Shearlets and Beyon | |
ISBN: | 9783319064048 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Springer Proceedings in Mathematics & Statistics, 2194-1009 : v83 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | 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-2014-9783319062303:ONLINE Show nearby items on shelf |
Title: | Spectral Methods for Non-Standard Eigenvalue Problems [electronic resource] : Fluid and Structural Mechanics and Beyond |
Author(s): |
Clin-Ioan Gheorghiu |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This book focuses on the constructive and practical aspects of spectral methods. It rigorously examines the most important qualities as well as drawbacks of spectral methods in the context of numerical methods devoted to solvenon-standard eigenvalue problems. In addition, the book also considers some nonlinear singularly perturbed boundary value problems along with eigenproblems obtained by their linearization around constant solutions. The book ismathematical, poising problems in their proper functi on spaces, but its emphasis is on algorithms and practical difficulties. The range of applications is quite large. High order eigenvalue problems are frequently beset with numericalill conditioning problems. The book describes a wide variety of successful modifications to standard algorithms that greatly mitigate these problems. In addition, the book makes heavy use of the concept of pseudospectrum, which ishighly relevant to understanding when disaster is imminent in solving eigenvalue problems. It also envisions two classes of applications, the stability of some elastic structures and the hydrodynamic stability of some parallel shearflows. This book is an ideal reference text for professionals (researchers) in applied mathematics, computational physics and engineering. It will be very useful to numerically sophisticated engineers, physicists and chemists. The bookcan also be used as a textbook in review courses such as numerical analysis, computational methods in various engineering branches or physics and computational methods in analysis |
Contents: | 1 General Formulation of Spectral Approximation |
2 Tau and Galerkin Methods for Fourth Order GEPs | |
3 The Chebyshev Collocation Method | |
4 The Laguerre Collocation Method | |
5 Conclusions and Further Developments | |
Appendix: Algebraic Two | |
Parameter Eigenvalue Problems | |
Index | |
ISBN: | 9783319062303 |
Series: | eBooks |
Series: | SpringerLink |
Series: | SpringerBriefs in Mathematics, 2191-8198 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Differential Equations , Computer science Mathematics , Computer science , Numerical analysis |
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-2014-9783319054551:ONLINE Show nearby items on shelf |
Title: | High Order Nonlinear Numerical Schemes for Evolutionary PDEs [electronic resource] : Proceedings of the European Workshop HONOM 2013, Bordeaux, France, March 18-22, 2013 |
Author(s): |
Rmi Abgrall Hlose Beaugendre Pietro Marco Congedo Ccile Dobrzynski Vincent Perrier Mario Ricchiuto |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This book collects papers presented during the European Workshop on High Order Nonlinear Numerical Methods for Evolutionary PDEs (HONOM 2013) that was held at INRIA Bordeaux Sud-Ouest, Talence, France in March, 2013. The centraltopic is high order me thods for compressible fluid dynamics. In the workshop, and in this proceedings, greater emphasis is placed on the numerical than the theoretical aspects of this scientific field. The range of topics is broad,extending through algorithm design, accuracy, large scale computing, complex geometries, discontinuous Galerkin, finite element methods, Lagrangian hydrodynamics, finite difference methods and applications and uncertaintyquantification. These techniques find practical applications in such fields as f luid mechanics, magnetohydrodynamics, nonlinear solid mechanics, and others for which genuinely nonlinear methods are needed |
Contents: | Highorder AsymptoticPreserving methods for nonlinear relaxation from hyperbolic systems to convectiondiffusion equations |
A hybrid finite difference | |
WENO scheme for large eddy simulation of compressible flows | |
Finite volume formulation of a third | |
order residual | |
based compact scheme for unsteady flow computations | |
Parallel implementation of k | |
exact Finite Volume Reconstruction on Unstructured Grids | |
3D Application of Higher Order Multigrid Algorithms for a RANS | |
kw DG | |
Solver | |
Taylor expansion method for linear lattice Boltzmann schemes with an external force. Application to bo | |
ISBN: | 9783319054551 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Lecture Notes in Computational Science and Engineering, 1439-7358 : v99 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Differential equations, partial , Computer science 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-2014-9783319043258:ONLINE Show nearby items on shelf |
Title: | Scientific Computing - An Introduction using Maple and MATLAB [electronic resource] |
Author(s): |
Walter Gander Martin J Gander Felix Kwok |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | Scientific computing is the study of how to use computers effectively to solve problems that arise from the mathematical modeling of phenomena in science and engineering. It is based on mathematics, numerical andsymbolic/algebraic computations and vi sualization. This book serves as an introduction to both the theory and practice of scientific computing, with each chapter presenting the basic algorithms that serve as the workhorses of manyscientific codes we explain both the theory behind these algori thms and how they must be implemented in order to work reliably in finite-precision arithmetic. The book includes many programs written in Matlab and Maple Maple isoften used to derive numerical algorithms, whereas Matlab is used to implement them. The t heory is developed in such a way that students can learn by themselves as they work through the text. Each chapter contains numerous examples andproblems to help readers understand the material hands-on |
Contents: | Why Study Scientific Computing? |
Finite Precision Arithmetic | |
Linear Systems of Equations | |
Interpolation | |
Nonlinear Equations | |
Least Squares Problems | |
Eigenvalue Problems | |
Differentiation | |
Quadrature | |
Numerical Ordinary Differential Equations | |
Iterative Methods for Linear Systems | |
Optimization | |
Bibliography | |
Index | |
ISBN: | 9783319043258 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Texts in Computational Science and Engineering, 1611-0994 : v11 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science Mathematics , Algorithms , Computer science , Computer software , Numerical analysis |
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-2014-9783319040998:ONLINE Show nearby items on shelf |
Title: | Topological Methods in Data Analysis and Visualization III [electronic resource] : Theory, Algorithms, and Applications |
Author(s): |
Peer-Timo Bremer Ingrid Hotz Valerio Pascucci Ronald Peikert |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This collection of peer-reviewed conference papers provides comprehensive coverage of cutting-edge research in topological approaches to data analysis and visualization. It encompasses the full range of new algorithms andinsights, including fast homo logy computation, comparative analysis of simplification techniques, and key applications in materials and medical science. The volume also features material on core research challenges such as therepresentation of large and complex datasets and integrati ng numerical methods with robust combinatorial algorithms. Reflecting the focus of the TopoInVis 2013 conference, the contributions evince the progress currently being made onfinding experimental solutions to open problems in the sector. They provide an i nclusive snapshot of state-of-the-art research that enables researchers to keep abreast of the latest developments and provides a foundation for futureprogress. With papers by some of the worlds leading experts in topological techniques, this volume is a major contribution to the literature in a field of growing importance with applications in disciplines that range fromengineering to medicine |
Contents: | Part I Robust Topological Analysis: 1 Robust Detection of Singularities in Vector Fields: H. Bhatia, A. Gyulassy, H. Wang, P |
T. Bremer and V. Pascucci | |
2 Interpreting Feature Tracking Through the Lens of Robustness: P. Skraba and B. Wang | |
3 Simplification of Morse Decompositions using Morse Set Mergers: L. Sipeki and A. Szymczak | |
4 Toward the Extraction of Saddle Periodic Orbits: J. Kasten, J. Reininghaus, W. Reich and G. Scheuermann | |
Part II Efficient Computation of Topology | |
5 Computational Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr | |
6 Distribu | |
ISBN: | 9783319040998 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Mathematics and Visualization, 1612-3786 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer vision , Optical pattern recognition , Global analysis (Mathematics) , Visualization , Geometry , Topology |
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-2014-9783319040639:ONLINE Show nearby items on shelf |
Title: | Quantum Information and Coherence [electronic resource] |
Author(s): |
Erika Andersson Patrik hberg |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This bookoffers an introduction toten key topics in quantum information science and quantum coherent phenomena, aimed at graduate-student level. The chapters cover some of the most recent developments in this dynamic researchfield where theoretical a nd experimental physics, combined with computer science, provide a fascinating arena for groundbreaking new concepts in information processing. The bookaddresses both the theoretical and experimental aspectsof the subject, and clearly demonstrates how pro gress in experimental techniques has stimulated a great deal of theoretical effort and vice versa.Experiments are shifting from simply preparing and measuring quantum states tocontrolling and manipulating them, and the book outlines how the first real app lications, notably quantum key distribution for secure communication, are starting to emerge. The chapters cover quantum retrodiction, ultracold quantumgases in optical lattices, optomechanics, quantum algorithms, quantum key distribution, quantum control based on measurement, orbital angular momentum of light, entanglement theory, trapped ions and quantum metrology, and open quantumsystems subject to decoherence. The contributing authors have been chosen not just on the basis of their scientific expertis e, but also because of their ability to offer pedagogical and well-written contributions which will be ofinterest to students and established researchers |
Contents: | Quantum Retrodiction |
Probling and Controlling Quantum Matter Using Ultracold Quantum Gases in Optical Lattices | |
Towards Macroscopic Superpositions via Single | |
Photon Optomechanics | |
An Introduction to Quantum Algorithms: A Physicist's Perspective | |
Quantum Key Distribution | |
Quantum Control Based On Measurement | |
Orbital Angular Momentum: Testbed for Quantum Mechanics | |
An Introduction to Entanglement Theory | |
An Introduction to Trapped Ions, Scalability and Quantum Metrology | |
Open Quantum Systems and Decoherence | |
ISBN: | 9783319040639 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Scottish Graduate Series |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Quantum 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-2014-9783319024356:ONLINE Show nearby items on shelf |
Title: | Basic Concepts in Computational Physics [electronic resource] |
Author(s): |
Benjamin A. Stickler Ewald Schachinger |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | With the development of ever more powerful computers a new branch of physics and engineering evolved over the last few decades: Computer Simulation or Computational Physics. It serves two main purposes: - Solution of complexmathematical problems such as, differential equations, minimization/optimization, or high-dimensional sums/integrals. - Direct simulation of physical processes, as for instance, molecular dynamics or Monte-Carlo simulation ofphysical/chemical/technical processes. Consequently, the book is divided into two main parts: Deterministic methods and stochastic methods. Based on concrete problems, the first part discusses numerical differentiation and integration,and the treatment of ordinary differential equations. This is augmented by n otes on the numerics of partial differential equations. The second part discusses the generation of random numbers, summarizes the basics of stochastics whichis then followed by the introduction of various Monte-Carlo (MC) methods. Specific emphasis is on MARKOV chain MC algorithms. All this is again augmented by numerous applications from physics. The final two chapters on Data Analysisand Stochastic Optimization share the two main topics as a common denominator. The book offers a number of appendices to provide the reader with more detailed information on various topics discussed in the main part. Nevertheless, thereader should be familiar with the most important concepts of statistics and probability theory albeit two appendices have been dedicated to provide a rudimentary discussion |
Contents: | Some Basic Remarks |
Part I Deterministic Methods: Numerical Differentiation | |
Numerical Integration | |
The KEPLER Problem | |
Ordinary Differential Equations Initial Value Problems | |
The Double Pendulum | |
Molecular Dynamics | |
Numerics of Ordinary Differential Equations | |
Boundary Value Problems | |
The One | |
Dimensional Stationary Heat Equation | |
The One | |
Dimensional Stationary SCHRDINGER Equation | |
Numerics of Partial Differential Equations | |
Part II Stochastic Methods | |
Pseudo Random Number Generators | |
Random Sampling Methods | |
A Brief Introduction to Monte | |
Carlo Methods | |
The | |
ISBN: | 9783319024356 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Chemistry , Computer science Mathematics , Engineering 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-2014-9783319022918:ONLINE Show nearby items on shelf |
Title: | Discrete Dynamical Models [electronic resource] |
Author(s): |
Ernesto Salinelli Franco Tomarelli |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This book provides an introduction to the analysis of discrete dynamical systems. The content is presented by an unitary approach that blends the perspective of mathematical modeling together with the ones of several disciplineas Mathematical Analysi s, Linear Algebra, Numerical Analysis, Systems Theory and Probability. After a preliminary discussion of several models, the main tools for the study of linear and non-linear scalar dynamical systems arepresented, paying particular attention to the stabil ity analysis. Linear difference equations are studied in detail and an elementary introduction of Z and Discrete Fourier Transform is presented. A whole chapter is devoted to thestudy of bifurcations and chaotic dynamics. One-step vector-valued dynamical systems are the subject of three chapters, where the reader can find the applications to positive systems, Markov chains, networks and search engines. Thebook is addressed mainly to students in Mathematics, Engineering, Physics, Chemistry, Biology and Eco nomics. The exposition is self-contained: some appendices present prerequisites, algorithms and suggestions for computer simulations.The analysis of several examples is enriched by the proposition of many related exercises of increasing difficulty in the last chapter the detailed solution is given for most of them |
Contents: | 1 Recursive phenomena and difference equations |
2 Linear difference equations | |
3 Discrete dynamical systems: one | |
step scalar equations | |
4 Complex behavior of nonlinear dynamical systems: bifurcations and chaos | |
5 Discrete dynamical systems: vector equations | |
6 Markov chains | |
7 Matrix | |
8 Solutions | |
ISBN: | 9783319022918 |
Series: | eBooks |
Series: | SpringerLink |
Series: | UNITEXT, 2038-5714 : v76 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Matrix theory , Functional equations , Differentiable dynamical systems |
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-2014-9783319013008:ONLINE Show nearby items on shelf |
Title: | Current Challenges in Stability Issues for Numerical Differential Equations [electronic resource] : Cetraro, Italy 2011, Editors: Luca Dieci, Nicola Guglielmi |
Author(s): |
Wolf-Jrgen Beyn Luca Dieci Nicola Guglielmi Ernst Hairer Jess Mara Sanz-Serna Marino Zennaro |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This volume addresses some of the research areas in the general field of stability studies for differential equations, with emphasis on issues of concern for numerical studies. Topics considered include: (i) the long timeintegration of Hamiltonian Or dinary DEs and highly oscillatory systems, (ii) connection between stochastic DEs and geometric integration using the Markov chain Monte Carlo method, (iii) computation of dynamic patterns in evolutionarypartial DEs, (iv) decomposition of matrices dependi ng on parameters and localization of singularities, and (v) uniform stability analysis for time dependent linear initial value problems of ODEs. The problems considered in this volumeare of interest to people working on numerical as well as qualitative as pects of differential equations, and it will serve both as a reference and as an entry point into further research |
Contents: | Studies on current challenges in stability issues for numerical differential equations |
Long | |
Term Stability of Symmetric Partitioned Linear Multistep Methods | |
Markov Chain Monte Carlo and Numerical Differential Equations | |
Stability and Computation of Dynamic Patterns in PDEs | |
Continuous Decompositions and Coalescing Eigen values for Matrices Depending on Parameters | |
Stability of linear problems: joint spectral radius of sets of matrices | |
ISBN: | 9783319013008 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Lecture Notes in Mathematics, 0075-8434 : v2082 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Matrix theory , Differential Equations , Differential equations, partial , Computer science Mathematics , 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-2014-9783034806121:ONLINE Show nearby items on shelf |
Title: | Separable Type Representations of Matrices and Fast Algorithms [electronic resource] : Volume 2 Eigenvalue Method |
Author(s): |
Yuli Eidelman Israel Gohberg Iulian Haimovici |
Date: | 2014 |
Publisher: | Basel : Springer Basel : Imprint: Birkhuser |
Size: | 1 online resource |
Note: | This two-volume work presents a systematic theoretical and computational study of several types of generalizations of separable matrices. The primary focus is on fast algorithms (many of linear complexity) for matrices insemiseparable, quasiseparable , band and companion form. The work examines algorithms of multiplication, inversion and description of eigenstructure and includes a wealth of illustrative examples throughout the different chapters. Thesecond volume, consisting of four parts, addresses the eigenvalue problem for matrices with quasiseparable structure and applications to the polynomial root finding problem. In the first part the properties of the characteristicpolynomials of principal leading submatrices, the structure of eigenspaces and the basic methods for computing eigenvalues are studied in detail for matrices with quasiseparable representation of the first order. The second part isdevoted to the divide and conquer method, with the main algorithms also being derived for matrices wit h quasiseparable representation of order one. The QR iteration method for some classes of matrices with quasiseparablerepresentations of any order is studied in the third part. This method is then used in the last part in order to provide a fast solver fo r the polynomial root finding problem. The work is based mostly on results obtained by the authorsand their coauthors. Due to its many significant applications and accessible style, the text will be a valuable resource for engineers, scientists, numerical analysts, computer scientists and mathematicians alike |
Contents: | Part 5. The eigenvalue structure of order one quasiseparable matrices |
21. Quasiseparable of order one matrices. Characteristic polynomials | |
22. Eigenvalues with geometric multiplicity one | |
23. Kernels of quasiseparable of order one matrices | |
24. Multiple eigenvalues | |
Part 6. Divide and conquer method for eigenproblems | |
25. Divide step | |
26. Conquer step and rational matrix functions eigenproblem | |
27. Complete algorithm for Hermitian matrices | |
28. Complete algorithm for unitary Hessenberg matrices | |
Part 7. Algorithms for qr iterations and for reduction to Hessenberg form | |
ISBN: | 9783034806121 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Operator Theory: Advances and Applications, 0255-0156 : v235 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Matrix theory , Numerical analysis |
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-2014-9783034806060:ONLINE Show nearby items on shelf |
Title: | Separable Type Representations of Matrices and Fast Algorithms [electronic resource] : Volume 1 Basics. Completion Problems. Multiplication and Inversion Algorithms |
Author(s): |
Yuli Eidelman Israel Gohberg Iulian Haimovici |
Date: | 2014 |
Publisher: | Basel : Springer Basel : Imprint: Birkhuser |
Size: | 1 online resource |
Note: | This two-volume work presents a systematic theoretical and computational study of several types of generalizations of separable matrices. The primary focus is on fast algorithms (many of linear complexity) for matrices insemiseparable, quasiseparable , band and companion form. The work examines algorithms of multiplication, inversion and description of eigenstructure and includes a wealth of illustrative examples throughout the different chapters. Thefirst volume consists of four parts. The first part is mainly theoretical in character, introducing and studying the quasiseparable and semiseparable representations of matrices and minimal rank completion problems. Three furthercompletions are treated in the second part. The first applications of the qua siseparable and semiseparable structure are included in the third part, where the interplay between the quasiseparable structure and discrete time varyinglinear systems with boundary conditions play an essential role. The fourth part includes factorizatio n and inversion fast algorithms for matrices via quasiseparable and semiseparable structures. The work is based mostly on resultsobtained by the authors and their coauthors. Due to its many significant applications and accessible style, the text will be a valuable resource for engineers, scientists, numerical analysts, computer scientists and mathematiciansalike |
Contents: | Part 1. Basics on separable, semiseparable and quasiseparable representations of matrices |
1. Matrices with separable representation and low complexity algorithms | |
2. The minimal rank completion problem | |
3. Matrices in diagonal plus semiseparable form | |
4. Quasiseparable representations: the basics | |
5. Quasiseparable generators | |
6. Rank numbers of pairs of mutually inverse matrices, Asplund theorems | |
7. Unitary matrices with quasiseparable representations | |
Part 2. Completion of matrices with specified bands | |
8. Completion to Green matrices | |
9. Completion to matrices with ban | |
ISBN: | 9783034806060 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Operator Theory: Advances and Applications, 0255-0156 : v234 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Matrix theory , Numerical analysis |
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-2014-9781493908080:ONLINE Show nearby items on shelf |
Title: | Optimization in Science and Engineering [electronic resource] : In Honor of the 60th Birthday of Panos M. Pardalos |
Author(s): |
Themistocles M Rassias Christodoulos A Floudas Sergiy Butenko |
Date: | 2014 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | Optimization in Science and Engineering is dedicated in honor of the 60th birthday of Distinguished Professor Panos M. Pardalos. Pardaloss past and ongoing work has made a significant impact on several theoretical and appliedareas in modern optimizat ion. As tribute to the diversity of Dr. Pardaloss work in Optimization, this book comprises a collection of contributions from experts in various fields of this rich and diverse area of science. Topicshighlight recent developments and include: Determinist ic global optimization Variational inequalities and equilibrium problems Approximation and complexity in numerical optimization Non-smooth optimization Statistical models and datamining Applications of optimization in medicine, energy systems, and complex network analysis This volume will be of great interest to graduate students, researchers, and practitioners, in the fields of optimization and engineering |
Contents: | Piecewise Linear Classifiers Based on Nonsmooth Optimization Approaches |
Variational Inequality Models Arising in the Study of Viscoelastic Materials | |
Neighboring Local Optimal Solutions and Its Applications | |
General Traffic Equilibrium Problem with Uncertainty and Random Variational Inequalities | |
Computational Complexities of Optimization Problems Related to Model Based Clustering of Networks | |
On Distributed | |
Lag Modeling Algorithms by r | |
Convexity and Piecewise Monotonicity | |
Poincar | |
Type Inequalities for Greens Operator on Harmonic Forms | |
The Robustness Concern in Preference | |
ISBN: | 9781493908080 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Software engineering , Computer science , Computer aided design , 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-2014-9781493907489:ONLINE Show nearby items on shelf |
Title: | The Compressed Word Problem for Groups [electronic resource] |
Author(s): |
Markus Lohrey |
Date: | 2014 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | The Compressed Word Problem for Groups provides a detailed exposition of known results on the compressed word problem, emphasizing efficient algorithms for the compressed word problem in various groups.The authorpresents thenecessary background along with the most recent results on the compressed word problem to create a cohesive self-contained book accessible to computer scientists as well as mathematicians. Readers will quickly reach the frontierofcurrent research which makes the book especially ap pealing for students looking for a currently active research topic at theintersection of group theory and computer science. The word problem introduced in 1910 by Max Dehnisone of the most important decision problems in group theory. For many groups, high ly efficient algorithms for the word problem exist. In recent years, a new technique based on data compression for providing more efficient algorithmsfor word problems, has been developed, by representing long words over group generators in a compressed f orm using a straight-line program. Algorithmic techniques used for manipulating compressed words has shown that the compressedword problem can be solved in polynomial time for a large class of groups such as free groups, graph groups and nilpotent groups. These results have important implications for algorithmic questions related to automorphism groups |
Contents: | 1. Preliminaries from Theoretical Computer Science |
2. Preliminaries from Combinatorial Group Theory | |
3. Algorithms on Compressed Words | |
4. The Compressed Word Problem | |
5. The Compressed Word Problem in Graph Products | |
6. The Compressed Word Problem in HNN | |
Extensions | |
7.Outlook | |
References | |
Index | |
ISBN: | 9781493907489 |
Series: | eBooks |
Series: | SpringerLink |
Series: | SpringerBriefs in Mathematics, 2191-8198 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Group theory , Topological Groups , Global analysis (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-2014-9781461495666:ONLINE Show nearby items on shelf |
Title: | Integrating Routing Decisions in Public Transportation Problems [electronic resource] |
Author(s): |
Marie E Schmidt |
Date: | 2014 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | This book treats three planning problems arising in public railway transportation planning: line planning, timetabling, and delay management, with the objective to minimize passengers travel time. While many optimizationapproaches simplify these prob lems by assuming that passengers route choice is independent of the solution, this book focuses on models which take into account that passengers will adapt their travel route to the implementedplanning solution. That is, a planning solution and passenger s routes are determined and evaluated simultaneously. This work is technically deep, with insightful findings regarding complexity and algorithmic approaches to publictransportation problems with integrated passenger routing. It is intended for researcher s in the fields of mathematics, computer science, or operations research, working in the field of public transportation from an optimizationstandpoint. It is also ideal for students who want to gain intuition and experience in doing complexity proofs and designing polynomial-time algorithms for network problems. The book models line planning, timetabling, and delaymanagement as combined design and routing problems on networks. In a complexity analysis, the border between NP-hard and polynomially solvable problems is illustrated. Based on that, the insights gained are used to develop solutionapproaches for the considered problems. Besides integer programming formulations, a heuristic method iterating planning and routing steps is proposed to solve the prob lems |
Contents: | 1. Introduction |
2. Line Planning | |
3. Timetabling | |
4. Delay Management | |
5. An Iterative Solution Approach for General Network Problems with Routing | |
6. Conclusions and Outlook | |
Frequently Used Notation | |
References | |
Index | |
ISBN: | 9781461495666 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Springer Optimization and Its Applications, 1931-6828 : v89 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer software , Civil 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-2014-9781461488279:ONLINE Show nearby items on shelf |
Title: | A Qualitative Approach to Inverse Scattering Theory [electronic resource] |
Author(s): |
Fioralba Cakoni David Colton |
Date: | 2014 |
Publisher: | Boston, MA : Springer US : Imprint: Springer |
Size: | 1 online resource |
Note: | Inverse scattering theory is an important area of applied mathematics due to its central role in such areas as medical imaging , nondestructive testing and geophysical exploration. Until recently all existing algorithms forsolving inverse scattering problems were based on using either a weak scattering assumption or on the use of nonlinear optimization techniques. The limitations of these methods have led in recent years to an alternative approach to theinverse scattering problem which avoids the inc orrect model assumptions inherent in the use of weak scattering approximations as well as the strong a priori information needed in order to implement nonlinear optimization techniques.These new methods come under the general title of qualitative methods in inverse scattering theory and seek to determine an approximation to the shape of the scattering object as well as estimates on its material properties withoutmaking any weak scattering assumption and using essentially no a priori information on the nat ure of the scattering object. This book is designed to be an introduction to this new approach in inverse scattering theory focusing on theuse of sampling methods and transmission eigenvalues. In order to aid the reader coming from a discipline outside of mathematics we have included background material on functional analysis, Sobolev spaces, the theory of ill posedproblems and certain topics in in the theory of entire functions of a complex variable. This book is an updated and expanded version of an ear lier book by the authors published by Springer titled Qualitative Methods in InverseScattering Theory Review of Qualitative Methods in Inverse Scattering Theory All in all, the authors do exceptionally well in combining such a wide variety of mathematical material and in presenting it in a well-organized andeasy-to-follow fashion. This text certainly complements the growing body of work in inverse scattering and should well suit both new researchers to |
Contents: | 1. Functional Analysis and Sobolev Spaces |
2. Ill | |
Posed Problems | |
3. Scattering by Imperfect Conductors | |
4. Inverse Scattering Problems for Imperfect Conductors | |
5. Scattering by Orthotropic Media | |
6. Inverse Scattering Problems for Orthotropic Media | |
7. Factorization Methods | |
8. Mixed Boundary Value Problems | |
9. Inverse Spectral Problems for Transmission Eigenvalues | |
10. A Glimpse at Maxwell's Equations | |
ISBN: | 9781461488279 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Applied Mathematical Sciences, 0066-5452 : v188 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Fourier analysis , Differential equations, partial , Computer 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-2014-9781461486152:ONLINE Show nearby items on shelf |
Title: | Constructive Nonsmooth Analysis and Related Topics [electronic resource] |
Author(s): |
Vladimir F Demyanov Panos M Pardalos Mikhail Batsyn |
Date: | 2014 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | This volume contains a collection of papers based on lectures and presentations delivered at the International Conference on Constructive Nonsmooth Analysis (CNSA) held in St. Petersburg (Russia) from June 18-23, 2012. Thisconference was organized to mark the 50th anniversary of the birth of nonsmooth analysis and nondifferentiable optimization and was dedicated to J.-J. Moreau and the late B.N. Pshenichnyi, A.M. Rubinov, and N.Z. Shor, whosecontributions to NSA and NDO remain invaluable. The first f our chapters of the book are devoted to the theory of nonsmooth analysis. Chapters 5-8 contain new results in nonsmooth mechanics and calculus of variations. Chapters 9-13 arerelated to nondifferentiable optimization, and the volume concludes with four ch apters containing interesting and important historical chapters, including tributes to three giants of nonsmooth analysis, convexity, and optimization:Alexandr Alexandrov, Leonid Kantorovich, and Alex Rubinov. The last chapter provides an overview and imp ortant snapshots of the 50-year history of convex analysis and optimization |
Contents: | Constructive Noonsmooth Analysis and Related Topics (V. Demyanov, P.M. Pardalos, M. Batsyn) |
Use Model Theory in Nonsmooth Analysis (S.S. Kutateladze) | |
Demyanov Difference in Infinite Dimensional Spaces (J. Grzybowski, D. Pallaschke, R. Urbanski) | |
Separable Reduction of Metric Regularity Properties (A.D. Ioffe) | |
Construction of Pairs of Reproducing Kernel Banach Spaces (P.G. Georgiev, L. Sanchez | |
Gonzalez, P.M. Pardalos) | |
On the Regularization Method in Nondifferentiable Optimization Applied to Hemivariational Inequalities (N. Ovcharova, J. Gwinner) | |
Dynamics and Optimization of Mul | |
ISBN: | 9781461486152 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Springer Optimization and Its Applications, 1931-6828 : v87 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Differentiable dynamical systems , Algorithms , Computer science , 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-2014-9781461471325:ONLINE Show nearby items on shelf |
Title: | Walter Gautschi, Volume 3 [electronic resource] : Selected Works with Commentaries |
Author(s): |
Claude Brezinski Ahmed Sameh |
Date: | 2014 |
Publisher: | New York, NY : Springer New York : Imprint: Birkhuser |
Size: | 1 online resource |
Note: | Walter Gautschi has written extensively on topics ranging from special functions, quadrature and orthogonal polynomials to difference and differential equations, software implementations, and the history of mathematics. He isworld renowned for his pi oneering work in numerical analysis and constructive orthogonal polynomials, including a definitive textbook in the former, and a monograph in the latter area. This three-volume set, Walter Gautschi:Selected Works with Commentaries, is a compilation of G autschis most influential papers and includes commentaries by leading experts. The work begins with a detailed biographical section and ends with a section commemoratingWalters prematurely deceased twin brother. This title will appeal to graduate students and researchers in numerical analysis, as well as to historians of science. Selected Works with Commentaries, Vol. 1 Numerical ConditioningSpecial Functions Interpolation and Approximation Selected Works with Commentaries, Vol. 2 Orthogonal Polynomials on the Real Line Orthogonal Polynomials on the Semicircle Chebyshev Quadrature Kronrod and Other QuadraturesGauss-type Quadrature Selected Works with Commentaries, Vol. 3 Linear Difference Equations Ordinary Differential Equations Software History and B iography Miscellanea Works of Werner Gautschi |
Contents: | Part I Commentaries |
Linear recurrence relations | |
Ordinary differential equations | |
Computer algorithms and software packages | |
History and biography | |
Miscellanea | |
Part II Reprints | |
Linear difference equations | |
Ordinary differential equations | |
Computer algorithms and software packages | |
History and biography | |
Miscellanea | |
Part III Werner Gautschi | |
Publications | |
Obituaries | |
Recording | |
ISBN: | 9781461471325 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Contemporary Mathematicians |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science , Differential Equations , Numerical analysis |
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-2014-9781447164647:ONLINE Show nearby items on shelf |
Title: | Hypergeometric Summation [electronic resource] : An Algorithmic Approach to Summation and Special Function Identities |
Author(s): |
Wolfram Koepf |
Date: | 2014 |
Edition: | 2nd ed. 2014 |
Publisher: | London : Springer London : Imprint: Springer |
Size: | 1 online resource |
Note: | Modern algorithmic techniques for summation, most of which were introduced in the 1990s, are developed here and carefully implemented in the computer algebra system Maple. The algorithms of Fasenmyer, Gosper, Zeilberger,Petkovek and van Hoeij for hyp ergeometric summation and recurrence equations, efficient multivariate summation as well as q-analogues of the above algorithms are covered. Similar algorithms concerning differential equations areconsidered. An equivalent theory of hyperexponential integ ration due to Almkvist and Zeilberger completes the book. The combination of these results gives orthogonal polynomials and (hypergeometric and q-hypergeometric) specialfunctions a solid algorithmic foundation. Hence, many examples from this very active f ield are given. The materials covered are suitable for an introductory course on algorithmic summation and will appeal to students and researchersalike |
Contents: | Introduction |
The Gamma Function | |
Hypergeometric Identities | |
Hypergeometric Database | |
Holonomic Recurrence Equations | |
Gospers Algorithm | |
The Wilf | |
Zeilberger Method | |
Zeilbergers Algorithm | |
Extensions of the Algorithms | |
Petkovseks and Van Hoeijs Algorithm | |
Differential Equations for Sums | |
Hyperexponential Antiderivatives | |
Holonomic Equations for Integrals | |
Rodrigues Formulas and Generating Functions | |
ISBN: | 9781447164647 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Universitext, 0172-5939 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Differential Equations , Functions, special , Algorithms , Computer software , Combinatorics |
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-2014-9781447164616:ONLINE Show nearby items on shelf |
Title: | Future Vision and Trends on Shapes, Geometry and Algebra [electronic resource] |
Author(s): |
Raffaele Amicis Giuseppe Conti |
Date: | 2014 |
Publisher: | London : Springer London : Imprint: Springer |
Size: | 1 online resource |
Note: | Mathematical algorithms are a fundamental component of Computer Aided Design and Manufacturing (CAD/CAM) systems. This book provides a bridge between algebraic geometry and geometric modelling algorithms, formulated within acomputer science framework . Apart from the algebraic geometry topics covered, the entire book is based on the unifying concept of using algebraic techniques properly specialized to solve geometric problems to seriously improveaccuracy, robustness and efficiency of CAD-systems. I t provides new approaches as well as industrial applications to deform surfaces when animating virtual characters, to automatically compare images of handwritten signatures, and toimprove control of NC machines. This book further introduces a noteworthy r epresentation based on 2D contours, which is essential to model the metal sheet in industrial processes. It additionally reviews applications of numericalalgebraic geometry to differential equations systems with multiple solutions and bifurcations. Future Vision and Trends on Shapes, Geometry and Algebra is aimed specialists in the area of mathematics and computer science on the onehand and on the other hand at those who want to become familiar with the practical application of algebraic geometry and geom etric modelling such as students, researchers, and doctorates |
Contents: | Introduction |
Future Shape Modelling Scenarios | |
A Hilbert | |
Driven Strategy for Signature | |
based Grbner Basis Algorithms | |
Numerical Algebraic Geometry and Differential Equations | |
Sparse Discriminants and Applications | |
Parametrization of the Bisector of Two Low Degree Surfaces | |
Computer Aided Algebraic Geometry: Constructing Surfaces of Genus Zero | |
Elastic Bone Transformation for Realistic Facial Animation in Web GL | |
Geometric Features for Hand | |
Written Signatures | |
Using 2D Contours to Model Metal Sheets in Industrial Machining Processes | |
The Case for Scripted Process Design a | |
ISBN: | 9781447164616 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Springer Proceedings in Mathematics & Statistics, 2194-1009 : v84 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Geometry, algebraic , Field theory (Physics) , Algorithms , Geometry |
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-2014-9781447153610:ONLINE Show nearby items on shelf |
Title: | Probability Theory [electronic resource] : A Comprehensive Course |
Author(s): |
Achim Klenke |
Date: | 2014 |
Edition: | 2nd ed. 2014 |
Publisher: | London : Springer London : Imprint: Springer |
Size: | 1 online resource |
Note: | This second edition of the popular textbook contains a comprehensive course in modern probability theory. Overall, probabilistic concepts play an increasingly important role in mathematics, physics, biology, financial engineeringand computer science. They help us in understanding magnetism, amorphous media, genetic diversity and the perils of random developments at financial markets, and they guide us in constructing more efficient algorithms. To addressthese concepts, the title covers a wide variet y of topics, many of which are not usually found in introductory textbooks, such as: limit theorems for sums of random variables martingales percolation Markov chains andelectrical networks construction of stochastic processes Poisson point process and infinite divisibility large deviation principles and statistical physics Brownian motion stochastic integral and stochasticdifferential equations. The theory is developed rigorously and in a self-contained way, with the chapters on measure theory interlaced with the probabilistic chapters in order to display the power of the abstract concepts inprobability theory. This second edition has been carefully extended and includes many new features. It contains updated figures (over 50), computer simulat ions and some difficult proofs have been made more accessible. A wealth ofexamples and more than 270 exercises as well as biographic details of key mathematicians support and enliven the presentation. It will be of use to students and researchers in mathe matics and statistics in physics, computer science,economics and biology |
Contents: | Basic Measure Theory |
Independence | |
Generating Functions | |
The Integral | |
Moments and Laws of Large Numbers | |
Convergence Theorems | |
Lp | |
Spaces and the RadonNikodym Theorem | |
Conditional Expectations | |
Martingales | |
Optional Sampling Theorems | |
Martingale Convergence Theorems and Their Applications | |
Backwards Martingales and Exchangeability | |
Convergence of Measures | |
Probability Measures on Product Spaces | |
Characteristic Functions and the Central Limit Theorem | |
Infinitely Divisible Distributions | |
Markov Chains | |
Convergence of Markov Chains | |
Markov Chains and Electr | |
ISBN: | 9781447153610 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Universitext, 0172-5939 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Differentiable dynamical systems , Functional analysis , Distribution (Probability 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-2013-9789400766648:ONLINE Show nearby items on shelf |
Title: | Numerical Methods for Metamaterial Design [electronic resource] |
Author(s): |
Kenneth Diest |
Date: | 2013 |
Publisher: | Dordrecht : Springer Netherlands : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book describes a relatively new approach for the design of electromagnetic metamaterials. Numerical optimization routines are combined with electromagnetic simulations to tailor the broadband optical properties of ametamaterial to have predeterm ined responses at predetermined wavelengths. After a review of both the major efforts within the field of metamaterials and the field of mathematical optimization, chapters covering both gradient-based andderivative-free design methods are considered. Sel ected topics including surrogate-base optimization, adaptive mesh search, and genetic algorithms are shown to be effective, gradient-free optimization strategies. Additionally, newtechniques for representing dielectric distributions in two dimensions, inc luding level sets, are demonstrated as effective methods for gradient-based optimization. Each chapter begins with a rigorous review of the optimizationstrategy used, and is followed by numerous examples that combine the strategy with either electromagnet ic simulations or analytical solutions of the scattering problem. Throughout the text, we address the strengths and limitations ofeach method, as well as which numerical methods are best suited for different types of metamaterial designs. This book is int ended to provide a detailed enough treatment of the mathematical methods used, along with sufficientexamples and additional references, that senior level undergraduates or graduate students who are new to the fields of plasmonics, metamaterials, or optimi zation methods have an understanding of which approaches are best-suited fortheir work and how to implement the methods themselves |
Note: | Springer eBooks |
Contents: | 1 Introduction K.Diest |
2 An Overview of Mathematical Methods for Numerical Optimization D.E. Marthaler | |
3 Optimization with Surrogate Models T.Schaul | |
4 Nonsmooth Optimization by Mesh Adaptive Direct Search C.Audet, K.Diest, S. Le Digabel, L.A. Sweatlock, and D.E. Marthaler | |
5 Nature Inspired Optimization Techniques for Metamaterial Design D. H. Werner, J.A. Bossard, Z.Bayraktar, Z.H. Jiang, M.D. Gregory, and P.L. Werner | |
6 Objective | |
First Nanophotonic Design J. Lu and J. Vuckovic | |
7 Gradient Based Optimization Methods for Metamaterial Design W. Chen, K.Diest, C | |
Y. Kao, D | |
ISBN: | 9789400766648 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Topics in Applied Physics, 0303-4216 : v127 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Computer aided design , Microwaves , Optical materials |
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-9789400748255:ONLINE Show nearby items on shelf |
Title: | Automatic trend estimation [electronic resource] |
Author(s): |
Calin Vamos Maria Craciun |
Date: | 2013 |
Publisher: | Dordrecht : Springer Netherlands : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Our book introduces a method to evaluate the accuracy of trend estimation algorithms under conditions similar to those encountered in real time series processing. This method is based on Monte Carlo experiments with artificialtime series numerically generated by an original algorithm. The second part of the book contains several automatic algorithms for trend estimation and time series partitioning. The source codes of the computer programs implementingthese original automatic algorithms are given in the appendix and will be freely available on the web. The book contains clear statement of the conditions and the approximations under which the algorithms work, as well as the properinterpretation of their results. We illustrate the functioning of the a nalyzed algorithms by processing time series from astrophysics, finance, biophysics, and paleoclimatology. The numerical experiment method extensively used in ourbook is already in common use in computational and statistical physics |
Note: | Springer eBooks |
Contents: | Discrete stochastic processes and time series |
Trend definition | |
Finite AR(1) stochastic process | |
Monte Carlo experiments | |
Monte Carlo statistical ensembles | |
Numerical generation of trends | |
Numerical generation of noisy time series | |
Statistical hypothesis testing | |
Testing the i.i.d. property | |
Polynomial fitting | |
Linear regression | |
Polynomial fitting | |
Polynomial fitting of artificial time series | |
An astrophysical example | |
Noise smoothing | |
Moving average | |
Repeated moving average (RMA) | |
Smoothing of artificial time series | |
A financial example | |
Automatic estim | |
ISBN: | 9789400748255 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | SpringerBriefs in Physics, 2191-5423 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Computer simulation , Computer science Mathematics , Distribution (Probability 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-2013-9783642388965:ONLINE Show nearby items on shelf |
Title: | Condition [electronic resource] : The Geometry of Numerical Algorithms |
Author(s): |
Peter Brgisser Felipe Cucker |
Date: | 2013 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book gathers threads that have evolved across different mathematical disciplines into seamless narrative. It deals with condition as a main aspect in the understanding of the performance ---regarding both stability andcomplexity--- of numerical algorithms. While the role of condition was shaped in the last half-century, so far there has not been a monograph treating this subject in a uniform and systematic way. The book puts special emphasis onthe probabilistic analysis of numerical algorithms via the analysis of the corresponding condition. The exposition's level increases along the book, starting in the context of linear algebra at an undergraduate level and reaching inits third part the recent developments and partial solutions for Smale's 17th problem which can be explained within a graduate course. Its middle part contains a condition-based course on linear programming that fills a gap between thecurrent elementary expositions of the subject based on the simplex method and those focusing on convex programming |
Note: | Springer eBooks |
Contents: | Preface |
Overture: On the Condition of Numerical Problems and the Numbers that Measure It | |
I Condition in Linear Algebra (Adagio): 1 Normwise Condition of Linear Equation Solving | |
2 Probabilistic Analysis | |
3 Error Analysis of Triangular Linear Systems | |
4 Probabilistic Analysis of Rectangular Matrices | |
5 Condition Numbers and Iterative Algorithms | |
Intermezzo I: Condition of Structured Data | |
II Condition in Linear Optimization (Andante): 6 A Condition Number for Polyhedral Conic Systems | |
7 The Ellipsoid Method | |
8 Linear Programs and their Solution Sets | |
9 Interior | |
point Met | |
ISBN: | 9783642388965 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Grundlehren der mathematischen Wissenschaften, A Series of Comprehensive Studies in Mathematics, 0072-7830 : v349 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science , Computer science Mathematics , Algorithms , Mathematical optimization , Distribution (Probability 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-2013-9783642352751:ONLINE Show nearby items on shelf |
Title: | Domain Decomposition Methods in Science and Engineering XX [electronic resource] |
Author(s): |
Randolph Bank Michael Holst Olof Widlund Jinchao Xu |
Date: | 2013 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | These are the proceedings of the 20th international conference on domain decomposition methods in science and engineering. Domain decomposition methods are iterative methods for solving the often very large linearor nonlinearsystems of algebraic equa tions that arise when various problems in continuum mechanics are discretized using finite elements. They are designed for massively parallel computers and take the memory hierarchy of such systems in mind.This is essential for approaching peak floating p oint performance. There is an increasingly well developed theory whichis having a direct impact on the development and improvements of these algorithms |
Note: | Springer eBooks |
Contents: | Preface |
Part I: Plenary Presentations | |
Part II: Minisymposia | |
Part III: Contributed Presentations | |
ISBN: | 9783642352751 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Lecture Notes in Computational Science and Engineering, 1439-7358 : v91 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer aided design , Differential equations, partial , Computer science Mathematics , 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 |
Return to the Fermilab Library catalog