Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD COMPUTER SCIENCE,GENERAL *END*INIT* use /tmp/qspiwww.webspi1/8284.171 QRY 131.225.70.96 . find keyword computer science,general ( in books using www Cover
Image
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

Cover
Image
Call number:9783319509303:ONLINE Show nearby items on shelf
Title:Random Walks in the Quarter Plane Algebraic Methods, Boundary Value Problems, Applications to Queueing Systems and Analytic Combinatorics
Author(s): Guy Fayolle
Date:2017
Edition:2nd ed. 2017
Size:1 online resource (XVII, 248 p. 17 illus p.)
Contents:Introduction and History -- I The General Theory. - Probabilistic Background. - Foundations of the Analytic Approach. - The Case of a Finite Group -- II Applications to Queueing Systems and Analytic Combinatorics -- A Two-Coupled
Processor Model. - References
ISBN:9783319509303
Series:eBooks
Series:Springer eBooks
Series:Springer 2017 package
Keywords: Mathematics , Mathematical statistics , Difference equations , Functional equations , Probabilities , Statistics , Mathematics , Probability Theory and Stochastic Processes , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Probability and Statistics in Computer Science , Difference and Functional Equations
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

Cover
Image
Call number:9783319477053:ONLINE Show nearby items on shelf
Title:Econophysics and Sociophysics: Recent Progress and Future Directions
Author(s):
Date:2017
Size:1 online resource (VIII, 256 p. 85 illus., 77 illus. in color p.)
Contents:Anindya S. Chakrabarti, Topology of the international trade network: size, asymmetry and volatility -- Attilio Stella, Optimal growth in the network of global economy -- Bikas K. Chakrabarti, Inequality in Societies, Academic
Institutions & Science Journals: Gini & k-indices -- Damien Challet, Market nanostructure insight into market stylized facts -- Deepak Dhar, Dynamical networks of agents with degree preference -- Diego Garlaschelli, Network
reconstruction, systemic risk, and early-warning signals -- Dipankar Gupta, Boundaries, Transgressions and Disciplinary Dynamics -- Emanuele Pugliese, New Metrics for Economic Complexity -- Fabrizio Lillo, Complex network methods for
systemic risk assessment -- Frédéric Abergel, Imperfections of financial markets: a limit order book perspective -- Harbir Lamba, Modelling momentum traders in a financial market using Prandtl-Ishlinskii operators -- Hideaki Aoyama,
Deflation and Money -- Irena Vodenska, Bi-partite network approach to predictability of financial markets and news sentiments -- János Kertész, Kinetics of Social Contagion -- Joshin Murai, A model of order signs under multiple order
splitting and public information -- Karmeshu, Stochastic Modelling of High Frequency Intra-day Stock Returns: Emergence of Cubic Power-Law -- Kimmo Kaski, Social Physics: Studies of in vivo / in situ human sociality -- Kousik
Guhathakurta, Comparing the complexity of emerging and developed stock markets using recurrence network analysis -- M.S. Santhanam, Records statistics and financial time series -- Marco Patriarca, The microscopic origin of the Pareto
law and other power-law distributions -- Matteo Marsili, Complexity driven collapse of economic equilibria -- Michele Caraglio, Bridging intraday and interday market behavior through scaling -- Parongama Sen, Segregation dynamics with
continuously varying utility factor -- Sandeep Juneja, Nearest neighbor based and other popular methods for pricing Bermudan options -- Sitabhra Sinha, Loss of structural balance in the network of cross-correlations characterizing a
financial market signals the onset of major economic crisis -- Stanislao Gualdi, A dynamic model of input-output production networks: general equilibrium stability and emergence of scale-free structures -- Taisei Kaizoji, Why does the
power law for share price hold? -- Takaaki Ohnishi, Real estate valuation using k-nearest neighbor regression -- Takayuki Mizuno, Statistically detecting stock bubbles before they burst -- Victor Yakovenko, Economic inequality from
statistical physics point of view -- Yoshi Fujiwara, Quantifying Financial Distress in a Nation-wide Production Network -- Yoshiyuki Arata, Macroeconomic Consequences of Lumpy Investment under Uncertainty -- Youngna Choi, Tracking
Financial Instability Contagion: modeling and data calibration -- Yuichi Ikeda, Community and Controllability of Global Production Network: Focusing on the Economic Crisis of 2008
ISBN:9783319477053
Series:eBooks
Series:Springer eBooks
Series:Springer 2017 package
Keywords: Physics , Statistics , Physics , Data-driven Science, Modeling and Theory Building , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Applications of Graph Theory and Complex 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
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:9783319444185:ONLINE Show nearby items on shelf
Title:Space, Time and the Limits of Human Understanding
Author(s):
Date:2017
Size:1 online resource (XXIII, 530 p. 51 illus p.)
Contents:Philosophy: Śrīharṣa on the Indefinability of Time by Jonathan Duquette and Krishnamurti Ramasubramanian -- Why Spacetime Has a Life of its Own by James Robert Brown -- From Time to Time by Nathan Salmon -- Relativity Theory may not
have the last Word on the Nature of Time: Quantum Theory and Probabilism by Nicholas Maxwell -- Space as a Source and as an Object of Knowledge: The Transformation of the Concept of Space in the Post-Kantian Philosophy of Geometry by
Francesca Biagioli -- Space, Time and (how they) Matter by Valia Allori -- The Phenomenology of Space and Time: Husserl, Sartre, Derrida by Hans Herlof Grelland -- Time and Space in Ancient India, Pre­-Philosophical Period by Michael
Witzel and Nataliya Yanchevskaya -- Time in Physics and Time in Awareness by E. C. G. Sudarshan -- Physics: The Future’s Not Ours to See, by Tony Sudbury -- Nature’s Book Keeping System by Gerard ‘t Hooft -- An anomaly in space and
time and the origin of dynamics by Joan A. Vaccaro -- Spacetime and Reality: Facing the Ultimate Judge by Vesselin Petkov -- Hermann Weyl’s Space-Time Geometry and its Impact on Theories of Fundamental Interactions by Norbert Straumann
-- Space, Time, and Adynamical Explanation in the Relational Blockworld by W.M. Stuckey, Michael Silberstein, and Timothy McDevitt -- Matter, Space, Time, and Motion: A Unified Gravitational Perspective by C. S. Unnikrishnan --
Spacetime is Doomed by George Musser -- Mathematics: Geometry and Physical Space by Mary Leng -- The Geometry of Manifolds and the Perception of Space by Raymond O. Wells, Jr -- Topos Theoretic Approach to Space and Time by Goro C.
Kato -- Paradox? The Mathematics of Space-Time and the Limits of Human Understanding by Paul Ernest -- General Relativity, Time, and Determinism by James Isenberg -- “Now” has an infinitesimal positive duration by Reuben Hersh -- The
Fundamental Problem of Dynamics by Julian Barbour -- What’s wrong with the Platonic ideal of space and time? by Lorenzo Sadun -- Biology/Cognitive Science: Syntactic Space by Rajesh Kasturirangan -- Time measurement in living systems:
Human understanding and health implications by L Abhilash and Vijay Kumar Sharma -- The cellular space-the space of life by Pier Luigi Luisi -- The consciousness of space, the space of consciousness by Mauro Bergonzi and Pier Luigi
Luisi -- Time and Suffering (False metaphors, (de)synchronous times, and internal dynamics) by Norman Sieroka -- Evolutionary Time and the Creation of the Space of Life by Randall E. Auxier -- Computer Science: A computational
mathematics view of space, time and complexity by David H. Bailey and Jonathan M. Borwein -- The Black Hole in Mathematics by A. K. Dewdney -- Gödel’s Ontological Dreams by Gary Mar -- ‘Photographing the Footsteps of Time’: Space and
Time in Charles Babbage’s Calculating Engines by Doron Swade -- Gödel incompleteness and the empirical sciences by N. C. A. da Costa and F. A. Doria -- Miscellaneous: The Novel and the Map: Spatiotemporal Form and Discourse in Literary
Cartography by Robert T. Tally Jr -- Time, Space, and the Human Geographies of Opportunity by Donald G. Janelle -- Losing Time and Space: Experiencing Immersion by Diana J. Reichenbach. <
ISBN:9783319444185
Series:eBooks
Series:Springer eBooks
Series:Springer 2017 package
Keywords: Physics , Epistemology , Metaphysics , Gravitation , Cosmology , Physics , Classical and Quantum Gravitation, Relativity Theory , Epistemology , History and Philosophical Foundations of Physics , Cosmology , Metaphysics
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

Cover
Image
Call number:1118914376:ONLINE Show nearby items on shelf
Title:Introduction to Lattice Theory with Computer Science Applications
Author(s): Garg
Date:2015
Publisher:Wiley
Size:1 online resource (273 p.)
ISBN:9781118914373
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: General Computing
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:0471998133:ONLINE Show nearby items on shelf
Title:Knowledge Structures for Communications in Human-Computer Systems: General Automata-Based
Author(s): Koenig
Date:2006
Publisher:Wiley-IEEE Computer Society Pr
Size:1 online resource (297 p.)
ISBN:9780471998136
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

Cover
Image
Call number:0471970476:ONLINE Show nearby items on shelf
Title:The Cognitive Dynamics of Computer Science: Cost Effective Large Scale Software Development
Author(s): de Gyurky
Date:2006
Publisher:Wiley-IEEE Computer Society Pr
Size:1 online resource (293 p.)
ISBN:9780471970477
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: General Computing
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:T10.7.U85::2012 Show nearby items on shelf
Title:Using the engineering literature
Author(s): Bonnie A. Osif (ed.)
Date:2012
Edition:2nd ed.
Publisher:CRC Press
Size:580 p
Contents:Introduction -- General engineering resources -- Minorities in engineering -- Aeronautical and aerospace engineering -- Agricultural and food engineering -- Architectureal engineering -- Bioengineering -- Chemical engineering -- Civil engineering -- Computer engineering -- Electrical and elctronics engineering -- Engineering education -- Environmental engineering -- History of engineering -- Industrial engineering -- Materials science and and engineering -- Mechanical engineering -- Mining engineerin g -- Nuclear engineering -- Petroleum engineering and refining -- Transportation engineering
ISBN:9781439850022
Keywords: Engineering , Technical literature
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: STAFF REFERENCE

Cover
Image
Call number:SPRINGER-2016-9783319327747:ONLINE Show nearby items on shelf
Title:Estimation and Testing Under Sparsity École d'Été de Probabilités de Saint-Flour XLV – 2015
Author(s): Sara van de Geer
Date:2016
Size:1 online resource (274 p.)
Note:10.1007/978-3-319-32774-7
Contents:1 Introduction -- The Lasso -- 3 The square-root Lasso -- 4 The bias of the Lasso and worst possible sub-directions -- 5 Confidence intervals using the Lasso -- 6 Structured sparsity -- 7 General loss with norm-penalty -- 8 Empirical process theory for dual norms -- 9 Probability inequalities for matrices -- 10 Inequalities for the centred empirical risk and its derivative -- 11 The margin condition -- 12 Some worked-out examples -- 13 Brouwer’s fixed point theorem and sparsity -- 14 Asymptotical ly linear estimators of the precision matrix -- 15 Lower bounds for sparse quadratic forms -- 16 Symmetrization, contraction and concentration -- 17 Chaining including concentration -- 18 Metric structure of convex hulls
ISBN:9783319327747
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Mathematics: 2159
Keywords: Mathematics , Mathematical statistics , Probabilities , Statistics , Mathematics , Probability Theory and Stochastic Processes , Statistical Theory and Methods , Probability and Statistics in Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319300306:ONLINE Show nearby items on shelf
Title:Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Author(s): Aslak Tveito
Date:2016
Size:1 online resource (30 p.)
Note:10.1007/978-3-319-30030-6
Contents:Preface -- Background: Contents and Method -- One-dimensional calcium release -- Models of open and state blockers -- Two-dimensional calcium release -- Computing theoretical drugs in the two-dimensional case -- Generalized systems -- Calcium-induc ed calcium release -- Numerical release for CICR -- A prototypical model of an ion channel -- Inactivated ion channels -- A simple model of the sodium channel -- Mutations affecting the mean open time -- The burst mode -- Whole sale action potentials --
ISBN:9783319300306
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 111
Keywords: Mathematics , Computer graphics , Computer mathematics , Mathematics , Computational Science and Engineering , Biomedicine general , Computer Imaging, Vision, Pattern Recognition and Graphics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319218915:ONLINE Show nearby items on shelf
Title:Quantum Information Processing with Finite Resources Mathematical Foundations
Author(s): Marco Tomamichel
Date:2016
Edition:1st ed. 2016
Size:1 online resource (138 p.)
Note:10.1007/978-3-319-21891-5
Contents:Introduction -- Finite Resource Information Theory 1.2 Motivating Example -- Outline of the Book -- Modeling Quantum Information -- General Remarks on Notation -- Linear Operators and Events -- Functionals and States -- Multi-Partite
Systems -- Functions on Positive Operators -- Quantum Channels -- Background and Further Reading -- Norms and Metrics -- Norms for Operators and Quantum States -- Trace Distance -- Fidelity -- Purified Distance -- Background and
Further Reading -- Quantum Rényi Divergence -- Classical Rényi Divergence -- Classifying Quantum Rényi Divergences -- Minimal Quantum Rényi Divergence -- Petz Quantum Rényi Divergence -- Background and Further Reading -- Conditional
Rényi Entropy -- Conditional Entropy from Divergence -- Definitions and Properties.-Duality Relations and their Applications -- Chain Rules -- Background and Further Reading -- Smooth Entropy Calculus -- Min- and Max-Entropy -- Smooth
Entropies -- Properties of the Smooth Entropies -- Fully Quantum Asymptotic Equipartition Property -- Background and Further Reading -- Selected Applications -- Binary Quantum Hypothesis Testing -- Entropic Uncertainty Relations --
Randomness Extraction -- Background and Further Reading -- A Some Fundamental Matrix Analysis Results -- References
ISBN:9783319218915
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:SpringerBriefs in Mathematical Physics: 5
Keywords: Physics , Data structures (Computer science) , Quantum computers , Quantum physics , Spintronics , Physics , Quantum Physics , Quantum Computing , Data Structures, Cryptology and Information Theory , Quantum Information Technology, Spintronics
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

Cover
Image
Call number:SPRINGER-2014-9789401788045:ONLINE Show nearby items on shelf
Title:Three Dimensional Creativity [electronic resource] : Three Navigations to Extend our Thoughts
Author(s): Kwang Hyung Lee
Date:2014
Publisher:Dordrecht : Springer Netherlands : Imprint: Springer
Size:1 online resource
Note:Is creativity something that we are simply born with and cannot hone with effort? Some say that creativity cannot be cultivated. Is it true? In general, our thinking sticks to reality unless there is any external stimulation. Withour thinking fixed o n a certain situation, it becomes difficult to come up with a fresh idea. In this regard, three questions are suggested: (1) Question of Time: When a problem arises, question yourself on a time axis first of all.How would the matter be handled 10 or 20 ye ars from now? (2) Question of Space: Ask yourself some questions on its spatial elements. How would the matter be handled in Saudi Arabia or in China? (3) Question of Field: Apply the givenproblem in a variety of fields. How would the matter be handled in the field of music or electronic engineering? The three questions suggested here are given on the three axes: time, space, and field, and this book deals withtheoretical and practical aspects on the topics. In this way it is a unique book about the syste matic method of developing creativity, which will have appeal to researchers and students in multidisciplinary fields from neuroscience tophysics, and engineering and computer science, as well as a general public
Contents:Preface
1 Creativity can be cultivated
2 Freedom from time
3 Freedom from space
4 Freedom from field
5 Traveling on a two
dimensional plane
6 Traveling in a three
dimensional world
ISBN:9789401788045
Series:eBooks
Series:SpringerLink
Series:KAIST Research Series, 2214-2541
Series:Physics and Astronomy (Springer-11651)
Keywords: Engineering design
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

Cover
Image
Call number:SPRINGER-2014-9789400775480:ONLINE Show nearby items on shelf
Title:Advances in Natural Deduction [electronic resource] : A Celebration of Dag Prawitz's Work
Author(s): Luiz Carlos Pereira
Edward Hermann Haeusler
Valeria de Paiva
Date:2014
Publisher:Dordrecht : Springer Netherlands : Imprint: Springer
Size:1 online resource
Note:This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour hisseminal research. Dag Prawit zs work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics andTheoretical Computer Science. The range of contributions includes ma terial on the extension of natural deduction with higher-order rules, as opposed to higher-order connectives, and a paper discussing the application of naturaldeduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), viamethods of category theory that have been successfully applied to linear logic, as well as many other contributions from h ighly regarded authorities. With an illustrious group of contributors addressing a wealth of topics andapplications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative ofthe rich and varied directions that Prawitz work has inspired in the area of natural deduction.
Contents:Chapter 1. Generalizaed elimination inferences Schroeder
Heister, Peter
Chapter 2. Revisiting Zucker's work on the Correspondence between Cut
Elimination and Normalisation Urban, Christian
Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic Joinet, Jean
Baptiste
Chapter 4. Natural Deduction for Equality: The Missing Entity de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G
Chapter 5. Proof
theoretical Conception of Logic Legris, Javier
Chapter 6. On the Structure of Natural deduction Derivations for Generally Vana, Leonardo B., Veloso, Paulo A.S. , and Veloso, Sh
ISBN:9789400775480
Series:eBooks
Series:SpringerLink
Series:Trends in Logic, Studia Logica Library, 1572-6126 : v39
Series:Mathematics and Statistics (Springer-11649)
Keywords: Philosophy (General) , Logic , Computer science , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9789400770492:ONLINE Show nearby items on shelf
Title:Unsteady Computational Fluid Dynamics in Aeronautics [electronic resource]
Author(s): P.G Tucker
Date:2014
Publisher:Dordrecht : Springer Netherlands : Imprint: Springer
Size:1 online resource
Note:The field of Large Eddy Simulation (LES) and hybrids is a vibrant research area. This book runs through all the potential unsteady modelling fidelity ranges, from low-order to LES. The latter is probably the highest fidelity forpractical aerospace sy stems modelling. Cutting edge new frontiers are defined. One example of a pressing environmental concern is noise. For the accurate prediction of this, unsteady modelling is needed. Hence computationalaeroacoustics is explored. It is also emerging that th ere is a critical need for coupled simulations. Hence, this area is also considered and the tensions of utilizing such simulations with the already expensive LES. This work hasrelevance to the general field of CFD and LES and to a wide variety of non-aero space aerodynamic systems (e.g. cars, submarines, ships, electronics, buildings). Topics treated include unsteady flow techniques LES and hybrids generalnumerical methods computational aeroacoustics computational aeroelasticity coupled simulations and tur bulence and its modelling (LES, RANS, transition, VLES, URANS). The volume concludes by pointing forward to future horizons and inparticular the industrial use of LES. The writing style is accessible and useful to both academics and industrial practitione rs. From the reviews: Tucker's volume provides a very welcome, concise discussion of current capabilitiesfor simulating and modellng unsteady aerodynamic flows. It covers the various possible numerical techniques in good, clear detail and presents a very wide range of practical applications beautifully illustrated in many cases. Thisbook thus provides a valuable text for practicing engineers, a rich source of background information for students and those new to this area of Research & Development, and an excellent state-of-the-art review for others. A greatachievement. Mark Savill FHEA, FRAeS, C.Eng, Professor of Computational Aerodynamics Design & Head of Power & Propulsion Sciences, Depart
Contents:Preface
1 Introduction
2 Computational Methods for Unsteady Flows
3 Turbulence and its Modelling
4 Computational Aerodynamics Methods
5 Applications of Eddy Resolving Methods
6 Computational Aeroacoustics
7 Coupled Computational Aerodynamics
8 Future Outlook
Appendix A Numerical Scheme Performance Studies
Appendix B RANS Models
Index
ISBN:9789400770492
Series:eBooks
Series:SpringerLink
Series:Fluid Mechanics and Its Applications, 0926-5112 : v104
Series:Physics and Astronomy (Springer-11651)
Keywords: Engineering , Computer science , Hydraulic engineering , Astronautics
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

