Home > New Acquisitions >
April 2017 > Q - Science > QA - Mathematics and Computer Science

This news is available via an RSS feed .

Compactness properties of perturbed sub-stochastic C0-semigroups on L1([mu]) with applications to discreteness and spectral gaps

Mokhtar-Kharroubi, M., author

Paris, France : Sociéte Mathématique de France : 2016

Baker Berry Cook QA387 .M64 2016

Poincaré-Andronov-Melnikov analysis for non-smooth systems

Fečkan, Michal, author

London : Academic Press, [2016]

Baker Berry Cook QA427 .F43 2016

Introduction to robust estimation and hypothesis testing

Wilcox, Rand R., author

Amsterdam : Academic Press, an imprint of Elsevier, [2017]

Baker Berry Cook QA276.8 .W55 2017

Volterra integral equations : an introduction to theory and applications

Brunner, H. 1941- author

Cambridge, United Kingdom ; Cambridge University Press, 2017

Baker Berry Cook QA431 .B7845 2017

Elementary functions : algorithms and implementation

Muller, J. M. 1961-

Boston : Birkhäuser, [2016]

Introduction -- Introduction to computer arithmetic -- Part I Algorithms Based on Polynomial Approximation and/or Table Lookup, Multile-Precision Evaluation of Function -- The classic theory of polynomial or rational approximations -- Polynomial approximations with special constraints -- Polynomial evaluation -- Table-based methods -- Multiple-precision evaluation of functions -- Part II Shift-and-Add Algorithms -- Introduction to shift-and-add algorithms -- The CORDIC algorithm -- Some other shift-and-add algorithms -- Part III Range Reduction, Final Rounding and Exceptions -- Range reduction -- Final rounding -- Miscellaneous -- Examples of implementation

Baker Berry Cook QA331 .M866 2016

Hölder continuous Euler flows in three dimensions with compact support in time

Isett, Philip, 1986- author

Princeton : Princeton University Press, 2017

Baker Berry Cook QA911 .I84 2017

Geometry : the third book of foundations

Serres, Michel, author

London, UK ; Bloomsbury Academic, 2017

Baker Berry Cook QA443.5 .S4713 2017

Data mining : practical machine learning tools and techniques

Ian H. Witten, Eibe Frank, Mark A. Hall, Christopher J. Pal

Amsterdam : Elsevier, [2017]

Baker Berry Cook QA76.9.D343 W58 2017

The data science handbook

Cady, Field, 1984- author

Hoboken, NJ : John Wiley & Sons, Inc., 2017

Baker Berry Cook QA76.9.D32 C33 2017

The illustrated wavelet transform handbook : introductory theory and applications in science, engineering, medicine and finance

Addison, Paul S., author

Boca Raton, FL : CRC Press, Taylor & Francis Group, [2017]

Getting started -- The continuous wavelet transform -- The discrete wavelet transform -- Fluids -- Engineering testing, monitoring and characterisation -- Medicine -- Fractals, finance, geophysics, astronomy and other areas.

"The Illustrated Wavelet Transform Handbook: Introductory Theory and Applications in Science, Engineering, Medicine and Finance 2e provides an overview of the theory and practical applications of wavelet transform methods. It uniquely covers continuous as well as discrete transforms. The author uses several hundred illustrations, some in color, to convey mathematical concepts and the results of applications. This second edition reflects numerous recent developments across a wide range of areas, with a particular focus on finance, ECG, geophysics, and astronomy"--

Baker Berry Cook QA403.3 .A35 2017

Cases for teacher educators facilitating conversations about inequities in mathematics classrooms

edited by Dorothy Y. White, University of Georgia, Sandra Crespo, Michigan State University, Marta Civil, the University of Arizona

Charlotte, NC : Information Age Publishing, Inc., [2016]

Baker Berry Cook QA11.2 .C377 2016

Dynamics and analytic number theory : proceedings of the Durham Easter School 2014

edited by Dzmitry Badziahin, University of Durham, Alexander Gorodnik, University of Bristol, Norbert Peyerimhoff, University of Durham

Cambridge, United Kingdom : Cambridge University Press, 2016

Baker Berry Cook QA241 .D87 2014

An introduction to Fourier analysis

Herman, Russell L., author

Boca Raton, FL : CRC Press, Taylor & Francis Group, [2017]

