springer springer jul 1986 (139 risultati)

Buch. Condizione: Neu. Neuware - Continuum radio emission and fine structure (in particular millisecond spikes) have recently raised interest as diagnostic tools for the interpretation of energy release and particle acceleration in flares. In the circles of the European solar radio astronomers, loosely organized in CESRA, the idea of a workshop came up intended for active observers of the impulsive phase of flares in radio and associated emissions. The scientific organizing committee included A.D. Benz (chairman), A. Magun, M. Pick, G. Trottet, and P. Zlobec. The workshop was held on May 27-31, 1985 in the castle of Duino near Trieste, Italy. The meeting intended to find a common terminology, to compare radio observations with measurements in other emissions and to confront observations with theoretical concepts. We have achieved a representative summary on the current status of the field and a clear perspective for the next cycle. This volume contains the reviews and a selection of contributions and extended abstracts of papers presented at the workshop. I wish to thank the local organizers, in particular A. Abrami, M. Comari, F. Depolli, L. Fornasari, M. Messerotti (chairman), M. Nonino, and P. Zlobec. Financial support was graciously provided by the Italian Research Council (CNR). Most of all, however, I would like to express my thankfulness to our host, His Highness Prince Raimondo della Torre e Tasso, for his invaluable hospitality. We are deeply sorry to hear of his passing in the meantime. To his memory these proceedings are dedicated.

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

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book represents an outgrowth of an interdisciplinary session held at the Seventh International Estuarine Research Federation Conference held at Virginia Beach, Virginia, OCLober 1983. At that meeting, the participants agreed to contribute to and develop a monograph entitled 'Tidal Mixing and Plankton Dynamics' by inviting an expanded group of authors to contribute chapters on this theme. The emphasis would be to review and summarize the considerable body of knowledge that has accumulated over the last decade or so on the fundamental role tidal mixing plays in energetic shallow seas and estuaries in stimulating and controlling biological production. We have attempted to provide a mix of contributions, composed of reviews of the state-of-the-art, reports on current research activi ties, summaries of the design and testing of a new generation of innovative instruments for biological and chemical sampling and sorting, and some imaginative ideas for future experiments on stimulated mixing in continental shelf seas. We encouraged the contributors to present critical and thought provoking assessments of current wisdom specifying the sorts of techniques and observational strategies needed to validate the various hypotheses linking physical structure, mixing and circulation to plankton biomass and production. We hope this volume will appeal to incoming research students and established scholars alike. We certainly have enjoyed working with all the authors in compiling this book. We thank the numerous scientists who have served as reviewers, P. Boisvert for typing the manuscripts and W. Bellows for proofreading. 516 pp. Englisch.

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

Taschenbuch. Condizione: 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since Malthus and the days of the long-term conceptions ofthe other classical econ omists - an era characterized so poignantly by W.]. Baumol as the magnificent dynamics - demography has not featured prominently in economics. Although admittedly post-war growth theories have always included the growth ofthe volume of labour as an exogenous variable in their considerations, this did not receive the explicit attention of economists. Analyses of the capital market tended even less to draw attention to or inspire interest in the demographic element, despite the fact that the savings behaviour ofindividuals is also determined by their life cycle, an interest ing demographic detail. This study by A.P. Huijser and PD. van Loo, staff members of the Econometric Research and Special Studies Department of the Nederlandsche Bank, is expressly based on expected demographic developments in the Netherlands until the year 2025. The study centres on the premise that the much-discussed ageing ofthe Dutch population will make heavy demands on the financing of old age pensions and on capital market supply, notably after the turn of the century. The link between pen sions and the capital market runs via the increase in the pension funds' premium reserve as the main component of contractual savings. 72 pp. Englisch.

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

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Categorical structures and incidence algebras.- Partitions, functors and exponential formulas.- Sheaflike categorical structures and incidence bialgebras.- Applications.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 148 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 308 pp. Englisch.

Taschenbuch. Condizione: 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 KG, Sachsenplatz 4-6, 1201 Wien 172 pp. Englisch.