Cover
Image
Call number:SPRINGER-2014-9783764385040:ONLINE Show nearby items on shelf
Title:Kripkes Worlds [electronic resource] : An Introduction to Modal Logics via Tableaux
Author(s): Olivier Gasquet
Andreas Herzig
Bilal Said
Franois Schwarzentruber
Date:2014
Publisher:Basel : Springer Basel : Imprint: Birkhuser
Size:1 online resource
Note:Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible worlds model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics(alethic, temporal, epis temic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several paraconsistent and relevant logics). All these logics havebeen studied intensively in philosophical an d mathematical logic and in computer science, and have been applied increasingly in domains such as program semantics, artificial intelligence, and more recently in the semantic web.Additionally, all these logics were also studied proof theoretically. The proof systems for modal logics come in various styles: Hilbert style, natural deduction, sequents, and resolution. However, it is fair to say that the mostuniform and most successful such systems are tableaux systems. Given a logic and a formula, they al low one to check whether there is a model in that logic. This basically amounts to trying to build a model for the formula by building atree. This book follows a more general approach by trying to build a graph, the advantage being that a graph is closer to a Kripke model than a tree. It provides a step-by-step introduction to possible worlds semantics (and by that tomodal and other nonclassical logics) via the tableaux method. It is accompanied by a piece of software called LoTREC (www.irit.fr/Lotrec). L oTREC allows to check whether a given formula is true at a given world of a given model and tocheck whether a given formula is satisfiable in a given logic. The latter can be done immediately if the tableau system for that logic has already been implement ed in LoTREC. If this is not yet the case LoTREC offers the possibility toimplement a tableau system in a relatively easy way via a simple, graph-based, interactive language. >dy>
Contents:Preface
1 Modelling things with graphs
2 Talking about graphs
3 The basics of the model construction method
4 Logics with simple constraints on models
5 Logics with transitive accessibility relations
6 Model Checking
7 Modal logics with transitive closure
Bibliography
Index
ISBN:9783764385040
Series:eBooks
Series:SpringerLink
Series:Studies in Universal Logic
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9783642549595:ONLINE Show nearby items on shelf
Title:A Primer on Scientific Programming with Python [electronic resource]
Author(s): Hans Petter Langtangen
Date:2014
Edition:4th ed. 2014
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications are taken from mathematics,numerical calculus, st atistics, physics, biology and finance. The book teaches Matlab-style and procedural programming as well as object-oriented programming. High school mathematics is a required background and it is advantageousto study classical and numerical one-variable c alculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in various branches of scienceand engineering, with the aid of numerical methods and programming. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science. From the reviews: Langtangen does an excellent job of introducing programming as a set of skills in problem solving. He guides the reader into thinking properly about producing program logic and data structures for modeling real-world problems using objectsand functions and embracing the object-oriented paradigm. Summing Up: Highly recommended. F. H. Wild III, Choice, Vol. 47 (8), April 2010 Those of us who have learned scientific programming in Python on the streets could be alittle jealous of students who have the opportunity to take a course out of Langtangens Primer. John D. Cook, The Mathematical Association of Am erica, September 2011 This book goes through Python in particular, and programmingin general, via tasks that scientists will likely perform. It contains valuable informationfor students new to scientific computing and would be the perfect bridge between a n introduction to programming and an advanced course onnumerical methods or computational science. Alex Small, IEEE, CiSE Vol. 14 (2), March/April 2012
Contents:Preface
Computing with Formulas
Loops and Lists
Functions and Branching
User Input and Error Handling
Array Computing and Curve Plotting
Dictionaries and Strings
Introduction to Classes
Random Numbers and Simple Games
Object
Oriented Programming
Sequences and Difference Equations
Introduction to Discrete Calculus
Introduction to Differential Equations
A Complete Differential Equation Project
Programming of Differential Equations
Debugging
Migrating Python to Compiled Code
Technical Topics
Bibliography
Index
ISBN:9783642549595
Series:eBooks
Series:SpringerLink
Series:Texts in Computational Science and Engineering, 1611-0994 : v6
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Software engineering , 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

