Membrane Transport and Renal Physiology
Membrane Transport and Renal Physiology

Author: Harold E. Layton

Publisher: Springer Science & Business Media

Published: 2002-08-06

Total Pages: 438

ISBN-13: 9780387954813

DOWNLOAD EBOOK

The papers in this volume arose out of the workshop Membrane Transport and Renal Physiology, which was conducted as part of the IMA 1998-1999 program year, Mathematics in Biology. The workshop brought together physiologists, biophysicists, and applied mathematicians who share a common interest in solute and water transport in biological systems, especially in the integrated function of the kidney. Solute and water transport through cells involves fluxes across two cell membranes, usually via specialized proteins that are integral membrane components. By means of mathematical representations, transport fluxes can be related to transmembrane solute concentrations and electrochemical driving forces. At the next level of functional integration, these representations can serve as key components for models of renal transcellular transport. Ultimately, simulations can be developed for transport-dependent aspects of overall renal function. Workshop topics included solute fluxes through ion channels, cotransporters, and metabolically-driven ion pumps; transport across fiber-matrix and capillary membranes; coordinated transport by renal epithelia; the urine concetrating mechanism; and intra-renal hemodynamic control. This volume will be of interest to biological and mathematical scientists who would like a view of recent mathematical efforts to represent membrane transport and its role in renal function.

Pattern Formation in Continuous and Coupled Systems
Pattern Formation in Continuous and Coupled Systems

Author: Martin Golubitsky

Publisher: Springer Science & Business Media

Published: 1999-06-22

Total Pages: 354

ISBN-13: 9780387988740

DOWNLOAD EBOOK

Systems that generate new types of pattern such as discrete coupled systems, systems with global coupling, and combustion experiments were stressed, as were new types of pattern."--BOOK JACKET.

Towards Higher Categories
Towards Higher Categories

Author: John C. Baez

Publisher: Springer Science & Business Media

Published: 2009-09-24

Total Pages: 292

ISBN-13: 1441915362

DOWNLOAD EBOOK

The purpose of this book is to give background for those who would like to delve into some higher category theory. It is not a primer on higher category theory itself. It begins with a paper by John Baez and Michael Shulman which explores informally, by analogy and direct connection, how cohomology and other tools of algebraic topology are seen through the eyes of n-category theory. The idea is to give some of the motivations behind this subject. There are then two survey articles, by Julie Bergner and Simona Paoli, about (infinity,1) categories and about the algebraic modelling of homotopy n-types. These are areas that are particularly well understood, and where a fully integrated theory exists. The main focus of the book is on the richness to be found in the theory of bicategories, which gives the essential starting point towards the understanding of higher categorical structures. An article by Stephen Lack gives a thorough, but informal, guide to this theory. A paper by Larry Breen on the theory of gerbes shows how such categorical structures appear in differential geometry. This book is dedicated to Max Kelly, the founder of the Australian school of category theory, and an historical paper by Ross Street describes its development.

Graph Theory and Sparse Matrix Computation
Graph Theory and Sparse Matrix Computation

Author: Alan George

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 254

ISBN-13: 1461383692

DOWNLOAD EBOOK

When reality is modeled by computation, matrices are often the connection between the continuous physical world and the finite algorithmic one. Usually, the more detailed the model, the bigger the matrix, the better the answer, however, efficiency demands that every possible advantage be exploited. The articles in this volume are based on recent research on sparse matrix computations. This volume looks at graph theory as it connects to linear algebra, parallel computing, data structures, geometry, and both numerical and discrete algorithms. The articles are grouped into three general categories: graph models of symmetric matrices and factorizations, graph models of algorithms on nonsymmetric matrices, and parallel sparse matrix algorithms. This book will be a resource for the researcher or advanced student of either graphs or sparse matrices; it will be useful to mathematicians, numerical analysts and theoretical computer scientists alike.

Linear Algebra for Signal Processing
Linear Algebra for Signal Processing

Author: Adam Bojanczyk

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 193

ISBN-13: 1461242282

DOWNLOAD EBOOK

Signal processing applications have burgeoned in the past decade. During the same time, signal processing techniques have matured rapidly and now include tools from many areas of mathematics, computer science, physics, and engineering. This trend will continue as many new signal processing applications are opening up in consumer products and communications systems. In particular, signal processing has been making increasingly sophisticated use of linear algebra on both theoretical and algorithmic fronts. This volume gives particular emphasis to exposing broader contexts of the signal processing problems so that the impact of algorithms and hardware can be better understood; it brings together the writings of signal processing engineers, computer engineers, and applied linear algebraists in an exchange of problems, theories, and techniques. This volume will be of interest to both applied mathematicians and engineers.

