S. C Kleene 
Two Papers on the Predicate Calculus 

Among all aspects of engineering, design is the most important step in developing a new product. A systematic approach to managing design issues can only be accomplished by applying mathematical opti …

This book introduces the principle of carrying out a medium-term load forecast (MTLF) at power system level, based on the Big Data concept and Convolutionary Neural Network (CNNs). It also presents f …

For almost every phenomenon in physics, chemistry, biology, medicine, economics, and other sciences, one can make a mathematical model that can be regarded as a dynamical system. One-Dimensional Dyna …

This book introduces a new method based on algebraic inequalities for optimising engineering systems and processes, with applications in mechanical engineering, materials science, electrical engineer …

Written as a textbook, A First Course in Functional Analysis is an introduction to basic functional analysis and operator theory, with an emphasis on Hilbert space methods. The aim of this book is to …

This book presents the foundation and validation of the Cosserat Plate Theory, numerical experiments of deformation and vibration, and the unique properties of the Cosserat plates. Our approach …

This book introduces multi-objective design methods to solve multi-objective optimization problems (MOPs) of linear/nonlinear dynamic systems under intrinsic random fluctuation and external disturban …

This book primarily aims to provide an in-depth understanding of recent advances in big data computing technologies, methodologies, and applications along with introductory details of big data …

This book provides an accessible introduction to using the tools of differential geometry to tackle a wide range of topics in physics, with the concepts developed through numerous examples to help th …

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent …