Skip to main content
clickable transparency Dartmouth College Library
Home > New Acquisitions > September 2016 > Q - Science > QA - Mathematics and Computer Science

QA - Mathematics and Computer Science acquired during September 2016

This news is available via an RSS feed RSS feed.

QD | QE | QB | QP | QR | Q | QA | QH | QC | QK | QL | QM

Strange attractors for periodically forced parabolic equations
Lu, Kening, 1962-
Providence, Rhode Island : American Mathematical Society, [2013]
Baker Berry Cook QA3 .A57 no.1054

Kuznetsov's trace formula and the Hecke eigenvalues of Maass forms
Knightly, Andrew, 1972-
Providence, Rhode Island : American Mathematical Society, [2013]
Baker Berry Cook QA3 .A57 no.1055

The finite volume method in computational fluid dynamics : an advanced introduction with OpenFOAM® and Matlab®
Moukalled, Fadl Hassan, 1961-
Cham : Springer, c2016
Foundation -- Introduction -- Review of Vector Calculus -- Mathematical Description of Physical Phenomena -- The Discretization Process -- The Finite Volume Method -- The Finite Volume Mesh -- The Finite Volume Mesh in OpenFOAM(R) and uFVM Discretization -- Spatial Discretization: The Diffusion Term -- Gradient Computation -- Solving the System of Algebraic Equations -- Discretization of the Convection Term -- High Resolution Schemes -- Temporal Discretization: The Transient Term -- Discretization of the Source Term, Relaxation, and Other Details Algorithms -- Fluid Flow Computation: Incompressible Flows -- Fluid Flow Computation: Compressible Flows Applications -- Turbulence Modeling -- Boundary Conditions in OpenFOAM(R) and uFVM -- An OpenFOAM(R) Turbulent Flow Application -- Closing Remarks.
Feldberg QA911.M68 F565 2016

Prime numbers and the Riemann hypothesis
Mazur, Barry
New York, NY : Cambridge University Press, [2016]
The Riemann Hypothesis. Thoughts about numbers ; What are prime numbers? ; "Named" prime numbers ; Sieves ; Questions about primes ; Further questions about primes ; How many primes are there? ; Prime numbers viewed from a distance ; Pure and applied mathematics ; A probabilistic first guess ; What is a "good approximation" ; Square root error and random walks ; What is Riemann's Hypothesis ; The mystery moves to the error term ; Cesàro smoothing ; A view of Li(X) - [pi](X) ; The prime number theorem ; The staircase of primes ; Tinkering with the staircase of primes ; Computer music files and prime numbers ; The word "spectrum" ; Spectra and trigonometric sums ; The spectrum and the staircase of primes ; To our readers of Part I -- Distributions. Slopes of graphs that have no slopes ; Distributions ; Fourier Transforms : second visit ; Fourier Transform of delta ; Trigonometric series ; A sneak preview of Part III --- The Riemann Spectrum of prime numbers. On losing no information ; From primes to the Riemann Spectrum ; How many [theta][subscript i]'s are there? ; Further questions about the Riemann Spectrum ; From the Riemann Spectrum to primes -- Back to Riemann. Building [pi](X) from the Spectrum ; As Riemann envisioned it ; Companions to the zeta function.
Baker Berry Cook QA246 .M49 2016

Analytic semigroups and semilinear initial boundary value problems
Taira, Kazuaki
Cambridge, United Kingdom : Cambridge University Press, 2016
Introduction and Main Results -- Preliminaries from Functinoal Analysis -- Theory of Analytic Semigroups -- Sobolev Imbedding Theorems -- Lp̳ Theory of Pseudo-Differential Operators -- Lp̳ Approach to Elliptic Boundary Value Problems -- Proof of Theorem 1.1 -- Proof of Theorem 1.2 -- Proof of Theorems 1.3 and 1.4 -- Appendix A. The Laplace Transform -- Appendix B. The Maximum Principle -- Appendix C. Vector Bundles.

