The book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
اقرأ المزيدUndergraduate Algebra is a text for the standard undergraduate algebra course. It concentrates on the basic structures and ...
اقرأ المزيد
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
اقرأ المزيد
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
اقرأ المزيد
This book analyzes and seeks to consolidate the use of robust quantitative tools and qualitative methods for the design and ...
اقرأ المزيد
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
اقرأ المزيد
This book is one of the first systematic studies on the nonlinear output regulation problem that embraces both the local ...
اقرأ المزيد
There has been a long debate about whether uniformly accelerated charges should radiate electromagnetic energy and how one ...
اقرأ المزيد
In June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...
اقرأ المزيد
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
اقرأ المزيد
This clearly written text is the first book on unitals embedded in finite projective planes. Unitals are key structures in ...
اقرأ المزيد
This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...
اقرأ المزيد
This book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is ...
اقرأ المزيد
In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation ...
اقرأ المزيد
Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
اقرأ المزيد
This volume of proceedings is a collection of refereed papers resulting from the VI Hotine-Marussi Symposium on Theoretical ...
اقرأ المزيد
A classical queueing model consists of three parts - arrival process, service process, and queue discipline. However, a vacation ...
اقرأ المزيد
The subject of the book is Diophantine approximation and Nevanlinna theory. Not only does the text provide new results and ...
اقرأ المزيد
Tracing the shift from liberal to neoliberal education from the nineteenth century to the present day, this open access book ...
اقرأ المزيد
Investigates the relationship between strategy optimization mechanisms and the efficiency (performance and productivity) ...
اقرأ المزيد