Springer sep 1994 (309 risultati)

Taschenbuch. Condizione: Neu. Neuware -This is a free translation of a set of notes published originally in Portuguese in 1971. They were translated for a course in the College of Differential Geome try, ICTP, Trieste, 1989. In the English translation we omitted a chapter on the Frobenius theorem and an appendix on the nonexistence of a complete hyperbolic plane in euclidean 3-space (Hilbert's theorem). For the present edition, we introduced a chapter on line integrals. In Chapter 1 we introduce the differential forms in Rn. We only assume an elementary knowledge of calculus, and the chapter can be used as a basis for a course on differential forms for 'users' of Mathematics. In Chapter 2 we start integrating differential forms of degree one along curves in Rn. This already allows some applications of the ideas of Chapter 1. This material is not used in the rest of the book. In Chapter 3 we present the basic notions of differentiable manifolds. It is useful (but not essential) that the reader be familiar with the notion ofa regular surface in R3. In Chapter 4 we introduce the notion of manifold with boundary and prove Stokes theorem and Poincare's lemma. Starting from this basic material, we could follow any of the possi ble routes for applications: Topology, Differential Geometry, Mechanics, Lie Groups, etc. We have chosen Differential Geometry. For simplicity, we re stricted ourselves to surfaces. 136 pp. Englisch.…

Taschenbuch. Condizione: Neu. Neuware -This is a free translation of a set of notes published originally in Portuguese in 1971. They were translated for a course in the College of Differential Geome try, ICTP, Trieste, 1989. In the English translation we omitted a chapter on the Frobenius theorem and an appendix on the nonexistence of a complete hyperbolic plane in euclidean 3-space (Hilbert's theorem). For the present edition, we introduced a chapter on line integrals. In Chapter 1 we introduce the differential forms in Rn. We only assume an elementary knowledge of calculus, and the chapter can be used as a basis for a course on differential forms for 'users' of Mathematics. In Chapter 2 we start integrating differential forms of degree one along curves in Rn. This already allows some applications of the ideas of Chapter 1. This material is not used in the rest of the book. In Chapter 3 we present the basic notions of differentiable manifolds. It is useful (but not essential) that the reader be familiar with the notion ofa regular surface in R3. In Chapter 4 we introduce the notion of manifold with boundary and prove Stokes theorem and Poincare's lemma. Starting from this basic material, we could follow any of the possi ble routes for applications: Topology, Differential Geometry, Mechanics, Lie Groups, etc. We have chosen Differential Geometry. For simplicity, we re stricted ourselves to surfaces. 136 pp. Englisch.…

Taschenbuch. Condizione: Neu. Neuware -This book by M. do Carmo, winner of the 1992 Mathematics Price of the Third World Academy of Sciences, gives an introduction to the theory of differentiable forms. Since it only assumes elementary calculus and elementary linear algebra, it is suitable for second year undergraduate and graduate students in mathematics and physics.…

Taschenbuch. Condizione: Neu. Neuware -Anatomie kompakt ist das ideale Paukbuch für Studenten, die von der Fülle des Lehrstoffs in der Anatomie erschlagen werden. Neben Atlas und Lehrbuch leistet es unschätzbare Dienste, da es hilft, Wissen so zu strukturieren, daß es in der Prüfung leicht reproduziert werden kann. Sie sollten diesen Titel jedem Kunden empfehlen, der bei Ihnen einen Anatomieatlas kauft!Für Medizinstudenten.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Kazhdan and Lusztig classified the simple modules of an affine Hecke algebra Hq (q E C\*) provided that q is not a root of 1 (Invent. Math. 1987). Ginzburg had some very interesting work on affine Hecke algebras. Combining these results simple Hq-modules can be classified provided that the order of q is not too small. These Lecture Notes of N. Xi show that the classification of simple Hq-modules is essentially different from general cases when q is a root of 1 of certain orders. In addition the based rings of affine Weyl groups are shown to be of interest in understanding irreducible representations of affine Hecke algebras. Basic knowledge of abstract algebra is enough to read one third of the book. Some knowledge of K-theory, algebraic group, and Kazhdan-Lusztig cell of Cexeter group is useful for the rest 152 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Session was intended to give a broad survey of the mathematical problems arising in the chaotic transition of deterministic dynamical systems, both in classical and quantum mechanics.The lectures of Mather and Forni thoroughly cover the area- preserving twist maps, and include an up-to-date version of the Aubry-Mather theory.The lectures of Bellissard describe the quantum aspects: classical limit, localization, spectral properties of the relevant Schrödinger operators and thus represent an exhaus- tive introduction to the mathematics of 'quantum chaos'. The lectures of Degli Esposti et al. reviews equidistribu- tion of unstable periodic orbits and classical limit of quantized toral symplectomorphisms. 204 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -More than ten years ago, I wanted to carry out coordinate transformations for Hamiltonian systems, in order to discuss the stability of certain equilibrium posi tions. Basically, the calculations only involved rational expressions, but they turned out to be extremely complicated, because the third and fourth order terms had to be included. After several months of filling whole blocks of paper with for mulas, I was close to resignation. But, by a lucky incident, I met a colleague who showed me the computer algebra package Reduce. It still required a lot of patience and tricks, but Reduce finally did produce the desired results. After this experience, I wondered, why only a few engineers and scientists were aware of the strengths of such computer algebra programs. The mathematical treatment of scientific problems often leads to calculations which can only be solved 'by hand' with a considerable investment of time, while a suitable com puter algebra program produces the solution within a couple of seconds or min utes. Even if a closed symbolic solution is not possible, such programs can often simplify a problem, before the cruder tool of numerical simulations is applied. 430 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is a substantially revised and updated introduction to arithmetic topics, both ancient and modern, that have been at the centre of interest in applications of number theory, particularly in cryptography. As such, no background in algebra or number theory is assumed, and the book begins with a discussion of the basic number theory that is needed. The approach taken is algorithmic, emphasising estimates of the efficiency of the techniques that arise from the theory, and one special feature is the inclusion of recent applications of the theory of elliptic curves. Extensive exercises and careful answers are an integral part all of the chapters. 248 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book considers the principal sources of agreement and disagreement among policymakers and analysts concerning the current economic problems of Sub-Saharan Africa. A distinguished collection of international and African authors, including economists from the IMF and the World Bank, as well as their critics, addresses the key policy issues in agriculture, trade, macroeconomic management, social issues, privatization, external capital flow, and political economy. An introductory interpretive essay searches for areas of consensus and identifies those of continuing controversy. 417 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic. 488 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrücken in September 1994.Besides the invited paper 'AI approaches towards sensor-based support in road vehicles' by H.-H. Nagel, the book contains 33 full research papers and 12 poster presentations selected from a total of 98 contributions, half of them originating from outside Germany. The papers cover all relevant aspects of AI with a certain focus on knowledge representation and logical foundations of AI; further topics covered are neural network applications, logic programming, natural language, machine learning, and reasoning. 420 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS '94), held in Palermo, Italy in September 1994 in conjunction with the AICA 1994 Italian Computer Conference.The 25 full papers included cover not only technical areas of object-orientation, such as databases, programming languages, and methodological aspects, but also application areas. The book is organized in chapters on object-oriented databases, object-oriented analysis, behavior modeling, object-oriented programming languages, object-oriented information systems, and object-oriented systems development. 404 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Traditionally, the European-based biannual international conference 'EUROSPEECH' dealing with all aspects of speech science and technology is preceded by an 'ESPRIT Speech Projects Days', which presents a particularly well timed opportunity to measure progress in speech technology and ap plications in Europe. The last venue was held in Berlin, Germany, on September 20th, 1993. The success of this workshop encouraged the major European experts in the field to contribute to this volume. Published in the ESPRIT Research Report series, it presents the results of advanced European research on speech technologies and its applications in the multilingual framework of the European Union. Speech is an important factor in building an integrated European communication platform. Strong links exist between speech and natural language processing, and human computer interaction. Recent experimental results on multilingual conversion between both speech and text show the advantage of integrating phonetic, lexical, and syntactic knowledge, and also demonstrate the feasibility of multilingual voice systems in the human-computer interface applications. Multilingual queries use natural language-based co-operative dialogue as an interface to the computer services in the information applications. Continuous and robust speech understanding is here addressed for both speaker-independent and speaker-adaptive processing, together with dialogue modelling and manage ment. Such technologies are then used in the design of computer workstations with a speech-based human interface for a large range variety of information technology applications (e.g. in the office, telecommunications, and computer aided education). 332 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 596 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recent years have been characterized by the increasing amountofpublications in the field ofso-called ill-posed problems. This is easilyunderstandable because we observe the rapid progress of a relatively young branch ofmathematics, ofwhich the first results date back to about 30 years ago. By now, impressive results have been achieved both in the theory ofsolving ill-posed problems and in the applicationsofalgorithms using modem computers. To mention just one field, one can name the computer tomography which could not possibly have been developed without modem tools for solving ill-posed problems. When writing this book, the authors tried to define the place and role of ill posed problems in modem mathematics. In a few words, we define the theory of ill-posed problems as the theory of approximating functions with approximately given arguments in functional spaces. The difference between well-posed and ill posed problems is concerned with the fact that the latter are associated with discontinuous functions. This approach is followed by the authors throughout the whole book. We hope that the theoretical results will be of interest to researchers working in approximation theory and functional analysis. As for particular algorithms for solving ill-posed problems, the authors paid general attention to the principles ofconstructing such algorithms as the methods for approximating discontinuous functions with approximately specified arguments. In this way it proved possible to define the limits of applicability of regularization techniques. 272 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains revised versions of the 23 regular papers presented at the First International Workshop on Parallel Computer Routing and Communication (PCRCW '94), held in Seattle, Washington in May 1994. Routing for parallel computer communication has recently experienced almost explosive activity: ever increasing processor speeds are placing greater demands on interprocessor communication, while technological advances offer new capabilities to respond to those demands. The contributions from industry and academia cover all areas, from details of hardware design to proofs of theoretical results. There are also many papers dealing with the performance of various adaptive routing schemes, new network topologies, network interfaces, and fault-tolerant issues. 340 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph is a comprehensive treatment of the theoretical and computational aspects of numerical integration. The authors give a unique overview of the topic by bringing into line many recent research results not yet presented coherently; the extensive bibliography lists 268 items. Particular emphasis is given to the potential parallelism of numerical integration problems and to utilizing it by means of dynamic load distribution techniques. The book discusses the basics and provides methodologies for producing efficient and reliable software for numerical integration on advanced computer systems. The book addresses researchers, graduate students, and computational scientists. 364 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994.The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction. 484 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the Second International Colloquium on Grammatical Inference (ICGI-94), held in Alicante, Spain in September 1994. Besides 25 research papers carefully selected and refereed by the program committee, the book contains a survey by E. Vidal. The book is devoted to all those aspects of automatic learning that explicitly focus on principles, theory, and applications of grammars and languages. The papers are organized in sections on formal aspects; language modelling and linguistic applications; stochastic approaches, applications and performance analysis; and neural networks, genetic algorithms, and artificial intelligence techniques. 308 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume comprises a selection of the key papers presented at the Eighth European Knowledge Acquisition Workshop (EKAW '94), held in Hoegaarden, Belgium in September 1994.The book demonstrates that work in the mainstream of knowledge acquisition leads to useful practical results and puts the knowledge acquisition enterprise in a broader theoretical and technological context. The 21 revised full papers are carefully selected key contributions; they address knowledge modelling frameworks, the identification of generic components, methodology aspects, and architectures and applications. The volume opens with a substantial preface by the volume editors surveying the contents. 436 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the Second Annual European Symposium on Algorithms (ESA '94), held near Utrecht, The Netherlands in September 1994. ESA is the premier European conference on algorithms.The 42 papers presented were selected from a total of 159 submissions and reflect many of the current directions in algorithm research. The volume is organized into chapters on automatic graph drawing and rendering, spanners and Steiner trees, efficient data structures and complexity analysis, graph algorithms, distributed algorithms, computational geometry and its applications, operations research and combinatorial optimization, parallel computation and interconnection networks, complexity theory, and text processing 532 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the 4th International Conference on Computers for Handicapped Persons (ICCHP '94), held in Vienna, Austria in September 1994. ICCHP '94 was organized by the Austrian Computer Society and the Rehabilitation Engineering Group at the Vienna University of Technology with the support of IFIP, CEPIS, BSC, GI, SI, ACM, and IEEE.The book contains 95 refereed contributions, including 9 scientific posters and 13 short reports, and addresses all current aspects of computers for handicapped persons and human-computer interaction from the point of view of human disabilities. 652 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is based on the Workshop on Evolutionary Computing held in Leeds, U.K. in April 1994 under the sponsorship of the Society for the Study of Artificial Intelligence and Simulation of Behaviour. In addition to the 22 best papers presented at the workshop, there are two invited contributions by Ray Paton and Colin Reever.The volume addresses several aspects of evolutionary computing, particularly genetic algorithms, and its applications, for example in search, robotics, signal processing, machine learning, and scheduling. The papers are organized in sections on theoretical and biological foundations, techniques, classifier systems, and applications. 352 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is a sign of its times. Each one of the chapters - papers written by European authors of various backgrounds- illustrates a departure from the style of theorizing that has been prominent in the behavioral and social sciences for most of the century. Until very recently, models for behavioral phenomena were chi~fly based on numerical representations of the objects of concern, e. g. the subjects and the stimuli under study. This was due in large part to the influence of nineteenth century physics, which played the role of the successful older sister, the one that had to be imitated if one wished to be taken seriously in scientific circles. The mystical belief that there could be science only when the objects of concern were susceptible of measurement in the sense of physics was a credo that could not be violated without risks. Another, more honor able justification was that the numerical models were the only ones capable of feasible calculations. (In fact, these models were typically linear. ) An early example of such theorizing in psychology is factor analysis, which attempted to represent the results of mental tests in a real vector space of small dimen sionality, each subject being represented by a point in that space. A dimension Wa Pds. interpreted as a scale measuring some mental ability. The analysis was simple, and only required an electrical desk calculator (with spinning wheels), and a suitable amount of determination. 284 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly revised proceedings of the Fourth International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV '93), held in Lancaster, UK in November 1993.The 24 papers presented in the volume were carefully selected from more than 100 submissions. In addition, the book contains an introduction by the editors as well as a summary of the discussions that occurred during the workshop and a record of the panel and work-in-progress session. The book is organized into chapters on end system architecture, operating system support, high speed networking, quality of service, protocol issues, resource reservation in heterogeneous networks, and storage servers and multicast. 284 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is a classification of tumours and tumour-like lesions of the liver. It is based primarily on the microscopic characteristics of the tumours, and is therefore concerned with morphologically identi fiable cell types and histological patterns. The haematoxylin- and eosin-stained section remains the mainstay of morphological diag nosis, but special histochemical stains are often helpful and have been referred to in the explanatory notes. Readers interested in specific special stains mentioned in the text should consult Labora tory Methods in Histotechnology of the Armed Forces Institute of Pathology, Washington, D. c., USA. 1 The results of immunohisto chemical methods for identifying various tumour 'markers' have also been noted whenever indicated. The present classification incorporates all the previously classi fied tumours, but also includes several new lesions, viz. biliary papil lomatosis, the fibrolamellar variant of hepatocellular carcinoma and epithelioid haemangioendothelioma. Several subtypes of hepato blastoma are mentioned. A serous type of bile duct cystadenoma is described. The section on tumour-like lesions has been expanded to include focal fatty change and inflammatory pseudotumour. The section on adenomatous hyperplasia, including macroregenerative nodules, has been amplified. The number of photomicrographs has been increased from the original 56 to 150. Unlike the first edition, the photomicrographs in the second edition are mostly black and white. All are new and were taken of representative cases on file at the Armed Forces Institute of Pathology. 140 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The Session was intended to give a broad survey of the mathematical problems arising in the chaotic transition of deterministic dynamical systems, both in classical and quantum mechanics.The lectures of Mather and Forni thoroughly cover the area- preserving twist maps, and include an up-to-date version of the Aubry-Mather theory.The lectures of Bellissard describe the quantum aspects: classical limit, localization, spectral properties of the relevant Schrödinger operators and thus represent an exhaus- tive introduction to the mathematics of 'quantum chaos'.The lectures of Degli Esposti et al. reviews equidistribu- tion of unstable periodic orbits and classical limit of quantized toral symplectomorphisms.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 204 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Kazhdan and Lusztig classified the simple modules of an affine Hecke algebra Hq (q E C\*) provided that q is not a root of 1 (Invent. Math. 1987). Ginzburg had some very interesting work on affine Hecke algebras. Combining these results simple Hq-modules can be classified provided that the order of q is not too small. These Lecture Notes of N. Xi show that the classification of simple Hq-modules is essentially different from general cases when q is a root of 1 of certain orders. In addition the based rings of affine Weyl groups are shown to be of interest in understanding irreducible representations of affine Hecke algebras. Basic knowledge of abstract algebra is enough to read one third of the book. Some knowledge of K-theory, algebraic group, and Kazhdan-Lusztig cell of Cexeter group is useful for the restSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 152 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the Second Fuzzy Logic in AI Workshop, held in conjunction with IJCAI '93 in Chambéry, France in August 1993.The book contains full revised versions of the papers presented at the workshop and covers several aspects of fuzzy logic in contributions from renowned researchers. This volume reflects the aim of the workshop, namely to serve as a platform for fruitful contacts between fuzzy engineering researchers interested in AI and AI researchers interested in fuzzy logic applications in engineering: when it comes to designing intelligent systems they are confronted with the same problems and questions and hope for the same successful results. 144 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is a concise introductory textbook for a one-semester (40-class) course in the history and philosophy of mathematics. It is written for mathemat ics majors, philosophy students, history of science students, and (future) secondary school mathematics teachers. The only prerequisite is a solid command of precalculus mathematics. On the one hand, this book is designed to help mathematics majors ac quire a philosophical and cultural understanding of their subject by means of doing actual mathematical problems from different eras. On the other hand, it is designed to help philosophy, history, and education students come to a deeper understanding of the mathematical side of culture by means of writing short essays. The way I myself teach the material, stu dents are given a choice between mathematical assignments, and more his torical or philosophical assignments. (Some sample assignments and tests are found in an appendix to this book. ) This book differs from standard textbooks in several ways. First, it is shorter, and thus more accessible to students who have trouble coping with vast amounts of reading. Second, there are many detailed explanations of the important mathematical procedures actually used by famous mathe maticians, giving more mathematically talented students a greater oppor tunity to learn the history and philosophy by way of problem solving. 284 pp. Englisch.…