A careful and accessible exposition of a functional analytic approach to initial boundary value problems for semilinear parabolic differential equations, with a focus on the relationship between analytic semigroups and initial boundary value problems. This semigroup approach is distinguished by the extensive use of the ideas and techniques characteristic of the recent developments in the theory of pseudo-differential operators, one of the most influential works in the modern history of analysis. Complete with ample illustrations and additional references, this new edition offers both streamlined analysis and better coverage of important examples and applications. A powerful method for the study of elliptic boundary value problems, capable of further extensive development, is provided for advanced undergraduates or beginning graduate students, as well as mathematicians with an interest in functional analysis and partial differential equations.
Baker Berry Cook QA377 .T27 2016

ggplot2 : Elegant graphics for data analysis
Wickham, Hadley
Houston, Texas : Springer, [2016]
Introduction -- Getting Started with ggplot2 -- Toolbox -- Mastering the Grammar -- Building a Plot Layer by Layer -- Scales, Axes and Legends -- Positioning -- Themes -- Data Analysis -- Data Transformation -- Modelling for Visualisation -- Programming with ggplot2 -- Index -- R Code Index.
On Reserve at Baker Berry QA90 .H33 2016

Erdős-Ko-Rado theorems : algebraic approaches
Godsil, C. D. 1949-
Cambridge, United Kingdom : Cambridge University Press, 2016
Baker Berry Cook QA164 .G63 2016

Hierarchical matrices : algorithms and analysis
Hackbusch, W., 1948-
Berlin : Springer, [2015]
Baker Berry Cook QA188 .H33 2015

An introduction to the theory of reproducing kernel Hilbert spaces
Paulsen, Vern I., 1951-
Cambridge : Cambridge University Press, 2016
Baker Berry Cook QA322.4 .P38 2016

Foundations of ergodic theory
Viana, Marcelo
Cambridge, United Kingdom : Cambridge University Press, 2016
Baker Berry Cook QA611.5 .V53 2016

Introduction to model spaces and their operators
Garcia, Stephan Ramon
Cambridge, United Kingdom : Cambridge University Press, [2016]
Baker Berry Cook QA320 .G325 2016

Optimal control and geometry : integrable systems
Jurdjevic, Velimir
Cambridge, United Kingdom : Cambridge University Press, 2016
Baker Berry Cook QA402.3 .J88 2016

Special functions and orthogonal polynomials
Beals, Richard, 1938-
Cambridge, United Kingdom : Cambridge University Press, 2016
Baker Berry Cook QA404.5 .B3227 2016

Advances in proof theory
Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
[Cham] Switzerland : Birkhäuser, 2016
Baker Berry Cook QA9.54 .A38 2016

Stochastic analysis for finance with simulations
Choe, Geon Ho, author
Switzerland : Springer, [2016]
Baker Berry Cook QA274.2 .C46 2016

Nonlinear functional analysis in Banach spaces and Banach algebras : fixed point theory under weak topology for nonlinear operators and block operators matrices with applications
Jeribi, Aref, author
Boca Raton : CRC Press, Taylor & Francis Group, [2016]
1. Fixed point theory -- 2. Applications in mathematical physics and biology.
Baker Berry Cook QA329.9 .J47 2016

Elementary differential geometry
Bär, Christian
New York : Cambridge University Press, ©2010
1. Euclidean geometry -- 2. Curve theory -- 3. Classical surface theory -- 4. The inner geometry of surfaces -- 5. Geometry and analysis -- 6. Geometry and topology -- 7. Hints for solutions to (most) exercises -- Formulary -- List of symbols -- References -- Index.

"The link between the physical world and its visualization is geometry. This easy-to-read, generously illustrated textbook presents an elementary introduction to differential geometry with emphasis on geometric results. Avoiding formalism as much as possible, the author harnesses basic mathematical skills in analysis and linear algebra to solve interesting geometric problems, which prepare students for more advanced study in mathematics and other scientific fields such as physics and computer science. The wide range of topics includes curve theory, a detailed study of surfaces, curvature, variation of area and minimal surfaces, geodesics, spherical and hyperbolic geometry, the divergence theorem, triangulations, and the Gauss-Bonnet theorem. The section on cartography demonstrates the concrete importance of elementary differential geometry in applications. Clearly developed arguments and proofs, colour illustrations, and over 100 exercises and solutions make this book ideal for courses and self-study. The only prerequisites are one year of undergraduate calculus and linear algebra"--Provided by publisher.
Baker Berry Cook QA641 .B325 2010

Visualizing data
Cleveland, William S., 1943-
Murray Hill, N.J. : At & T Bell Laboratories ; [©1993]
Baker Berry Cook QA276.3 .C57 1993

Introduction to modern Finsler geometry
Shen, Yibing
Beijing : Higher Education Press ; [2016]
Baker Berry Cook QA689 .S538 2016

Parallelism in matrix computations
Gallopoulos, E. J. author
Dordrecht : Springer, [2016]
Parallel programming paradigms -- Fundamental kernels -- Recurrences and triangular systems -- General linear systems -- Banded linear systems -- Special linear systems -- Orthogonal factorization and linear least squares problems -- The symmetric eigenvalue and singular-value problems -- Iterative schemes for large linear systems -- Preconditioners -- Large symmetric eigenvalue problems -- Matrix functions and the determinant -- Computing the matrix pseudospectrum.

This book is primarily intended as a research monograph that could also be used in graduate courses for the design of parallel algorithms in matrix computations. It assumes general but not extensive knowledge of numerical linear algebra, parallel architectures, and parallel programming paradigms. The book consists of four parts: (I) Basics; (II) Dense and Special Matrix Computations; (III) Sparse Matrix Computations; and (IV) Matrix functions and characteristics. Part I deals with parallel programming paradigms and fundamental kernels, including reordering schemes for sparse matrices. Part II is devoted to dense matrix computations such as parallel algorithms for solving linear systems, linear least squares, the symmetric algebraic eigenvalue problem, and the singular-value decomposition. It also deals with the development of parallel algorithms for special linear systems such as banded, Vandermonde, Toeplitz, and block Toeplitz systems. Part III addresses sparse matrix computations: (a) the development of parallel iterative linear system solvers with emphasis on scalable preconditioners, (b) parallel schemes for obtaining a few of the extreme eigenpairs or those contained in a given interval in the spectrum of a standard or generalized symmetric eigenvalue problem, and (c) parallel methods for computing a few of the extreme singular triplets. Part IV focuses on the development of parallel algorithms for matrix functions and special characteristics such as the matrix pseudospectrum and the determinant. The book also reviews the theoretical and practical background necessary when designing these algorithms and includes an extensive bibliography that will be useful to researchers and students alike. The book brings together many existing algorithms for the fundamental matrix computations that have a proven track record of efficient implementation in terms of data locality and data transfer on state-of-the-art systems, as well as several algorithms that are presented for the first time, focusing on the opportunities for parallelism and algorithm robustness.
Baker Berry Cook QA76.58 .G35 2016

Natural language dialog systems and intelligent assistants
Gary Geunbae Lee, Hong Kook Kim, Minwoo Jeong, Ji-Hwan Kim, editors
Cham : Springer, [2015]
1. Rapidly scaling dialog systems with interactive learning -- 2. News navigation system based on proactive dialogue strategy -- 3. Evaluation of machine-led error recovery strategies for domain switches in a spoken dialog system -- 4. Analysis of an extended interaction quality corpus -- 5. HALEF: an open-source standard-compliant telephony-based modular spoken dialog system: a review and an overlook -- 6. Micro-counseling dialog system based on semantic content -- 7. Users' belief awareness in reinforcement learning-based situated human-robot dialogue management -- 8. Scalable summary-state POMDP hybrid dialog system for multiple goal drifting requests and massive slot entity instances -- 9. A voice QR code for mobile devices -- 10. Detecting multiple domains from user's utterance in spoken dialog system -- 11. DietTalk: diet and health assistant based on spoken dialog system -- 12. Lexicon optimization for WFST-based speech recognition using acoustic distance based confusability measure and G2P conversion -- 13. Linguistic individuality transformation for spoken language -- 14. A study on natural expressive speech: automatic memorable spoken quote detection 15. Evaluation fo a fully automatic cooperative persuasive dialogue system -- 16. Unknown word detection based on event-related brain desynchronization responses -- 17. An analysis towards dialogue-based deception detection -- 18. Pair me up: a web framework for crowd-sourced spoken dialogue collection -- 19. Creating a virtual neighbor -- 20. Decision making strategies for finite-state bi-automaton in dialog management -- 21. Integration of word and semantic features for theme identification in telephone conversations -- 22. CLARA: a multifunctional virtual agent for conference support and touristic information -- 23. Multi-source hybrid question answering system -- 24. Dialogue platform for interactive personal assistant software -- 25. Performance analysis of FFNN-based language model in contrast with n-gram -- 26. GenieTutor: a computer-assisted second-language model learning system based on spoken language understanding.

