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.
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.
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.
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.
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.
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
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.
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.
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.