springer berlin heidelberg jul 1986 (68 résultats)

Taschenbuch. Etat : Neu. Neuware -Categorical structures and incidence algebras.- Partitions, functors and exponential formulas.- Sheaflike categorical structures and incidence bialgebras.- Applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Buch. Etat : Neu. Neuware 308 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book is the sixth issue in the EurographicSeminars Series. This series has been set up by Eurographics, the European Association for Computer Graphics, in order to disseminate surveys and research results out of the field of Computer Graphics. Computer Graphics constitute a powerful and versatile tool for various application areas. The rapidly increasing use of Computer Graphics techniques and systems in many areas is caused by the availability of more powerful hardware at lower prices,' by the concise specification of Computer Graphics Interfaces in commonly .agreed standards, and by the inven tion of new and often astonishing methods and algorithms for com position andpreserit~ti6n of pictJres and for graphical interaction. While s,o~e issues of this se.ries contain latest research results, e.g. the issues in window management systems or user interface manage ment systems, this book has the character of a state-of-the-art survey on important areas .of Computer Graphics. Starting from current practice and agreed consens, it will lead to the latest achievements in this field. The contributions in this issue are largely based on tutorials and seminars held at the Eurographics conferences 1984 in Copen hagen and 1985 in Nice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Edited for Working Group 2 (WG 2): Cisigraph, Cranfield Institute of Technology, Danmarks Tekniske Hojskole, Kernforschungszentrum Karlsruhe GmbH, NEH Consulting Engineers ApS, Universität KarlsruheSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Buch. Etat : Neu. Neuware -Aus Tradition in die Zukunft 240 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die vorliegende Arbeit entstand wahrend meiner Tatigkeit als akademischer Rat a.Z. am Lehrstuhl fUr Werkzeugmaschinen und Betriebswissenschaften der Technischen Universitat Miinchen. Herrn Professor Dr. -Ing. Karl G. MUller, dem ehemaligen Leiter des Instituts, danke ich fUr die Anregung des Themas und seine UnterstUzung bei der Durch fiihrung der Arbeit. Danken mOchte ich Herrn Professor Dr. -Ing. Joachim Milberg fUr die konti nuierliche und wohlwollende FOrderung meiner Forschungsaktivitaten und fUr seine wertvollen Hinweise, die wesentlich zum Gelingen der Arbeit beigetra gen haben. Ebenso gilt mein Dank Herrn Professor Dr. -Ing. G. Duelen fUr die Ubernahme des Korreferats und das Interesse, das er dieser Arbeit entgegengebracht hat. Bei allen Mitarbeiterinnen und Mitarbeitern des Lehrstuhls, die mich bei meiner Arbeit in vielfaltiger Weise unterstUtzt haben, bedanke ich mich recht herzlich. Des weiteren gilt mein Dank Herrn Prof. Dr. -Ing. R. D. MUller fUr die Durch sicht der Arbeit und seine wertvollen Anregungen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Der Erfolg, den meine 'Rechenmethoden der Quantentheorie' seit nunmehr fast vierzig J ahren haben, hat mir schon lange den Gedanken nahegelegt, in tthnlicher Weise auch eine Darstellung von Gebieten der klassischen Physik zu versuchen. Ein Stamm von 50 Obungsaufgaben, die ich htiufig gestellt und deren LOsung ich zu meinem eigenen Gebrauch und dem meiner Assistenten ausgearbeitet hatte, konnten als Ausgangspunkt eines solchen Unternehmens dienen. Das Ergebnis lege ich nun vor in der Hoffnung, Kollegen wie Studenten damit eine nutzliche Hilfe an die Hand zu geben. Der eigentliche Sinn einer solchen Sammlung ist die Ergttnzung der Lehrbu cher, in denen meist fUr die praktische mathematische DurchfUhrung konkreter Einzelfragen wenig Raum bleibt. Naturlich httngt das bis zu einem gewissen Gra de yom persOnlichen Geschmack des Verfassers abo Richard Becker etwa gab stets physikalischem Verstttndnis mit einem Minimum an mathematischem Auf wand den Vorzug, Arnold Sommerfeld hingegen hat nie seine besondere Freude an gescheiten mathematischen Verfahren verleugnet. Wtthrend ich in meinem 1962 erschienenen Lehrbuch urn einen mittleren Weg bemuht war, steht der hier vorgelegte Band ganz im Zeichen der Anwendung mathematischer Hilfsmittel, eben der Rechenmethoden. Demzufolge sind z. B. die statischen Felder ellipsoid fOrmiger KOrper mit Hilfe der dabei auftretenden Legendreschen Funktionen zweiter Art oder die zylindrischen Wellenleiter und Drahtwellen mit den fUr sie charakteristischen Zylinderfunktionen ausfuhrlicher als ublich und als in einem Lehrbuch sinnvoll behandelt. Auf der anderen Seite muBte manches weggelassen oder nur knapp angedeutet werden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Categorical structures and incidence algebras.- Partitions, functors and exponential formulas.- Sheaflike categorical structures and incidence bialgebras.- Applications. 148 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 308 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book deals with the geometrical structure of finite dimensional normed spaces, as the dimension grows to infinity. This is a part of what came to be known as the Local Theory of Banach Spaces (this name was derived from the fact that in its first stages, this theory dealt mainly with relating the structure of infinite dimensional Banach spaces to the structure of their lattice of finite dimensional subspaces). Our purpose in this book is to introduce the reader to some of the results, problems, and mainly methods developed in the Local Theory, in the last few years. This by no means is a complete survey of this wide area. Some of the main topics we do not discuss here are mentioned in the Notes and Remarks section. Several books appeared recently or are going to appear shortly, which cover much of the material not covered in this book. Among these are Pisier's [Pis6] where factorization theorems related to Grothendieck's theorem are extensively discussed, and Tomczak-Jaegermann's [T-Jl] where operator ideals and distances between finite dimensional normed spaces are studied in detail. Another related book is Pietch's [Pie]. 172 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Structure of manifolds of nonpositive sectional curvature.- Combinatorial problems in spectral geometry.- A vanishing theorem for piecewise constant curvature spaces.- L-subgroups in spaces of nonpositive curvature.- On a compactification of the set of Riemannian manifolds with bounded curvatures and diameters.- Large Riemannian manifolds.- Analytic inequalities, and rough isometries between non-compact Riemannian manifolds.- Gap theorems for certain submanifolds of euclidean space and hyperbolic space form II.- A pinching problem for locally homogeneous spaces.- Remarks on the injectivity radius estimate for almost 1/4-pinched manifolds.- Non-homogeneous K¿er-Einstein metrics on compact complex manifolds.- Curvature deformations.- The first eigenvalue of the laplacian of an isoparametric minimal hypersurface in a unit sphere.- On deformation of Riemannian metrics and manifolds with positive curvature operator.- Quasiconformal mappings and manifolds of negative curvature.- Helical immersions.- On topological Blaschke conjecture III.- Critical points of Busemann functions on complete open surfaces.- L-functions in geometry and some applications.- Stability of harmonic maps and eigenvalues of laplacian.- Uniformly locally convex filtrations on complete riemannian manifolds.- Einstein metrics with positive scalar curvature. 344 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Left-associative grammar.- Left-associative parsing.- The category system of left-associative grammar.- The local nature of possible continuations.- A left-associative fragment of English. 548 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On the arithmetics of Galoisfields and the like.- On strongly tactical codes.- Integer programming applied to eigenvector computation in a class of Markov processes.- A minimum system of generators for extended cyclic codes which are invariant under the affine group.- Some algebraic tools for error-correcting codes.- On computing the performance probabilities of Reed-Solomon codes.- Numerical experiments related to the covering radius of some first order Reed-Muller codes.- Several aspects of problems encountered in coding applications.- Software simulation of data transmission using error-correcting codes, through an awgn channel.- Algebraic methods for constructing asymmetric cryptosystems.- Covering radii of even subcodes of t-dense codes.- Orthogonal transform encoding of cyclic codes.- On s-sum-sets and projective codes.- Pseudo-triple-sum-sets and association schemes.- A decoding algorithm for linear codes.- The finite Fourier-transform and theta functions.- Recent results on coding and algebraic geometry.- Some properties of elliptic codes over a field of characteristic 2.- Self-dual codes 2n circulant over Fq (q=2r).- Automorphisms and isometries of some modular algebras.- A lower bound for the bilinear complexity of some semisimple lie algebras.- On computational complexity of some algebraic curves over finite fields.- Some group presentations and enforcing the associative law.- Fast computation of linear finite-dimensional operators over arbitrary rings.- Quantifier elimination for real closed fields.- Efficient decision algorithms for locally finite theories.- The algorithmic structure of $$mathfrak{s}mathfrak{l}(2,k)$$ .- Optimal algorithms for finite dimensional simply generated algebras.- On a little but useful algorithm.- Computation of independent units in number fields by Dirichlet's method.- Some upper bounds for the multiplicity of an autoreduced subset of N m and their applications.- Exact computation of the characteristic polynomial of an integer matrix.- An analysis of the Kr¿necker algorithm for factorization of algebraic polynomials.- Polynomial factorization over [X].- The L-machine: An attempt at parallel hardware for symbolic computation.- An interactive graphical interface for symbolic algebra systems.- Groebner bases for non-commutative polynomial rings.- Extending the binary GCD algorithm.- Integration of rational functions in SAC-2.- Heuristic bivariate lifting.- Optimal evaluation of algebraic expressions.- On deleting links in semantic graphs.- Erratum. 432 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On associative algebras of minimal rank.- Construction of primitive idempotents for a variable codes.- Multivariate polynomials in coding theory.- Enumeration of self dual 2k circulant codes.- Codes, groups and invariants.- On a conjecture concerning coverings of Hamming space.- An improved upper bound on covering radius.- Association schemes and difference sets defined on two weight codes.- Automorphisms of two families of extended non binary cyclic Goppa Codes.- Some quasi-perfect cyclic codes.- Explicit Kerdock codes over GF(2).- Une classe de codes 2-correcteurs adaptes aux systems d'information formates.- LOUSTICC simulation software : Experimental results of coding systems.- An algorithm of complete decoding of double-error-correcting goppa codes.- On the number of divisors of a polynomial over GF(2).- Multivariate polynomial factoring and detection of true factors.- Discriminants and the irreducibility of a class of polynomials.- Computational aspects of reduction strategies to construct resolutions of monomial ideals.- Designs arising from symplectic geometry.- Distance ¿ transitive graphs and the problem of maximal subgroups of symmetric groups.- Can a fast signature scheme without secret key be secure / Un Schema de Signature Courte et Rapide N'Utilisant pas de CLE Secrete Peut-IL Etre Fiable .- Manipulation of recurrence relations in computer algebra.- Some design principles for a mathematical knowledge representation system: A new approach to scientific calculation. 276 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Oral birth in the Australian gastric brooding frog Rheobatrachus sUus 2 Preface I have deliberately chosen the title picture to the preface, which shows the oral birth of a young gastric brooding frog (Rheobatrachus situs), to draw the reader's attention to the preface since I wish to explain why the book was written and illustrated in the way it now appears. The book has grown out of the material of a lecture course taking 3 to 4 hours per week each semester that I have given for several years at the Ruhr-University Bochum as the theoretical basis for an intensive 4 week practical course on vertebrate reproduction for students of biology. For various reasons I am a hardened opponent of giving lecture notes to the students. On the other hand I found that my students made great efforts to work through and supplement their own lecture notes by studying the literature. However, there are no suitable textbooks on vertebrate reproduction written in German and the standard work in this field is now several decades old and deals mainly with mammals. The students were therefore often frustrated in their efforts given the limited time they had available. I have therefore decided to present here the most important structural and functional aspects of vertebrate reproduction and include other material to extend the framework of my original lectures. 416 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is the sixth issue in the EurographicSeminars Series. This series has been set up by Eurographics, the European Association for Computer Graphics, in order to disseminate surveys and research results out of the field of Computer Graphics. Computer Graphics constitute a powerful and versatile tool for various application areas. The rapidly increasing use of Computer Graphics techniques and systems in many areas is caused by the availability of more powerful hardware at lower prices,' by the concise specification of Computer Graphics Interfaces in commonly .agreed standards, and by the inven tion of new and often astonishing methods and algorithms for com position andpreserit~ti6n of pictJres and for graphical interaction. While s,o~e issues of this se.ries contain latest research results, e.g. the issues in window management systems or user interface manage ment systems, this book has the character of a state-of-the-art survey on important areas .of Computer Graphics. Starting from current practice and agreed consens, it will lead to the latest achievements in this field. The contributions in this issue are largely based on tutorials and seminars held at the Eurographics conferences 1984 in Copen hagen and 1985 in Nice. 528 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Connections and higher-order logic.- Commutation, transformation, and termination.- Full-commutation and fair-termination in equational (and combined) term-rewriting systems.- An actual implementation of a procedure that mechanically proves termination of rewriting systems based on inequalities between polynomial interpretations.- Proving termination of associative commutative rewriting systems by rewriting.- Relating resolution and algebraic completion for Horn logic.- A simple non-termination test for the Knuth-Bendix method.- A new formula for the execution of categorical combinators.- Proof by induction using test sets.- How to prove equivalence of term rewriting systems without induction.- Sufficient completeness, term rewriting systems and ¿anti-unification¿.- A new method for establishing refutational completeness in theorem proving.- A theory of diagnosis from first principles.- Some contributions to the logical analysis of circumscription.- Modal theorem proving.- Computational aspects of three-valued logic.- Resolution and quantified epistemic logics.- A commonsense theory of nonmonotonic reasoning.- Negative paramodulation.- The heuristics and experimental results of a new hyperparamodulation: HL-resolution.- ECR: An equality conditional resolution proof procedure.- Using narrowing to do isolation in symbolic equation solving ¿ an experiment in automated reasoning.- Formulation of induction formulas in verification of prolog programs.- Program verifier 'Tatzelwurm': Reasoning about systems systems of linear inequalities.- An interactive verification system based on dynamic logic.- What you always wanted to know about clause graph resolution.- Parallel theorem proving with connection graphs.- Theory links in semantic graphs.- Abstraction using generalization functions.- An improvement of deduction plans: Refutation plans.- Controlling deduction with proof condensation and heuristics.- Nested resolution.- Mechanizing constructive proofs.- Implementing number theory: An experiment with Nuprl.- Parallel algorithms for term matching.- Unification in combinations of collapse-free theories with disjoint sets of function symbols.- Combination of unification algorithms.- Unification in the data structure sets.- NP-completeness of the set unification and matching problems.- Matching with distributivity.- Unification in boolean rings.- Some relationships between unification, restricted unification, and matching.- A classification of many-sorted unification problems.- Unification in many-sorted equational theories.- Classes of first order formulas under various satisfiability definitions.- Diamond formulas in the dynamic logic of recursively enumerable programs.- A prolog machine.- A prolog technology theorem prover: Implementation by an extended prolog compiler.- Paths to high-performance automated theorem proving.- Purely functional implementation of a logic.- Causes for events: Their computation and applications.- How to clear a block: Plan formation in situational logic.- Deductive synthesis of sorting programs.- The TPS theorem proving system.- Trspec: A term rewriting based system for algebraic specifications.- Highly parallel inference machine.- Automatic theorem proving in the ISDV system.- The karlsruhe induction theorem proving system.- Overview of a theorem-prover for a computational logic.- GEO-prover ¿ A geometry theorem prover developed at UT.- The markgraf karl refutation procedure (MKRP).- The J-machine: Functional programming with combinators.- The illinois prover: A general purpose resolution theorem prover.- Theorem proving systems of the Formel project.- The passau RAP system: Prototyping algebraic specifications using conditional narrowing.- RRL: A rewrite rule laboratory.- A geometry theorem prover based on Buchberger's algorithm.- REVE a rewrite rule laboratory.- ITP at argonne national laboratory.- Autologic at university of victoria.- Thinker.- The KLAUS automated deduction system.- The KRIPKE automated theorem proving system.- SHD-prover at university of texas at austin. 724 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book deals with the geometrical structure of finite dimensional normed spaces, as the dimension grows to infinity. This is a part of what came to be known as the Local Theory of Banach Spaces (this name was derived from the fact that in its first stages, this theory dealt mainly with relating the structure of infinite dimensional Banach spaces to the structure of their lattice of finite dimensional subspaces). Our purpose in this book is to introduce the reader to some of the results, problems, and mainly methods developed in the Local Theory, in the last few years. This by no means is a complete survey of this wide area. Some of the main topics we do not discuss here are mentioned in the Notes and Remarks section. Several books appeared recently or are going to appear shortly, which cover much of the material not covered in this book. Among these are Pisier's [Pis6] where factorization theorems related to Grothendieck's theorem are extensively discussed, and Tomczak-Jaegermann's [T-Jl] where operator ideals and distances between finite dimensional normed spaces are studied in detail. Another related book is Pietch's [Pie].Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Structure of manifolds of nonpositive sectional curvature.- Combinatorial problems in spectral geometry.- A vanishing theorem for piecewise constant curvature spaces.- L-subgroups in spaces of nonpositive curvature.- On a compactification of the set of Riemannian manifolds with bounded curvatures and diameters.- Large Riemannian manifolds.- Analytic inequalities, and rough isometries between non-compact Riemannian manifolds.- Gap theorems for certain submanifolds of euclidean space and hyperbolic space form II.- A pinching problem for locally homogeneous spaces.- Remarks on the injectivity radius estimate for almost 1/4-pinched manifolds.- Non-homogeneous K¿er-Einstein metrics on compact complex manifolds.- Curvature deformations.- The first eigenvalue of the laplacian of an isoparametric minimal hypersurface in a unit sphere.- On deformation of Riemannian metrics and manifolds with positive curvature operator.- Quasiconformal mappings and manifolds of negative curvature.- Helical immersions.- On topological Blaschke conjecture III.- Critical points of Busemann functions on complete open surfaces.- L-functions in geometry and some applications.- Stability of harmonic maps and eigenvalues of laplacian.- Uniformly locally convex filtrations on complete riemannian manifolds.- Einstein metrics with positive scalar curvature. 344 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 272 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Connections and higher-order logic.- Commutation, transformation, and termination.- Full-commutation and fair-termination in equational (and combined) term-rewriting systems.- An actual implementation of a procedure that mechanically proves termination of rewriting systems based on inequalities between polynomial interpretations.- Proving termination of associative commutative rewriting systems by rewriting.- Relating resolution and algebraic completion for Horn logic.- A simple non-termination test for the Knuth-Bendix method.- A new formula for the execution of categorical combinators.- Proof by induction using test sets.- How to prove equivalence of term rewriting systems without induction.- Sufficient completeness, term rewriting systems and ¿anti-unification¿.- A new method for establishing refutational completeness in theorem proving.- A theory of diagnosis from first principles.- Some contributions to the logical analysis of circumscription.- Modal theorem proving.- Computational aspects of three-valued logic.- Resolution and quantified epistemic logics.- A commonsense theory of nonmonotonic reasoning.- Negative paramodulation.- The heuristics and experimental results of a new hyperparamodulation: HL-resolution.- ECR: An equality conditional resolution proof procedure.- Using narrowing to do isolation in symbolic equation solving ¿ an experiment in automated reasoning.- Formulation of induction formulas in verification of prolog programs.- Program verifier 'Tatzelwurm': Reasoning about systems systems of linear inequalities.- An interactive verification system based on dynamic logic.- What you always wanted to know about clause graph resolution.- Parallel theorem proving with connection graphs.- Theory links in semantic graphs.- Abstraction using generalization functions.- An improvement of deduction plans: Refutation plans.- Controlling deduction with proof condensation and heuristics.- Nested resolution.- Mechanizing constructive proofs.- Implementing number theory: An experiment with Nuprl.- Parallel algorithms for term matching.- Unification in combinations of collapse-free theories with disjoint sets of function symbols.- Combination of unification algorithms.- Unification in the data structure sets.- NP-completeness of the set unification and matching problems.- Matching with distributivity.- Unification in boolean rings.- Some relationships between unification, restricted unification, and matching.- A classification of many-sorted unification problems.- Unification in many-sorted equational theories.- Classes of first order formulas under various satisfiability definitions.- Diamond formulas in the dynamic logic of recursively enumerable programs.- A prolog machine.- A prolog technology theorem prover: Implementation by an extended prolog compiler.- Paths to high-performance automated theorem proving.- Purely functional implementation of a logic.- Causes for events: Their computation and applications.- How to clear a block: Plan formation in situational logic.- Deductive synthesis of sorting programs.- The TPS theorem proving system.- Trspec: A term rewriting based system for algebraic specifications.- Highly parallel inference machine.- Automatic theorem proving in the ISDV system.- The karlsruhe induction theorem proving system.- Overview of a theorem-prover for a computational logic.- GEO-prover ¿ A geometry theorem prover developed at UT.- The markgraf karl refutation procedure (MKRP).- The J-machine: Functional programming with combinators.- The illinois prover: A general purpose resolution theorem prover.- Theorem proving systems of the Formel project.- The passau RAP system: Prototyping algebraic specifications using conditional narrowing.- RRL: A rewrite rule laboratory.- A geometry theorem prover based on Buchberger's algorithm.- REVE a rewrite rule laboratory.- ITP at argonne national laboratory.- Autologic at university of victoria.- Thinker.- The KLAUS automated deduction system.- The KRIPKE automated theorem proving system.- SHD-prover at university of texas at austin.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 724 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Left-associative grammar.- Left-associative parsing.- The category system of left-associative grammar.- The local nature of possible continuations.- A left-associative fragment of English.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Oral birth in the Australian gastric brooding frog Rheobatrachus sUus 2 Preface I have deliberately chosen the title picture to the preface, which shows the oral birth of a young gastric brooding frog (Rheobatrachus situs), to draw the reader's attention to the preface since I wish to explain why the book was written and illustrated in the way it now appears. The book has grown out of the material of a lecture course taking 3 to 4 hours per week each semester that I have given for several years at the Ruhr-University Bochum as the theoretical basis for an intensive 4 week practical course on vertebrate reproduction for students of biology. For various reasons I am a hardened opponent of giving lecture notes to the students. On the other hand I found that my students made great efforts to work through and supplement their own lecture notes by studying the literature. However, there are no suitable textbooks on vertebrate reproduction written in German and the standard work in this field is now several decades old and deals mainly with mammals. The students were therefore often frustrated in their efforts given the limited time they had available. I have therefore decided to present here the most important structural and functional aspects of vertebrate reproduction and include other material to extend the framework of my original lectures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -On associative algebras of minimal rank.- Construction of primitive idempotents for a variable codes.- Multivariate polynomials in coding theory.- Enumeration of self dual 2k circulant codes.- Codes, groups and invariants.- On a conjecture concerning coverings of Hamming space.- An improved upper bound on covering radius.- Association schemes and difference sets defined on two weight codes.- Automorphisms of two families of extended non binary cyclic Goppa Codes.- Some quasi-perfect cyclic codes.- Explicit Kerdock codes over GF(2).- Une classe de codes 2-correcteurs adaptes aux systems d'information formates.- LOUSTICC simulation software : Experimental results of coding systems.- An algorithm of complete decoding of double-error-correcting goppa codes.- On the number of divisors of a polynomial over GF(2).- Multivariate polynomial factoring and detection of true factors.- Discriminants and the irreducibility of a class of polynomials.- Computational aspects of reduction strategies to construct resolutions of monomial ideals.- Designs arising from symplectic geometry.- Distance ¿ transitive graphs and the problem of maximal subgroups of symmetric groups.- Can a fast signature scheme without secret key be secure / Un Schema de Signature Courte et Rapide N'Utilisant pas de CLE Secrete Peut-IL Etre Fiable .- Manipulation of recurrence relations in computer algebra.- Some design principles for a mathematical knowledge representation system: A new approach to scientific calculation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The last decade has seen a rapid expansion in the range and sophistication of diagnostic imaging modalities which are available to clinicians. Our objective has been to produce a manual on paediatric radiology which will prove of value to those clinicians and radiologists in training who are preparing for the Fellowship, Membership and Diploma examinations of various colleges. This teaching manual presents radiographs and examples of other imaging modalities from 100 paediatric patients. The material was taken from a radiological teaching collection obtained from patients at The Hospital for Sick Children, Great Ormond Street, over a lO-year period by one of the authors (C.M.H.). With each case a short clinical history is given and a series of questions posed, similar to those encountered in various postgraduate medical examinations. Sample answers with com ments and more illustrations are presented on the following page. It has been impossible to achieve comprehensive coverage of the subject in a book of this size, but we have tried to select examples of those cases which illustrate the range of imaging modalities currently available and which may be encountered both in clinical practice and in examinations. We acknowledge with gratitude the kind assistance of Miss Sugarhood in the preparation of the manuscript.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -On the arithmetics of Galoisfields and the like.- On strongly tactical codes.- Integer programming applied to eigenvector computation in a class of Markov processes.- A minimum system of generators for extended cyclic codes which are invariant under the affine group.- Some algebraic tools for error-correcting codes.- On computing the performance probabilities of Reed-Solomon codes.- Numerical experiments related to the covering radius of some first order Reed-Muller codes.- Several aspects of problems encountered in coding applications.- Software simulation of data transmission using error-correcting codes, through an awgn channel.- Algebraic methods for constructing asymmetric cryptosystems.- Covering radii of even subcodes of t-dense codes.- Orthogonal transform encoding of cyclic codes.- On s-sum-sets and projective codes.- Pseudo-triple-sum-sets and association schemes.- A decoding algorithm for linear codes.- The finite Fourier-transform and theta functions.- Recent results on coding and algebraic geometry.- Some properties of elliptic codes over a field of characteristic 2.- Self-dual codes 2n circulant over Fq (q=2r).- Automorphisms and isometries of some modular algebras.- A lower bound for the bilinear complexity of some semisimple lie algebras.- On computational complexity of some algebraic curves over finite fields.- Some group presentations and enforcing the associative law.- Fast computation of linear finite-dimensional operators over arbitrary rings.- Quantifier elimination for real closed fields.- Efficient decision algorithms for locally finite theories.- The algorithmic structure of $$mathfrak{s}mathfrak{l}(2,k)$$ .- Optimal algorithms for finite dimensional simply generated algebras.- On a little but useful algorithm.- Computation of independent units in number fields by Dirichlet's method.- Some upper bounds for the multiplicity of an autoreduced subset of N m and their applications.- Exact computation of the characteristic polynomial of an integer matrix.- An analysis of the Kr¿necker algorithm for factorization of algebraic polynomials.- Polynomial factorization over [X].- The L-machine: An attempt at parallel hardware for symbolic computation.- An interactive graphical interface for symbolic algebra systems.- Groebner bases for non-commutative polynomial rings.- Extending the binary GCD algorithm.- Integration of rational functions in SAC-2.- Heuristic bivariate lifting.- Optimal evaluation of algebraic expressions.- On deleting links in semantic graphs.- Erratum.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -InhaltsangabeClassical plane trajectories and their quantum analogs in a billiard and two spheroidal cavities.- Quantum dynamics of wavepackets on two-dimensional potential energy surfaces governing nuclear fission.- Information-theoretical analysis of wave packet dynamics in bound systems.- The gauge invariant method for quantization and tunneling in Hamilton systems.- Particle-solid interactions.- Time-dependent density functional theory.- Time-independent wave packet theory of collisions.- Quantal one-body dissipation and the wall formula.- Localization of single-particle states in the continuum.- Recent progress in semiclassical wavepacket methods for chemical physics applications.- Gauge invariant period quantized wave packets.- Perspective of Gaussian wave packet technology for polyatomic systems.- Application of the time-dependent wave packet method to Collision induced dissociation calculations.- Creation and time evolution of the coherent rotational states.- Dynamics of wave packets and strong nonadiabatic effects.- Motion of wavepackets-sensitivity to the initial conditions.- Quantum resonances in physical tunneling.- Wavepackets in nuclear physics.- Semiclassical many-pahticle dynamics with Gaussian wave packets.- Gaussian wave packet dynamics expressed in the classical interaction picture.- General aspects of wave packet dynamics.- Conclusion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -6 Acknowledgments 87 7 References 88 Subject Index 95 VIII Abbreviations A cerebral aqueduct anterior deep dorsal nucleus, CGM AD AP anterior pretectal nucleus AR auditory radiation ASD anterior superficial dorsal nucleus, CGM BA brachium, accessory (medial) nucleus, IC BIC brachium of inferior colliculus BSC brachium of superior colliculus cerebellum CB CC caudal cortex, IC CF cuneate fasciculus CG central gray CGL lateral geniculate body medial geniculate body CGM commissure of inferior colliculus CIC CIN central intralaminar nucleus CL lateral part of commissural nucleus, IC CM central medial nucleus CN central nucleus, IC CORD spinal cord CP cerebral peduncle CSC commissure, SC CUN cuneiform area, IC D dorsal nucleus, CGM DA anterior dorsal nucleus, CGM DC dorsal cortex, IC DD deep dorsal nucleus, CGM DI dorsal intercollicular area DM dorsomedial nucleus, IC DMCP decussation of superior cerebellar peduncle DS superficial dorsal nucleus, CGM EYE enucleation FX fornix GN gracile nucleus HIT habenulo-interpeduncular tract inferior colliculus IC III oculomotor nerve IN interpeduncular nucleus L posterior limitans nucleus LC laterocaudal nucleus, IC LI lateral intercollicular area LL lateral lemniscus lateral mesencephalic nucleus LMN LN lateral nucleus, IC LP lateral posterior nucleus LPc caudal part of lateral posterior nucleus LV pars lateralis, ventral nucleus, CGM M medial division, CGM MB mammillary bodies middle cerebellar peduncle MCP MES V mesencephalic nucleus of trigeminal tract MI medial intercollicular area ML medial lemniscus MLF medial longitudinal fasciculus MT mammillothalamic tract MZ marginal zone, CGM OC oculomotor nuclei occipital cortex lesion OCC OT optic tract 120 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recent experimental and clinical research performed by outstanding authorities has enabled us to characterize fundamental processes that govern the regulation of salt and water content of the body. Their results have provided not only an important gain of insight into mechanisms at the cellular level but also the possibility to integrate single cell activities into a complex organ function. Moreover, this knowledge enables scientists to develop broader concepts concerning the regulation of organ function and thus contributes to a better understanding of the overall status in health and disease. In the present volume some of these physiologists and clinicians discuss principal questions of humoral and non-humoral influences involved in the control of electro lyte and fluid content of the organism. It contains three essential topics: Data concerning basic principles of cell behaviour and transport processes are followed by the description of natriuretic substances and their influence on volume regulation. Finally, attempts are undertaken to elucidate the meaning of these basic principles for the explanation of the development of patholocigal states. This symposion was held in honor to Professor H. P. Wolff, one of the internatio nally wellknown pioneers in this field of clinical research. The editors wish to express their graditude to the Melusin-Schwarz-Monheim GmbH for the generous support of the symposion. 164 pp. Englisch.