Linear Algebra for Control Theory
Linear Algebra for Control Theory

Author: Paul Van Dooren

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 203

ISBN-13: 1461384192

DOWNLOAD EBOOK

During the past decade the interaction between control theory and linear algebra has been ever increasing, giving rise to new results in both areas. As a natural outflow of this research, this book presents information on this interdisciplinary area. The cross-fertilization between control and linear algebra can be found in subfields such as Numerical Linear Algebra, Canonical Forms, Ring-theoretic Methods, Matrix Theory, and Robust Control. This book's editors were challenged to present the latest results in these areas and to find points of common interest. This volume reflects very nicely the interaction: the range of topics seems very wide indeed, but the basic problems and techniques are always closely connected. And the common denominator in all of this is, of course, linear algebra. This book is suitable for both mathematicians and students.

Patterns and Dynamics in Reactive Media
Patterns and Dynamics in Reactive Media

Author: Rutherford Aris

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 211

ISBN-13: 1461232066

DOWNLOAD EBOOK

Ever since the seminal works on traveling waves and morphogenesis by Fisher, by Kolmogorov, Petrovski and Piscunov, and by Turing, scientists from many disciplines have been fascinated by questions concerning the formation of steady or dynamic patterns in reactive media. Contributions to this volume have been made by chemists, chemical engineers, mathematicians (both pure and applied), and physicists. The topics covered range from reports of experimental studies, through descriptions of numerical experiments, to rather abstract theoretical investigations, each exhibiting different aspects of a very diverse field.

Mathematical Foundations of Speech and Language Processing
Mathematical Foundations of Speech and Language Processing

Author: Mark Johnson

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 292

ISBN-13: 1441990178

DOWNLOAD EBOOK

Speech and language technologies continue to grow in importance as they are used to create natural and efficient interfaces between people and machines, and to automatically transcribe, extract, analyze, and route information from high-volume streams of spoken and written information. The workshops on Mathematical Foundations of Speech Processing and Natural Language Modeling were held in the Fall of 2000 at the University of Minnesota's NSF-sponsored Institute for Mathematics and Its Applications, as part of a "Mathematics in Multimedia" year-long program. Each workshop brought together researchers in the respective technologies on the one hand, and mathematicians and statisticians on the other hand, for an intensive week of cross-fertilization. There is a long history of benefit from introducing mathematical techniques and ideas to speech and language technologies. Examples include the source-channel paradigm, hidden Markov models, decision trees, exponential models and formal languages theory. It is likely that new mathematical techniques, or novel applications of existing techniques, will once again prove pivotal for moving the field forward. This volume consists of original contributions presented by participants during the two workshops. Topics include language modeling, prosody, acoustic-phonetic modeling, and statistical methodology.

Computational Fluid Dynamics and Reacting Gas Flows
Computational Fluid Dynamics and Reacting Gas Flows

Author: Bjorn Engquist

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 351

ISBN-13: 146123882X

DOWNLOAD EBOOK

This IMA Volume in Mathematics and its Applications COMPUTATIONAL FLUID DYNAMICS AND REACTING GAS FLOWS is in part the proceedings of a workshop which was an integral part of the 1986-87 IMA program on SCIENTIFIC COMPUTATION. We are grateful to the Scientific Committee: Bjorn Engquist (Chairman), Roland Glowinski, Mitchell Luskin and Andrew Majda for planning and implementing an exciting and stimulating year-long program. We especially thank the Workshop Organizers, Bjorn Engquist, Mitchell Luskin and Andrew Majda, for organizing a workshop which brought together many of the leading researchers in the area of computational fluid dynamics. George R. Sell Hans Weinberger PREFACE Computational fluid dynamics has always been of central importance in scientific computing. It is also a field which clearly displays the essential theme of interaction between mathematics, physics, and computer science. Therefore, it was natural for the first workshop of the 1986- 87 program on scientific computing at the Institute for Mathematics and Its Applications to concentrate on computational fluid dynamics. In the workshop, more traditional fields were mixed with fields of emerging importance such as reacting gas flows and non-Newtonian flows. The workshop was marked by a high level of interaction and discussion among researchers representing varied "schools of thought" and countries.

Genetic Mapping and DNA Sequencing
Genetic Mapping and DNA Sequencing

Author: Terry Speed

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 229

ISBN-13: 1461207517

DOWNLOAD EBOOK

Genetics mapping, physical mapping and DNA sequencing are the three key components of the human and other genome projects. Statistics, mathematics and computing play important roles in all three, as well as in the uses to which the mapping and sequencing data are put. This volume edited by key researchers Mike Waterman and Terry Speed reviews recent progress in the area, with an emphasis on the theory and application of genetic mapping.