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