Machine generated contents note: 1.Review of Sequences and Infinite Series -- 1.1.Sequences of Real Numbers -- 1.2.Convergence of Sequences -- 1.3.Limit Theorems -- 1.4.Infinite Series -- 1.5.Geometric Series -- 1.6.Convergence Tests -- 1.7.Sequences of Functions -- 1.8.Infinite Series of Functions -- 1.9.Special Series Expansions -- 1.10.Power Series -- 1.11.Binomial Series -- 1.12.The Order of Sequences and Functions -- Problems -- 2.Fourier Trigonometric Series -- 2.1.Introduction to Fourier Series -- 2.2.Fourier Trigonometric Series -- 2.3.Fourier Series over Other Intervals -- 2.3.1.Fourier Series on [0, L] -- 2.3.2.Parseval's Identity -- 2.3.3.Fourier Series on [a, b] -- 2.4.Sine and Cosine Series -- 2.5.The Gibbs Phenomenon -- 2.6.Multiple Fourier Series -- 2.7.Appendix: Convergence of Trigonometric Fourier Series -- 2.8.Plotting Fourier Series -- 2.8.1.MATLAB and GNU Octave Files -- 2.8.2.Python Scripts -- Problems -- 3.Generalized Fourier Series and Function Spaces

Baker Berry Cook QA403.5 .H4275 2017

Socialbots and their friends : digital media and the automation of sociality

edited by Robert W. Gehl and Maria Bakardjieva

New York, NY : Routledge, 2017

Baker Berry Cook QA76.9.H85 S6335 2017

Numbers and the making of us : counting and the course of human cultures

Everett, Caleb, author

Cambridge, Massachusetts : Harvard University Press, 2017

Prologue: On the success of our species -- Part 1. Numbers pervade the human experience. 1. Numbers woven into our present ; 2. Numbers carved into our past ; 3. A numerical journey around the world today ; 4. Beyond number words : other kinds of numeric language -- Part 2. Worlds without numbers. 5. Anumeric people today ; 6. Quantities in the minds of young children ; 7. Quantities in the minds of animals -- Part 3. Numbers and the shaping of our lives. 8. Inventing numbers and arithmetic ; 9. Numbers and culture : subsistence and symbolism ; 10. Transformative tools.

Numbers and the Making of Us examines the origins and effects of numbers--words and other symbols for quantities. It focuses on the influence that numbers have had on human thought. As a result of this influence, the book claims, numbers transformed the human narrative. This transformation is supported by data from many disciplines: archaeology, linguistics, psychology, and primatology. The book surveys the types of number systems that have been innovated independently in languages around the world, most of which (like our own decimal system) owe themselves in one way or another to the shape of our hands. Furthermore, the book examines evidence from anumeric humans, such as those the author has conducted research with in Amazonia, as it advances the following claim: Numbers served as a pivotal cognitive invention, an underappreciated tool whose usage ultimately resulted in the societies most of us now live in. In short, the book suggests that verbal and written numbers served as a cognitive foundation of sorts, helping to establish the ground floor of all sorts of distinctly human behaviors. These include elaborate agriculture, writing, the telling of time, and many other aspects of the human experience that are all ultimately dependent on the simple invention of numbers.--

Baker Berry Cook Easy QA141 .E94 2017

Introduction to graph theory

West, Douglas Brent

Upper Saddle River, N.J. : Prentice Hall, ©2001

ch. 1. Fundamental concepts: What is a graph? -- Paths, cycles, and trails -- Vertex degrees and counting -- Directed graphs -- ch. 2. Trees and distance: Basic properties -- Spanning trees and enumeration -- Optimization and trees -- ch. 3. Matchings and factors: Matchings and covers -- Algorithms and applications -- Matchings in general graphs -- ch. 4. Connectivity and paths: Cuts and connectivity -- k-connected graphs -- Network flow problems -- ch. 5. Coloring of graphs: Vertex colorings and upper bounds -- Structure of k-chromatic graphs -- Enumerative aspects -- ch. 6. Planar graphs: Embeddings and Euler's formula -- Characterization of Planar graphs -- Parameters of planarity -- ch. 7. Edges and cycles: Line graphs and edge-coloring -- Hamiltonion cycles -- Planarity, coloring, and cycles -- ch. 8. Additional topics (optional): Perfect graphs -- Matroids -- Ramsey theory -- More extremeal problems -- Random graphs -- Eigenvalues of graphs.

On Reserve at Baker Berry QA166 .W43 2001

Polynomial approximation on polytopes

Totik, V

Providence, Rhode Island : American Mathematical Society, 2014

