This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.
Fourteen papers presented at the conference on [title], held at the International Conference and Research Center for Computer Science, Schloss Dagstuhl, June 1991, as well as a few others submitted by colleagues unable to attend, reflect the interplay between algebra, logic, and semantics of programming languages. Among the topics are a formal specification of PARLOG, synthesis of nondeterministic asynchronous automata, observable modules and power domain constructions, the Smyth-completion of a quasi-uniform space, current trends in the semantics of data flow, and a theory of unary pairfunctions. Annotation copyright by Book News, Inc., Portland, OR
There is a well-known correspondence between the objects of algebra and geometry: a space gives rise to a function algebra; a vector bundle over the space corresponds to a projective module over this algebra; cohomology can be read off the de Rham complex; and so on. In this book Yuri Manin addresses a variety of instances in which the application of commutative algebra cannot be used to describe geometric objects, emphasizing the recent upsurge of activity in studying noncommutative rings as if they were function rings on "noncommutative spaces." Manin begins by summarizing and giving examples of some of the ideas that led to the new concepts of noncommutative geometry, such as Connes' noncommutative de Rham complex, supergeometry, and quantum groups. He then discusses supersymmetric algebraic curves that arose in connection with superstring theory; examines superhomogeneous spaces, their Schubert cells, and superanalogues of Weyl groups; and provides an introduction to quantum groups. This book is intended for mathematicians and physicists with some background in Lie groups and complex geometry. Originally published in 1991. The 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.
Surface Acoustic Waves in Inhomogeneous Media covers almost all important problems of the interaction of different types of surface acoustic waves with surface inhomogeneities. The problems of surface acoustic wave interaction with periodic topographic gratings widely used in filters and resonators are under careful consideration. The most important results of surface wave scattering by local defects such as grooves, random roughness, elastic wedges are given. Different theoretical approaches and practical rules for solving the surface wave problems are presented.
Guided-Wave-Produced Plasmas provides an up-to-date report of the physics of plasmas produced by the high-frequency electromagnetic fields of guided waves. The modelling of discharges generated by travelling surface waves is presented using a unified approach based on modern aspects of nonlinear plasma theory. Diagnostic methods needed for research and the main experimental results on plasma behaviour are covered in detail. The methods and ideas presented in this book possess great potential for a wide variety of applications in plasma technology.
This textbook presents the second edition of Manin's celebrated 1988 Montreal lectures, which influenced a new generation of researchers in algebra to take up the study of Hopf algebras and quantum groups. In this expanded write-up of those lectures, Manin systematically develops an approach to quantum groups as symmetry objects in noncommutative geometry in contrast to the more deformation-oriented approach due to Faddeev, Drinfeld, and others. This new edition contains an extra chapter by Theo Raedschelders and Michel Van den Bergh, surveying recent work that focuses on the representation theory of a number of bi- and Hopf algebras that were first introduced in Manin's lectures, and have since gained a lot of attention. Emphasis is placed on the Tannaka–Krein formalism, which further strengthens Manin's approach to symmetry and moduli-objects in noncommutative geometry.
For over five hundred years the Russians wondered what kind of people their Arctic and sub-Arctic subjects were. "They have mouths between their shoulders and eyes in their chests," reported a fifteenth-century tale. "They rove around, live of their own free will, and beat the Russian people," complained a seventeenth-century Cossack. "Their actions are exceedingly rude. They do not take off their hats and do not bow to each other," huffed an eighteenth-century scholar. They are "children of nature" and "guardians of ecological balance," rhapsodized early nineteenth-century and late twentieth-century romantics. Even the Bolsheviks, who categorized the circumpolar foragers as "authentic proletarians," were repeatedly puzzled by the "peoples from the late Neolithic period who, by virtue of their extreme backwardness, cannot keep up either economically or culturally with the furious speed of the emerging socialist society."Whether described as brutes, aliens, or endangered indigenous populations, the so-called small peoples of the north have consistently remained a point of contrast for speculations on Russian identity and a convenient testing ground for policies and images that grew out of these speculations. In Arctic Mirrors, a vividly rendered history of circumpolar peoples in the Russian empire and the Russian mind, Yuri Slezkine offers the first in-depth interpretation of this relationship. No other book in any language links the history of a colonized non-Russian people to the full sweep of Russian intellectual and cultural history. Enhancing his account with vintage prints and photographs, Slezkine reenacts the procession of Russian fur traders, missionaries, tsarist bureaucrats, radical intellectuals, professional ethnographers, and commissars who struggled to reform and conceptualize this most "alien" of their subject populations.Slezkine reconstructs from a vast range of sources the successive official policies and prevailing attitudes toward the northern peoples, interweaving the resonant narratives of Russian and indigenous contemporaries with the extravagant images of popular Russian fiction. As he examines the many ironies and ambivalences involved in successive Russian attempts to overcome northern—and hence their own—otherness, Slezkine explores the wider issues of ethnic identity, cultural change, nationalist rhetoric, and not-so European colonialism.
This book examines the development of cinematic form and culture in Russia, from its late nineteenth-century beginnings as a fairground attraction to the early post-Revolutionary years. The author traces the changing perceptions of cinema and its social transition from a modernist invention to a national art form. He explores reactions to the earliest films from actors, novelists, poets, writers and journalists. His richly detailed study of the physical elements of cinematic performance includes the architecture and illumination of the cinema foyer, the speed of projection and film acoustics. In contrast to standard film histories, this book focuses on reflected images: rather than discussing films and film-makers, it features the historical film-goer and early writings on film. The book presents a vivid and changing picture of cinema culture in Russia in the twilight of the tsarist era and the first decades of the twentieth century. The study expands the whole context of reception studies and opens up questions about reception relevant to other national cinemas.
The KGB Plays Chess is a unique book. For the first time it opens to us some of the most secret pages of the history of chess. The battles about which you will read in this book are not between chess masters sitting at the chess board, but between the powerful Soviet secret police, known as the KGB, on the one hand, and several brave individuals, on the other. Their names are famous in the chess world: Viktor Kortschnoi, Boris Spasski, Boris Gulko and Garry Kasparov became subjects of constant pressure, blackmail and persecution in the USSR. Their victories at the chess board were achieved despite this victimization. Unlike in other books, this story has two perspectives. The victim and the persecutor, the hunted and the hunter, all describe in their own words the very same events. One side is represented by the famous Russian chess players Viktor Kortschnoi and Boris Gulko. For many years they fought against a powerful system, and at the end they were triumphant. The Soviet Union collapsed and they got what they were fighting for: their freedom. Former KGB Lieutenant Colonel Vladimir Popov, who left Russia in 1996 and now lives in Canada, was one of those who had worked all his life for the KGB and was responsible for the sport sector of the USSR. It is only now for the first time that he has decided to tell the reader his story of the KGB�s involvement in Soviet Sports. This is his first book, and it is not only full of sensations, but it also dares to name names of secret KGB agents previously known only as famous chess masters, sportsmen or sport officials. Just a few short years ago a book like this would have been unimaginable. Read this book. It is not only about chess. It is about glorious victory of the great chess masters over the forces of darkness.
This masterwork of interpretative history begins with a bold declaration: “The Modern Age is the Jewish Age, and the twentieth century, in particular, is the Jewish Century.” The assertion is, of course, metaphorical. But it drives home Yuri Slezkine’s provocative thesis: Jews have adapted to the modern world so well that they have become models of what it means to be modern. While focusing on the drama of the Russian Jews, including émigrés and their offspring, The Jewish Century is also an incredibly original account of the many faces of modernity—nationalism, socialism, capitalism, and liberalism. Rich in its insight, sweeping in its chronology, and fearless in its analysis, this is a landmark contribution to Jewish, Russian, European, and American history.
This volume is the second edition of the first-ever elementary book on the Langevin equation method for the solution of problems involving the Brownian motion in a potential, with emphasis on modern applications in the natural sciences, electrical engineering and so on. It has been substantially enlarged to cover in a succinct manner a number of new topics, such as anomalous diffusion, continuous time random walks, stochastic resonance etc, which are of major current interest in view of the large number of disparate physical systems exhibiting these phenomena. The book has been written in such a way that all the material should be accessible to an advanced undergraduate or beginning graduate student. It draws together, in a coherent fashion, a variety of results which have hitherto been available only in the form of research papers or scattered review articles.
The revised edition gives a comprehensive mathematical and physical presentation of fluid flows in non-classical models of convection - relevant in nature as well as in industry. After the concise coverage of fluid dynamics and heat transfer theory it discusses recent research. This monograph provides the theoretical foundation on a topic relevant to metallurgy, ecology, meteorology, geo-and astrophysics, aerospace industry, chemistry, crystal physics, and many other fields.
This book discusses the principles, approaches, concepts and development programs for integrated aircraft avionics. The functional tasks of integrated on-board radio electronic equipment (avionics) of navigation, landing, data exchange and air traffic control are formulated that meet the modern requirements of civil and military aviation, and the principles of avionics integration are proposed. The modern approaches to the joint processing of information in navigation and landing complexes are analyzed. Algorithms of multichannel information processing in integrated avionics are considered, and examples of its implementation are presented. This book is intended for scientists and professionals in the field of aviation equipment, students and graduate students of relevant specialties.
Our original objective in writing this book was to demonstrate how the concept of the equation of motion of a Brownian particle — the Langevin equation or Newtonian-like evolution equation of the random phase space variables describing the motion — first formulated by Langevin in 1908 — so making him inter alia the founder of the subject of stochastic differential equations, may be extended to solve the nonlinear problems arising from the Brownian motion in a potential. Such problems appear under various guises in many diverse applications in physics, chemistry, biology, electrical engineering, etc. However, they have been invariably treated (following the original approach of Einstein and Smoluchowski) via the Fokker-Planck equation for the evolution of the probability density function in phase space. Thus the more simple direct dynamical approach of Langevin which we use and extend here, has been virtually ignored as far as the Brownian motion in a potential is concerned. In addition two other considerations have driven us to write this new edition of The Langevin Equation. First, more than five years have elapsed since the publication of the third edition and following many suggestions and comments of our colleagues and other interested readers, it became increasingly evident to us that the book should be revised in order to give a better presentation of the contents. In particular, several chapters appearing in the third edition have been rewritten so as to provide a more direct appeal to the particular community involved and at the same time to emphasize via a synergetic approach how seemingly unrelated physical problems all involving random noise may be described using virtually identical mathematical methods. Secondly, in that period many new and exciting developments have occurred in the application of the Langevin equation to Brownian motion. Consequently, in order to accommodate all these, a very large amount of new material has been added so as to present a comprehensive overview of the subject.
This edited collection is an introduction to the invertebrate work being performed by Russian scientists. The major emphasis is on studies of learning. In this book, the editors and contributors have brought together contemporary Russian experimental data on the behavior of various invertebrates including crustaceans, insects, and mollusks. The book should be useful for those interested in acquiring a working knowledge of the behavioral techniques, data, issues and history of Russian studies of invertebrate behavior. It will also be of interest to those studying the history of behavioral science in Russia.
The first publication of its kind in the field, this book describes comprehensively and systematically radio-frequency (rf) capacitive gas discharges of intermediate and low pressure and their application to gas laser excitation and to plasma processing. Text presents the physics underlying rf discharges along with techniques for obtaining such discharges, experimental methods and results, and theoretical and numerical modeling findings. Radio-Frequency Capacitive Discharges is written by well-known specialists in the field, authors of many theoretical and experimental works. They provide simple and clear discussions of complicated physical phenomena. A complete review on the state of the art is included. This interesting new book can be used as a textbook for students and postgraduates and as a comprehensive guidebook by specialists.
The book is devoted to the description of the fundamentals in the area of magnetic resonance. The book covers two domains: radiospectroscopy and quantum radioelectronics. Radiospectroscopy comprises nuclear magnetic resonance , electron paramagnetic resonance, nuclear quadrupolar resonance, and some other phenomena. The radiospectroscopic methods are widely used for obtaining the information on internal (nano, micro and macro) structure of objects. Quantum radioelectronics, which was developed on the basis of radiospectroscopic methods, deals with processes in quantum amplifiers, generators and magnetometers. We do not know analogues of the book presented. The book implies a few levels of the general consideration of phenomena, that can be useful for different groups of readers (students, PhD students, scientists from other scientific branches: physics, chemistry, physical chemistry, biochemistry, biology and medicine).
This volume is the third edition of the first-ever elementary book on the Langevin equation method for the solution of problems involving the translational and rotational Brownian motion of particles and spins in a potential highlighting modern applications in physics, chemistry, electrical engineering, and so on. In order to improve the presentation, to accommodate all the new developments, and to appeal to the specialized interests of the various communities involved, the book has been extensively rewritten and a very large amount of new material has been added. This has been done in order to present a comprehensive overview of the subject emphasizing via a synergetic approach that seemingly unrelated physical problems involving random noise may be described using virtually identical mathematical methods in the spirit of the founders of the subject, viz., Einstein, Langevin, Smoluchowski, Kramers, etc. The book has been written in such a way that all the material should be accessible both to an advanced researcher and a beginning graduate student. It draws together, in a coherent fashion, a variety of results which have hitherto been available only in the form of scattered research papers and review articles.
The book is suitable for a lecture course on the theory of Brownian motion, being based on final year undergraduate lectures given at Trinity College, Dublin. Topics that are discussed include: white noise; the Chapman-Kolmogorov equation — Kramers-Moyal expansion; the Langevin equation; the Fokker-Planck equation; Brownian motion of a free particle; spectral density and the Wiener-Khintchin theorem — Brownian motion in a potential application to the Josephson effect, ring laser gyro; Brownian motion in two dimensions; harmonic oscillators; itinerant oscillators; linear response theory; rotational Brownian motion; application to loss processes in dielectric and ferrofluids; superparamagnetism and nonlinear relaxation processes.As the first elementary book on the Langevin equation approach to Brownian motion, this volume attempts to fill in all the missing details which students find particularly hard to comprehend from the fundamental papers contained in the Dover reprint — Selected Papers on Noise and Stochastic Processes, ed. N Wax (1954) — together with modern applications particularly to relaxation in ferrofluids and polar dielectrics.
Chess: An Historical Perspective Chess � the �Royal Game” � is an ancient board game, perhaps fifteen hundred years old. There are many legends about how chess came to be. Most of them are folk tales and are far from reality. Arguably more books have been written about chess than all the other games combined, but relatively little has been written about the history of chess. The topic is difficult; it requires thorough knowledge, and there are still many unknown historical pitfalls. It is therefore no surprise that there exist a variety of hypotheses concerning the origin of chess. In this book, the author, legendary Russian grandmaster Yuri Averbakh, presents a well-researched and documented theory about the origins, development and spread of this immensely popular game. In addition, over three dozen splendid color plates � presented on coated stock making the images suitable for framing � supplement his historical analysis.
Physical properties and models of electronic structure are analyzed for a new class of high-TC superconductors which belong to iron-based layered compounds. Despite their variable chemical composition and differences in the crystal structure, these compounds possess similar physical characteristics, due to electron carriers in the FeAs layers and the interaction of these carriers with fluctuations of the magnetic order. A tremendous interest towards these materials is explained by the prospects of their practical use. In this monograph, a full picture of the formation of physical properties of these materials, in the context of existing theory models and electron structure studies, is given. The book is aimed at a broad circle of readers: physicists who study electronic properties of the FeAs compounds, chemists who synthesize them and specialists in the field of electronic structure calculations in solids. It is helpful not only to researchers active in the fields of superconductivity and magnetism, but also for graduate and postgraduate students and all those who would like to get acquaintained with this vivid area of the materials science.
This monograph deals with diverse applications of holographic interferome try in experimental solid mechanics. Holographic interferometry has experienced a development of twenty years. It has enjoyed success and suffered some disappointments mainly due to early overestimation of its potential. At present, development of holo graphic interferometry is progressing primarily as a technique for quantita tive measurements. This is what motivated us to write this book - to ana lyze the quantitative methods of holographic interferometry. The fringe patterns obtained in holographic interferometry are graphi cally descriptive. In the general case, however, because they contain infor mation on the total vectors of displacement for points on the surface of a stressed body, the interpretation of these interferograms is much more complicated than in typical conventional interferometry. In addition, the high sensitivity of the method imposes new requirements on the loading of the objects under study. New approaches to designing loading fixtures are needed in many cases to ensure the desired loading conditions. The wealth of information obtained in holographic interferometry necessitates the use of modern computational mathematics. Therefore, practical implementation of the various methods of holographic interferometry must overcome sub stantial difficulties requiring adequate knowledge in diverse areas of science such as coherent optics, laser technology, mechanics, and applied mathe matics. Experimental methods play a significant role in solid mechanics.
This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions, written by his colleagues. The collection of articles herein begins with an academic biography, an annotated list of Yuri's publications and reports, and a personal tribute by Jan Van den Bussche. These are followed by 28 technical contributions. These articles - though they cover a broad range of topics - represent only a fraction of Yuri Gurevich’s multiple areas of interest.
Readers will find here a book that constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, held in Zurich, Switzerland in February 2007. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality.
Brain Inspired Cognitive Systems 2008 (June 24-27, 2008; São Luís, Brazil) brought together leading scientists and engineers who use analytic, syntactic and computational methods both to understand the prodigious processing properties of biological systems and, specifically, of the brain, and to exploit such knowledge to advance computational methods towards ever higher levels of cognitive competence. This book includes the papers presented at four major symposia: Part I - Cognitive Neuroscience Part II - Biologically Inspired Systems Part III - Neural Computation Part IV - Models of Consciousness.
This volume presents the proceedings of the Fourth International Workshop on Analogical and Inductive Inference (AII '94) and the Fifth International Workshop on Algorithmic Learning Theory (ALT '94), held jointly at Reinhardsbrunn Castle, Germany in October 1994. (In future the AII and ALT workshops will be amalgamated and held under the single title of Algorithmic Learning Theory.) The book contains revised versions of 45 papers on all current aspects of computational learning theory; in particular, algorithmic learning, machine learning, analogical inference, inductive logic, case-based reasoning, and formal language learning are addressed.
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.