Cover
Image
Call number:SPRINGER-2014-9783319095318:ONLINE Show nearby items on shelf
Title:Translational Recurrences [electronic resource] : From Mathematical Theory to Real-World Applications
Author(s): Norbert Marwan
Michael Riley
Alessandro Giuliani
Jr. Webber Charles L
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:This book features 13 papers presented at the Fifth International Symposium on Recurrence Plots, held August 2013 in Chicago, IL. It examines recent applications and developments in recurrence plots and recurrence quantifi cationanalysis (RQA) with s pecial emphasis on biological and cognitive systems and the analysis of coupled systems using cross-recurrence methods. Readers will discover new applications and insights into a range of systems provided byrecurrence plot analysis and new theoretical and mathematical developments in recurrence plots. Recurrence plot based analysis is a powerful tool that operates on real-world complex systems that are nonlinear, non-stationary, noisy, ofany statistical distribution, free of any particular model type, and not particularly long. Quantitative analyses promote the detection of system state changes, synchronized dynamical regimes, or classifi cation of system states. Th ebook will be of interest to an interdisciplinary audience of recurrence plot users and re searchers interested in time series analysis of complex systems in general
Contents:1 A Recurrence Plot
based Distance Measure: S. Spiegel et al
2 Fast computation of recurrences in long time series: T. Rawald et al
3 Unthresholded recurrence plots for complex
valued representations of narrow band signals: A. Sipers et al
4 Quantifying redundancy and information content of lines in recurrence plots using the theory of framework rigidity: A. Sipers et al
5 Recent advances in non
stationary signal processing based on Recurrence Plot Analysis concept: C. Ioana et al
6 A Recurrence
Based Approach for Feature Extraction in Brain
Computer Interface Systems: L.F.S
ISBN:9783319095318
Series:eBooks
Series:SpringerLink
Series:Springer Proceedings in Mathematics & Statistics, 2194-1009 : v103
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Visualization , Mathematical statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9783319069234:ONLINE Show nearby items on shelf
Title:Advances in Applied Mathematics [electronic resource]
Author(s): Ali R Ansari
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:This volume contains contributions from the Gulf International Conference in Applied Mathematics, held at the Gulf University for Science & Technology. The proceedings reflects the three major themes of the conference. The firstof these was mathemati cal biology, including a keynote address by Professor Philip Maini. The second theme was computational science/numerical analysis, including a keynote address by Professor Grigorii Shishkin. The conference alsoaddressed more general applications topics, w ith papers in business applications, fluid mechanics, optimization, scheduling problems, and engineering applications, as well as a keynote by Professor Ali Nayfeh
Contents:Modelling invasive processes in biology
Modelling oxygen capillary supply to striated muscle tissues
Modeling human response to bednet promotion campaigns and its impact on malaria transmission
Computational Modelling and Optimal Control of HIV/AIDS Transmission in a Community with Substance Abuse Problem
Standard dierence scheme for a singularly perturbed convection
diusion equation in the presence of perturbations
A Higher Order Immersed Discontinuous Galerkin Finite Element Method for the Acoustic Interface Problem
A parameter uniform numerical method for a bounda
ISBN:9783319069234
Series:eBooks
Series:SpringerLink
Series:Springer Proceedings in Mathematics & Statistics, 2194-1009 : v87
Series:Mathematics and Statistics (Springer-11649)
Keywords: 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

