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) ...
اقرأ المزيد