Refine Results
Sort By
From
To
Page 1
Page 1
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
Liapunov Functions and Stability in Control Theory
Presents a modern and self-contained treatment of the Liapunov method for stability analysis, in the framework of mathematical nonlinear control theory. A Particular focus is on the problem of the existence of Liapunov functions (converse Liapunov theorems) and their regularity, whose interest is especially motivated by applications to automatic control.
Complexity Theory : Exploring the Limits of Efficient Algorithms
Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, the limits of what is possible with the available resources. An understanding of these limits prevents the search for non-existing efficient algorithms. This textbook considers randomization as a key concept and emphasizes the interplay between theory and practice: New branches of complexity theory continue to arise in response to new algorithmic concepts, and its results - such as the theory of NP-completeness - have influenced the development of all areas of computer science. The topics selected have implications for concrete applications, and the significance of complexity theory for today's computer science is stressed throughout.
Complex Analysis with Applications to Number Theory
The book discusses major topics in complex analysis with applications to number theory.It 's including the theory of several finitely and infinitely complex variables, hyperbolic geometry, two- and three-manifolds, and number theory. In addition to solved examples and problems, the book covers most topics of current interest, such as Cauchy theorems, Picard’s theorems, Riemann–Zeta function, Dirichlet theorem, Gamma function, and harmonic functions.
An Undergraduate Primer in Algebraic Geometry
This book consists of two parts. The first is devoted to an introduction to basic concepts in algebraic geometry: affine and projective varieties, some of their main attributes and examples. The second part is devoted to the theory of curves: local properties, affine and projective plane curves, resolution of singularities, linear equivalence of divisors and linear series, Riemann–Roch and Riemann–Hurwitz Theorems.The approach in this book is purely algebraic. The main tool is commutative algebra, from which the needed results are recalled, in most cases with proofs. The prerequisites consist of the knowledge of basics in affine and projective geometry, basic algebraic concepts regarding rings, modules, fields, linear algebra, basic notions in the theory of categories, and some elementary point–set topology.
Algebraic Methodology and Software Technology ; 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.
A First Course in Statistical Inference
Offers a modern and accessible introduction to Statistical Inference, the science of inferring key information from data. Aimed at beginning undergraduate students in mathematics, it presents the concepts underpinning frequentist statistical theory. Written in a conversational and informal style, this concise text concentrates on ideas and concepts, with key theorems stated and proved. Detailed worked examples are included and each chapter ends with a set of exercises, with full solutions given at the back of the book. Examples using R are provided throughout the book, with a brief guide to the software included. Topics covered in the book include: sampling distributions, properties of estimators, confidence intervals, hypothesis testing, ANOVA, and fitting a straight line to paired data.
A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions
This book develops a far-reaching generalization of Bohr-Mollerup's theorem to higher order convex functions, along lines initiated by Wolfgang Krull, Roger Webster, and some others but going considerably further than past work. In particular, this generalization shows using elementary techniques that a very rich spectrum of functions satisfy analogues of several classical properties of the gamma function, including Bohr-Mollerup's theorem itself, Euler's reflection formula, Gauss' multiplication theorem, Stirling's formula, and Weierstrass' canonical factorization.
Mathematical Modelling of Biosystems
This volume is an interdisciplinary book, which introduces, in a very readable way, state of the art research in the fundamental topics of mathematical modelling of Biosystems. These topics include: the study of Biological Growth and its mechanisms, the coupling of pattern to form via theorems of Differential Geometry, the human immunodeficiency virus dynamics, the inverse folding problem and the possibility of analysing true protein backbone flexibility, the Biclustering techniques for the organization of microarray data, the analytical approach to the modelling of biomolecular structure via Steiner trees, the action of biocides on resistance mechanisms of mutated and phenotypic bacteria strains, a description of the fundamental processes for the distribution and abundances of species towards a unified theory of Ecology, and a special introduction to Protein Physics aiming to explain the all-or-none first order phase transitions from native to denatured states.
Mathematical Analysis : Linear and Metric Structures and Continuity
The book is divided into three parts. The first part introduces the basic ideas of linear and metric spaces, including the Jordan canonical form of matrices and the spectral theorem for self-adjoint and normal operators. The second part examines the role of general topology in the context of metric spaces and includes the notions of homotopy and degree. The third and final part is a discussion on Banach spaces of continuous functions, Hilbert spaces and the spectral theory of compact operators.
Matematica e cultura in Europa
Non è vero che la matematica susciti sempre poco interesse. Questa almeno è l'impressione che si ricava quando lo spunto per parlarne viene non solo dalla scienza e dalla tecnologia, ma anche dall'arte, dalla letteratura, dal cinema e dal teatro. Ce lo ha insegnato Michele Emmer con i suoi convegni Matematica e Cultura e lo abbiamo sperimentato a Bologna con le iniziative del 2000 per l'Anno Mondiale della Matematica e per Bologna Città Europea della Cultura. D’altra parte, negli ultimi anni abbiamo finalmente visto sullo schermo come protagonisti di film di successo dei matematici, non rappresentati come individui strani, ma come professionisti che svolgono il proprio lavoro, non necessariamente di insegnanti. Anche alcune opere teatrali di risonanza internazionale hanno parlato di matematici e questo ci ha spinto a organizzare per la prima volta in Italia, a Bologna, la rassegna Matematica e Teatro, che ha dato occasione non solo di assistere a spettacoli molto piacevoli, ma anche di parlare dei rapporti tra scienza, matematica e potere al tempo di Napoleone, di numeri primi, di teoria di Galois.
Matematica e cultura 2008 = mathematics and culture 2008
In this new book, the tenth of the series that began in Venice with the meetings "Mathematics and culture" that many have tried to imitate, we talk about all this and among others Simon Singh (author of the best seller "The last theorem di Fermat "), in her third presence in Venice, and Siobhan Roberts (author of" The king of infinite space. History of the man who saved geometry "). Venice bridge between mathematics and culture.
Markov Processes, Brownian Motion, and Time Symmetry
The book consists of two parts. Part I,This part introduces strong Markov processes and their potential theory. In particular,it studies Brownian motion, and shows how it generates classical potential theory.Part II, focus on the effects of time reversal, duality, and time-symmetry on potential theory. Certain theorems in Part I are re-proved in Part II under slightly weaker hypotheses. The volume is very useful for people who wish to learn Markov processes but it seems to the reviewer that it is also of great interest to specialists in this area who could derive much stimulus from it. One can be convinced that it will receive wide circulation." (Mathematical Reviews)
MacLaurins Physical Dissertations
The Scottish mathematician Colin MacLaurin (1698-1746) is best known for developing and extending Newton’s work in calculus, geometry and gravitation; his 2-volume work "Treatise of Fluxions" (1742) was the first systematic exposition of Newton’s methods. It is well known that MacLaurin was awarded prizes by the Royal Academy of Sciences, Paris, for his earlier work on the collision of bodies (1724) and the tides (1740); however, the contents of these essays are less familiar – although some of the material is discussed in the Treatise of Fluxions - and the essays themselves often hard to obtain.
Local and Semi-Local Bifurcations in Hamiltonian Dynamical Systems : Results and Examples
Once again KAM theory is committed in the context of nearly integrable Hamiltonian systems. While elliptic and hyperbolic tori determine the distribution of maximal invariant tori, they themselves form n-parameter families. Hence, without the need for untypical conditions or external parameters, torus bifurcations of high co-dimension may be found in a single given Hamiltonian system. The text moves gradually from the integrable case, in which symmetries allow for reduction to bifurcating equilibria, to non-integrability, where smooth parametrisations have to be replaced by Cantor sets. Planar singularities and their versal unfoldings are an important ingredient that helps to explain the underlying dynamics in a transparent way.
Linear Models and Generalizations : Least Squares and Alternatives
Gives an up-to-date account of the theory and applications of linear models. The book can be used as a text for courses in statistics at the graduate level and as an accompanying text for courses in other areas. Some of the highlights in this book are as follows. A relatively extensive chapter on matrix theory (Appendix A) provides the necessary tools for proving theorems discussed in the text and offers a selection of classical and modern algebraic results that are useful in research work in econometrics, engineering, and optimization theory. The matrix theory of the last ten years has produced a series of fundamental results aboutthe de?niteness ofmatrices,especially forthe di?erences ofmatrices, which enable superiority comparisons of two biased estimates to be made for the ?rst time. We have attempted to provide a uni?ed theory of inference from linear models with minimal assumptions
Linear Differential Equations and Group Theory from Riemann to Poincaré
A study of how a particular vision of the unity of mathematics, often called geometric function theory, was created in the 19th century. The central focus is on the convergence of three mathematical topics: the hypergeometric and related linear differential equations, group theory, and on-Euclidean geometry. The text for this second edition has been greatly expanded and revised, and the existing appendices enriched with historical accounts of the Riemann–Hilbert problem, the uniformization theorem, Picard–Vessiot theory, and the hypergeometric equation in higher dimensions. The exercises have been retained, making it possible to use the book as a companion to mathematics courses at the graduate level.
Lie theory ; Vol.230 : Harmonic analysis on symmetric spaces, general Plancherel theorems
Van den Ban’s introductory chapter explains the basic setup of a reductive symmetric space along with a careful study of the structure theory, particularly for the ring of invariant differential operators for the relevant class of parabolic subgroups. Advanced topics for the formulation and understanding of the proof are covered, including Eisenstein integrals, regularity theorems, Maass–Selberg relations, and residue calculus for root systems. Schlichtkrull provides a cogent account of the basic ingredients in the harmonic analysis on a symmetric space through the explanation and definition of the Paley–Wiener theorem. Approaching the Plancherel theorem through an alternative viewpoint, the Schwartz space, Delorme bases his discussion and proof on asymptotic expansions of eigenfunctions and the theory of intertwining integrals.
Lectures on Probability Theory and Statistics : Ecole d'Eté de Probabilités de Saint-Flour XXXIII - 2003
Contains two of the three lectures that were given at the 33rd Probability Summer School in Saint-Flour (July 6-23, 2003). Amir Dembo’s course is devoted to recent studies of the fractal nature of random sets, focusing on some fine properties of the sample path of random walk and Brownian motion. In particular, the cover time for Markov chains, the dimension of discrete limsup random fractals, the multi-scale truncated second moment and the Ciesielski-Taylor identities are explored. Tadahisa Funaki’s course reviews recent developments of the mathematical theory on stochastic interface models, mostly on the so-called nabla varphi interface model. The results are formulated as classical limit theorems in probability theory, and the text serves with good applications of basic probability techniques.
Laplacian Eigenvectors of Graphs : Perron-Frobenius and Faber-Krahn Type Theorems
Eigenvectors of graph Laplacians have not, to date, been the subject of expository articles and thus they may seem a surprising topic for a book. The authors propose two motivations for this new LNM volume: (1) There are fascinating subtle differences between the properties of solutions of Schrödinger equations on manifolds on the one hand, and their discrete analogs on graphs. (2) "Geometric" properties of (cost) functions defined on the vertex sets of graphs are of practical interest for heuristic optimization algorithms. The observation that the cost functions of quite a few of the well-studied combinatorial optimization problems are eigenvectors of associated graph Laplacians has prompted the investigation of such eigenvectors.