Cover
Image
Call number:SPRINGER-2014-9783319067438:ONLINE Show nearby items on shelf
Title:Duality Theories for Boolean Algebras with Operators [electronic resource]
Author(s): Steven Givant
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:In this new text, Steven Givantthe author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarskidevelops three theories of duality for Boolean algebras with operators. Givant addressesthe two most recognized dualit ies (one algebraic and the other topological) and introduces a third duality, best understood as a hybrid of the first two. This text will be of interest to graduate students and researchers in the fieldsof mathematics, computer science, logic, and philos ophy who are interested in exploring special or general classes of Boolean algebras with operators. Readers should be familiar with the basic arithmetic and theory of Boolean algebras,as well as the fundamentals of point-set topology
Contents:1. Algebraic Duality
2. Topological Duality
3. Hybrid Duality
ISBN:9783319067438
Series:eBooks
Series:SpringerLink
Series:Springer Monographs in Mathematics, 1439-7382
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Algebra , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
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

Cover
Image
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

Cover
Image
Call number:SPRINGER-2014-9783319046754:ONLINE Show nearby items on shelf
Title:Geometry and its Applications [electronic resource]
Author(s): Vladimir Rovenski
Pawe Walczak
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:This volume has been divided into two parts: Geometry and Applications. The geometry portion of the book relates primarily to geometric flows, laminations, integral formulae, geometry of vector fields on Lie groups, andosculation the articles in the applications portion concern some particular problems of the theory of dynamical systems, including mathematical problems of liquid flows and a study of cycles for non-dynamical systems. This Work isbased on the second international workshop entitled Geom etry and Symbolic Computations, held on May 15-18, 2013 at the University of Haifa and is dedicated to modeling (using symbolic calculations) in differential geometry and itsapplications in fields such as computer science, tomography, and mechanics. It is intended to create a forum for students and researchers in pure and applied geometry to promote discussion of modern state-of-the-art in geometricmodeling using symbolic programs such as Maple and Mathematica, as well as presentation of new results.
Contents:Part I: Geometry
The Ricci flow on some generalized Wallach spaces (N.A. Abiev, A. Arvanitoyeorgos, Y.G. Nikonorov, P. Siasos)
Gaussian mean curvature flow for submanifolds in space forms (A. Borisenko, V. Rovenski)
Cantor laminationsand exceptional minimal sets in codimension one foliations(G. Hector)
Integral formulas in foliations theory (K. Andrzejewski, P. Walczak, V. Rovenski)
On prescribing the mixed scalar curvature of a foliations (V. Rovenski, L. Zelenko)
The partial Ricci flow for foliations (V. Rovenski)
Osculation in general (P. Walczak)
On stability of
ISBN:9783319046754
Series:eBooks
Series:SpringerLink
Series:Springer Proceedings in Mathematics & Statistics, 2194-1009 : v72
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Global differential 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

Cover
Image
Call number:SPRINGER-2014-9783319015958:ONLINE Show nearby items on shelf
Title:Data Analysis, Machine Learning and Knowledge Discovery [electronic resource]
Author(s): Myra Spiliopoulou
Lars Schmidt-Thieme
Ruth Janning
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:Data analysis, machine learning and knowledge discovery are research areas at the intersection of computer science, artificial intelligence, mathematics and statistics. They cover general methods and techniques that can be appliedto a vast set of app lications such as web and text mining, marketing, medicine, bioinformatics and business intelligence. This volume contains the revised versions of selected papers in the field of data analysis, machine learning andknowledge discovery presented during the 36th annual conference of the German Classification Society (GfKl). The conference was held at the University of Hildesheim (Germany) in August 2012
Contents:AREA Statistics and Data Analysis: Classifcation, Cluster Analysis, Factor Analysis and Model Selection
AREA Machine Learning and Knowledge Discovery: Clustering, Classifiers, Streams and Social Networks
AREA Data Analysis and Classification in Marketing
AREA Data Analysis in Finance
AREA Data Analysis in Biostatistics and Bioinformatics
AREA Interdisciplinary Domains: Data Analysis in Music, Education and Psychology
LIS Workshop: Workshop on Classification and Subject Indexing in Library and Information Science
ISBN:9783319015958
Series:eBooks
Series:SpringerLink
Series:Studies in Classification, Data Analysis, and Knowledge Organization, 1431-8814
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Data mining , Statistical methods , Mathematical statistics , Marketing , Philosophy (General)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
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

Cover
Image
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

Cover
Image
Call number:SPRINGER-2014-9781493906185:ONLINE Show nearby items on shelf
Title:Holy Sci-Fi! [electronic resource] : Where Science Fiction and Religion Intersect
Author(s): Paul J Nahin
Date:2014
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Can a computer have a soul? Are religion and science mutually exclusive?Is there really such a thing as free will?If you could time travel to visit Jesus, would you (and should you)?For hundreds of years, philosophers,scientists, and science fiction writers have pondered these questions and many more. In Holy Sci-Fi!, popular writer Paul Nahin explores the fertile and sometimes uneasy relationship between science fiction and religion. With a scopespanning the history of religion, philosophy, and lite rature, Nahin follows religious themes in science fiction from Feynman to Foucault, and from Asimov to Aristotle. An intriguing journey through popular and well-loved books andstories, Holy Sci-Fi! shows how sci-fi has informed humanity's attitudes toward s our faiths, our future, and ourselves
Contents:1. Introduction
Authors Note One
God and Skepticism
God, Fantasy, and Science Fiction
God and Science
Authors Note Two
2. Religious Science Fiction Before Science Fiction
The 'Start' of Modern SF
Before the 'Start' of SF
Early Theological SF
Theological Maturity
3. Time, Space, God's Omniscience, and Free Will
What is Time?
Time in SF and Theology
The Four
Dimensional World
The Block Universe
God's Omniscience in Theology and SF
4. Religious Robots
Alan Turing, Artificial Minds, and the Souls of Machines
Asimovs Robotic Laws
ISBN:9781493906185
Series:eBooks
Series:SpringerLink
Series:Science and Fiction, 2197-1188
Series:Physics and Astronomy (Springer-11651)
Keywords: Philosophy , Science Philosophy , Technology Philosophy , Science (General)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
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

Cover
Image
Call number:SPRINGER-2014-9781461495338:ONLINE Show nearby items on shelf
Title:Genericity in Nonlinear Analysis [electronic resource]
Author(s): Simeon Reich
Alexander J Zaslavski
Date:2014
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:This book presents an extensive collection of state-of-the-art results and references in nonlinear functional analysis demonstrating how the generic approach proves to be very useful in solving many interesting and importantproblems. Nonlinear analys is plays an ever-increasing role in theoretical and applied mathematics, as well as in many other areas of science such as engineering, statistics, computer science, economics, finance, and medicine. The textmay be used as supplementary material for gradu ate courses in nonlinear functional analysis, optimization theory and approximation theory, and is a treasure trove for instructors, researchers, and practitioners in mathematics and inthe mathematical sciences. Each chapter is self-contained proofs are solid and carefully communicated. Genericity in Nonlinear Analysis is the first book to systematically present the generic approach to nonlinear analysis. Topicspresented include convergence analysis of powers and infinite products via the Baire Category Theorem, fixed point theory of both single- and set-valued mappings, best approximation problems, discrete and continuous descent methods forminimization in a general Banach space, and the structure of minimal energy configurations with rational numbers i n the AubryMather theory
Contents:Preface
1. Introduction
2. Fixed Point Results and Convergence of Powers of Operators
3. Contractive Mappings
4. Dynamical Systems with Convex Lyapunov Functions
5. Relatively Nonexpansive Operators with Respect to Bregman Distances
6. Infinite Products
7.Best Approximation
8. Descent Methods
9. Set
Valued Mappings
References
Index
ISBN:9781461495338
Series:eBooks
Series:SpringerLink
Series:Developments in Mathematics, 1389-2177 : v34
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Functional analysis , Operator theory , 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

