Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
Call number: | 9783319510347:ONLINE Show nearby items on shelf |
Title: | Network Games, Control, and Optimization Proceedings of NETGCOOP 2016, Avignon, France |
Author(s): | |
Date: | 2017 |
Size: | 1 online resource (XIV, 234 p. 49 illus., 38 illus. in color p.) |
Contents: | Altman, E., Jain, A., Hayel, Y., Finite Improvement Property in a Stochastic Game Arising in Competition over Popularity in Social Networks -- Altman, E., Jain, A., Shimkin, N., Touati, C., Overview on Dynamic Games for Analyzing |
Competition in the Internet and in Online Social Networks -- Altman, E., Touati, C., Load Balancing Congestion Games and their Asymptotic Behavior -- Bachmann, I., Morales, F., Silva, A., Bustos-Jimenez, J., Go-Index: Applying Supply | |
Networks Principles as Internet Robustness Metrics -- Belhadj Amor, S., Perlaza, S., Decentralized K-User Gaussian Multiple Access Channels -- Berri, S., Varma, V., Lasaulce, S., Radjef, M., Correlated Equilibria in Wireless Power | |
Control Games -- Chorppath, A., Zappone, A., Jorswieck, E., Alpcan, T., An Energy-Efficiency Game in Relay-Assisted D2D Networks with Malicious Devices -- Courcoubetis, C., Dimakis, A., Kanakakis, M., Minimally Intrusive Server | |
Policies for Background Data Transfers -- De Pellegrini, F., Massaro, A., Goratti, L., Rachid, E., Bounded Generalized Kelly Mechanism for Multi-Tenant Caching in Mobile Edge Clouds -- Douros, V., Toumpis, S., Polyzos, G., Power | |
Control and Bargaining for Cellular Operator Revenue Increase under Licensed Spectrum Sharing -- Grammatico, S., An Incentive Mechanism for Agents Playing Competitive Aggregative Games -- Hamidouche, K., Saad, W., Debbah, M., | |
Multi-Games for LTE and WiFi Coexistence over Unlicensed Channels -- Hasan, C., Marina, M., Energy-Efficient User Association in Broadcast Transmission -- Ju, M., Zhou, F., Xiao, S., Torres-Moreno, J., Spectrum Shared p-Cycle Design in | |
Elastic Optical Networks with/without Spectrum Conversion Capabilities -- Chaitanya, A., Mukherji, U., Sharma, V., Learning Equilibria of a Stochastic Game on Gaussian Interference Channels with Incomplete Information -- Legenvre, F., | |
Altman, E., Hayal, Y., Potential Game Approach to Virus Attack in Network General Topology -- Marcastel, A., Belmega, E., Mertikopoulos, P., Fijalkow, I., Interfernce Mitigation via Pricing in Time-Varying Cognitive Radio Systems -- | |
Silva, A., Opinion Manipulation in Social Networks -- Taynitskiy, V., Gubar, E., Zhu, Q., Optimal Security Policy for Protection against Heterogeneous Malware -- Wu, H., Zhou, F., Zhu, Z., Chen, Y., An Experimental Comparison of | |
Routing and Spectrum Assignment Algorithms in Elastic Optical Networks -- Zhang, C., Varma, V., Lasaulce, S., Robust Power Modulation for Channel State Information Exchange | |
ISBN: | 9783319510347 |
Series: | eBooks |
Series: | Springer eBooks |
Series: | Springer 2017 package |
Keywords: | Mathematics , Computer science , Game theory , System theory , Computer mathematics , Applied mathematics , Engineering mathematics , Mathematics , Game Theory, Economics, Social and Behav. Sciences , Systems Theory, Control , Mathematical Applications in Computer Science , Math Applications in Computer Science , Appl.Mathematics/Computational Methods of Engineering |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | 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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Call number: | SPRINGER-2014-9783319066745:ONLINE Show nearby items on shelf |
Title: | Input Modeling with Phase-Type Distributions and Markov Models [electronic resource] : Theory and Applications |
Author(s): |
Peter Buchholz Jan Kriege Iryna Felko |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | Containing a summary of several recent results on Markov-based input modeling in a coherent notation, this book introduces and compares algorithms for parameter fitting and gives an overview of available software tools in thearea. Due to progress mad e in recent years with respect to new algorithms to generate PH distributions and Markovian arrival processes from measured data, the models outlined are useful alternatives to other distributions or stochasticprocesses used for input modeling. Graduate s tudents and researchers in applied probability, operations research and computer science along with practitioners using simulation or analytical models for performance analysis and capacityplanning will find the unified notation and up-to-date results pre sented useful. Input modeling is the key step in model based system analysis to adequately describe the load of a system using stochastic models. The goal of inputmodeling is to find a stochastic model to describe a sequence ofmeasurements from a real sys tem to model for example the inter-arrival times of packets in a computer network or failure times of components in a manufacturing plant.Typical application areas are performance and dependability analysis of computer systems, communication networks, log istics or manufacturing systems but also the analysis of biological or chemical reaction networks and similarproblems. Often the measured values have a high variability and are correlated. Its been known for a long time that Markov based models like phase type distributions or Markovian arrival processes are very general and allow one tocapture even complex behaviors. However, the parameterization of these models results often in a complex and non-linear optimization problem. Only recently, several new re sults about the modeling capabilities of Markov based models andalgorithms to fit the parameters of those models have been published |
Contents: | 1. Introduction |
2. Phase Type Distributions | |
3. Parameter Fitting for Phase Type Distributions | |
4. Markovian Arrival Processes | |
5. Parameter Fitting of MAPs | |
6. Stochastic Models including PH Distributions and MAPs | |
7. Software Tools | |
8. Conclusion | |
References | |
Index | |
ISBN: | 9783319066745 |
Series: | eBooks |
Series: | SpringerLink |
Series: | SpringerBriefs in Mathematics, 2191-8198 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer software , Distribution (Probability theory) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9783319062303:ONLINE Show nearby items on shelf |
Title: | Spectral Methods for Non-Standard Eigenvalue Problems [electronic resource] : Fluid and Structural Mechanics and Beyond |
Author(s): |
Clin-Ioan Gheorghiu |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This book focuses on the constructive and practical aspects of spectral methods. It rigorously examines the most important qualities as well as drawbacks of spectral methods in the context of numerical methods devoted to solvenon-standard eigenvalue problems. In addition, the book also considers some nonlinear singularly perturbed boundary value problems along with eigenproblems obtained by their linearization around constant solutions. The book ismathematical, poising problems in their proper functi on spaces, but its emphasis is on algorithms and practical difficulties. The range of applications is quite large. High order eigenvalue problems are frequently beset with numericalill conditioning problems. The book describes a wide variety of successful modifications to standard algorithms that greatly mitigate these problems. In addition, the book makes heavy use of the concept of pseudospectrum, which ishighly relevant to understanding when disaster is imminent in solving eigenvalue problems. It also envisions two classes of applications, the stability of some elastic structures and the hydrodynamic stability of some parallel shearflows. This book is an ideal reference text for professionals (researchers) in applied mathematics, computational physics and engineering. It will be very useful to numerically sophisticated engineers, physicists and chemists. The bookcan also be used as a textbook in review courses such as numerical analysis, computational methods in various engineering branches or physics and computational methods in analysis |
Contents: | 1 General Formulation of Spectral Approximation |
2 Tau and Galerkin Methods for Fourth Order GEPs | |
3 The Chebyshev Collocation Method | |
4 The Laguerre Collocation Method | |
5 Conclusions and Further Developments | |
Appendix: Algebraic Two | |
Parameter Eigenvalue Problems | |
Index | |
ISBN: | 9783319062303 |
Series: | eBooks |
Series: | SpringerLink |
Series: | SpringerBriefs in Mathematics, 2191-8198 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Differential Equations , Computer science Mathematics , Computer science , Numerical analysis |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-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 |
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 |
Call number: | SPRINGER-2014-9783319013008:ONLINE Show nearby items on shelf |
Title: | Current Challenges in Stability Issues for Numerical Differential Equations [electronic resource] : Cetraro, Italy 2011, Editors: Luca Dieci, Nicola Guglielmi |
Author(s): |
Wolf-Jrgen Beyn Luca Dieci Nicola Guglielmi Ernst Hairer Jess Mara Sanz-Serna Marino Zennaro |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This volume addresses some of the research areas in the general field of stability studies for differential equations, with emphasis on issues of concern for numerical studies. Topics considered include: (i) the long timeintegration of Hamiltonian Or dinary DEs and highly oscillatory systems, (ii) connection between stochastic DEs and geometric integration using the Markov chain Monte Carlo method, (iii) computation of dynamic patterns in evolutionarypartial DEs, (iv) decomposition of matrices dependi ng on parameters and localization of singularities, and (v) uniform stability analysis for time dependent linear initial value problems of ODEs. The problems considered in this volumeare of interest to people working on numerical as well as qualitative as pects of differential equations, and it will serve both as a reference and as an entry point into further research |
Contents: | Studies on current challenges in stability issues for numerical differential equations |
Long | |
Term Stability of Symmetric Partitioned Linear Multistep Methods | |
Markov Chain Monte Carlo and Numerical Differential Equations | |
Stability and Computation of Dynamic Patterns in PDEs | |
Continuous Decompositions and Coalescing Eigen values for Matrices Depending on Parameters | |
Stability of linear problems: joint spectral radius of sets of matrices | |
ISBN: | 9783319013008 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Lecture Notes in Mathematics, 0075-8434 : v2082 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Matrix theory , Differential Equations , Differential equations, partial , Computer science Mathematics , Algorithms |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9781493908080:ONLINE Show nearby items on shelf |
Title: | Optimization in Science and Engineering [electronic resource] : In Honor of the 60th Birthday of Panos M. Pardalos |
Author(s): |
Themistocles M Rassias Christodoulos A Floudas Sergiy Butenko |
Date: | 2014 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | Optimization in Science and Engineering is dedicated in honor of the 60th birthday of Distinguished Professor Panos M. Pardalos. Pardaloss past and ongoing work has made a significant impact on several theoretical and appliedareas in modern optimizat ion. As tribute to the diversity of Dr. Pardaloss work in Optimization, this book comprises a collection of contributions from experts in various fields of this rich and diverse area of science. Topicshighlight recent developments and include: Determinist ic global optimization Variational inequalities and equilibrium problems Approximation and complexity in numerical optimization Non-smooth optimization Statistical models and datamining Applications of optimization in medicine, energy systems, and complex network analysis This volume will be of great interest to graduate students, researchers, and practitioners, in the fields of optimization and engineering |
Contents: | Piecewise Linear Classifiers Based on Nonsmooth Optimization Approaches |
Variational Inequality Models Arising in the Study of Viscoelastic Materials | |
Neighboring Local Optimal Solutions and Its Applications | |
General Traffic Equilibrium Problem with Uncertainty and Random Variational Inequalities | |
Computational Complexities of Optimization Problems Related to Model Based Clustering of Networks | |
On Distributed | |
Lag Modeling Algorithms by r | |
Convexity and Piecewise Monotonicity | |
Poincar | |
Type Inequalities for Greens Operator on Harmonic Forms | |
The Robustness Concern in Preference | |
ISBN: | 9781493908080 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Software engineering , Computer science , Computer aided design , Mathematical optimization |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-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 |
Call number: | SPRINGER-2014-9781461495666:ONLINE Show nearby items on shelf |
Title: | Integrating Routing Decisions in Public Transportation Problems [electronic resource] |
Author(s): |
Marie E Schmidt |
Date: | 2014 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | This book treats three planning problems arising in public railway transportation planning: line planning, timetabling, and delay management, with the objective to minimize passengers travel time. While many optimizationapproaches simplify these prob lems by assuming that passengers route choice is independent of the solution, this book focuses on models which take into account that passengers will adapt their travel route to the implementedplanning solution. That is, a planning solution and passenger s routes are determined and evaluated simultaneously. This work is technically deep, with insightful findings regarding complexity and algorithmic approaches to publictransportation problems with integrated passenger routing. It is intended for researcher s in the fields of mathematics, computer science, or operations research, working in the field of public transportation from an optimizationstandpoint. It is also ideal for students who want to gain intuition and experience in doing complexity proofs and designing polynomial-time algorithms for network problems. The book models line planning, timetabling, and delaymanagement as combined design and routing problems on networks. In a complexity analysis, the border between NP-hard and polynomially solvable problems is illustrated. Based on that, the insights gained are used to develop solutionapproaches for the considered problems. Besides integer programming formulations, a heuristic method iterating planning and routing steps is proposed to solve the prob lems |
Contents: | 1. Introduction |
2. Line Planning | |
3. Timetabling | |
4. Delay Management | |
5. An Iterative Solution Approach for General Network Problems with Routing | |
6. Conclusions and Outlook | |
Frequently Used Notation | |
References | |
Index | |
ISBN: | 9781461495666 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Springer Optimization and Its Applications, 1931-6828 : v89 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer software , Civil engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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