The result -- Outline of the proof -- Fast decreasing polynomials -- Approximation on simple polytopes -- Polynomial approximants on rhombi -- Pyramids and local moduli on them -- Local approximation on the sets K[alpha] -- Global approximation of F = Fn on S1/32 excluding a neighborhood of the apex -- Global approximation of f on S1/64 -- Completion of the proof of Theorem 1.1 -- Approximation in Rd -- A k-functional andthe equivalence theorem -- The Lp result -- Proof of the Lp result -- The dyadic decomposition -- Some properties of Lp moduli of smoothness -- Local Lp moduli of smoothness -- Local approximation -- Global Lp approximation excluding a neighborhood of the apex -- Strong direct and converse inequalities -- The K-functional in Lp and the equivalence theorem.

Baker Berry Cook QA3 .A57 no.1091

The optimal version of Hua's fundamental theorem of geometry of rectangular matrices

Šemrl, Peter, 1962-

Providence, Rhode Island : American Mathematical Society, 2014

Introduction -- Notation and basic definitions -- Examples -- Statement of main results -- Proofs -- Preliminary results -- Splitting the proof of main results into subcases -- Square case -- Degenerate case -- Non-square case -- Proofs of corollaries.

Baker Berry Cook QA3 .A57 no.1089

A power law of order 1/4 for critical mean field Swendsen-Wang dynamics

Yun Long, Asaf Nachmias, Weiyang Ning, Yuval Peres

Providence, Rhode Island : American Mathematical Society, 2014

Introduction -- Statement of the results -- Mixing time preliminaries -- Outline of the proof Theorem 2.1 -- Random graph estimates -- Supercritical case -- Subcritical case -- Critical case -- Fast mixing of the Swendsen-Wang process on trees.

Baker Berry Cook QA3 .A57 no.1092

Self-Affine Scaling Sets in R2

Fu, Xiaoye, 1979- author

Providence, Rhode Island : American Mathematical Society, 2015

Baker Berry Cook QA3 .A57 no.1097

Critical Population and Error Threshold on the Sharp Peak Landscape for a Moran Model

Cerf, Raphaël, author

Providence, Rhode Island : American Mathematical Society, 2015

Baker Berry Cook QA3 .A57 no.1096

Analysis of the Hodge Laplacian on the Heisenberg group

Müller, Detlef, 1954- author

Providence, Rhode Island : American Mathematical Society, [2015]

Differential forms and the Hodge Laplacian on Hn -- Bargmann representation and sections of homogenous bundles -- Cores, domains and self-adjoint extensions -- First properties of [Laplacian]k; exact and closed forms -- A decomposition of L2̂kH related to the [boundary] and [closure boundary] complexes -- Intertwining operators and different scalar forms for [Laplacian]k -- Unitary intertwining operators and projections -- Decomposition of L2[Laplacian]k -- Lp-multipliers -- Decomposition of Lp[Laplacian]k and boundedness of the Riesz transforms -- Applications.

Baker Berry Cook QA3 .A57 no.1095

A homology theory for Smale spaces

Putnam, Ian F. 1958- author

Providence, Rhode Island : American Mathematical Society, 2014

Summary -- Dynamics -- Dimension groups -- The complexes of an s/u-bijective factor map -- The double complexes of an s/u-bijective pair -- A Lefschetz formula -- Examples -- Questions.

Baker Berry Cook QA3 .A57 no.1094

The Grothendieck inequality revisited

Blei, R. C

Providence, Rhode Island : American Mathematical Society, 2014

Introduction -- Integral representations: the case of discrete domains -- Integral representations: the case of topological domains -- Tools -- Proof of Theorem 3.5 -- Variations on a theme -- More about Phi -- Integrability -- A Parseval-like formula for <x, y>, x Epsilon lp, y Epsilon lq -- Grothendieck-like theorems in dimensions> 2? -- Fractional Cartesian products and multilinear functionals on a Hilbert space -- Proof of Theorem 11.11 -- Some loose ends.

Baker Berry Cook QA3 .A57 no.1093

Transfer of Siegel cusp forms of degree 2

Pitale, Ameya, 1977-

Providence, Rhode Island : American Mathematical Society, 2014

Distinguished vectors in local representation -- Global L-functions for GSp4 x GL2 -- The pullback formula -- Holomorphy of global L-functions for GSp4 x GL2 -- Applications.

Baker Berry Cook QA3 .A57 no.1090

Sheaves on graphs, their homological invariants, and a proof of the Hanna Neumann conjecture

Friedman, Joel, 1962-

Providence, Rhode Island : American Mathematical Society, 2015

Foundations of Sheaves on graphs and their homological invariants -- The Hanna Neumann conjecture -- Appendix A.A direct view of p-Kernals -- Appendix B. Joel Friedman's proof of the strengthened Hanna Neumann conjecture by Warren Dicks.

Baker Berry Cook QA3 .A57 no.1100

