Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field. ...
This monograph presents new model-based design methods for trajectory planning, feedback stabilization, state estimation, and tracking control of distributed-parameter systems governed by partial differential equations (PDEs). Flatness and backstepping techniques and their generalization to PDEs with higher-dimensional spatial domain lie at...
Bamba and Haight provide an in-depth understanding of the everyday experiences and perspectives of maltreated children and their substitute caregivers and teachers in Japan. Their innovative research program combines strategies from developmental psychology, ethnography, and action research. Although child advocates from around the world...
Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special...
Thermosetting plastics are a distinct category of plastics whose high performance, durability and reliability at high temperatures makes them suitable for specialty applications ranging from automotive and aerospace through to electronic packaging and consumer products (your melamine kitchen worktop is a thermoset resin!). Recent developments...
This comparative text provides an understanding of major world criminal justice systems by discussing and comparing the systems of six of the world's countries: England, France, Russia, China, Japan, and a new chapter on South Africa -- each representative of a different type of legal system. An additional chapter on Islamic law uses...
Amorphous Silicon/Crystalline Silicon Solar Cells deals with some typical properties of heterojunction solar cells, such as their history, the properties and the challenges of the cells, some important measurementtools, some simulation programs and a brief survey of the state of the art, aiming to provide an initial framework in this...
Learn how to be the safe pair of hands in your organisation, consistently delivering exceptional projects on time and to budget. The steep rise in demand for good project managers in recent years has been mirrored by the publication of book after book setting out the formal processes and mechanics of project management. Whether they are...
The Shelly Cashman Series® offers the fi nest textbooks in computer education. We are proud of the fact
that our Microsoft Windows 3.1, Microsoft Windows 95, Microsoft Windows 98, Microsoft Windows
2000, Microsoft Windows XP, and Microsoft Windows Vista books have been so well received by students
and instructors. With each new...
This monograph aims to provide an accessible and fairly comprehensive treatment of recent developments on generalised dualities for graphs on surfaces and their applications. Duality arises in many areas, particularly topological and algebraic graph theory, topology, and physics. The importance of duality derives not only from its inherent...
With the proliferation of huge amounts of (heterogeneous) data on the Web, the importance of information retrieval (IR) has grown considerably over the last few years. Big players in the computer industry, such as Google, Microsoft and Yahoo!, are the primary contributors of technology for fast access to Web-based information; and searching...
This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw LeÅniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The author’s nuanced survey eschews secondary commentary, analyzing LeÅniewski's core...
