Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects.

To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.

We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics.

The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources.

The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well.

Key Features:

Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science

Written by internationally leading researchers in the field of pure and applied logic

Combines mathematical theory of modal logic and applications in artificial intelligence and computer science

Numerous open problems for further research

Well illustrated with pictures and tables
"

This volume presents a variety of studies relating to the reach to grasp movement and provides a necessary and valuable contribution to the field of motor control. The professions covered in this book range from those interested in the basic sciences to those more interested in practical application. Neurophysiologists and biomechanists join with therapists and neural modelers to present an extensive overview of current developments. Evolutionary and developmental aspects are included together with descriptions of how this movement is affected by central nervous system damage. Purely theoretical aspects of the motor control of this movement are interspersed with treatment applications and robotics.

In the fourty-six years that have gone by since the first volume of Progress in Optics was published, optics has become one of the most dynamic fields of science. The volumes in this series which have appeared up to now contain nearly 300 review articles by distinguished research workers, which have become permanent records for many important developments.
- Historial Overview
- Attosecond Laser Pulses
- History of Conical refraction
- Particle Concept of Light
- Field Quantization in Optics
- History of Near-Field Optics
- History of Tunneling
- Influence of Young's Interference Experiment ob Development of Statistical optics
- Planck, Photon Statistics and Bose-Einstein Condensation

Two fields of interest are combined in this volume: the history of science and the theory, or philosophy, of science (metascience). The result is a history of psychology with emphasis placed upon a metascientific analysis of the work of fourteen psychologists from various periods.
Each analysis is set in historical context; a period or school is discussed in each chapter, together with a metascientific analysis of some major works from the respective period or school. The author employs a metascientific descriptive system or systematology' developed during more than 30 years of work on comparative, metascientific studies of about 50 psychological theories. The results of those studies have been published in previous works.
These analyses are also used here for verifying T.S. Kuhn's much-debated theory about the revolutionary' development of sciences. The author revises Kuhn's theory and shows that it can be applied to the history of psychology. Thus, in a Kuhnian sense, psychology may be said to have had two normal periods' and two periods of crisis' leading to school formation.

"Alkaloids: Chemical and Biological Perspectives," the 15th volume of the ACBP series, features four important reviews of research on alkaloids. Chapter 1 is the first comprehensive review of the carbon-13 and proton NMR shift assignments and physical constants of diterpene alkaloids and their derivatives. In addition to the catalogue of spectral and physical data, the chapter includes a table of the occurrences of these alkaloids in various plant species, tables containing molecular formulas versus calculated high-resolution mass values, and calculated high-resolution mass values versus the molecular formulas of diterpenoid alkaloids, as well as seven tables summarizing the carbon-13 chemical shifts of various functional groups in diterpenoid alkaloids.
Chapter 2 is a fascinating review of the supercritical fluid extraction of alkaloids. This technique using basic modifiers, provides an alternative method for the extraction of alkaloids.
Chapter 3 summarizes recent advances in the synthesis of "Amaryllidaceae" alkaloids, an important class of naturally-occurring bases and neutral compounds. The increased activity in the synthesis of these alkaloids over the last decade is undoubtedly due to the fact that certain members of this family possess interesting and useful biological properties. Elegant syntheses, chiral and otherwise, of structures incorporating many asymmetric centres are reviewed.
Chapter 4 reviews radical cyclization reactions in the total synthesis of indole alkaloids. The use of free radical chemistry in the synthesis of alkaloids has grown markedly because of the mild reaction conditions, tolerance of a wide variety of functional groups, and the good stereoselectivities.
Each chapter in this volume has been reviewed by at least one specialist in the field.

Mastering modelling, and in particular numerical models, is becoming a crucial and central question in modern computational mechanics. Various tools, able to quantify the quality of a model with regard to another one taken as the reference, have been derived. Applied to computational strategies, these tools lead to new computational methods which are called "adaptive." The present book is concerned with outlining the state of the art and the latest advances in both these important areas.

Papers are selected from a Workshop (Cachan 17-19 September 1997) which is the third of a series devoted to Error Estimators and Adaptivity in Computational Mechanics. The Cachan Workshop dealt with latest advances in adaptive computational methods in mechanics and their impacts on solving engineering problems. It was centered too on providing answers to simple questions such as: what is being used or can be used at present to solve engineering problems? What should be the state of art in the year 2000? What are the new questions involving error estimators and their applications?

