The Whole Truth About Whole Numbers is an introduction to the field of Number Theory for students in non-math and non-science majors who have studied at least two years of high school algebra. Rather than giving brief introductions to a wide variety of topics, this book provides an in-depth introduction to the field of Number Theory. The topics covered are many of those included in an introduct…
This book is about the radical novelty of modern polities in a functionally differentiated world society. Premodern states were at the apex of a stratified, hierarchical society. They dominated society and all its groups and strata. Modern polities have to be understood through the ecology of relations among different function systems. They have to find and incessantly redefine their place in s…
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis…
The book presents recent advances in nature-inspired computing, giving a special emphasis to control systems applications. It reviews different techniques used for simulating physical, chemical, biological or social phenomena at the purpose of designing robust, predictive and adaptive control strategies. The book is a collection of several contributions, covering either more general approaches …
This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Nature of Computation and Communication, ICTCC 2014, held in November 2014 in Ho Chi Minh City, Vietnam. The 34 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover formal methods for self-adaptive systems and discuss natural appr…
The »return of great power competition« between (among others) the US, China, Russia and the EU is a major topic in contemporary public debate. But why do we think of world politics in terms of »competition«? Which information and which rules enable states and other actors in world politics to »compete« with one another? Which competitive strategies do they pursue in the complex environme…
The son of a prominent Japanese mathematician who came to the United States after World War II, Ken Ono was raised on a diet of high expectations and little praise. Rebelling against his pressure-cooker of a life, Ken determined to drop out of high school to follow his own path. To obtain his father’s approval, he invoked the biography of the famous Indian mathematical prodigy Srinivasa Raman…
The annual Computational Neuroscience Meeting (CNS) began in 1990 as a small workshop called Analysis and Modeling of Neural Systems. The goal of the workshop was to explore the boundary between neuroscience and computation. Riding on the success of several seminal papers, physicists had made "Neural Networks" fashionable, and soon the quantitative methods used in these abstract model networks …
This book consists of both expository and research articles solicited from speakers at the conference entitled "Arithmetic and Ideal Theory of Rings and Semigroups," held September 22–26, 2014 at the University of Graz, Graz, Austria. It reflects recent trends in multiplicative ideal theory and factorization theory, and brings together for the first time in one volume both commutative and non…