springer springer mär 1986 (83 risultati)

Buch. Condizione: Neu. Neuware - The Siberian Solar Radio Telescope: Parameters and Principle of Operation, Objectives and Results of First Observations of Spatio-Temporal Properties of Development of Active Regions and Flares.- High Energy Observations of June 1980 Solar Flares.- Coronal Structure Observed at the Total Solar Eclipse of 11 June 1983 in Indonesia.- Continuum Absorption in the Solar EUV Spectra.- Height Measurements of S-Components.- Variations in Quiet Sun Radiation at Centimetre Wavelengths during Solar Maximum Period.- Analysis of a Magnetohydrodynamic Stellar Wind.- Study of Time-Evolving Hydrodynamic Cepheid Models.- Unusual Variable Stars in the Globular Cluster M4.- The Phase Transitions of Superdense Matter and Supernova-Explosion.- Supercritical Winds From Cool 'Canonical' Stars Caused by Evolution on the Main Sequence.- Steady Mass-Loss from Supermassive Stars.- Effective Temperatures, Radii and Luminosities of O-Emmission, Be and Ae Stars.- Absolute Magnitudes of Late-Type Stars.- Active Phenomena of the Be Star EW Lac Observed in 1978-82.- Photometric Behaviour of the Be Star EW Lacertae.- Iron K-Emission Line from Cygnus X-2.- X-Ray Emissions from Vela X-l During Its Eclipsing Period.- Electrodynamical Synchronization of AM Her-Type Stars.- Spectroscopic and Photometric Observations of Nova Aquilae 1982.- Moment Method for the Inverse Radiative Transfer in Inhomogeneous Media.- Photometric Determination of Variations in the Surface Conditions for Pulsating Stars.- The Estimation of Some Parameters of Pulsars and Their Applications.- Pulsar Magnetosphere with Conspicuous Trans-Field Flow.- One-Armed Oscillations of a Non-Self-Gravitating Polytropic Disk.- CO Observations Geometry and Galactic Structure.- Hydrodynamical Models of the Orion-KL Nebula.- Radio RecombinationLines of Hydrogen Atoms Associated with Stimulated Emissions in Ionized Regions.- The Scutum Ring of HII Regions.- Surface Photometry of Simple HII Regions.- Infrared Polarimetry of the Stars in the Inner Galaxy.- Effect of Magnetic Field on the Shock-Induced Thermal Instability.- On the Radial Distribution of Molecular Clouds in Galaxies.- Grain Formation Experiments by a Plasma Jet Apparatus.- Hydrostatic Models of BOK Globules.- Cep A: A Possible Proto-Cluster.- Formation of the Solar System.- Thermal-Chemical Instability in a Pre-Galactic Gas Cloud.- Dynamics of the Magellanic System and the Galaxy - Present Status of Theoretical Understanding.- Emission Line Velocity Survey of Spiral Galaxies with Bright Nuclei.- Optical Light Variation of the Seyfert Galaxy NGC 4151.- Emission Line Velocity Field in the Central Region of M82.- X-Ray Observation of AGN's from TENMA.- Large-Scale Configurration of the Magnetic Field in Spiral Galaxies.- Correlation Between the Physical Parameters and Morphological Type of Spiral Galaxies.- Global Instability of Thin Stellar Discs.- A Mathematical Model of the Initial Stage in the Formation of a Disk Galaxy.- Evolution of Disk Galaxies Regulated by Supernova Remnants.- On the Effects of Compression of a Gaseous Disc by Thermal and Dynamical Pressures of Intergalactic Gas.- Formation of Collimated Beams.- Electron-Positron Pairs in a Mildly Relativistic Plasma in Active Galactic Nuclei.- Simulation of Compact Groups of Galaxies.- Motion of Quasar Images by Gravitational Lens Galaxies.- Optical Identification of QSOs with Flat Radio Spectrum.- United Kingdom Schmidt Telescope (UKST) Objective Prism Searches for Quasars.- Optical Identifications of Radio Sources with Accurate Positions Using the United Kingdom Schmidt Telescope(UKST) IIIa-J Plates.- Formation of a Void and Galaxies in a Neutrino Dominated Universe.- Dark Matter and the Formation of Large-Scale Structure in the Universe.- X-Ray Detection of the Monoceros Supernova Remnant.- Alignment of Spiral Galaxies in the Local Supercluster.- Log N - Log S of Radio Sources at 10 GHz with Flat Spectra.- Announcement.- List of Unpublished Papers.

Buch. Condizione: Neu. Neuware - When someone has successfully completed a Standard First Aid Course, they often have a desire to extend their knowledge of first aid. The aim of this book is to give the holders of a Standard First Aid Certificate the opportunity to study the principles of first aid in greater detail. It is not intended to convert the first aider into a highly trained paramedic - so a discussion on the use of intra venous fluids, defibrillators etc., is beyond the scope of this book. It is hoped that the book will provide a useful in-depth study for demonstrators, instructors and first aiders likely to be involved in ambulance duties. I am very grateful to Brigadier D.O. O'Brien, Chief Medical Adviser, British Red Cross Society and Mrs. R.H. Smith, Assistant Branch Director (Training), Leicestershire Branch of the British Red Cross Society for their helpful comments and encouragement. I acknowledge the use of illustrations from the Clinical Symposia Series by CIBA on the 'Heimlich Manoeuvre' to form the basis of Figures 3.7,3.8 and 3.9.

Buch. Condizione: Neu. Neuware - -What should the cardiac anaesthesiologist know about heart catheterization .- -Transesophageal 2-D echocardiography: a new dimension in clinical care.- -The EEG and evoked potentials.- -Preoperative medication: maintenance or modification .- -Preoperative evaluation of the patient with mitral valve disease.- -The use of invasive monitoring techniques in cardiac surgery.- -Inotropic agents/Vasoactive agents.- -Techniques of anesthetic administration: are they more important than choice of anesthetic agent .- -Detection of myocardial ischemia during anesthesia.- -The management of intraoperative myocardial ischemia and hypotension.- -Metabolic changes and interpretation of blood gas analysis during hypothermia.- -Profound hypothermia and circulatory arrest: studies of intraoperatieve metabolic changes and late postoperative intellectual development after correction of congenital heart disease.- -Flows and pressures during cardiopulmonary bypass.- -Promoting cardiac metabolism before and after cardiopulmonary bypass (CPB).- -Coronary circulation and myocardial metabolism during anaesthesia.- -Sequential myocardial depressant and non-depressant anaesthesia for coronary artery surgery.- -Continuous arterial pH-monitoring following coronary artery bypass surgery.- -The management of cardiac emergencies - cardiac tamponade.- -Leaking prosthetic valves.- -Massive pulmonary embolism.- -Ruptured coronary artery following angioplasty.- -Index.

Buch. Condizione: Neu. Neuware - This symposium entitled Calcium, Neuronal Function and Transmitter Re lease, was in the framework of the regional meeting of the International Union of Physiological Sciences, that took place in Jerusalem between August 26-31, 1984. The symposium dealt with the role of calcium ions in regulation of a large number of important processes in modern neurobiology, from molecular and cellular points of view. In this context, we consider heart and most cells as 'honorary neurons'. The meeting was comprised of lectures and quite intense discussions. We hope that the transcription of the discussions which follow the articles will give the reader a feeling of the intense, but pleasant atmosphere that per vaded during this symposium. It is our pleasure to thank Mrs. Miriam Silber, the assistant editor of this book, for her hard work in transcribing the discussions, retyping large portions of the book, and getting the approval of the authors. We express our thanks to Dr. Halina Meiri and Dr. Simona Ginsburg for their editorial assis tance. The unfailing help of Ms. Rachel Klein and Ms. Shoshana Wineberg is greatly appreciated. xxvii SECTION 1 CALCIUM CHANNELS, TRANSPORTERS & CALCIUM REGULATED CHANNELS EFFECTS OF TEMPERATURE ON SINGLE CHANNEL AND WHOLE CELL Ca CURRENTS A. M. BROWN, D. L. KUNZE, H.D. LUX AND D. L. WILSON INTRODUCTION Calcium tall currents have a large,fast component which Is not detectable when the currents are turned on or acti vated from the completely rested state (Brown et aI, 1983).

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Compiler generation from relational semantics.- Correctness of code generation from a two-level meta-language.- A general approach to the optimization of function calls.- Lifetime analysis for procedure parameters.- Another implementation technique for applicative languages.- Graal : A Functional Programming system with uncurryfied combinators and its reduction machine.- A safe approach to parallel combinator reduction (extended abstract).- Reducing recursion to iteration by algebraic extension.- Design and implementation of a generic, logic and functional programming language.- Pragmatic aspects of two-level denotational meta-languages.- An experiment in practical semantics.- The choice of programming primitives for SETL-like programming languages.- Algebraic semantics of exception handling.- Data refinement refined resume.- Proving entailment between conceptual state specifications.- Automatic parallelization of fortran programs in the presence of procedure calls.- Parallelization by semantic detection of reductions.- Denotational semantics of nets with nondeterminism.- specification of a tool for viewing program text.- A classical implementation for Prolog-II.- Programs as collections of communicating Prolog units.- An and-parallel execution model of logic programs.- Compiling Extended Concurrent Prolog -single queue compilation-.- A very intelligent backtracking method for Logic Programs.- An application of abstract interpretation of logic programs: Occur check reduction.- Experiences with the RAP system ¿ a specification interpreter combining term rewriting and resolution.- Rewriting with a nondeterministic choice operator : From algebra to proofs. 388 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains eleven articles which deal with different aspects of dynaoic and differential game theory and its applications in economic modeling and decision making. All but one of these were presented as invited papers in special sessions I organized at the 7th Annual Conference on Economic Dynamics and Control in London, England, during the period June 26-28, 1985. The first article, which comprises Chapter 1, provides a general introduction to the topic of dynamic and differential game theory, discusses various noncooperative equilibrium solution concepts, includ ing Nash, Stackelberg, and Consistent Conjectural Variations equilibria, and a number of issues such as feedback and time-consistency. The second chapter deals with the role of information in Nash equilibria and the role of leadership in Stackelberg problems. A special type of a Stackelberg problem is the one in which one dominant player (leader) acquires dynamic information involving the actions of the others (followers), and constructs policies (so-called incentives) which enforce a certain type of behavior on the followers; Chapter 3 deals with such a class of problems and presents some new theoretical results on the existence of affine incentive policies. The topic of Chapter 4 is the computation of equilibria in discounted stochastic dynamic games. Here, for problems with finite state and decision spaces, existing algorithms are reviewed, with a comparative study of their speeds of convergence, and a new algorithm for the computation of nonzero-sum game equilibria is presented. 308 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During the week of October 24-28, 1983, a group of mathematicians and eco nomists met at the Institute for Mathematics and it Applications at the University of Minnesota. The workshop dealt with economic models in which time plays an essential role, and both the description of adjustment to a static equilibrium and the description of equilibrium paths were considered. From a mathematical point of view, discrete dynamical systems and the dynamics of ordi nary and partial differential equations played a major role. The conference consisted of lectures by economists and by mathematicians which treated some of the principal ideas of economic dynamics. Donald Saari pro vided some discrete dynamical systems background for a paper by Jean-Michel Grandmont on business cycles; the Grandmont paper was a major focus of the Workshop. Daniel Goroff, Jose Scheinkman, Christopher Sims. Neil Wallace. and Michael Woodford discussed the Grandmont paper after its presentation. The ideas of tatonnement were introduced by Leonid Hurwicz and extended by Andreu MasColell and H. Jerome Keisler. Four papers on economic dynamics follow (W. A. Brock, Truman Bewley. W. A. Brock and M. Rothschild and Yieh-Hei Wan). The remaining papers are devoted to issues of quantity and/or price adjustment (William Novshek and Hugo Sonnenschein. Phillipe Artzner. Carl Simon and Hugo Sonnenschein). equilibrium with a continuum of commodities (Larry Jones), and the adjustment of expectations (Lawrence Blume and James Jordan). 224 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Parallel and associative processing.- LUCAS System Architecture.- Basic instructions.- Comparison with related designs.- LUCAS microprogramming language.- PASCAL/L ¿ A high level language for LUCAS.- Some well-known problems implemented on LUCAS.- LUCAS as a backend processor for relational database processing.- LUCAS as a dedicated processor for image processing.- Conclusions and continued research. 340 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Valuations of fields.- Valuation topologies and the approximation theorem.- Valued vector spaces.- Projective Hjelmslev spaces.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 124 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Interpolation of an interval-valued function for arbitrarily distributed nodes.- Acceptable solutions of linear interval integral equations.- Maximization of multivariable functions using interval analysis.- Modal intervals : Reason and ground semantics.- Convergent bounds for the range of multivariate polynomials.- On an interval computational method for finding the reachable set in time-optimal control problems.- On the optimality of inclusion algorithms.- Interval operators and fixed intervals.- Arbitrary accuracy with variable precision arithmetic.- An interval method for systems of ode.- Linear interval equations.- How to fight the wrapping effect.- Arithmetic of circular rings.- Improved interval bounds for ranges of functions.- Inner solutions of linear interval systems.- Embedding theorems for cones and applications to classes of convex sets occurring in interval mathematics.- Interval test and existence theorem.- Technical calculations by means of interval mathematics.- Generalized theory and some specializations of the Region Contraction Algorithm I - Ball operation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 240 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Lyapunov exponents: A survey.- Oscillation des produits de matrices aleatoires dont l'exposant de lyapounov est nul.- Unique ergodicity and random matrix products.- Positivity of the exponent for stationary sequences of matrices.- Characteristic exponents for random homeomorphisms of metric spaces.- Lyapunov exponents of linear stochastic systems.- Addendum a note on transitivity of coupled control systems.- Almost sure and moment stability for linear ito equations.- Almost sure instability of a class of linear stochastic systems with jump process coefficients.- On a generalization of the Lyapunov exponent of a second order linear stochastic differential equation.- Parameter dependence of the Lyapunov exponent for linear stochastic systems. A survey.- An example concerning the geometric significance of the rotation number ¿ integrated density of states.- Lyapunov exponents for schr¿dinger operators with random, but deterministic potentials.- Lyapunov exponents and one-dimensional alloys.- Resonance states in disordered systems.- The Lyapounov index, the density of states and their regularity for general stochastic potentials.- Computations of the sum of positive Lyapunov exponents for the Lloyd model in a strip.- Statistics of reflected pulses.- Lyapunov exponents and invariant measures of stochastic systems on manifolds.- Survey: Lyapunov exponents for stochastic flows on manifolds.- Bounds for average Lyapunov exponents of gradient stochastic systems.- The Lyapunov spectrum of a stochastic flow of diffeomorphisms.- Lyapunov exponents and phase transitions in dynamical systems.- Coupling sensitivity and cliff in chaotic dynamics.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 384 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Strictness analysis and polymorphic invariance.- Convergent term rewriting systems can be used for program transformation.- The theory of strictness analysis for higher order functions.- Recognition of generative languages.- Modular first-order specifications of operational semantics.- Logic specification of code generation techniques.- Strictness detection in non-flat domains.- Strictness computation using special -expressions.- A relational framework for abstract interpretation.- Expected forms of data flow analyses.- Code generation from two-level denotational meta-languages.- Multilevel functions in Martin-Löf's type theory.- An implementation from a direct semantics definition.- The structure of a self-applicable partial evaluator.- Program transformation by supercompilation.- Listlessness is better than laziness II: Composing listless functions.- From interpreter to compiler: A representational derivation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 340 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Extended powers and H ring spectra.- Miscellaneous applications in stable homotopy theory.- Homology operations for H and Hn ring spectra.- The homotopy theory of H ring spectra.- The homotopy groups of H ring spectra.- The adams spectral sequence of H ring spectra.- H ring spectra via space-level homotopy theory.- Power operations in H d ring theories.- The mod p k-theory of QX.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 400 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Through the looking glass: A dictionary between rational homotopy theory and local algebra.- A rational homotopy analog of Whitehead's problem.- Hilbert series of finitely presented algebras.- On endomorphism rings of canonical modules (joint work with Shiro Goto).- Golod homomorphisms.- On the rates of growth of the homologies of Veronese subrings.- When is the double Yoneda ext-algebra of a local noetherian ring again noetherian .- On a conjecture of roos.- Two examples of smooth projective varieties with non-zero Massey products.- The radical of \*( S) .- Sur l'operation d'holonomte rationnelle.- Flat families of local, artinian algebras with an infinite number of Poincar¿eries.- A note on intersection multiplicities.- Reducing the Poincar¿eries of local rings to the case of quadratic relations.- The radical of \*( S) , II.- High skeleta of CW complexes.- Matric massey products and formal moduli I.- A method for constructing bad noetherian local rings.- Yet another proof of a result by Ogoma.- Modele minimal relatif des feuilletages.- Lusternik ¿ Schnirelmann category: An introduction.- S¿es de Bass des modules de syzygie.- On the subalgebra generated by the one-dimensional elements in the Yoneda ext-algebra.- The general extension of a local ring and mixed multiplicities.- Cohomologie de Harrison et type d'homotopie rationnelle.- Cohomologie de l'espace des sections d'un fibre et cohomologie de Gelfand-Fuchs d'une variete.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 416 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Coxeter groups, Hecke algebras and their representations.- Applications of Kazhdan-Lusztig theory.- Geometric interpretations of the Kazhdan-Lusztig polynomials.- The algebraic descriptions of the affine Weyl group An of type ¿ 1, n>2.- The partition of n associated with an element of the affine Weyl group An.- A geometrical description of the affine Weyl group An.- Admissible sign types of rank n.- Iterated star operations and interchanging operations on blocks.- The subset 1( ) of the affine Weyl group An.- The set N of normalized elements of 1( ).- The orbit space ¿ of the affine Weyl group An.- The sequence (w,k) beginning with an element of N .- Raising operations on layers.- The left and right cells in 1( ).- 1( ) is an rl-equivalence class of An.- Left cells are characterized by the generalized right -invariant.- The two-sided cells of the affine Weyl group An.- Some properties of cells and other equivalence classes of An.- Some special kinds of sign types.- The inserting algorithm on the set C.- The restriction of the map on p n.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 320 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Basic results on semigroups on banach spaces.- Characterization of semigroups on banach spaces.- Spectral theory.- Asymptotics of semigroups on banach spaces.- Basic results on spaces Co(X).- Characterization of positive semigroups on Co(X).- Spectral theory of positive semigroups on Co(X).- Asymptotics of positive semigroups on Co(X).- Basic results on banach lattices and positive operators.- Characterization of positive semigroups on banach lattices.- Spectral theory of positive semigroups on banach lattices.- Asymptotics of positive semigroups on banach lattices.- Basic results on semigroups and operator algebras.- Characterization of positive semigroups on w\*-algebras.- Spectral theory of positive semigroups on w\*-algebras and their preduals.- Asymptotics of positive semigroups on c\*-and w\*-algebras.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 472 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Finite simple groups and their subgroups.- Topics in the theory of representations of finite groups.- Algebraic K-theory, morita theory, and the classical groups.- Modular representations of reductive groups.- Differential algebraic groups.- Conjugacy classes in algebraic groups.- Some finite groups which appear as gal L/K, where K Q( n).- Homomorphisms from linear groups over division rings to algebraic groups.- A prehomogeneous vector space of characteristic 3.- On full subgroups of twisted groups.- A characterization of the 2-local subgroups of rudvalis group and Higman-Sims group.- On 2-connectedness of geometries.- On the number of p-blocks with given defect groups and some applications of the p-power homomorphism.- The equitype and quasi-equitype decompositions of arbitrary permutations by permutations of order 2 or 3.- On the extensions of abelian varieties by affine group schemes.- On the first cartan invariant of the groups SL(3,pn) and SU(3,pn).Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 412 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains eleven articles which deal with different aspects of dynaoic and differential game theory and its applications in economic modeling and decision making. All but one of these were presented as invited papers in special sessions I organized at the 7th Annual Conference on Economic Dynamics and Control in London, England, during the period June 26-28, 1985. The first article, which comprises Chapter 1, provides a general introduction to the topic of dynamic and differential game theory, discusses various noncooperative equilibrium solution concepts, includ ing Nash, Stackelberg, and Consistent Conjectural Variations equilibria, and a number of issues such as feedback and time-consistency. The second chapter deals with the role of information in Nash equilibria and the role of leadership in Stackelberg problems. A special type of a Stackelberg problem is the one in which one dominant player (leader) acquires dynamic information involving the actions of the others (followers), and constructs policies (so-called incentives) which enforce a certain type of behavior on the followers; Chapter 3 deals with such a class of problems and presents some new theoretical results on the existence of affine incentive policies. The topic of Chapter 4 is the computation of equilibria in discounted stochastic dynamic games. Here, for problems with finite state and decision spaces, existing algorithms are reviewed, with a comparative study of their speeds of convergence, and a new algorithm for the computation of nonzero-sum game equilibria is presented.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 -Dynamical Systems and Mathematical Economics.- On Endogenous Competitive Business Cycles.- Commentaries on the Grandmont Paper 'Endogenous Competitive Business Cycles'.- On the Stability of the Tatonnement Approach to Competitive Equilibrium.- Notes on Price and Quantity Tatonnement Dynamics.- A Price Adjustment Model with Infinitesimal Traders.- A Revised Version of Samuelson's Correspondence Principle: Applications of Recent Results on the Asymptotic Stability of Optimal Control to the Problem of Comparing Long-Run Equilibrium.- Dynamic Implications of the Form of the Budget Constraint.- Comparative Statics for Multidimensional Optimal Stopping Problems.- The Cournot Problem with Bounded Memory Strategies.- Quantity Adjustment in an Arrow-Debreu-McKenzie Type Model.- Convergence of Myopic Firms to Long-Run Equilibrium via the Method of Characteristics.- Special Problems Arising in the Study of Economies with Infinitely Many Commodities.- to Expectations Equilibrium.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 224 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Compiler generation from relational semantics.- Correctness of code generation from a two-level meta-language.- A general approach to the optimization of function calls.- Lifetime analysis for procedure parameters.- Another implementation technique for applicative languages.- Graal : A Functional Programming system with uncurryfied combinators and its reduction machine.- A safe approach to parallel combinator reduction (extended abstract).- Reducing recursion to iteration by algebraic extension.- Design and implementation of a generic, logic and functional programming language.- Pragmatic aspects of two-level denotational meta-languages.- An experiment in practical semantics.- The choice of programming primitives for SETL-like programming languages.- Algebraic semantics of exception handling.- Data refinement refined resume.- Proving entailment between conceptual state specifications.- Automatic parallelization of fortran programs in the presence of procedure calls.- Parallelization by semantic detection of reductions.- Denotational semantics of nets with nondeterminism.- specification of a tool for viewing program text.- A classical implementation for Prolog-II.- Programs as collections of communicating Prolog units.- An and-parallel execution model of logic programs.- Compiling Extended Concurrent Prolog -single queue compilation-.- A very intelligent backtracking method for Logic Programs.- An application of abstract interpretation of logic programs: Occur check reduction.- Experiences with the RAP system - a specification interpreter combining term rewriting and resolution.- Rewriting with a nondeterministic choice operator : From algebra to proofs.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 388 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In the seven years since this volume first appeared. there has been an enormous expansion of the range of problems to which Monte Carlo computer simulation methods have been applied. This fact has already led to the addition of a companion volume ('Applications of the Monte Carlo Method in Statistical Physics', Topics in Current Physics. Vol . 36), edited in 1984, to this book. But the field continues to develop further; rapid progress is being made with respect to the implementation of Monte Carlo algorithms, the construction of special-purpose computers dedicated to exe cute Monte Carlo programs, and new methods to analyze the 'data' generated by these programs. Brief descriptions of these and other developments, together with numerous addi tional references, are included in a new chapter , 'Recent Trends in Monte Carlo Simulations' , which has been written for this second edition. Typographical correc tions have been made and fuller references given where appropriate, but otherwise the layout and contents of the other chapters are left unchanged. Thus this book, together with its companion volume mentioned above, gives a fairly complete and up to-date review of the field. It is hoped that the reduced price of this paperback edition will make it accessible to a wide range of scientists and students in the fields to which it is relevant: theoretical phYSics and physical chemistry , con densed-matter physics and materials science, computational physics and applied mathematics, etc.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 436 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -It isn't that they can't see the solution. It is Approach your problems from the right end and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. G. K. Chesterton. The Scandal of Father The Hermit Gad in Crane Feathers' in R. Brown The point of a Pin'. van GuIik's The Chinese Maze Murders. Growing speciaIization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the 'tree' of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as 'experimental mathematics', 'CFD', 'completely integrable systems', 'chaos, synergetics and large-scale order', which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Professional planning is commonly defined as an activity which is concerned with the rational allocation or exploitation of resources for man's maximum short- and long-term benefit. The science of. ecology is the study of the basic components of these resources (soil, water, air etc. ) and their inter relationships with living organisms. Planning and ecology therefore have many common interests and, as such, have long been associated in resource management. This association was, for example, reflected as early as the 19th century in the writings of Patrick Geddes, the progenitor of modern town planning, whose training as a biologist led him to re-interpret the phenomena of urbanization in ecological terms (Geddes, 1886). Since the time of Geddes the place of ecology has declined in planning circles as other professions and considerations, initially public health and engineering, latterly economic and sociological, have become more central. The reasons for this shifting emphasis are three-fold. First, they reflect changing social attitudes and aspirations in the post-war period. Secondly, many other professions and persuasions (agriculturalists, foresters, in dustrialists etc. ) became organized as pressure groups and helped shape public attitudes and governmental actions. Thirdly, and by far the most important reason, is the prevalence of misconceptions about ecology. Too many people, perhaps misled by the debate surrounding the' environmental movement', equate ecology with conservation. In reality, conservation is but one component part of ecology.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 480 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -For many years 'safety technology' has constituted the essential instrument for the prevention of accidents as a direct result of handling new technology. Its awareness of the interactions prevalent in natural science causes safety technology to act on the basis of actual accidents, and it Ulilizes to their fullest extent any means provided by the engineering sciences. Man proceeds in a general direction towards preselVation and improvement, thus working towards the optimization of the technical design. However. a new set of basic problems presented itself the moment new large-scale technologies were introduced into the areas of processing, energy, and traffic, thereby creating a considerable amount of ad ditional danger potential. This also signified the end of an era when safety technology could be practiced chiefly on the basis of accident statistics. For ethical reasons it became necessary that a credible prognosis as to the type and effect of accidents took the place, or at least supplemented, the hitherto practiced purely reactive methods. The realization that the available means of safety technology were no longer sufficient in a highly technologized environment spurred the demand for entirely new concepts which would eventually lead to a higher degree of safety. A decisive step had to be taken away from a purely technical approach and fOwards and all-encompassing look at accident systems, because man had become aware of the fact that accidents will always be a part of the interaction between man, technology, and environment.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 472 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -How weIl can we model experimental observations of the peripheral auditory system' What theoretical predictions can we make that might be tested' It was with these questions in mind that we organized the 1985 Mechanics of Hearing Workshop, to bring together auditory researchers to compare models with experimental observations. Tbe workshop forum was inspired by the very successful 1983 Mechanics of Hearing Workshop in Delft [1]. Boston University was chosen as the site of our meeting because of the Boston area's role as a center for hearing research in this country. We made a special effort at this meeting to attract students from around the world, because without students this field will not progress. Financial support for the workshop was provided in part by grant BNS- 8412878 from the National Science Foundation. Modeling is a traditional strategy in science and plays an important role in the scientific method. Models are the bridge between theory and experiment. Tbey test the assumptions made in experimental designs. They are built on experimental results, and they may be used to test hypotheses and predict experimental results. Tbe latter is the scientific method at its best. Cochlear function is very complicated. For this reason, models play animportant role. One goal of modeling is to gain understanding, but the necessary mathematical tools are often formidably complex. An ex am pie of this is found in cochlear macromechanics.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 412 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Parallel and associative processing.- LUCAS System Architecture.- Basic instructions.- Comparison with related designs.- LUCAS microprogramming language.- PASCAL/L - A high level language for LUCAS.- Some well-known problems implemented on LUCAS.- LUCAS as a backend processor for relational database processing.- LUCAS as a dedicated processor for image processing.- Conclusions and continued research.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 340 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Lectures on quantum cosmology.- Solitons and black holes in 4,5 dimensions.- Truncations in Kaluza-Klein theories.- Canonical quantization and cosmic censorship.- Quantum effects in non inertial frames and quantum covariance.- Stochastic de sitter (inflationary) stage in the early universe.- Some mathematical aspects of stochastic quantization.- Superstrings and the unification of forces and particles.- Conformally invariant field theories in two dimensions critical systems and strings.- Liouville model on the lattice.- Exact solvability of semiclassical quantum gravity in two dimensions and liouville theory.- Some features of complete integrability in supersymmetric gauge theories.- Monopoles and-reciprocity.- Non-local conservation laws for non-linear sigma models with fermions.- Inverse scattering transform in angular momentum and applications to non-local effective actions.- General structure and properties of the integrable nonlinear evolution equations in 1+1 and 2+1 dimensions.- Hierarchies of poisson brackets for elements of the scattering matrices.- Multidimensional inverse scattering and nonlinear equations.- An SL(3)-Symmetrical F-Gordon equation:Z B = 1/3 (eZ e 2Z).- The solution of the cartan equivalence problem for $$frac{{d^2 y}}{{dx^2 }} = F(x,y,frac{{dy}}{{dx}})$$ under the pseudo-group $$bar x = varphi (x),bar y = psi (x,y)$$ .- Quantum R matrix related to the generalized Toda system: An algebraic approach.- Solution of the multichannel Kondo-problem.- The directed animals and related problems.- Incommensurate structures and breaking of analyticity.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 396 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Recent developments in the semantics of natural language seem to lead to a genuine synthesis of ideas from linguistics and logic, producing novel concepts and questions of interest to both parent disciplines. This book is a collection of essays on such new topics, which have arisen over the past few years. Taking a broad view, developments in formal semantics over the past decade can be seen as follows. At the beginning stands Montague's pioneering work, showing how a rigorous semantics can be given for complete fragments of natural language by creating a suitable fit between syntactic categories and semantic types. This very enterprise already dispelled entrenched prejudices concerning the separation of linguistics and logic. Having seen the light, however, there is no reason at all to stick to the letter of Montague's proposals, which are often debatable. Subsequently, then, many improvements have been made upon virtually every aspect of the enterprise. More sophisticated grammars have been inserted (lately, lexical-functional grammar and generalized phrase structure grammar), more sensitive model structures have been developed (lately, 'partial' rather than 'total' in their com position), and even the mechanism of interpretation itself may be fine-tuned more delicately, using various forms of 'representations' mediating between linguistic items and semantic reality. In addition to all these refinements of the semantic format, descriptive coverage has extended considerably.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 240 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This paper treats a two-echelon inventory system. The higher echelon is a single location reffered to as the depot, which places orders for supply of a single com modity. The lower echelon consists of several points, called the retailers, which are supplied by shipments from the depot, and at which random demands for the item occur. Stocks are reviewed and decisions are made periodically. Orders and/or shipments may each require a fixed lead time before reaching their respective desti nations. Section II gives a short literature review of distribution research. Section III introduces the multi-echelon distribution system together with the underlying as sumptions and gives a description of how this problem can be viewed as a Markovian Decision Process. Section IV discusses the concept of cost modifications in a distribution context. Section V presents the test-examples together with their optimal solutions and also gives the characteristic properties of these optimal solutions. These properties then will be used in section VI to give adapted ver sions of various heuristics which were used in assembly experiments previously and which will be tested against the test-examples. 272 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is a very welcome addition to my bookshelf, making it easy to locate results when I either do not know whether they have been proved or cannot remember who proved them or where they were published. I think that most researchers in complexity will find the same.' Mathematical Reviews 556 pp. Englisch.