Local Entropy Theory of a Random Dynamical System

Dooley, Anthony H., 1951- author

Providence, Rhode Island : American Mathematical Society, 2015

Baker Berry Cook QA3 .A57 no.1099

A geometric theory for hypergraph matching

Keevash, Peter, 1978- author

Providence, Rhode Island : American Mathematical Society, 2015

Introduction -- Results and examples -- Geometric motifs -- Transferrals -- Transferrals via the minimum degree sequence -- Matchings in k-systems -- Packing tetrahedra -- The general theory.

Baker Berry Cook QA3 .A57 no.1098

Poincaŕe-Einstein holography for forms via conformal geometry in the bulk

Gover, A. Rod, 1961-

Providence, Rhode Island : American Mathematical Society, 2015

Introduction -- Bulk conformal geometry and extension problems -- Tractor exterior calculus -- The exterior calculus of scale -- Higher form Proca equations -- Obstructions, detours, gauge operators and Q-curvature -- Appendix A. The ambient manifold -- Appendix B. List of common symbols.

Baker Berry Cook QA3 .A57 no.1106

Higher-order time asymptotics of fast diffusion in Euclidean space : a dynamical systems methods

Denzler, Jochen

Providence, Rhode Island : American Mathematical Society, [2014]

Introduction -- Overview of obstructions and strategies, and notation -- The nonlinear and linear equations in cigar coordinates -- The cigar as a Riemannian manifold -- Uniform manifolds and Hölder spaces -- Schauder estimates for the heat equation -- Quanatitative global well-posedness of the linear and nonliinear equations in Hölder spaces -- The spectrum of the linearized equation -- Proof of Theorem 1.1 -- Asymptotic estimates in weighted spaces: the case m <n/n+2 -- Higher asymptotics in weighted spaces: the case m> n/n+2 -- Pedestrian deviation of all Schauder estimates.

Baker Berry Cook QA3 .A57 no.1101

Julia sets and complex singularities of free energies

Qiao, Jianyong, 1962- author

Providence, Rhode Island : American Mathematical Society, 2015

Baker Berry Cook QA3 .A57 no.1102

Endoscopic classification of representations of quasi-split unitary groups

Mok, Chung Pang, 1981-

Providence, Rhode Island : American Mathematical Society, 2015

Introduction -- Statement of the main theorems -- Local character identities and the intertwining relation -- Trace formulas and their stabilization -- The standard model -- Study of critical cases -- Local classification --Nontempered representations -- Global classification.

Baker Berry Cook QA3 .A57 no.1108

Spectral means of central values of automorphic L-functions for GL(2)

Tsuzuki, Masao, 1968-

Providence, Rhode Island : American Mathematical Society, 2015

Introduction -- Preliminaries -- Preliminary analysis -- Green's functions on GL(2, [real numbers]) -- Green's functions on GL(2,Fv) with v a non archimedian place -- Kernel functions -- Regularized periods -- Automorphic Green's functions -- Automorphic smoothed kernels -- Periods of regularized automorphic smoothed kernels: the spectral side -- A geometric expression of automorphic smoothed kernels -- Periods of regularized automorphic smoothed kernels: the geometric side -- Asymptotic formulas -- An error term estimate in the Weyl type asymptotic law.

Baker Berry Cook QA3 .A57 no.1110

Bookdown : authoring books and technical publications with R Markdown

Xie, Yihui (Mathematician), author

Boca Raton, FL : CRC Press, Taylor & Francis Group, [2017]

Baker Berry Cook QA276.45.R3 X54 2017

The mathematics lover's companion : masterpieces for everyone

Scheinerman, Edward R., author

New Haven : Yale University Press, [2017]

Part I. Number : 1. Prime numbers ; 2. Binary ; 3. 0.999999999999... ; 4. [Square root of]2 ; 5. i ; 6. [Pi] ; 7. e ; 8. [Infinity] ; 9. Fibonacci numbers ; 10. Factorial! ; 11. Benford's law ; 12. Algorithm ; -- Part II. Shape: 13. Triangles ; 14. Pythagoras and Fermat ; 15. Circles ; 16. The platonic solids ; 17. Fractals ; 18. Hyperbolic geometry -- Part III. Uncertainty: 19. Nontransitive dice ; 20. Medical probability ; 21. Chaos ; 22. Social choice and Arrow's theorem ; 23. Newcomb's paradox.

In bite-sized chapters that require only high school algebra, [Edward Scheinerman] invites recreational mathematicians and neophytes alike to try their hands at solving mathematical puzzles and provides an engaging and friendly tour of numbers, shapes, and uncertainty. The result is an unforgettable introduction to the fundamentals and pleasures of thinking mathematically. --

