Heat Conduction, Third Edition is an update of the classic text on heat conduction, replacing some of the coverage of numerical methods with content on micro- and nanoscale heat transfer. With an emphasis on the mathematics and underlying physics, this new...

The introductory chapter briefly presents the fundamental topologies and operation of power inverters. The second chapter contains a description of wavelet basis functions and sampling theory with particular reference to the switching model of inverters. Chapter three outlines the connection between the non-uniform sampling theorem and...

This textbook features applications including a proof of the Fundamental Theorem of Algebra, space filling curves, and the theory of irrational numbers. In addition to the standard results of advanced calculus, the book contains several interesting applications of these results. The text is intended to form a bridge between calculus and...

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for...

The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique research monograph systematically presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of join and meet or other...

Bundles, connections, metrics and curvature are the 'lingua franca' of modern differential geometry and theoretical physics. This book will supply a graduate student in mathematics or theoretical physics with the fundamentals of these objects.

Many of the tools used in differential topology are introduced and the...

This book's organizing principle is the interplay between groups and rings, where “rings” includes the ideas of modules. It contains basic definitions, complete and clear theorems (the first with brief sketches of proofs), and gives attention to the topics of algebraic geometry, computers, homology, and...

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his...

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such...

Advanced visual analysis and problem solving has been conducted successfully for millennia. The Pythagorean Theorem was proven using visual means more than 2000 years ago. In the 19th century, John Snow stopped a cholera epidemic in London by proposing that a specific water pump be shut down. He discovered that pump by visually correlating...