The North Pole


Book Description




Artificial Intelligence


Book Description

Nilsson employs increasingly capable intelligent agents in an evolutionary approach--a novel perspective from which to view and teach topics in artificial intelligence.




The Argosy


Book Description




CLS


Book Description




Information Technology in Supplier Networks


Book Description

The present work by Sascha Weber addresses procurement which deals with business partners beyond the boundaries of one's organization. Procurement refers to the function of purchasing goods and services from suppliers, whether raw material used to manufacture an organization's final products, maintenance and repair supplies, or capital goods such as machinery and buildings. Major decisions in procurement concern the selection of the right suppliers with whom to establish a business relationship, the design of purchasing contracts, and the selection of information technology used to support the procurement process. In recent years the progress in information technology not only provided opportunities to rationalize the existing way of organizing procurement, but also opened up new ways of conducting business as the emergence of virtual enterprises and electronic markets may indicate. The objective of Sascha Weber's research is to analyze and answer the question of how the use of information technology and expected progress influences procurement decisions of an organization. The analysis is conducted identifying important parameters which describe the relevant properties of information technology and supplier relationships. Information technology is distinguished flrstly in terms of the task which is supported between information technology used to support the evaluation of potential suppliers and information technology for the support of the execution of a supplier relationship.




Beautiful Mates


Book Description

A synopsis of eminent computer chess programs reveal that they are designed around a 'brute force' approach. An argument is made that by continuing the 'brute force' search approach, computer chess development is moving away from human evaluation methods. Research is done into studies of evaluation methods, and a discovery is made that humans use a form of intuition, called their 'sense of beauty', to choose the best chess move. A paper by Margulies is cited which formulates principles of beauty which apply to chess. Three versions of a chess program are developed, using no heuristics, standard chess heuristics, and beauty heuristics formulated from Margulies principles. The performance of the three versions of the program are compared using chess puzzles, and rated for how quickly they find the solution, and how few nodes they evaluate. Graphs are produced from the results of these tests, showing that beauty heuristics are, on average, 15% faster at finding the solution, and evaluate 10% fewer nodes. An improvement is implemented in all versions of the program which biases the search towards better moves, resulting in the beauty heuristics success rising to an average of 25% faster to the solution, and evaluating 33% fewer nodes, than the other heuristics. It is concluded that the beauty heuristics are closer to the way that humans evaluate chess positions.




Automated Theorem Proving


Book Description

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises designed to familiarise the readers with the ideas and with the software, and answers to many of the problems.




Searching the Records


Book Description




Labour Market Adjustment


Book Description

Labour economics textbook on labour market adjustment - develops a short-run dynamic system for the economic analysis of problems related to disequilibrium trading, inflation, unemployment, etc., and discussess various aspects of job searching. Bibliography pp. 249 to 254, diagrams, graphs and references.




Empirical Methods for the Study of Labour Force Dynamics


Book Description

In the last twenty years there has been an explosion of economic research on labor force dynamics; the movement of individuals between labor force states. This book focuses on the methods by which behavioral theories of labor force dynamics have been empirically implemented. Most attention is paid to the partial equilibrium two-state transitional model of job search behavior. That model is the foundation for much of our thinking about the nature of unemployment at both the individual and aggregate levels. Although the basic formulation has remained the same, approaches to the empirical implementation of such models has changed dramatically.