Baker Berry Cook QA43 .S344 2017

Quasi-linear perturbations of Hamiltonian Klein-Gordon equations on spheres

Delort, Jean-Marc, 1961-

Providence, Rhode Island : American Mathematical Society, [2014]

Statement of the main theorem -- Symbolic calculus -- Quasi-linear Birkhoff normal forms method -- Proof of the main theorem.

Baker Berry Cook QA3 .A57 no.1103

Shock waves in conservation laws with physical viscosity

Liu, Tai-Ping, 1945-

Providence, Rhode Island : American Mathematical Society, 2015

Introduction -- Preliminaries -- Green's functions for systems with constant coefficients -- Green's function for systems linearized along shock profiles -- Estimates on green's function -- Estimates on crossing of initial layer -- Estimates on truncation error -- Energy type estimates -- Wave interaction -- Stability analysis -- Application to magnetohydrodynamics.

Baker Berry Cook QA3 .A57 no.1105

Imprimitive irreducible modules for finite quasisimple groups

Hiss, G., author

Providence, Rhode Island : American Mathematical Society, 2015

Introduction -- Generalities -- Sporadic groups and the Tits group -- Alternating groups -- Exceptional Schur multipliers and exceptional isomorphisms -- Groups of Lie type: introduction from non-parabolic subgroups -- Groups of Lie type: introduction from parabolic subgroups -- Groups of Lie type: char(K)=0 -- Classical groups: char(K)=0 -- Exceptional groups.

Baker Berry Cook QA3 .A57 no.1104

Locally AH-algebras

Lin, Huaxin, 1956-

Providence, Rhode Island : American Mathematical Society, 2015

Introduction -- Preliminaries -- Definition of Cg -- C*-algebras in Cg -- Regularity of C*-algebras in C₁ -- Traces -- The unitary group -- Z-stability -- General existence theorems -- The uniqueness statement and the existence theorem for Bott map -- The basic homotopy Lemma -- The proof of the uniqueness theorem 10.4 -- The reduction.

Baker Berry Cook QA3 .A57 no.1107

Geometric complexity theory IV : nonstandard quantum group for the Kronecker problem

Blasiak, Jonah, 1982-

Providence, Rhode Island : American Mathematical Society, 2015

Baker Berry Cook QA3 .A57 no.1109

Lectures on the energy critical nonlinear wave equation

Kenig, Carlos E., 1953-

Providence, Rhode Island : Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, with support from the National Science Foundation, [2015]

The Local Theory of the Cauchy Problem -- The "Road Map": The Concentration Compactness/Rigidity Theorem Method for Critical Problems I -- The "Road Map": The Concentration Compactness/Rigidity Theorem Method for Critical Problems II -- Properties of Compact Solutions and Some More Rigidity Theorems, with Applications to an Extension of Theorem 2.6 -- Proof of the Rigidity Theorems -- Type II Blow-up Solutions -- Channels of Energy and Outer Energy Lower Bounds -- Universal Type II Blow-up Profiles -- Soliton Resolution for Radial Solutions to (NLW), I -- Soliton Resolution for Radial Solutions to (NLW), II -- Soliton Resolution for Radial Solutions to (NLW), III.

This monograph deals with recent advances in the study of the long-time asymptotics of large solutions to critical nonlinear dispersive equations. The first part of the monograph describes, in the context of the energy critical wave equation, the "concentration-compactness/rigidity theorem method" introduced by C. Kenig and F. Merle. This approach has become the canonical method for the study of the "global regularity and well-posedness" conjecture (defocusing case) and the "ground-state" conjecture (focusing case) in critical dispersive problems. The second part of the monograph describes the "channel of energy" method, introduced by T. Duyckaerts, C. Kenig, and F. Merle, to study soliton resolution for nonlinear wave equations. This culminates in a presentation of the proof of the soliton resolution conjecture, for the three-dimensional radial focusing energy critical wave equation. It is the intent that the results described in this book will be a model for what to strive for in the study of other nonlinear dispersive equations.

Baker Berry Cook QA1 .R33 no.122

Local collapsing, orbifolds, and geometrization

Kleiner, Bruce, author

Paris : Société mathématique de France, 2014