Taschenbuch. Condizione: 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 344 pp. Englisch.

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

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Since Malthus and the days of the long-term conceptions ofthe other classical econ omists - an era characterized so poignantly by W.]. Baumol as the magnificent dynamics - demography has not featured prominently in economics. Although admittedly post-war growth theories have always included the growth ofthe volume of labour as an exogenous variable in their considerations, this did not receive the explicit attention of economists. Analyses of the capital market tended even less to draw attention to or inspire interest in the demographic element, despite the fact that the savings behaviour ofindividuals is also determined by their life cycle, an interest ing demographic detail. This study by A.P. Huijser and PD. van Loo, staff members of the Econometric Research and Special Studies Department of the Nederlandsche Bank, is expressly based on expected demographic developments in the Netherlands until the year 2025. The study centres on the premise that the much-discussed ageing ofthe Dutch population will make heavy demands on the financing of old age pensions and on capital market supply, notably after the turn of the century. The link between pen sions and the capital market runs via the increase in the pension funds' premium reserve as the main component of contractual savings.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 72 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Mental retardation in the United States is currently defined as ' . signif icantly subaverage general intellectual functioning existing concurrently with deficits in adaptive behavior, and manifested during the development period' (Grossman, 1977). Of the estimated six million plus mentally retarded individuals in this country fully 75 to 85% are considered to be 'func tionally' retarded (Edgerton, 1984). That is, they are mildly retarded persons with no evident organic etiology or demonstrable brain pathology. Despite the relatively recent addition of adaptive behavior as a factor in the definition of retardation, 1.0. still remains as the essential diagnostic criterion (Edgerton, 1984: 26). An 1.0. below 70 indicates subaverage functioning. However, even such an 'objective' measure as 1.0. is prob lematic since a variety of data indicate quite clearly that cultural and social factors are at play in decisions about who is to be considered 'retarded' (Edgerton, 1968; Kamin, 1974; Langness, 1982). Thus, it has been known for quite some time that there is a close relationship between socio-economic status and the prevalence of mild mental retardation: higher socio-economic groups have fewer mildly retarded persons than lower groups (Hurley, 1969). Similarly, it is clear that ethnic minorities in the United States - Blacks, Mexican-Americans, American Indians, Puerto Ricans, Hawaiians, and others - are disproportionately represented in the retarded population (Mercer, 1968; Ramey et ai., 1978).Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condizione: 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 KG, Sachsenplatz 4-6, 1201 Wien 220 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. 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. Condizione: 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 usinggeneralization 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 resolutiontheorem 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 autSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 724 pp. Englisch.

Taschenbuch. Condizione: 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 KG, Sachsenplatz 4-6, 1201 Wien 548 pp. Englisch.

Taschenbuch. Condizione: 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 independentunits 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 KG, Sachsenplatz 4-6, 1201 Wien 432 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book represents an outgrowth of an interdisciplinary session held at the Seventh International Estuarine Research Federation Conference held at Virginia Beach, Virginia, OCLober 1983. At that meeting, the participants agreed to contribute to and develop a monograph entitled 'Tidal Mixing and Plankton Dynamics' by inviting an expanded group of authors to contribute chapters on this theme. The emphasis would be to review and summarize the considerable body of knowledge that has accumulated over the last decade or so on the fundamental role tidal mixing plays in energetic shallow seas and estuaries in stimulating and controlling biological production. We have attempted to provide a mix of contributions, composed of reviews of the state-of-the-art, reports on current research activi ties, summaries of the design and testing of a new generation of innovative instruments for biological and chemical sampling and sorting, and some imaginative ideas for future experiments on stimulated mixing in continental shelf seas. We encouraged the contributors to present critical and thought provoking assessments of current wisdom specifying the sorts of techniques and observational strategies needed to validate the various hypotheses linking physical structure, mixing and circulation to plankton biomass and production. We hope this volume will appeal to incoming research students and established scholars alike. We certainly have enjoyed working with all the authors in compiling this book. We thank the numerous scientists who have served as reviewers, P. Boisvert for typing the manuscripts and W. Bellows for proofreading.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 516 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Global aspects of periodic solutions of nonlinear conservative system.- Lecture 1: On resonant hamiltonian systems with finitely many degrees of freedom.- Lecture 2: Realizations of the reduced phase space of a hamiltonian system with symmetry.- KAM Today.- Note on the evolution of the Lie-Deprit transform.- Lie transforms: A perspective.- The covariant lie-transformed plasma action principle.- Geometric Hamiltonian structures and perturbation theory.- Lie point transformation group solutions of the nonlinear Vlasov-Maxwell equations.- A constructive solution to the Hamilton-Jacobi equation.- Local and global aspects of a generalized Hamiltonian theory.- Particle channeling in crystals and the method of averaging.- Rigorous stability results on crystal channeling via canonical maps.- Some considerations for a theory of approximate invariants.- Exact invariants in the form of momentum resonances for particle motion in one-dimensional, time-dependent potentials.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 272 pp. Englisch.