This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevan...
ISBN:
(数字)9783319429007
ISBN:
(纸本)9783319428987
This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models. The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computerscience and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this boo...
ISBN:
(数字)9783319555591
ISBN:
(纸本)9783319555584
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory. It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computerscience.
A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog decep...
ISBN:
(纸本)9780691637709
A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this book Patrice Boizumault draws from his extensive experience in Prolog implementation to describe for students of all levels the concepts, difficulties, and design limits of a Prolog *** introduces the specific problems posed by the implementation of Prolog, studies and compares different solutions--notably those of the schools of Marseilles and Edinburgh--and concludes with three examples of implementation. Major points of interest include identifying the important differences in implementing unification and resolution; presenting three features of Prolog II--infinite trees, dif, and freeze--that introduce constraints; thoroughly describing Warren's Abstract Machine (WAM); and detailing a Lisp imple-mentation of *** published in *** Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.
The creation of the nurse schedules is one of the main research conducted on behalf of the effective use of human resources in health service. So, Nurse Scheduling Problems (NSP) has studied over forty years by many r...
详细信息
ISBN:
(纸本)9789813146969
The creation of the nurse schedules is one of the main research conducted on behalf of the effective use of human resources in health service. So, Nurse Scheduling Problems (NSP) has studied over forty years by many researchers. Many heuristic algorithms in the literature are generated based on the imitation of the events in nature. One of them is the Harmony Search Algorithm (HSA). The aim of this study is to examine all aspects of HSA and to evaluate the success of proposed HSA on a common set of problems in NSP. The originality of study lies in the fact that it is provided the further development of solution quality by adding a new feature to the parallel HSA.
This textbook explains online computation in different settings, with particular emphasis on randomization and advice complexity. These settings are analyzed for various online problems such as the paging problem, the...
ISBN:
(数字)9783319427492
ISBN:
(纸本)9783319427478
This textbook explains online computation in different settings, with particular emphasis on randomization and advice complexity. These settings are analyzed for various online problems such as the paging problem, the k-server problem, job shop scheduling, the knapsack problem, the bit guessing problem, and problems on graphs. This book is appropriate for undergraduate and graduate students of computerscience, assuming a basic knowledge in algorithmics and discrete mathematics. Also researchers will find this a valuable reference for the recent field of advice complexity.
This extended abstract describes a thesis, which will focus on methods, that incorporate prior knowledge into neural network. This priors will be incorporated by learning from synthetic data sets and design of differe...
详细信息
ISBN:
(纸本)9789813146969
This extended abstract describes a thesis, which will focus on methods, that incorporate prior knowledge into neural network. This priors will be incorporated by learning from synthetic data sets and design of different architectures of the network.
This paper deals with hybrid flow shop with multiprocessor task scheduling (HFSMT) under the environment of a common time window. The window size and location are considered to be given parameters. The objective is to...
详细信息
ISBN:
(纸本)9789813146969
This paper deals with hybrid flow shop with multiprocessor task scheduling (HFSMT) under the environment of a common time window. The window size and location are considered to be given parameters. The objective is to minimize the total penalty cost incurred by earliness and tardiness of jobs. In this paper, a Memetic algorithm in which a global search algorithm is accompanied with local search mechanism is developed to solve the HFSMT and HFSMT with jobs having a common time window along with experimental design to determine the best parameter set for each problem type.
暂无评论