front cover of Advances in Modal Logic, Volume 1
Advances in Modal Logic, Volume 1
Edited by Marcus Kracht, Maarten de Rijke, Heinrich Wansing, and Michael Zakhary
CSLI, 1998
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
[more]

front cover of Fuzzy Logic Control in Energy Systems with design applications in MATLAB®/Simulink®
Fuzzy Logic Control in Energy Systems with design applications in MATLAB®/Simulink®
Ismail H. Altaş
The Institution of Engineering and Technology, 2017
Modern electrical power systems are facing complex challenges, arising from distributed generation and intermittent renewable energy. Fuzzy logic is one approach to meeting this challenge and providing reliability and power quality.
[more]

front cover of Mapmatics
Mapmatics
A Mathematician's Guide to Navigating the World
Paulina Rowińska
Harvard University Press

Explore the surprising connections between math and maps—and the myriad ways they’ve shaped our world and us.

Why are coastlines and borders so difficult to measure? How does a UPS driver deliver hundreds of packages in a single day? And where do elusive serial killers hide? The answers lie in the crucial connection between math and maps.

In Mapmatics, mathematician Paulina Rowińska leads us on a journey around the globe to discover how math and maps are deeply entwined, and always have been. From a sixteenth-century map, an indispensable navigation tool that exaggerates the size of northern countries, to public transport maps that both guide and confound passengers, to congressional maps that can empower or silence whole communities, maps and math have shaped not only our sense of space but our worldview. Rowińska shows that by understanding the math behind maps, we can recognize their biases. And we can appreciate the ingenious tools mathematicians are developing to resolve them.

Written with authority and compassion, wit and unforgettable storytelling, Mapmatics is math exposition at its best. By unpacking the math underlying the maps we depend on, this book illuminates how our world works, and, ultimately, how we can better look after it.

[more]

front cover of Quantifying Life
Quantifying Life
A Symbiosis of Computation, Mathematics, and Biology
Dmitry A. Kondrashov
University of Chicago Press, 2016
Since the time of Isaac Newton, physicists have used mathematics to describe the behavior of matter of all sizes, from subatomic particles to galaxies. In the past three decades, as advances in molecular biology have produced an avalanche of data, computational and mathematical techniques have also become necessary tools in the arsenal of biologists. But while quantitative approaches are now providing fundamental insights into biological systems, the college curriculum for biologists has not caught up, and most biology majors are never exposed to the computational and probabilistic mathematical approaches that dominate in biological research.

With Quantifying Life, Dmitry A. Kondrashov offers an accessible introduction to the breadth of mathematical modeling used in biology today. Assuming only a foundation in high school mathematics, Quantifying Life takes an innovative computational approach to developing mathematical skills and intuition. Through lessons illustrated with copious examples, mathematical and programming exercises, literature discussion questions, and computational projects of various degrees of difficulty, students build and analyze models based on current research papers and learn to implement them in the R programming language. This interplay of mathematical ideas, systematically developed programming skills, and a broad selection of biological research topics makes Quantifying Life an invaluable guide for seasoned life scientists and the next generation of biologists alike.
[more]


Send via email Share on Facebook Share on Twitter