This volume has two papers, which can be read separately. The first paper concerns local collapsing in Riemannian geometry. We prove that a three-dimensional compact Riemannian manifold which is locally collapsed, with respect to a lower curvature bound, is a graph manifold. This theorem was stated by Perelman without proof and was used in his proof of the geometrization conjecture. The second paper is about the geometrization of orbifolds. A three-dimensional closed orientable orbifold, which has no bad suborbifolds, is known to have a geometric decomposition from work of Perelman in the manifold case, along with earlier work of Boileau-Leeb-Porti, Boileau-Maillot-Porti, Boileau-Porti, Cooper-Hodgson-Kerckhoff and Thurston. We give a new, logically independent, unified proof of the geometrization of orbifolds, using Ricci flow.--Provided by publisher.

Baker Berry Cook QA1 .A85 no.365

Toeplitz approach to problems of the uncertainty principle

Poltoratski, Alexei, 1966-

Providence, Rhode Island : Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, [2015]

Mathematical Shapes of Uncertainty -- Gap Theorems -- A Problem by Pólya and Levinson -- Determinacy of Measures and Oscillations of High-pass Signals -- Beurling-Malliavin and Bernstein's Problems -- The Type Problem -- Toeplitz Approach to UP -- Toeplitz Version of the Beurling-Malliavin Theory.

The Uncertainty Principle in Harmonic Analysis (UP) is a classical, yet rapidly developing, area of modern mathematics. Its first significant results and open problems date back to the work of Norbert Wiener, Andrei Kolmogorov, Mark Krein and Arne Beurling. At present, it encompasses a large part of mathematics, from Fourier analysis, frames and completeness problems for various systems of functions to spectral problems for differential operators and canonical systems. These notes are devoted to the so-called Toeplitz approach to UP which recently brought solutions to some of the long-standing problems posed by the classics. After a short overview of the general area of UP the discussion turns to the outline of the new approach and its results. Among those are solutions to Beurling's Gap Problem in Fourier analysis, the Type Problem on completeness of exponential systems, a problem by Pólya and Levinson on sampling sets for entire functions, Bernstein's problem on uniform polynomial approximation, problems on asymptotics of Fourier integrals and a Toeplitz version of the Beurling-Malliavin theory. One of the main goals of the book is to present new directions for future research opened by the new approach to the experts and young analysts.

Baker Berry Cook QA1 .R33 no.121

Multiple time scale dynamics

Kuehn, Christian, author

New York : Springer, [2015]

This book provides an introduction to dynamical systems with multiple time scales. The approach it takes is to provide an overview of key areas, particularly topics that are less available in the introductory form. The broad range of topics included makes it accessible for students and researchers new to the field to gain a quick and thorough overview. The first of its kind, this book merges a wide variety of different mathematical techniques into a more unified framework. The book is highly illustrated with many examples and exercises and an extensive bibliography. The target audience of this book are senior undergraduates, graduate students as well as researchers interested in using the multiple time scale dynamics theory in nonlinear science, either from a theoretical or a mathematical modeling perspective.

Baker Berry Cook QA1 .A647 v.191

Temporal logics in computer science : finite-state systems

Demri, Stéphane P., 1967- author

Cambridge, United Kingdom : Cambridge University Press, 2016

"This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses."--Back cover.

Baker Berry Cook QA76.9.L63 D46 2016

Introduction to finite mathematics

Kemeny, John G

Englewood Cliffs, N.J., Prentice-Hall, 1957

Compound statements -- Sets and subsets -- Partitions and counting -- Probability theory -- Vectors and matrices -- Linear programming and the theory of games -- Applications to behavioral science problems.

Baker Berry Cook QA39 .K35

An equation for every occasion : fifty-two formulas and why they matter

Henshaw, John M., author

Baltimore : Johns Hopkins University Press, [2014]

Preface -- As the Earth draws the apple -- And all the children are above average -- The lady with the mystic smile -- The heart has its reasons -- AC/DC -- The Doppler effect -- Do I look fat in these jeans? -- Zeros and ones -- Tsunami -- When the chips are down -- A stretch of the imagination -- Woodstock nation -- What is [pi]? -- No sweat -- Road range -- The bends -- It's not the heat, it's the humidity -- The world's most beautiful equation -- Breaking the law -- The Mars curse -- Eureka! -- A penny saved ... -- If I only had a brain -- Because it was there -- Four eyes -- Bee sting -- Here comes the sun -- A leg to stand on -- Love is a roller coaster -- Loss factor -- A slippery slope -- Transformers -- A house of cards -- Let there be light -- Smarty pants -- As old as the hills -- Can you hear me now? -- Decay heat -- Zero, one, infinity -- Terminal velocity -- Water, water, everywhere -- Dog days -- Body heat -- Red hot -- A bolt from the blue -- Like oil and water -- Fish story -- Making waves -- A drop in the bucket -- Fracking unbelievable -- Take two aspirins and call me in the morning -- The world's most famous equation -- Bibliography -- Index.