"This book covers state-of-the-art topics on the practical implementation of spoken dialog systems and intelligent assistants in everyday applications. It presents scientific achievements in language processing that result in the development of successful applications, and addresses general issues regarding the advances in spoken dialog systems with applications in robotics, knowledge access and communication. Emphasis is placed on the following topics: speaker/language recognition, user modeling/simulation, evaluation of dialog system, multi-modality/emotion recognition from speech, speech data mining, language resource and databases, machine learning for spoken dialog systems, and educational and healthcare applications." -- Back cover.
Baker Berry Cook QA76.9.N38 N36 2015

Internet of things : principles and paradigms
edited by Rajkumar Buyya, Amir Vahid Dastjerdi
Cambridge, MA : Morgan Kaufmann, [2016]
"The Internet of Things (IoT) paradigm makes 'things' such as medical devices, fridge, smart meters, cameras, and road traffic sensors part of the Internet. It is expected that trillions of IoT devices will be deployed by 2025 for applications such as smart cities and digital agriculture. This new paradigm opens the doors to new innovations and interactions between people and things that will enhance the quality of life and utilization of scarce resources. [This book] captures the state-of-the-art research in Internet of Things, its applications, architectures, and technologies. The book identifies potential future directions and technologies that facilitate insights into numerous scientific, business, and consumer applications ... [and] addresses numerous challenges and develops the conceptual and technological solutions for tackling them. The challenges include the development of scalable architecture, lightweight application development platforms, autonomic management, and as well as the privacy and ethical issues around data sensing, sharing, and processing."--Back cover.
Feldberg QA76.5915 .I683 2016

Tacit engagement : beyond interaction
Gill, Satinder P., author
Cham : Springer, 2015
Tacit Engagement -- Knowledge = Skill -- Knowledge is Skilled Peformance -- The Body: Knowing How, Knowing That, Knowing When -- Tacit Engagement: Betwixt and Inbetween.

This book explores how digital technology is altering the relationships between people and how the very nature of interface itself needs to be reconsidered to reflect this - how we can make sense of each other, handle ambiguities, negotiate differences, empathise and collectively make skilled judgments in our modern society. The author presents new directions for research at the relational-transactional intersection of contrasting disciplines of arts, science and technology, and in so doing, presents philosophical and artistic questions for future research on human connectivity in our digital age. The book presents frameworks and methods for conducting research and study of tacit engagement that includes ethnography, experiments, discourse analysis, gesture analysis, psycholinguistic analysis, artistic experiments, installations, and improvisation. Case studies illustrate the use of various methods and the application and emergence of frameworks. Tacit Engagement will be of interest to researchers, designers, teachers and students concerned with new media, social media and communications networks; interactive interfaces, including information systems, knowledge management, robotics, and presence technologies. Not since Michael Polanyi have we seen such wise science about the tacit: how we know more than we can tell. Gill brings to the present era of design and data a profoundly needed perspective on meaning that comes from social dialogue, skilled performance, relational gesture and rhythm. - Sha Xin Wei, Ph.D. (Synthesis, ASU).
Baker Berry Cook QA76.9.H85 G55 2015

This page was dynamically generated on 28-Oct-2016 using data collected at the end of September 2016.