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...

The explosive increase in information and the miniaturization of electronic devices demand new recording technologies and materials that combine high density, fast response, long retention time and rewriting capability. As predicted, the current silicon-based computer circuits are reaching their physical limits. Further miniaturization of the...

This book describes how one can use The Scientific Method to solve everyday problems including medical ailments, health issues, money management, traveling, shopping, cooking, household chores, etc. It illustrates how to exploit the information collected from our five senses, how to solve problems when no information is available for the...

This unique book is designed to provide the reader with an exposition of interesting aspects -- encompassing both rudimentary and advanced knowledge -- of oscillation theory of partial differential equations, which dates back to the publication in 1955 of a paper by Ph Hartman and A Wintner. The objective of oscillation theory is to acquire...

This unique volume presents a new approach - the general theory of information - to scientific understanding of information phenomena. Based on a thorough analysis of information processes in nature, technology, and society, as well as on the main directions in information theory, this theory synthesizes existing directions into a unified...

Part I of the book, Health Care Information Systems , focuses on providing global leadership for the optimal use...

The 1947 paper by John von Neumann and Herman Goldstine, Numerical Inverting of Matrices of High Order (Bulletin of the AMS, Nov. 1947), is considered as the birth certificate of numerical analysis. Since its publication, the evolution of this domain has been enormous. This book is a unique collection of contributions by researchers who have...

This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints...