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]

logo for The Institution of Engineering and Technology
Fuzzy Logic Control in Energy Systems
With design examples in Matlab/Simulink ®
İsmail Hakkı Altaş
The Institution of Engineering and Technology, 2024
Fuzzy models have the capability of recognising, representing, and working with data that is vague or lacks certainty, making them suitable for managing electrical energy systems involving intermittent distributed generation and varying distributed loads.
[more]

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

“I love maps. I love math. And gosh, do I love this book, which so beautifully and clearly sounds the depths of both.” —Ben Orlin, author of Math with Bad Drawings

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 maps and math.

In Mapmatics, mathematician Paulina Rowińska leads us on a riveting journey around the globe to discover how maps and math 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, she reveals how maps and math have shaped not only our sense of space but our worldview. In her hands, we learn how to read maps like a mathematician—to extract richer information and, just as importantly, to question our conclusions by asking what we don’t see.

Written with authority and compassion, wit and unforgettable storytelling, this is math exposition at its best. By unpacking the math behind the maps we depend on, Mapmatics 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