Annual Reports in Computational Chemistry is a new periodical providing timely and critical reviews of important topics in computational chemistry as applied to all chemical disciplines. Topics covered include quantum chemistry, molecular mechanics, force fields, chemical education, and applications in academic and industrial settings. Each volume is organized into (thematic) sections with contributions written by experts. Focusing on the most recent literature and advances in the field, each article covers a specific topic of importance to computational chemists. Annual Reports in Computational Chemistry is a 'must' for researchers and students wishing to stay up-to-date on current developments in computational chemistry.
* Broad coverage of computational chemistry and up-to-date information
* The topics covered include quantum chemistry, molecular mechanics, force fields, chemical education, and applications in academic and industrial settings
* Each chapter reviews the most recent literature on a specific topic of interest to computational chemists

The Liver in Biology and Disease was conceived as a sequel in the series "Principles of Medical Biology," whose general aim continues to be the integration of human biology and molecular cell biology into modern molecular medicine. It is a volume molded by the Information Revolution which few will deny has forced the teaching faculties in our medical schools to curtail and prune the teaching load and focus on fundamentals and principles. With this intention in mind, a volume of this nature takes into account the close dependence of progress in the medical sciences on bioinformatics (gene and protein analysis) or more precisely, computational biology and of course, the Internet. In general, it follows the pattern of its predecessors.
*Chapters are illustrated with numerous figures and references are current
*Clear, concise and accurate text about a large number of liver diseases
*Describes the liver's histology, biochemistry, and pathology in molecular terms

Since their introduction in the 1980's, wavelets have become a powerful tool in mathematical analysis, with applications such as image compression, statistical estimation and numerical simulation of partial differential equations. One of their main attractive features is the ability to accurately represent fairly general functions with a small number of adaptively chosen wavelet coefficients, as well as to characterize the smoothness of such functions from the numerical behaviour of these coefficients. The theoretical pillar that underlies such properties involves approximation theory and function spaces, and plays a pivotal role in the analysis of wavelet-based numerical methods.
This book offers a self-contained treatment of wavelets, which includes this theoretical pillar and it applications to the numerical treatment of partial differential equations. Its key features are:

1. Self-contained introduction to wavelet bases and related numerical algorithms, from the simplest examples to the most numerically useful general constructions.

2. Full treatment of the theoretical foundations that are crucial for the analysis
of wavelets and other related multiscale methods: function spaces, linear and nonlinear approximation, interpolation theory.

3. Applications of these concepts to the numerical treatment of partial differential equations: multilevel preconditioning, sparse approximations of differential and integral operators, adaptive discretization strategies.

This volume attempts to bring together a collection of current approaches to, and related empirical investigations on, the development of coordination in the first two years of life. It will be of interest to scientists and students in, for example, biology, human movement sciences, kinesiology, psychology, pediatrics, physiology, physical education, physical therapy and robotics.

Contributors include those with established reputations in the field, as well as young authors, who are beginning to make their mark. Their efforts resulted in twenty chapters, of which seventeen were invited. The chapters have been divided into four sections. The first chapter is intended to outline the structure of the book.

The book is concerned with the cognitive contributions to perception, that is, with the influence of attention, intention, or motor processes on performances in spatial and temporal tasks. The chapters deal with fundamental perceptual processes resulting from the simple localization of an object in space or from the temporal determination of an event within a series of events.
Chapters are based on presentations given at the "Symposium on the Cognitive Contributions to the Perception of Spatial and Temporal Events" (September 7 9, 1998, Ohlstadt, Germany). Following each chapter are commentary pieces from other researchers in the field. At the meeting, contributors were encouraged to discuss their theoretical positions along with presenting empirical results and the book's commentary sections help to preserve the spirit and controversies of the symposium.
The general topic of the book is split into three parts. Two sections are devoted to the perception of unimodal spatial and temporal events; and are accompanied by a third part on spatio-temporal processes in the domain of intermodal integration.

The themes of the book are highly topical. There is a growing interest in studies both with healthy persons and with patients that focus on localization errors and dissociations in localizations resulting from different tasks. These errors lead to new concepts of how visual space is represented. Such deviations are not only observed in the spatial domain but in the temporal domain as well. Typical examples are errors in duration judgments or synchronization errors in tapping tasks. In addition, several studies indicate the influence of attention on both the timing and on the localization of dynamic events. Another intriguing question originates from well-known interactions between intermodal events, namely, whether these events are based on a single representation or whether different representations interact.
"