Cover
Image
Call number:SPRINGER-2014-9781461479000:ONLINE Show nearby items on shelf
Title:XML and Web Technologies for Data Sciences with R [electronic resource]
Author(s): Deborah Nolan
Duncan Temple Lang
Date:2014
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Web technologies are increasingly relevant to scientists working with data, for both accessing data and creating rich dynamic and interactive displays. The XML and JSON data formats are widely used in Web services, regular Webpages and JavaScript cod e, and visualization formats such as SVG and KML for Google Earth and Google Maps. In addition, scientists use HTTP and other network protocols to scrape data from Web pages, access REST and SOAP Web Services,and interact with NoSQL databases and text sea rch applications. This book provides a practical hands-on introduction to these technologies, including high-level functions the authors have developed for data scientists. It describesstrategies and approaches for extracting data from HTML, XML, and JSON formats and how to programmatically access data from the Web. Along with these general skills, the authors illustrate several applications that are relevant todata scientists, such as reading and writing spreadsheet documents both locally and via GoogleD ocs, creating interactive and dynamic visualizations, displaying spatial-temporal displays with Google Earth, and generating code fromdescriptions of data structures to read and write data. These topics demonstrate the rich possibilities and opportunities to do new things with these modern technologies. The book contains many examples and case-studies thatreaders can use directly and adapt to their own work. The authors have focused on the integration of these technologies with the R statistical computing environment. However, the ideas and skills presented here are more general,and statisticians who use other computing environments will also find them relevant to their work. Deborah Nolan is Professor of Statistics at University of California, Berkeley. Duncan Temple Lang is Associate Professor of Statisticsat University of California, Davis and has been a member of both the S and R development teams
Contents:Data Formats XML and JSON
Web Technologies, Getting Data from the Web
General XML Application Areas
Bibliography
General Index
R Function and Parameter Index
R Package Index
R Class Index
Colophon
ISBN:9781461479000
Series:eBooks
Series:SpringerLink
Series:Use R!, 2197-5736
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Computer science , Mathematical statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9783642365195:ONLINE Show nearby items on shelf
Title:Mixed Finite Element Methods and Applications [electronic resource]
Author(s): Daniele Boffi
Franco Brezzi
Michel Fortin
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:Non-standard finite element methods, in particular mixed methods, are central to many applications. In this text the authors, Boffi, Brezzi and Fortin present a general framework, starting with a finite dimensional presentation,then moving on to form ulation in Hilbert spaces and finally considering approximations, including stabilized methods and eigenvalue problems. Thisbookalso provides an introduction to standard finite element approximations, followedby the construction of elements for the approx imation of mixed formulations in H(div) and H(curl). The general theory is applied to some classical examples: Dirichlet's problem, Stokes' problem, plate problems, elasticity andelectromagnetism
Note:Springer eBooks
Contents:Preface
Variational Formulations and Finite Element Methods
Function Spaces and Finite Element Approximations
Algebraic Aspects of Saddle Point Problems
Saddle Point Problems in Hilbert spaces
Approximation of Saddle Point Problems
Complements: Stabilisation Methods, Eigenvalue Problems
Mixed Methods for Elliptic Problems
Incompressible Materials and Flow Problems
Complements on Elasticity Problems
Complements on Plate Problems
Mixed Finite Elements for Electromagnetic Problems
Index.
ISBN:9783642365195
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Series in Computational Mathematics, 0179-3632 : v44
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science Mathematics , Computer science , Mechanics, applied
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

Cover
Image
Call number:SPRINGER-2013-9783642332876:ONLINE Show nearby items on shelf
Title:The Finite Element Method: Theory, Implementation, and Applications [electronic resource]
Author(s): Mats G Larson
Fredrik Bengzon
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 gives an introduction to the finite element method as a general computational method for solving partial differential equations approximately. Our approach is mathematical in nature with a strong focus on the underlyingmathematical principl es, such as approximation properties of piecewise polynomial spaces, and variational formulations of partial differential equations, but with a minimum level of advanced mathematical machinery from functionalanalysis and partial differential equations. In principle, the material should be accessible to students with only knowledge of calculus of several variables, basic partial differential equations, and linear algebra, as the necessaryconcepts from more advanced analysis are introduced when needed. Thro ughout the text we emphasize implementation of the involved algorithms, and have therefore mixed mathematical theory with concrete computer code using the numericalsoftware MATLAB is and its PDE-Toolbox. We have also had the ambition to cover some of the most important applications of finite elements and the basic finite element methods developed for those applications, including diffusion andtransport phenomena, solid and fluid mechanics, and also electromagnetics.
Note:Springer eBooks
Contents:1. Piecewise Polynomial Approximation in 1D
2. The Finite Element Method in 1D
3. Piecewise Polynomial Approximation in 2D
4. The Finite Element Method in 2D
5. Time
dependent Problems
6. Solving Large Sparse Linear Systems
7. Abstract Finite Element Analysis
8. The Finite Element
9. Non
linear Problems
10. Transport Problems
11. Solid Mechanics
12. Fluid Mechanics
13. Electromagnetics
14. Discontinuous Galerkin Methods
A. Some Additional Matlab Code
References
ISBN:9783642332876
Series:e-books
Series:SpringerLink (Online service)
Series:Texts in Computational Science and Engineering, 1611-0994 : v10
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer aided design , Differential equations, partial , Computer science Mathematics , Computer science , Mechanics, applied
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

Cover
Image
Call number:SPRINGER-2013-9783642328176:ONLINE Show nearby items on shelf
Title:Complexity Perspectives on Language, Communication and Society [electronic resource]
Author(s): ngels Massip-Bonet
Albert Bastardas-Boada
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:The language-communication-society triangle defies traditional scientific approaches. Rather, it is a phenomenon that calls for an integration of complex, transdisciplinary perspectives, if we are to make any progress inunderstanding how it works. Th e highly diverse agents in play are not merely cognitive and/or cultural, but also emotional and behavioural in their specificity. Indeed, the effort may require building a theoretical and methodologicalbody of knowledge that can effectively convey the ch aracteristic properties of phenomena in human terms. New complexity approaches allow us to rethink our limited and mechanistic images of human societies and create more appropriateemo-cognitive dynamic and holistic models. We have to enter into dialogue w ith the complexity views coming out of other more material sciences, but we also need to take steps in the linguistic and psycho-sociological fieldstowards creating perspectives and concepts better fitted to human characteristics. Our understanding of com plexity is different but not opposed to the one that is more commonly found in texts written by people working inphysics or computer science, for example. The goal of this book is to extend the knowledge of these other more human or socially oriented pe rspectives on complexity, taking account of the language and communication singularitiesof human agents in society.
Note:Springer eBooks
Contents:Introduction
Facing complexity: Prediction vs. adaptation
Sociolinguistics: Towards a complex ecological view
Language as a Complex Adaptive System: Towards an Integrative Linguistics
An experientially
based informationless communication
Conversation as emergent function
Communication situations: A dialogic quiz?
Education, emotion, complexity
Minds and screens. Communication and socialization from a complexity perspective
Self
organization in communicating groups: The emergence of coordination, shared references and collective intelligence
General linguistic
ISBN:9783642328176
Series:e-books
Series:SpringerLink (Online service)
Series:Understanding Complex Systems, 1860-0832
Series:Physics and Astronomy (Springer-11651)
Keywords: 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

Cover
Image
Call number:SPRINGER-2013-9783642324604:ONLINE Show nearby items on shelf
Title:Traffic Flow Dynamics [electronic resource] : Data, Models and Simulation
Author(s): Martin Treiber
Arne Kesting
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 textbook provides a comprehensive and instructive coverage of vehicular traffic flow dynamics and modeling. It makes this fascinating interdisciplinary topic, which to date was only documented in parts by specializedmonographs, accessible to a b road readership. Numerous figures and problems with solutions help the reader to quickly understand and practice the presented concepts. This book is targeted at students of physics and traffic engineeringand, more generally, also at students and professi onals in computer science, mathematics, and interdisciplinary topics. It also offers material for project work in programming and simulation at college and university level. The mainpart, after presenting different categories of traffic data, is devoted t o a mathematical description of the dynamics of traffic flow, covering macroscopic models which describe traffic in terms of density, as well as microscopicmany-particle models in which each particle corresponds to a vehicle and its driver.Focus chapters on traffic instabilities and model calibration/validation present these topics in a novel and systematic way.Finally, thetheoretical framework is shown at work in selected applications such as traffic-state and travel-time estimation, intelligent transpor tation systems, traffic operations management, and a detailed physics-based model for fuelconsumption and emissions
Note:Springer eBooks
Contents:Introduction
Part I Traffic Data: Trajectroy and Floating
Car Data
Cross
Sectional Data
Representations of Cross
Sectional Data
Spatiotemporal Reconstruction of the Traffic State
Part II Traffic Flow Modeling: General Aspects
Continuity Equation
The Lighthill
Whitham
Richards Model
Macroscopic Models with Dynamic Velocity
Elementary Car
Following Models
Car
Following Models based on Driving Strategies
Modeling Human Aspects of Driving Behavior
Cellular Automata
Lane
Changing and other Discrete
Choice Situations
Stability Analysis
Calibration and Val
ISBN:9783642324604
Series:e-books
Series:SpringerLink (Online service)
Series:Physics and Astronomy (Springer-11651)
Keywords: Mathematical optimization , Engineering , Operations research
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