"In An Equation for Every Occasion, John M. Henshaw tells fifty-two entertaining stories, each inspired by a different mathematical equation. His succinct, easy-to-read narratives come from the spheres of sports, business, history, the arts, science, and technology. Anecdotes about famous equations ... appear alongside tales of not-so-famous -- but equally fascinating -- equations, such as the one that's used to determine the SPF number on a bottle of sunscreen. Drawn from the breadth of human endeavor, Henshaw's stories demonstrate the power and utility of math. He entertains us by exploring the ways that equations can be used to explain, among other things, Ponzi schemes, the placebo effect, 'dog years', IQ, the wave mechanics of tsunamis, the troubled modern beekeeping industry, and the Challenger disaster. Smartly conceived and fast paced, his book offers something for anyone curious about math and its impacts. Yet readers will find themselves learning more than just math; they'll learn about the workings of the universe. Once immersed in this book, you'll find yourself thirsting for the next equation in this original page-turner."--Jacket.

Baker Berry Cook QA401 .H457 2014

Bio-inspired computing for information retrieval applications

D.P. Acharjya, Anirban Mitra, editors

Hershey, PA : Information Science Reference, [2017]

"This book explores evolutionary computation in information retrieval, bio and nature inspired computing and information retrieval, and human centric and behavior based computing. It also aims that the theoretical concepts and real life problems to be covered will facilitate researchers to understand most of the recent trends of bio-inspired computing in information retrieval to pursue further research"--

Baker Berry Cook QA76.9.N37 B56 2017

Fractional Sobolev inequalities : symmetrization, isoperimetry and interpolation

Martín, Joaquim, author

Paris : Société mathématique de France publié avec le concours du Centre National de la Recherche Scientifique, 2014

Introduction -- Preliminaries -- Oscillations, K-functionals and isoperimetry -- Embedding into continuous functions -- Examples of applications -- Fractional Sobolev inequaliteis in Gaussian measures -- On limiting Sobolev embeddings and BMO -- Estimation of growth "envelopes" -- Lorentz spaces with negative indices -- Connection with the work of Garsia and his collaborators -- Some remarks on the calculation of K-functionals.

We obtain new oscillation inequalities in metric spaces in terms of the Peetre K-functional and the isoperimetric profile. Applications provided include a detailed study of Fractional Sobolev inequalities and the Morrey-Sobolev embedding theorems in different contexts. In particular we include a detailed study of Gaussian measures as well as probability measures between Gaussian and exponential. We show a kind of reverse Polya-Szego principle that allows us to obtain continuity as a self improvement from boundedness, using symmetrization inequalities. Our methods also allow for preices estimates of growth envelopes of generalized Sobolev and besov spaces on metric spaces. We also consider embeddings into BMO and their connection to Sobolev embeddings.-Provided by publisher.

Baker Berry Cook QA1 .A85 no.366

The nonlinear Schrodinger equation : singular solutions and optical collapse

Fibich, Gadi

New York : Springer, [2015]

"This book is an interdisciplinary introduction to optical collapse of laser beams, which is modelled by singular (blow-up) solutions of the nonlinear Schrödinger equation. With great care and detail, it develops the subject including the mathematical and physical background and the history of the subject. It combines rigorous analysis, asymptotic analysis, informal arguments, numerical simulations, physical modelling, and physical experiments. It repeatedly emphasizes the relations between these approaches, and the intuition behind the results. The Nonlinear Schrödinger Equation will be useful to graduate students and researchers in applied mathematics who are interested in singular solutions of partial differential equations, nonlinear optics and nonlinear waves, and to graduate students and researchers in physics and engineering who are interested in nonlinear optics and Bose-Einstein condensates. It can be used for courses on partial differential equations, nonlinear waves, and nonlinear optics."--Publisher's website.

Baker Berry Cook QA1 .A647 v.192

Fractional calculus view of complexity tomorrow's science

West, Bruce J

Boca Raton : CRC Press/Taylor & Francis Group, 2016

Chapter 1. The challenge of complexity -- chapter 2. Yesterday's science -- chapter 3. New ways of thinking -- chapter 4. Simple fractional operators -- chapter 5. Tomorrow's dynamics -- chapter 6. Fractional cooperation -- chapter 7. Strange statistics -- chapter 8. What have we learned?

Baker Berry Cook QA314 .W47 2016

Random processes for engineers : a primer

Snider, Arthur David, 1940- author

Boca Raton, FL : CRC Press, [2017]

Feldberg QA274 .S62 2017

A brief history of mathematical thought

Heaton, Luke

New York, NY : Oxford University Press, [2017]