Membranes are highly dynamic and operate not only as inert boundaries, but the packages they carry around in a cell are well addressed fro appropriate delivery. This holds for a variety of endomembrane systems engaged in exo- and endocytosis, for organelles along the biosynthetic pathway, phagosomes, and lysosomes. It also holds for the establishment of functional surface properties. Cell pairing (conjugation) phenomena are a good model for the problem of how a cell can discriminate between "self" and "non-self." On the other hand parasitic sporozoa developed to experts in masking their molecular sur-"face"by frequent shedding of their variant antigens.
The discovery of their glycosyl-phosphatidylinositol (GPI) anchor has led to the discovery, in polar epithelial cells, of a specific targeting mechanism for GPI-anchored surface glycoproteins. Over one hundred such proteins have been detected in metazoans since then.
Many of these basic aspects are dealt with in this book using quite different methodical approaches. Of course, there are many more aspects previously known from metazoan systems and such aspects then had to be verified also for Protozoa systems and such aspects then had to be verified also for protozoa. In this context, it is fascinating to see how basic cellular functions are maintained - with variations of the basic theme - throughout evolution.
However, sometimes cell biologists dedicated to work with protozoa have to live with a regrettable phenomenon. Colleagues working with "higher" eukaryotic cells are frequently unaware of the fact that the primary input may have come from work with protozoa. Some phenomena may even be rediscovered inadvertently. In this sense, this book should address not only colleagues working with protozoa but also many of our fellow cell biologists working with metazoan cells.

This book contains 38 papers presented at the seventh Working Conference on 'Reliability and Optimization of Structural Systems' held at Boulder, Colorado, USA, on April 2-4, 1996. The Working Conference was organized by the IFIP (International Federation for Information Processing) Working Group 7.5 of Technical Committee 7 and was the seventh in a series of similar conferences. The objectives of the Working Group and hence this publication are:

- to promote modern structural systems optimization and reliability theory,
- to advance international co-operation in the field of structural system optimization and reliability theory,
- to stimulate research, development and application of structural system optimization and reliability theory,
- to further dissemination and exchange of information on reliability and optimization of structural systems, and
- to encourage education in structural system organization and reliability theory.

Two distinct systems of hypercomplex numbers in n dimensions are introduced in this book, for which the multiplication is associative and commutative, and which are rich enough in properties such that exponential and trigonometric forms exist and the concepts of analytic n-complex function, contour integration and residue can be defined.

The first type of hypercomplex numbers, called polar hypercomplex numbers, is characterized by the presence in an even number of dimensions greater or equal to 4 of two polar axes, and by the presence in an odd number of dimensions of one polar axis. The other type of hypercomplex numbers exists as a distinct entity only when the number of dimensions n of the space is even, and since the position of a point is specified with the aid of n/2-1 planar angles, these numbers have been called planar hypercomplex numbers.

The development of the concept of analytic functions of hypercomplex variables was rendered possible by the existence of an exponential form of the n-complex numbers. Azimuthal angles, which are cyclic variables, appear in these forms at the exponent, and lead to the concept of n-dimensional hypercomplex residue. Expressions are given for the elementary functions of n-complex variable. In particular, the exponential function of an n-complex number is expanded in terms of functions called in this book n-dimensional cosexponential functions
of the polar and respectively planar type, which are generalizations to n dimensions of the sine, cosine and exponential functions.

In the case of polar complex numbers, a polynomial can be written as a product of linear or quadratic factors, although it is interesting that several factorizations are in general possible. In the case of planar hypercomplex numbers, a polynomial can always be written as a product of linear factors, although, again, several factorizations are in general possible.

The book presents a detailed analysis of the hypercomplex numbers in 2, 3 and 4 dimensions, then presents the properties of hypercomplex numbers in 5 and 6 dimensions, and it continues with a detailed analysis of polar and planar hypercomplex numbers in n dimensions. The essence of this book is the interplay between the algebraic, the geometric and the analytic facets of the relations.

"Geosciences, Environment and Man" has three major objectives, which determine the division in three parts of this volume: I. To consider the main natural geological processes interfering with and therefore threatening the activities of man: earthquakes, volcanic eruptions, land movements, floods, wind and coastal risks; main prevention and mitigation measures against these natural hazards are presented. II. To examine the exploitation of earth's natural resources such as materials, ores and minerals, fossil fuels, water, radioactivity, and the resulting consequences on solid Earth balance and future. III. To assess the hold level reached by the activities of man on planet surface envelopes through agriculture, urbanization, industrialization, and communication; the local to global effects of human influence triggered by recent demographic growth on underground, soils, water and air characters are taken into account. Both deteriorating and beneficial aspects of Earth - the interactions of man are emphasized, as well as mitigation or restoration measures and perspectives.