Cover
Image
Call number:SPRINGER-2013-9783642324543:ONLINE Show nearby items on shelf
Title:Sustained Simulation Performance 2012 [electronic resource] : Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, TohokuUniversity, 2012 / edited by M ichael M. Resch, Xin Wang, Wolfgang Bez, Erich Focht, Hiroaki Kobayashi
Author(s): Michael M Resch
Xin Wang
Wolfgang Bez
Erich Focht
Hiroaki Kobayashi
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:The book presents the state of the art in high performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and specifically the future of highperformance systems and het erogeneous architectures. The application contributions cover computational fluid dynamics, material science, medical applications and climate research. Innovative fields like coupled multi-physics ormulti-scale simulations are presented. All papers were chosen from presentations given at the 14th Teraflop Workshop held in December 2011 at HLRS, University of Stuttgart, Germany and the Workshop on Sustained Simulation Performanceat Tohoku University in March 2012
Note:Springer eBooks
Contents:Exascale Computing
New Challenges in Software and Hardware
Techniques and Tools for New
Generation Computing Systems
Earthquake Modeling and Simulation on High Performance Computing Systems
Computational Engineering Applications and Coupled Multi
Physics Simulations
ISBN:9783642324543
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer simulation , Computer science , Engineering mathematics , Hydraulic engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9783642309588:ONLINE Show nearby items on shelf
Title:Encyclopedia of Distances [electronic resource]
Author(s): Michel Marie Deza
Elena Deza
Date:2013
Edition:2nd ed. 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 updated and revised second edition of the leading reference volume on distance metrics includes a wealth of new material that reflects advances in a field now regarded as an essential tool in many areas of pure and appliedmathematics. The publi cation of this volume coincides with intensifying research efforts into metric spaces and especially distance design for applications. Accurate metrics have become a crucial goal in computational biology, imageanalysis, speech recognition and information retrieval. Leaving aside the practical questions that arise during the selection of a good distance function, this work focuses on providing the research community with aninvaluable comprehensive listing of the main available distances. As well as provi ding standalone introductions and definitions, the encyclopedia facilitates swift cross-referencing with easily navigable bold-faced textual links tocore entries. In addition to distances themselves, the authors have collated numerous fascinating curiosit ies in their Whos Who of metrics, including distance-related notions and paradigms that enable applied mathematicians in othersectors to deploy research tools that non-specialists justly view as arcane. In expanding access to these techniques, and in many cases enriching the context of distances themselves, this peerless volume is certain to stimulate freshresearch
Note:Springer eBooks
Contents:Part I. Mathematics of Distances
1 General Definitions
2 Topological Spaces
3 Generalization of Metric Spaces
4 Metric Transforms
5 Metrics on Normed Structures
Part II. Geometry and Distances
6 Distances in Geometry
7 Riemannian and Hermitian Metrics
8 Distances on Surfaces and Knots
9 Distances on Convex Bodies, Cones and Simplicial Complexes
Part III. Distances in Classical Mathematics
10 Distances in Algebra
11 Distances on Strings and Permutations
12 Distances on Numbers, Polynominals and Matrices
13 Distances in Functional Analysis
14 Dista
ISBN:9783642309588
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science Mathematics , Visualization , Geometry , Global differential geometry , Topology , 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

Cover
Image
Call number:SPRINGER-2013-9783642275555:ONLINE Show nearby items on shelf
Title:Differential-Algebraic Equations: A Projector Based Analysis [electronic resource]
Author(s): Ren Lamour
Roswitha Mrz
Caren Tischendorf
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:Differential algebraic equations (DAEs), including so-called descriptor systems, began to attract significant research interest in applied and numerical mathematics in the early 1980s, no more than about three decades ago. In thisrelatively short tim e, DAEs have become a widely acknowledged tool to model processes subjected to certain constraints in order to simulate and to control processes in various application fields such as network simulation, chemicalkinematics, mechanical engineering and syste ms biology. DAEs and their more abstract versions in infinite dimensional spaces comprise a great potential forthe future mathematical modeling of complex coupled processes. The purpose ofthe book is to expose the impressive complexity of general DAEs fro m an analytical point of view, to describe the state of the art as well as open problems andin sodoing to motivate further researchof this versatile,extraordinary topic from a broader mathematical perspective. The book elaborates on a new general, structu ral analysis capturing linear and nonlinear DAEs in a hierarchical way. The DAE structure is exposed by means of specialprojector functions. Some issues on numerical integration and computational aspects are also treated in this context
Note:Springer eBooks
Contents:Notations
Introduction
Part I. Projector based approach
1 Linear constant coefficient DAEs
.2 Linear DAEs with variable coefficients
3 Nonlinear DAEs
Part II. Index
1 DAEs: Analysis and numerical treatment
4 Analysis
5 Numerical integration
6 Stability issues
Part III. Computational aspects
7 Computational linear algebra aspects
8 Aspects of the numerical treatment of higher index DAEs
Part IV. Advanced topics
9 Quasi
regular DAEs
10 Nonregular DAEs
11 Minimization with constraints described by DAEs
12 Abstract differential algebraic equations
ISBN:9783642275555
Series:e-books
Series:SpringerLink (Online service)
Series:Differential-Algebraic Equations Forum
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Differential Equations , 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

Cover
Image
Call number:SPRINGER-2013-9783540708568:ONLINE Show nearby items on shelf
Title:Ernst Zermelo - Collected Works/Gesammelte Werke II [electronic resource] : Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Author(s): Ernst Zermelo
Heinz-Dieter Ebbinghaus
Akihiro Kanamori
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:Springer eBooks
ISBN:9783540708568
Series:e-books
Series:SpringerLink (Online service)
Series:Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften : v23
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Science History , Philosophy (General) , Computer science , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9783319009667:ONLINE Show nearby items on shelf
Title:Mathematics, Computer Science and Logic - A Never Ending Story [electronic resource] : The Bruno Buchberger Festschrift
Author(s): Peter Paule
Date:2013
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of theseconcepts, the essays pla ce strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria,on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation the founder of the Research Institute for Symbolic Computation (RISC)and its chairman from 1987-2000 the founder in 1990 of the Softwar epark Hagenberg, Austria, and since then its director. More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essaysby leading authorities, on such topics as mathematical foundations from the perspective of computer verification a symbolic-computational philosophy and methodology for mathematics the role of logic and algebra in softwareengineering and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically i nterested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computerscience and logic. Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchbergers successo r as director of the Research Institute for Symbolic Computation
Note:Springer eBooks
Contents:Preface
Henk Barendregt: Foundations of Mathematics from the Perspective of Computer Verification
Manfred Broy: On the Role of Logic and Algebra in Software Engineering
Stephen Wolfram: New Directions in the Foundations of Mathematics (2002)
Doron Zeilberger: Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics
ISBN:9783319009667
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Software engineering , Information theory , Algorithms , Computer software , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9783034805131:ONLINE Show nearby items on shelf
Title:Nonlinear Partial Differential Equations with Applications [electronic resource]
Author(s): Tom Roubek
Date:2013
Edition:2nd ed. 2013
Publisher:Basel : Springer Basel : Imprint: Birkhuser
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book primarily concerns quasilinear and semilinear elliptic and parabolic partial differential equations, inequalities, and systems. The exposition leads the reader through the general theory based on abstract (pseudo-)monotone or accretive oper ators as fast as possible towards the analysis of concrete differential equations, which have specific applications in continuum (thermo-) mechanics of solids and fluids, electrically (semi-) conductive media,modelling of biological systems, or in mechani cal engineering. Selected parts aremainly an introduction into the subject while some others form an advanced textbook. Thesecond edition simplifies and extends the exposition atparticular spots and augments the applications especially towards thermally coupled systems, magnetism, and more. The intended audience is graduate and PhD students as well as researchers in the theory of partial differential equationsor in mathematical modelling of distributed parameter systems. ------ The monograph contains a w ealth of material in both the abstract theory of steady-state or evolution equations of monotone and accretive type and concreteapplications to nonlinear partial differential equations from mathematical modeling. The organization of the material is well d one, and the presentation, although concise, is clear, elegant and rigorous. () this book is a notableaddition to the existing literature. Also, it certainly will prove useful to engineers, physicists, biologists and other scientists interested in the ana lysis of (...) nonlinear differential models of the real world. (MathematicalReviews)
Note:Springer eBooks
Contents:Preface
Preface to the 2nd edition
Notational conventions
1 Preliminary general material
I Steady
state problems
2 Pseudomonotone or weakly continuous mappings
3 Accretive mappings
4 Potential problems: smooth case
5 Nonsmooth problems variational inequalities
6. Systems of equations: particular examples
II Evolution problems
7 Special auxiliary tools
8 Evolution by pseudomonotone or weakly continuous mappings
9 Evolution governed by accretive mappings
10 Evolution governed by certain set
valued mappings
11 Doubly
nonlinear problems
12 Systems o
ISBN:9783034805131
Series:e-books
Series:SpringerLink (Online service)
Series:International Series of Numerical Mathematics : v153
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Functional equations , Differential equations, partial , 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

Cover
Image
Call number:SPRINGER-2013-9781461480020:ONLINE Show nearby items on shelf
Title:Cell Formation in Industrial Engineering [electronic resource] : Theory, Algorithms and Experiments
Author(s): Boris Goldengorin
Dmitry Krushinsky
Panos M Pardalos
Date:2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book focuses on a development of optimal, flexible, and efficient models and algorithms for cell formation in group technology. Its main aim is to provide a reliable tool that can be used by managers and engineers to designmanufacturing cells ba sed on their own preferences and constraints imposed by a particular manufacturing system. This tool could potentially lower production costs by minimizing other costs in a number of areas, thereby increasingprofit in a manufacturing system. In the volume , the cell formation problem is considered in a systematic and formalized way, and several models are proposed, both heuristic and exact. The models are based on general clusteringproblems, and are flexible enough to allow for various objectives and const raints. The authors also provide results of numerical experiments involving both artificial data from academic papers in the field and real manufacturing datato certify the appropriateness of the models proposed. The book was intended to suit the broadest possible audience, and thus all algorithmic details are given in a detailed description with multiple numerical examples and informalexplanations are provided for the theoretical results. In addition to managers and industrial engineers, this book is int ended for academic researchers and students. It will also be attractive to many theoreticians, since it addressesmany open problems in computer science and bioinformatics
Note:Springer eBooks
Contents:1. The problem of cell formation
2. The p
Median problem
3. Application of the PMP to cell formation in group technology
4. The minimum multicut problem and an exact model for cell formation
5. Multiobjective nature of cell formation
6. Pattern
based heuristic for the cell formation problem in group technology
7. Branch
and
bound algorithm for bi
criterion cell formation problems
8. Summary and conclusions
A. Solutions to the 35 CF instances from [71]
Index
References
ISBN:9781461480020
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Optimization and Its Applications, 1931-6828 : v79
Series:Mathematics and Statistics (Springer-11649)
Keywords: 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

Cover
Image
Call number:SPRINGER-2013-9781461472186:ONLINE Show nearby items on shelf
Title:Predicting the Future [electronic resource] : Completing Models of Observed Complex Systems
Author(s): Henry Abarbanel
Date:2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Predicting the Future: Completing Models of Observed Complex Systems provides a general framework for the discussion of model building and validation across a broad spectrum of disciplines. This is accomplished through thedevelopment of an exact path integral for use in transferring information from observations to a model of the observed system. Through many illustrative examples drawn from models in neuroscience, fluid dynamics, geosciences, andnonlinear electrical circuits, the concepts are exempl ified in detail. Practical numerical methods for approximate evaluations of the path integral are explored, and their use in designing experiments and determining a model'sconsistency with observations is investigated. Using highly instructive examples, t he problems of data assimilation and the means to treat them are clearly illustrated. This book will be useful for students and practitioners ofphysics, neuroscience, regulatory networks, meteorology and climate science, network dynamics, fluid dynamics, and other systematic investigations of complex systems
Note:Springer eBooks
Contents:Preface
1 An Overview The Challenge of Complex Systems
2 Examples as a Guide to the Issues
3 General Formulation of Statistical Data Assimilation
4 Evaluating the Path Integral
5 Twin Experiments
6 Analysis of Experimental Data
ISBN:9781461472186
Series:e-books
Series:SpringerLink (Online service)
Series:Understanding Complex Systems, 1860-0832
Series:Physics and Astronomy (Springer-11651)
Keywords: Neurosciences , 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

Cover
Image
Call number:SPRINGER-2013-9781461467977:ONLINE Show nearby items on shelf
Title:Nonlinear Optimization Applications Using the GAMS Technology [electronic resource]
Author(s): Neculai Andrei
Date:2013
Publisher:Boston, MA : Springer US : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Nonlinear Optimization Applications Using the GAMS Technology develops a wide spectrum of nonlinear optimization applications expressed in the GAMS (General Algebraic Modeling System) language. The book is highly self-containedand is designed to pres ent applications in a general form that can be easily understood and quickly updated or modified to represent situations from the real world. The book emphasizes the local solutions of the large-scale, complex,continuous nonlinear optimization application s, and the abundant examples in GAMS are highlighted by those involving ODEs, PDEs, and optimal control. The collection of these examples will be useful for software developers andtesters. Chapter one presents aspects concerning the mathematical modeling process in the context of mathematical modeling technologies based on algebraic-oriented modeling languages. The GAMS technology is introduced in Chapter 2,mainly as a system for formulating and solving a large variety of general optimization models. The bulk of the82 nonlinear optimization applications is given in Chapter 3. This book is primarily intended to serve as a reference forgraduate students and for scientists working in various disciplines of industry/mathematical programming that use optimizat ion methods to model and solve problems. It is also well suited as supplementary material for seminars inoptimization, operations research, and decision making, to name a few
Note:Springer eBooks
Contents:Preface
List of Figures
List of Applications
1. Mathematical Modeling Using Algebraic Oriented Languages
2. Introduction to GAMS Technology
3. Nonlinear Optimization Applications in GAMS Technology
References
Subject Index
Author Index
ISBN:9781461467977
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Optimization and Its Applications, 1931-6828 : v81
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , 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

Cover
Image
Call number:SPRINGER-2013-9781461466420:ONLINE Show nearby items on shelf
Title:Number Theory and Related Fields [electronic resource] : In Memory of Alf van der Poorten
Author(s): Jonathan M Borwein
Igor Shparlinski
Wadim Zudilin
Date:2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Number Theory and Related Fields collects contributions based on the proceedings of the International Number Theory Conference in Memory of Alf van der Poorten, hosted by CARMA and held March 1216, 2012, at theUniversity of Newcastle, Australia. The purpose of the conference was to commemorate the research and influence of Alf van der Poorten in number theory and in general mathematics and presented an exciting venue for promotingnumber-theoretic research and graduate study in Australia. Comprehensiv e accounts of recent achievements in theoretical and computational number theory and its applications to cryptography and theoretical computer science were alsoparamount to the conference. The volume begins with a detailed academic appreciation of van der Poortens life and work, and includes research articles written by some of the most distinguished mathematicians in the field of numbertheory. Contributions also include related topics that focus on the various research interests of van der Poorten, such as continued fractions and elliptic curves. Researchers in number theory and its applications will find thisProceedings of great interest
Note:Springer eBooks
Contents:Preface
Life and Mathematics of Alfred Jacobus van der Poorten (D. Hunt)
Ramanujan
Sato
Like Series (G. Almkvist, J. Guillera)
On the Sign of the Real Part of the Riemann Zeta Function (J. Arias de Reyna, R.P. Brent, J. van de Lune)
Additive Combinatorics with a View Toward Computer Science and Cryptography (K. Bibak)
Transcendence of Stammering Continued Fractions (Y. Bugeaud)
Algebraic Independence of Infinite Products and Their Derivatives (P. Bundschuh)
Small Representations by Indefinite Ternary Quadratic Forms (J.B. Friedlander, H. Iwaniec)
Congruences for Andrews
ISBN:9781461466420
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Proceedings in Mathematics & Statistics, 2194-1009 : v43
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Number 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

Cover
Image
Call number:SPRINGER-2013-9781461464068:ONLINE Show nearby items on shelf
Title:Asymptotic Geometric Analysis [electronic resource] : Proceedings of the Fall 2010 Fields Institute Thematic Program
Author(s): Monika Ludwig
Vitali D Milman
Vladimir Pestov
Nicole Tomczak-Jaegermann
Date:2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Asymptotic Geometric Analysis is concerned with the geometric and linear properties of finite dimensional objects, normed spaces, and convex bodies, especially with the asymptotics of their various quantitative parameters as thedimension tends to inf inity. The deep geometric, probabilistic, and combinatorial methods developed here are used outside the field in many areas of mathematics and mathematical sciences. The Fields Institute Thematic Program in theFall of 2010 continued an established traditi on of previous large-scale programs devoted to the same general research direction. The main directions of the program included: * Asymptotic theory of convexity and normed spaces *Concentration of measure and isoperimetric inequalities, optimal transport ation approach * Applications of the concept of concentration * Connections with transformation groups and Ramsey theory * Geometrization of probability * Randommatrices * Connection with asymptotic combinatorics and complexity theory These directions are represented in this volume and reflect the present state of this important area of research. It will be of benefit to researchers working ina wide range of mathematical sciencesin particular functional analysis, combinatorics, convex geometry, dynamical systems, operator algebras, and computer science
Note:Springer eBooks
Contents:Preface
The Variance Conjecture on Some Polytopes (D. Alonso Gutirrez, J. Bastero)
More Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova)
On the Lyapounov Exponents of Schrodinger Operators Associated with the Standard Map (J. Bourgain)
Overgroups of the Automorphism Group of the Rado Graph (P. Cameron, C. Laflamme, M. Pouzet, S. Tarzi, R. Woodrow)
On a Stability Property of the Generalized Spherical Radon Transform (D. Faifman)
Banach Representations and Affine Compactification of Dynamical Systems (E. Glasner, M. Megrelishvili)
F
ISBN:9781461464068
Series:e-books
Series:SpringerLink (Online service)
Series:Fields Institute Communications, 1069-5265 : v68
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Topological Groups , Functional analysis , Operator theory , Discrete groups , 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

