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