Rather than simply cataloging the various interpretations of European regulations by Member States, this international team examines the economic priorities, the legal bases, the social norms and cultural patterns which come into play, presenting an analytical approach to the study of production rights in European agriculture.

This work traces the emergence and the economic and legal content of the different income support tools for agricultural producers, collectively termed 'production rights' and it looks at the foundations of the specific national conceptions underlying the methods of organising agricultural activity.

The book is intended for a varied readership: farmers themselves, of course, but also economic, legal and tax consultants, experts, lawyers, notaries, as well as students, teachers and researchers. It has been set out in such a way as to allow readers to move freely from one subject to another, depending on whether their interest lies in economic aspects or legal developments, or whether they are more concerned by certain production rights or by certain features of their own organisation.

The goal of the book is to enable the reader to grasp the special features and the significance of the forces which have shaped the current income support instruments for producers in the various Member States of the EU, and which will unquestionably continue to influence the measures which flow from reforms to the Common Agricultural Policy in the years to come.

The scope of service provided by professional accountants is influenced by legislation and case law as well as the dictates of a variety of government and private sector agencies.There are equivalent and emerging local international bodies that exist in most developed countries. It is important for academics, students, practitioners, regulators and researchers to consider, study and understand the role and relationship of such bodies with the practice and content of our discipline. "Research in Accounting Regulation" is a refereed annual serial that seeks to publish high-quality manuscripts addressing regulatory issues and policy affecting the practice of accountancy, broadly defined. Topics of interest include research based on self-regulatory activities, case law and litigation, governmental and quasi-governmental regulation, and the economics of regulation, including modelling. This research series aims to encourage the submission of original empirical, behavioural or applied research manuscripts that consider strategic and policy implications for regulation, regulatory models and markets. It is intended for individual researchers, practitioners, regulators and students of accountancy who desire to increase their understanding of the regulation of accountancy.

This book examines different classical and modern aspects of geophysical data processing and inversion with emphasis on the processing of seismic records in applied seismology.

Chapter 1 introduces basic concepts including: probability theory (expectation operator and ensemble statistics), elementary principles of parameter estimation, Fourier and z-transform essentials, and issues of orthogonality. In Chapter 2, the linear treatment of time series is provided. Particular attention is paid to Wold decomposition theorem and time series models (AR, MA, and ARMA) and their connection to seismic data analysis problems. Chapter 3 introduces concepts of Information theory and contains a synopsis of those topics that are used throughout the book. Examples are entropy, conditional entropy, Burg's maximum entropy spectral estimator, and mutual information. Chapter 4 provides a description of inverse problems first from a deterministic point of view, then from a probabilistic one. Chapter 5 deals with methods to improve the signal-to-noise ratio of seismic records. Concepts from previous chapters are put in practice for designing prediction error filters for noise attenuation and high-resolution Radon operators. Chapter 6 deals with the topic of deconvolution and the inversion of acoustic impedance. The first part discusses band-limited extrapolation assuming a known wavelet and considers the issue of wavelet estimation. The second part deals with sparse deconvolution using various 'entropy' type norms. Finally, Chapter 7 introduces recent topics of interest to the authors.

The emphasis of this book is on applied seismology but researchers in the area of global seismology, and geophysical signal processing and inversion will find material that is relevant to the ubiquitous problem of estimating complex models from a limited number of noisy observations.
* Non-conventional approaches to data processing and inversion are presented
* Important problems in the area of seismic resolution enhancement are discussed
* Contains research material that could inspire graduate students and their supervisors to undertake new research directions in applied seismology and geophysical signal processing

Optics has become one of the most dynamic fields of science since the first volume of Progress in Optics was published forty years ago. At the time of inception of this series, the first lasers were only just becoming operational, holography was in its infancy, subjects such as fiber optics, integrated optics and optoelectronics did not exist and quantum optics was the domain of only a few physicists. The term photonics had not yet been coined. Today these fields are flourishing and have become areas of specialization for many science and engineering students as well as numerous research workers and engineers throughout the world.

