This book presents the theory of adjoint sensitivity analysis for high frequency applications through time-domain electromagnetic simulations in MATLAB®. This theory enables the efficient estimation of the sensitivities of an arbitrary response with respect to all parameters in the considered problem. These sensitivities are required in many applications including gradient-based optimization, surrogate-based modeling, statistical analysis, and yield analysis.

Modal logic originated in philosophy as the logic of necessity and possibility. Nowadays it has reached a high level of mathematical sophistication and found many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics. This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings. "This collection is a useful resource for anyone working in modal logic. It contains both interesting surveys and cutting-edge technical results" --Edwin D. Mares The Bulletin of Symbolic Logic, March 2002

This book is a French translation of seventeen papers by Donald Knuth on algorithms both in the field of analysis of algorithms and in the design of new algorithms. They cover fundamental concepts and techniques and numerous discrete problems such as sorting, searching, data compression, theorem-proving, and cryptography, as well as methods for controlling errors in numerical computations.

This book analyzes the different ways mathematics is applicable in the physical sciences, and presents a startling thesis--the success of mathematical physics appears to assign the human mind a special place in the cosmos.

Mark Steiner distinguishes among the semantic problems that arise from the use of mathematics in logical deduction; the metaphysical problems that arise from the alleged gap between mathematical objects and the physical world; the descriptive problems that arise from the use of mathematics to describe nature; and the epistemological problems that arise from the use of mathematics to discover those very descriptions.

The epistemological problems lead to the thesis about the mind. It is frequently claimed that the universe is indifferent to human goals and values, and therefore, Locke and Peirce, for example, doubted science's ability to discover the laws governing the humanly unobservable. Steiner argues that, on the contrary, these laws were discovered, using manmade mathematical analogies, resulting in an anthropocentric picture of the universe as "user friendly" to human cognition--a challenge to the entrenched dogma of naturalism.

This report addresses two questions: first, whether the spatial distribution of the American electorate has become more geographically clustered over the last 40 years with respect to party voting and socioeconomic attributes; and second, whether this clustering process has contributed to rising polarization in the U.S. House of Representatives.

“Inspiring and informative…deserves to be widely read.”
—Wall Street Journal

“This fun book offers a philosophical take on number systems and revels in the beauty of math.”
—Science News

Because we have ten fingers, grouping by ten seems natural, but twelve would be better for divisibility, and eight is well suited to repeated halving. Grouping by two, as in binary code, has turned out to have its own remarkable advantages.

Paul Lockhart presents arithmetic not as rote manipulation of numbers—a practical if mundane branch of knowledge best suited for filling out tax forms—but as a fascinating, sometimes surprising intellectual craft that arises from our desire to add, divide, and multiply important things. Passionate and entertaining, Arithmetic invites us to experience the beauty of mathematics through the eyes of a beguiling teacher.

“A nuanced understanding of working with numbers, gently connecting procedures that we once learned by rote with intuitions long since muddled by education… Lockhart presents arithmetic as a pleasurable pastime, and describes it as a craft like knitting.”
—Jonathon Keats, New Scientist

“What are numbers, how did they arise, why did our ancestors invent them, and how did they represent them? They are, after all, one of humankind’s most brilliant inventions, arguably having greater impact on our lives than the wheel. Lockhart recounts their fascinating story… A wonderful book.”
—Keith Devlin, author of Finding Fibonacci

Conceived by Johan van Benthem and Yde Venema, arrow logic started as an attempt to give a general account of the logic of transitions. The generality of the approach provided a wide application area ranging from philosophy to computer science. The book gives a comprehensive survey of logical research within and around arrow logic. Since the natural operations on transitions include composition, inverse and identity, their logic, arrow logic can be studied from two different perspectives, and by two (complementary) methodologies: modal logic and the algebra of relations. Some of the results in this volume can be interpreted as price tags. They show what the prices of desirable properties, such as decidability, (finite) axiomatisability, Craig interpolation property, Beth definability etc. are in terms of semantic properties of the logic. The research program of arrow logic has considerably broadened in the last couple of years and recently also covers the enterprise to explore the border between decidable and undecidable versions of other applied logics. The content of this volume reflects this broadening. The editors included a number of papers which are in the spirit of this generalised research program.

The first history of postwar mathematics, offering a new interpretation of the rise of abstraction and axiomatics in the twentieth century.

Why did abstraction dominate American art, social science, and natural science in the mid-twentieth century? Why, despite opposition, did abstraction and theoretical knowledge flourish across a diverse set of intellectual pursuits during the Cold War? In recovering the centrality of abstraction across a range of modernist projects in the United States, Alma Steingart brings mathematics back into the conversation about midcentury American intellectual thought. The expansion of mathematics in the aftermath of World War II, she demonstrates, was characterized by two opposing tendencies: research in pure mathematics became increasingly abstract and rarified, while research in applied mathematics and mathematical applications grew in prominence as new fields like operations research and game theory brought mathematical knowledge to bear on more domains of knowledge. Both were predicated on the same abstractionist conception of mathematics and were rooted in the same approach: modern axiomatics. 

For American mathematicians, the humanities and the sciences did not compete with one another, but instead were two complementary sides of the same epistemological commitment. Steingart further reveals how this mathematical epistemology influenced the sciences and humanities, particularly the postwar social sciences. As mathematics changed, so did the meaning of mathematization. 

Axiomatics focuses on American mathematicians during a transformative time, following a series of controversies among mathematicians about the nature of mathematics as a field of study and as a body of knowledge. The ensuing debates offer a window onto the postwar development of mathematics band Cold War epistemology writ large. As Steingart’s history ably demonstrates, mathematics is the social activity in which styles of truth—here, abstraction—become synonymous with ways of knowing.