Beginnings -- From Greece to Rome -- Ratio and proportion -- The rise of algebra -- Mechanics and the calculus -- Leonhard Euler and the bridges of Konigsberg -- Euclid's fifth and the reinvention of geometry -- Working with the infinite -- The structures of logical form -- Alan Turing and the concept of computation -- Kurt Godel and the power of polynomials -- Modelling the world -- Lived experience and the nature of facts.

Emblazoned on many advertisements for the wildly popular game of Sudoku are the reassuring words, "no mathematical knowledge required." Anxiety about math plagues many of us, and school memories can still summon intense loathing. In A Brief History of Mathematical Thought, Luke Heaton shows that much of what many think-and fear-about mathematics is misplaced, and to overcome our insecurities we need to understand its history. To help, he offers a lively guide into and through the world of mathematics and mathematicians, one in which patterns and arguments are traced through logic in a language grounded in concrete experience. Heaton reveals how Greek and Roman mathematicians like Pythagoras, Euclid, and Archimedes helped shaped the early logic of mathematics; how the Fibonacci sequence, the rise of algebra, and the invention of calculus are connected; how clocks, coordinates, and logical padlocks work mathematically; and how, in the twentieth century, Alan Turing's revolutionary work on the concept of computation laid the groundwork for the modern world. A Brief History of Mathematical Thought situates mathematics as part of, and essential to, lived experience. Understanding it requires not abstract thought or numbing memorization but an historical imagination and a view to its origins. --

Baker Berry Cook QA21 .H43 2017

Introduction to partial differential equations

Borthwick, David, author

Cham, Switzerland : Springer, [2016]

1. Introduction -- 2. Preliminaries -- 3. Conservation Equations and Characteristics -- 4. The Wave Equation -- 5. Separation of Variables -- 6. The Heat Equation -- 7. Function Spaces -- 8. Fourier Series -- 9. Maximum Principles -- 10. Weak Solutions -- 11. Variational Methods -- 12. Distributions -- 13. The Fourier Transform -- A. Appendix: Analysis Foundations.

"This modern take on partial differential equations does not require knowledge beyond vector calculus and linear algebra. The author focuses on the most important classical partial differential equations, including conservation equations and their characteristics, the wave equation, the heat equation, function spaces, and Fourier series, drawing on tools from analysis only as they arise.Within each section the author creates a narrative that answers the five questions: (1) What is the scientific problem we are trying to understand? (2) How do we model that with PDE? (3) What techniques can we use to analyze the PDE? (4) How do those techniques apply to this equation? (5) What information or insight did we obtain by developing and analyzing the PDE? The text stresses the interplay between modeling and mathematical analysis, providing a thorough source of problems and an inspiration for the development of methods."--Publisher description.

Baker Berry Cook QA377 .B77 2016

Crystal bases : representations and combinatorics

Bump, Daniel, 1952- author

Singapore ; World Scientific Publishing Co. Pte. Ltd., [2017]

Baker Berry Cook QA252.3 .B86 2017

Relative p-adic Hodge theory : foundations

Kedlaya, Kiran Sridhara, 1974- author

Paris : Société mathématique de France, 2015

"We describe a new approach to relative p-adic Hodge theory based on systematic use of Witt vector constructions and nonarchimedean analytic geometry in the style of both Berkovich and Huber. We give a thorough development of [phi]-modules over a relative Robba ring associated to a perfect Banach ring of characteristic p, including the relationship between these objects and étale Z[subscript p]-local systems and Q[subscript p]-local systems on the algebraic and analytic spaces associated to the base ring, and the relationship between (pro-)étale cohomology and [phi]-cohomology. We also make a critical link to mixed characteristic by exhibiting an equivalence of tensor categories between the finite étale algebras over an arbitrary perfect Banach algebra over a nontrivially normed complete field of characteristic p and the finite étale algebras over a corresponding Banach Q[subscript p]-algebra. This recovers the homeomorphism between the absolute Galois groups of F[subscript p](([pi])) and Q[subscript p] ([mu] [subscript p][infinity]) given by the field of norms construction of Fontaine and Wintenberger, as well as generalizations considered by Andreatta, Brinon, Faltings, Gabber, Ramero, Scholl, and most recently Scholze. Using Huber's formalism of adic spaces and Scholze's formalism of perfectoid spaces, we globalize the constructions to give several descriptions of the étale local systems on analytic spaces over p-adic fields. One of these descriptions uses a relative version of the Fargues-Fontaine curve."

Baker Berry Cook QA1 .A85 no.371

This page was dynamically generated on 23-May-2017 using data collected at the end of April 2017.