Cover
Image
Call number:SPRINGER-2013-9781461459699:ONLINE Show nearby items on shelf
Title:On the Higher-Order Sheffer Orthogonal Polynomial Sequences [electronic resource]
Author(s): Daniel J Galiffa
Date:2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:On the Higher-Order Sheffer Orthogonal Polynomial Sequences sheds light on the existence/non-existence of B-Type 1 orthogonal polynomials. This book presents a template for analyzing potential orthogonal polynomial sequencesincluding additional highe r-order Sheffer classes. This text not only shows that there are no OPS for the special case the B-Type 1 class, but that there are no orthogonal polynomial sequences for the general B-Type 1 class as well.Moreover, it is quite provocative how the seeming ly subtle transition from the B-Type 0 class to the B-Type 1 class leads to a drastically more difficult characterization problem. Despite this issue, a procedure is established thatyields a definite answer to our current characterization problem, which c an also be extended to various other characterization problems as well. Accessible to undergraduate students in the mathematical sciences and related fields, Thisbook functions as an important reference work regarding the Sheffer sequences. The author tak es advantage of Mathematica 7 to display unique detailed code and increase the reader's understanding of the implementation of Mathematica 7and facilitate further experimentation. In addition, this book provides an excellent example of how packages like M athematica 7 can be used to derive rigorous mathematical results
Note:Springer eBooks
Contents:1. The Sheffer A
Type 0 Orthogonal Polynomial Sequences and Related Results
2. Some Applications of the Sheffer A
Type 0 Orthogonal Polynomial Sequences
3. A Method for Analyzing a Special Case of the Sheffer B
Type 1 Polynomial Sequences
ISBN:9781461459699
Series:e-books
Series:SpringerLink (Online service)
Series:SpringerBriefs in Mathematics, 2191-8198
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Matrix theory , 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

Cover
Image
Call number:SPRINGER-2013-9781461449096:ONLINE Show nearby items on shelf
Title:Matrix-Analytic Methods in Stochastic Models [electronic resource]
Author(s): Guy Latouche
Vaidyanathan Ramaswami
Jay Sethuraman
Karl Sigman
Mark S Squillante
David Yao
Date:2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Matrix-analytic and related methods have become recognized as an important and fundamental approach for the mathematical analysis of general classes of complex stochastic models. Research in the area of matrix-analytic andrelated methods seeks to dis cover underlying probabilistic structures intrinsic in such stochastic models, develop numerical algorithms for computing functionals (e.g., performance measures) of the underlying stochastic processes, andapply these probabilistic structures and/or compu tational algorithms within a wide variety of fields. This volume presents recent research results on: the theory, algorithms and methodologies concerning matrix-analytic and relatedmethods in stochastic models and the application of matrix-analytic and re lated methods in various fields, which includes but is not limited to computer science and engineering, communication networks and telephony, electrical andindustrial engineering, operations research, management science, financial and risk analysis, and b io-statistics. These research studies provide deep insights and understanding of the stochastic models of interest from amathematicsandapplications perspective, as well as identify directions for future research
Note:Springer eBooks
Contents:Factorization properties for a MAP
modulated fluid flow model under server vacation policies
A compressed cyclic reduction for QBDs with low rank upper and lower transitions
Bilateral matrix
exponential distribution
AutoCAT: Automated Product
Form Solution of Stochastic Models
Markovian trees subject to catastrophes: Would they survive forever?
Majorization and Extremal PH
Distributions
Acceptance
rejection methods for generating random variates from matrix exponential distributions and rational arrival processes
Revisit to the tail asymptotics of the double QBD process: R
ISBN:9781461449096
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Proceedings in Mathematics & Statistics, 2194-1009 : v27
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Numerical 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

Cover
Image
Call number:SPRINGER-2012-9789491216503:ONLINE Show nearby items on shelf
Title:Mathematics of Approximation [electronic resource]
Author(s): Johan Villiers
Date:2012
Publisher:Paris : Atlantis Press : Imprint: Atlantis Press
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The approximation of a continuous function by either an algebraic polynomial, a trigonometric polynomial, or a spline, is an important issue in application areas like computer-aided geometric design and signal analysis. This bookis an introduction to the mathematical analysis of such approximation, and, with the prerequisites of only calculus and linear algebra, the material is targeted at senior undergraduate level, with a treatment that is both rigorous andself-contained. The topics include polynom ial interpolation Bernstein polynomials and the Weierstrass theorem best approximations in the general setting of normed linear spaces and inner product spaces best uniform polynomialapproximation orthogonal polynomials Newton-Cotes , Gauss and Clenshaw-C urtis quadrature the Euler-Maclaurin formula approximation of periodic functions the uniform convergence of Fourier series spline approximation,with anextensive treatment of local spline interpolation,and its application in quadrature. Exercises are prov ided at the end of each chapter
Note:Springer eBooks
Contents:Polynomial Interpolation Formulas
Error Analysis For Polynomial Interpolation
Polynomial Uniform Convergence
Best Approximation
Approximation Operators
Best Uniform Polynomial Approximation
Orthogonality
Interpolatory Quadrature
Approximation of Periodic Functions
Spline Approximation
ISBN:9789491216503
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics Textbooks for Science and Engineering : v1
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , 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

Cover
Image
Call number:SPRINGER-2012-9788847024298:ONLINE Show nearby items on shelf
Title:Probabilitin Fisica [electronic resource]
Author(s): Guido Boffetta
Angelo Vulpiani
Date:2012
Publisher:Springer Milan
Size:1 online resource
Note:Undergraduate textbook
Note:Language: It
Note:Springer 2012 Physics and Astronomy eBook collection
Note:Springer e-book platform
ISBN:9788847024298
Series:UNITEXT
Series:e-books
Keywords: Physics, general , Probability Theory and Stochastic Processes , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien
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

Cover
Image
Call number:SPRINGER-2012-9783642325601:ONLINE Show nearby items on shelf
Title:Singularity Hypotheses [electronic resource] : A Scientific and Philosophical Assessment
Author(s): Amnon H Eden
James H Moor
Johnny H Sraker
Eric Steinhart
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Singularity Hypotheses: A Scientific and Philosophical Assessment offers authoritative, jargon-free essays and critical commentaries on accelerating technological progress and the notion of technological singularity. It focuses onconjectures about th e intelligence explosion, transhumanism, and whole brain emulation. Recent years have seen a plethora of forecasts about the profound, disruptive impact that is likely to result from further progress in these areas.Many commentators however doubt the scie ntific rigor of these forecasts, rejecting them as speculative and unfounded. We therefore invited prominent computer scientists, physicists, philosophers, biologists, economists and otherthinkers to assess the singularity hypotheses. Their contributions go beyond speculation, providing deep insights into the main issues and a balanced picture of the debate
Note:Springer eBooks
Contents:Singularity Hypotheses: An Overview
Part 1: A Singularity of Artificial Superintelligence
Intelligence Explosion: Evidence and Import
The Threat of a Reward
Driven Adversarial Artificial General Intelligence
New Millenium Al and the Convergence of History 2012
Why an Intelligence Explosion is Probable
Part 2: Concerns About Artificial Superintelligence
The Singularity and Machine Ethics
Artificial General Intelligence and the Human Mental Model
Some Economic Incentives Facing a Business That Might Bring About a Technological Singularity
Rationally
shaped Artificia
ISBN:9783642325601
Series:e-books
Series:SpringerLink (Online service)
Series:The Frontiers Collection, 1612-3018
Series:Physics and Astronomy (Springer-11651)
Keywords: Engineering , Neurosciences , Technology Philosophy , Artificial intelligence , 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

Cover
Image
Call number:SPRINGER-2012-9783642245251:ONLINE Show nearby items on shelf
Title:3+1 Formalism in General Relativity [electronic resource] : Bases of Numerical Relativity
Author(s): Eric Gourgoulhon
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This graduate-level, course-based text is devoted to the 3+1 formalism of general relativity, which also constitutes the theoretical foundations of numerical relativity. The book starts by establishing the mathematical background(differential geometr y, hypersurfaces embedded in space-time, foliation of space-time by a family of space-like hypersurfaces), and then turns to the 3+1 decomposition of the Einstein equations, giving rise to the Cauchy problem withconstraints, which constitutes the core of 3+1 formalism. The ADM Hamiltonian formulation of general relativity is also introduced at this stage. Finally, the decomposition of the matter and electromagnetic field equations ispresented, focusing on the astrophysically relevant cases of a perfect fl uid and a perfect conductor (ideal magnetohydrodynamics). The second part of the book introduces more advanced topics: the conformal transformation of the3-metric on each hypersurface and the corresponding rewriting of the 3+1 Einstein equations, the Isen berg-Wilson-Mathews approximation to general relativity, global quantities associated with asymptotic flatness (ADM mass, linear andangular momentum) and with symmetries (Komar mass and angular momentum). In the last part, the initial data problem is stud ied, the choice of spacetime coordinates within the 3+1 framework is discussed and various schemes for the timeintegration of the 3+1 Einstein equations are reviewed. The prerequisites are those of a basic general relativity course with calculations and d erivations presented in detail, making this text complete and self-contained. Numericaltechniques are not covered in this book
Note:Springer eBooks
Contents:Basic Differential Geometry
Geometry of Hypersurfaces
Geometry of Foliations
3+1 decomposition of Einstein Equation
3+1 Equations for Matter and Electromagnetic Field
Conformal Decompositon
Asymptotic Flatness and Global Quantities
The Initial Data Problem
Choice of Foliation and Spatial Coordiinates
Evolution Schemes
Conformal Killing Operator and Conformal Vector Laplacian
Sage Codes
ISBN:9783642245251
Series:e-books
Series:SpringerLink (Online service)
Series:Lecture Notes in Physics, 0075-8450 : v846
Series:Physics and Astronomy (Springer-11651)
Keywords: Computer science Mathematics , Astronomy
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