The awarding of Nobel prizes to seven physicists over the last twenty years has recognized advances in these fields. The volumes in this series now contain 240 review articles by distinguished research workers, which have become permanent records for many important developments. They have helped optical scientists and optical engineers to stay abreast of their fields. There is no sign that developments in optics are slowing down or becoming less interesting. We confidently expect that, just like their predecessors, future volumes of Progress in Optics will faithfully record the most important advances that are being made in optics and related fields.

The articles in this volume 43 cover a broad range of subjects, of interest to scientists concerned with optical theory or with optical devices.

The origins of knowledge about the self is arguably the most fundamental problem of psychology. It is a classic theme that has preoccupied great psychologists, beginning with William James and Freud. On reading current literature, today's developmental psychologists and ethologists are clearly expressing a renewed interest in the topic. Furthermore, recent progress in the study of infant and animal behavior, provides important and genuinely new insights regarding the origins of self-knowledge.

This book is a collection of current theoretical views and research on the self in early infancy, prior to self-identification and the well-documented emergence of mirror self-recognition. The focus is on the early sense of self of the young infant. Its aim is to provide an account of recent research substantiating the precursors of self-recognition and self-identification. By concentrating on early infancy, the book provides an updated look at the origins of self-knowledge.

Hardbound. In this volume prominent workers in the field discuss various time series methods in the time domain. The topics included are autoregressive-moving average models, control, estimation, identification, model selection, non-linear time series, non-stationary time series, prediction, robustness, sampling designs, signal attenuation, and speech recognition. This volume complements Handbook of Statistics 3: Time Series in the Frequency Domain.

Western Medicine as seen today has a strong scientific basis in its development. The pathogenesis of most diseases and their symptomatology and physical signs are well studied and understood. The management of patients is based on firm understanding of these disease processes. In contrast, Traditional Chinese Medicine came about through the experience of many generations of practitioners over thousands of years. Undoubtedly, many of these treatments have proved to be effective in their own way, however, firm scientific basis is still lacking.

While most Western Medicine advocates control of disease by eradication of pathogens and surgical removal of diseased organs as in the case of cancer, Traditional Chinese Medicine seeks to improve resistance against disease. There is probably a great wealth of therapeutic value in Traditional Chinese Medicine, which has not been discovered or explored fully. By combining the knowledge of both Western and Traditional Chinese Medicine, one might be able to improve the results of efficacy of treatments and the survival of patients. The integration of Medicine from East and West will take time to evolve and will need interested physicians from different parts of the world to work closely together to realize such a possibility.

This book is an attempt to bridge the medical world of two great and ancient civilizations in their approach to the treatment of disease. It is informative with a detailed account of the history of medical development. It is highly recommended for those medical practitioners from both East and West who are interested to explore alternative medicine and research new areas of the medical frontier.

The incentive for putting together Volume 4 of this series was to review the wealth of new information that has become available in prokaryotic organisms in protein export and membrane biogenesis. Just in the last several years, protein translocation has now been efficiently reconstituted using defined components and the mechanism by which proteins are moved across membrane bilayers is now being examined at a higher resolution. In addition, because of a new technical breakthrough using osmolytes, it is now possible to reconstitute a number of channel proteins, ATPase, receptors, and transporters. In many cases, it is possible to successfully predict the membrane topology of these types of proteins using both "hydrophobicity analysis" and the "positive inside" rule.
In this volume, two chapters focus on protein translocation across membranes ("Biochemical Analyses of Components Comprising the Protein Translocation Machinery of E. Coli; Protein Translocation Genetics"), while several others on how proteins assemble into the ineer membrane of E. Coli ("Membrane Protein Assembly; Membrane Insertion of Small Proteins: Evolutionary and Functional Aspects; Pigment-Protein Complex Assembly in Rhodobacter sphaeroides and Rhodobacter Capsulatus"). Other sections review recent progress on transporters ("Identification and Reconstitution of Anion Exchange Mechanisms in Bacteria; Helic Packing in the C-Terminal Half of Lactose Permease") and signal transduction ("Mechanism of Transmembrane Signaling in Osmoregulation") as well as the assembly of prints into the outer membrane ("Export and Assembly of Outer Membrane Proteins in E. coli"). Although the emphasis of the book is on proteins, the role of phospholipids in controlling various cell surface processes is reviewed ("Role of Phospholipids in coli Cell Function"). I should point out the reason for the rapid progress in bacteria research is because of the possibility to apply biochemistry and genetics in this organism.