springer springer jun 1992 (251 risultati)

Buch. Condizione: Neu. Neuware - Dynamic modeling is the fundamental building block for mechanism analysis, design, control and performance evaluation. One class of mechanism, legged machines, have multiple closed-chains established through intermittent ground contacts. Further, walking on natural terrain introduces nonlinear system compliance in the forms of foot sinkage and slippage. Closed-chains constrain the possible motions of a mechanism while compliances affect the redistribution of forces throughout the system. A General Model of Legged Locomotion on Natural Terrain develops a dynamic mechanism model that characterizes indeterminate interactions of a closed-chain robot with its environment. The approach is applicable to any closed-chain mechanism with sufficient contact compliance, although legged locomotion on natural terrain is chosen to illustrate the methodology. The modeling and solution procedures are general to all walking machine configurations, including bipeds, quadrupeds, beam-walkers and hopping machines. This work develops a functional model of legged locomotion that incorporates, for the first time, non-conservative foot-soil interactions in a nonlinear dynamic formulation. The model was applied to a prototype walking machine, and simulations generated significant insights into walking machine performance on natural terrain. The simulations are original and essential contributions to the design, evaluation and control of these complex robot systems. While posed in the context of walking machines, the approach has wider applicability to rolling locomotors, cooperating manipulators, multi-fingered hands, and prehensile agents.

Buch. Condizione: Neu. Neuware - Traditional mathematical programming has concentrated on problems that can be solved by achieving a single objective. In reality, many multi-objective situations exist; concentrating on a single goal limits the applicability of math programming models. Accordingly, multiobjective optimization has emerged as a rapidly growing area. In this monograph the author draws from the more mature body of literature on multicriterion decision theory to enhance understanding of multiobjective optimization. There are obvious commonalities between the two areas, but to date no one has presented a book which unifies the two. That is the aim of Multiobjective Optimization: Behavioral and Computational Considerations. There are many behavioral and computational issues which are relevant to multiobjective optimization. These issues cross the disciplines of behavioral decision theory, information and decision support systems, and computational analysis.

Buch. Condizione: Neu. Neuware - This book evaluates new data on diet and cancer and uses it to update the dietary guidelines produced by ECP and IUNS in 1985. It is the proceedings of the 9th Annual Symposium of the European Organization for Cooperation in Cancer Prevention Studies held in Madrid during October, 1991. The first section updates general background material (dietary carcinogens, animal studies etc.), the second concerns diet and cancer at specific sites and also specific nutrients in human cancer. The third section addresses problems with guidelines per se, and the fourth the Mediterranean diet in relation to cancer. These chapters, together with the general conclusions reached in a parallel workshop, represent a state-of-the-art review of the current status of diet and cancer and also provide the background to the conclusions that guidelines as formulated in 1985 can no longer be sustained and that they need to be replaced by guidelines that (a) concern food groups instead of nutrients and (b) are targetted at particular groups rather than the population in general.

Buch. Condizione: Neu. Neuware - Studies of Reovirus Pathogenesis Reveal Potential Sites for Antiviral Intervention.- Drugs as Molecular Tools.- Genetically Engineered Bacteria to Identify and Produce Antiviral Agents.- Antiviral Agents from Novel Marine and Terrestrial Sources.- Virus Receptors: The Achilles' Heel of Human Rhinoviruses.- Therapeutic Strategies Employing CD4, The HIV Receptor.- Molecular Characterization of HIV-2 (ROD) Protease following PCR Cloning from Virus Infected H9 Cells.- A Novel, Non-Nucleoside Inhibitor of HIV-1 Reverse Transcriptase (Review).- Catalytic Antisense RNA (Ribozymes): Their Potential and Use as Anti-HIV-1 Therapeutic Agents.- Therapies for Hepatitis B Virus: Current Status and Future Possiblities.- A Preliminary Report of a Controlled Study of Thymosin Alpha-1 in the Woodchuck Model of Hepadnavirus Infection.- Delta Virus as a Vector for the Delivery of Biologically Active RNAs: Possibly a Ribozyme Specific for Chronic Hepatitis B Virus Infection.- Inhibition of Herpes Simplex Virus Ribonucleotide Reductase by Synthetic Nonapeptides: A Potential Antiviral Therapy.- Antiviral Effects of Herpes Simplex Virus Specific Anti-Sense Nucleic Acids.- Heterogeneity of a Herpes Simplex Virus Clinical Isolate Exhibiting Resistance to Acyclovir and Foscarnet.- Cellular Metabolism and Enzymatic Phosphorylation of 9-(2-Phosphonylmethoxyethyl) Guanine (PMEG), a Potential Antiviral Agent.- Effect of Herpes Simplex Virus Type 1 Infection on Cytokine Gene Expression in Activated Murine Peritoneal Macrophages.- Procedure for Evaluation of Neutralizing Antibody to Cytomegalovirus in Commercial Intravenous Gamma Globulin Preparations.- Improved Detection of Antibodies to Hepatitis C Virus Using a Second Generation ELISA.- Emerging Trends in the Rapid Detection of Viruses.- DNA Probes for Viral Diagnosis.- Contributors.

Buch. Condizione: Neu. Neuware - Organized on a product category basis, this volume provides an up-to-date review of the cosmetics and toiletries industry in a readily digestible form. Authors discuss the rationale of raw materials selection, the formulation and development of products that meet the demands of an international market place, product performances, and safety and quality aspects.

Buch. Condizione: Neu. Neuware.

Buch. Condizione: Neu. Neuware - This volume brings together the best essays and reviews of Herbert H. Rowen, professor emeritus of Rutgers University, foreign member of the Royal Netherlands Academy of Arts and Sciences, and one of the first important English-speaking historians of the Dutch Republic since John Lothrop Motley. Many of the essays, though published previously, have not been readily available, while several appear here for the first time. They include close analysis of the Dutch Republic, French absolutism, the eighteenth-century Republic and the Atlantic Revolutions, and direct and indirect commentary on the task of the historian more generally. Also included are three essays and several reviews about the work of Herbert Rowen, which assess his particular contribution to historical studies. The leading characteristics of that work are reflected in the title of this collection: clarity and ease of expression, rigor of thought, and a focus on the intersection of political thought and practice in the early modern period.

Buch. Condizione: Neu. Neuware - Phospholipases A2: Brain Phospholipases and their Role in Signal Transduction; A.A. Farooqui, et al. Cell Signaling and Essential Fatty Acids: Reciprocal Regulation of Fatty Acid Release in the Brain by GABA and Glutamate; D.L. Birkle Metabolites of Essential Fatty Acids and Other MembraneDerived Second Messengers in Cell Signaling: A Role for the Arachidonic Acid Cascade in Fast Synaptic Modulation A. Volterra, et al. Dietary Supply of Essential Fatty Acids, Synaptogenesis, and Photoreceptor Biogenesis: Network of Signal Transduction Pathways Involving Lipids; R. Bell et al. Essential Fatty Acids, Excitable Membrane Phospholipids, and Pathophysiology: Conservation of Docosahexaenoic Acid in the Retina; R.E. Anderson, et al. Essential Fatty Acids and Excitable Membrane Phospholipids: Disposition Kinetics of Phospholipid Liposomes; P. Palatini 32 additional articles. Index.

Buch. Condizione: Neu. Neuware - Review: Taurine Deficiency and the Cat.- Taurine Synthesis in Cat and Mouse In Vivo and In Vitro.- Amino Acid Interaction with Taurine Metabolism in Cats.- The Effect of Dietary Supplementation with Cysteic Acid on the Plasma Taurine Concentration of Cats Maintained on a Taurine-Restricted Diet.- The Metabolic Basis for the Taurine Requirement of Cats.- Intestinal Taurine and the Enterohepatic Circulation of Taurocholic Acid in the Cat.- Urinary Excretion of Taurine as a Function of Taurine Intake: Potential for Estimating Taurine Bioavailability in the Adult Cat.- Dilated Cardiomyopathy Associated with Taurine Deficiency in the Domestic Cat: Relationship to Diet and Myocardial Taurine Content.- Reduction of Intrinsic Contractile Function of the Left Ventricle by Taurine Deficiency in Cats.- 'Activation' of Alveolar Leukocytes Isolated from Cats Fed Taurine-free Diets.- High Dietary Taurine and Feline Reproduction.- Taurine Distribution in the Cat Muscle: An Immunohistochemical Study.- Review: Myocardial Physiological Effects of Taurine and Their Significance.- Sarcolemmal Actions of Taurine Linked to Altered Phospholipid N-methylation.- Taurine Effects on Ionic Currents in Myocardial Cells.- Taurine Attenuates Contracture Induced by Perfusion with Low Sodium, High Calcium Medium in Chick Hearts.- Effect of Taurine on Intracellular Calcium Dynamics of Cultured Myocardial Cells During the Calcium Paradox.- Intracellular Effects of Taurine: Studies on Skinned Cardiac Preparations.- Effects of Taurine Deficiency on Arrhythmogenesis and Excitation-contraction Coupling in Cardiac Tissue.- Taurine Potentiates the Antiaggregatory Action of Aspirin and Indomethacin.- Antiarrhythmic Action of Taurine.- Mechanism Underlying Physiological Modulation of Myocardial Contraction by Taurine.- Effects of Taurine Depletion on Membrane Electrical Properties of Rat Skeletal Muscle.- Regression of Taurine Depletion in Rhesus Monkeys Deprived of Dietary Taurine Throughout the First Year.- Taurine Transport in the Mouse Cerebral Cortex During Development and Ageing.- Phospholipids, Phospholipid Methylation and Taurine Content in Synaptosomes of Developing Rat Brain.- The Effect of Taurine on the Age-related Decline of the Immune Response in Mice: the Restorative Effect on the T Cell Proliferative Response to Costimulation with Ionomycin and Phorbol Myristate Acetate.- Effects of Taurine Deficiency on Immune Function in Mice.- Review: Recent Studies on Taurine in the Central Nervous System.- Pathologies of the CNS and Associated Taurine Changes.- Taurine Receptor: Kinetic Analysis and Pharmacological Studies.- Evoked Endogenous Taurine Release from Cultured Cerebellar Neurons.- Effect of Hepes on the Uptake of Taurine by Cultured Nervous Cells.- The Trophic Role of Taurine in the Retina. A Possible Mechanism of Action.- Endogenous Regulation of the Taurine Receptor.- Localization of Taurine and Glial Fibrillary Acidic Protein in Human Optic Nerve Using Immunocytochemical Techniques.- Effects of Taurine on Protein Phosphorylation in Mammalian Tissues.- Taurine Protection of Lungs in Hamster Models of Oxidant Injury: a Morphologic Time Study of Paraquat and Bleomycin Treatment.- Taurine and Niacin Offer a Novel Therapeutic Modality in Prevention of Chemically-induced Pulmonary Fibrosis in Hamsters.- Taurine Protects Against Oxidant Injury to Rat Alveolar Pneumocytes.- The Protective Effect of Taurine on the Biomembrane Against Damage Produced by the Oxygen Radical.- Volume Regulatory Fluxes in Glial and Renal Cells.- Cell Volume Changes and Taurine Release in Cerebral Cortical Slices.- L-Glutamate-induced Swelling of Cultured Astrocytes.- Taurine and Volume Regulation in Isolated Nerve Endings.- Hyperosmolarity and Taurine Content, Uptake and Release in Astrocytes.- GABA and Taurine Serve as Respectively a Neurotransmitter and an Osmolyte in Cultured Cerebral Cortical Neurons.- Potassium-stimulated Release of Taurine in A Crude Retinal Preparation O.

Buch. Condizione: Neu. Neuware - Introduction: Atomic Physics and Nuclear Properties; J. Bauche. Atomic Methods in Nuclear Spectroscopy: Progress in Atomic Physics Experiments on Nuclear Properties; R. Neugart. Single Particle Aspects: Single Particle Response Function; S. Gales. Multiphonon States: Low-Energy Multiphonon States in Deformed Nuclei; R. Piepenbring. Shapes and Coexistence: Algebraic Approaches to Nuclear Structure; R.F. Casten. Octupoles: Reflection-Asymmetric Shapes in Atomic Nuclei; W. Nazarewicz. Superdeformation: Microscopic Description of Superdeformation at Low Spin; R. Bonche, et al. Exotic Nuclei: Search for New Radioactivities at the Proton-Drip Line; F. Pougheon, et al. Chaos: Quantum Chaos and Low-Energy Nuclear Spectroscopy; M.J. Giannoni. Experimental Techniques: Nuclear Moments by Orientation Methods; H. Postma. 35 additional articles. Index.

Buch. Condizione: Neu. Neuware - Monitoring of Gaseous Pollutants by Tunable Diode Lasers is divided into four sections: I -- Atmospheric Trace Gas Detection; II -- Diode Lasers and Their Properties, including Progress in IV-VI Physics and Optoelectronic Devices; III -- Techniques, Systems, Components; IV - Special Applications. Atmospheric trace gas detection was of central interest, and the presentations clearly demonstrate the impressive capabilities of the diode laser technique. Reports on IV-VI mid-infrared diode lasers stress those properties -- radiation noise and emission linewidth -- which are essential for application to ultra-high sensitivity pollution monitoring. Two reports on III-V systems emitting at wavelengths shorter than 3 mum show that the less severe cooling requirements can lead to more compact equipment which can be used to detect pollutants via overtone absorption bands. The presentations on IV-VI physics and devices stress the physical and technological aspects of mid-infrared diode lasers. Laterally structured diode lasers are discussed in detail. There is also extensive material which compares traditional AM and the more recent FM techniques. The reports on special applications point to new directions for research, thus rounding off a complete, expert discussion of a vital research area.

Buch. Condizione: Neu. Neuware - This volume is devoted to stochastic and chaotic oscillations in dissipative systems. Chapter 1 deals with mathematical models of deterministic, discrete and distributed dynamical systems. In Chapter 2, the two basic trends of order and chaos are considered. The next three chapters describe stochasticity transformers, amplifiers and generators, turbulence, and phase portraits of steady-state motions and their bifurcations. Chapter 6 treats the topics of stochastic and chaotic attractors, and this is followed by two chapters dealing with routes to chaos and the quantitative characteristics of stochastic and chaotic motions. Finally, Chapter 9, which comprises more than one-third of the book, presents examples of systems having chaotic and stochastic motions drawn from mechanical, physical, chemical and biological systems. The book concludes with a comprehensive bibliography. For mathematicians, physicists, chemists and biologists interested in stochastic and chaotic oscillations in dynamical systems.

Buch. Condizione: Neu. Neuware - A major focus of the philosophy of medicine and, in general, of the philosophy of science has been the interplay of facts and values. Nowhere is an evaluation of this interplay more important than in the ethics of diagnosis. Traditionally, diagnosis has been understood as an epistemological activity which is concerned with facts and excludes the intrusion of values. The essays in this volume challenge this assumption. Questions of knowledge in diagnosis are intimately related to the concerns with intervention that characterize the applied science of medicine. Broad social and individual goals, as well as diverse ethical frameworks, are shown to condition both the processes and results of diagnosis. This has significant implications for bioethics, implications that have not previously been developed. With this volume, `the ethics of diagnosis' is established as an important branch of bioethics.

Buch. Condizione: Neu. Neuware - James A. Storer Computer Science Dept. Brandeis University Waltham, MA 02254 Data compression is the process of encoding a body of data to reduce stor age requirements. With Lossless compression, data can be decompressed to be identical to the original, whereas with lossy compression, decompressed data may be an acceptable approximation (according to some fidelity criterion) to the original. For example, with digitized video, it may only be necessary that the decompressed video look as good as the original to the human eye. The two primary functions of data compression are: Storage: The capacity of a storage device can be effectively increased with data compression software or hardware that compresses a body of data on its way to the storage device and decompress it when it is retrieved. Communications: The bandwidth of a digital communication link can be effectively increased by compressing data at the sending end and decom pressing data at the receiving end. Here it can be crucial that compression and decompression can be performed in real time.

Buch. Condizione: Neu. Neuware - Probing matter with beams of photons, neutrons and electrons provides the main source of information about both the microscopic and macroscopic structure of materials. This is particularly true of media, such as crystals and liquid crystals, that have a periodic structure. This book discusses the interaction of waves (which may represent x-rays, gamma rays, electrons, or neutrons) with various kinds of ordered media. After two chapters dealing with exact and approximate solutions to the scattering problem in periodic media in general, the author discusses: the diffraction of Mößbauer radiation in magnetically ordered crystals; the optics of chiral liquid crystals; the radiation of fast particles in regular media (Cherenkov radiation); nonlinear optics of periodic media; neutron scattering in magnetically ordered media; polarization phenomena in x-ray optics; magnetic x-ray scattering; and Mößbauer filtration of synchrotron radiation.

Buch. Condizione: Neu. Neuware - This volume, which is based on the Russian edition published in 1980, presents the fundamentals of mathematical geology. New developments which have taken place in the last ten years or so have been taken into account as far as possible, and this English edition contains two completely new chapters devoted, respectively, to random diffusion processes and a survey of future geological problems. The book has eight chapters. Chapter I deals with the basic question `What is mathematical geology ' Chapter II considers the concept of probability. Chapter III relates this fundamental tool to geological problems with the help of specific examples. Chapters IV-VI cover the theory of random sequence and concentrates on the form which is the most useful to geologists. Chapter VII is dedicated to continuous Markov processes which occur frequently in geological phenomena. The volume concludes with an overview of ideas which have been generated by mathematical geology and which pave the way for the further development of the subject. Many examples are included throughout the text and the volume has a comprehensive subject index.

Buch. Condizione: Neu. Neuware - This volume is presented as a companion study to my translation of Galileo's MS 27, Galileo's Logical Treatises, which contains Galileo's appropriated questions on Aristotle's Posterior Analytics - a work only recently transcribed from the Latin autograph. Its purpose is to acquaint an English-reading audience with the teaching in those treatises. This is basically a sixteenth-century logic of discovery and of proof about which little is known in the present day, yet one that arguably guided the most significant research program of the seventeenth century. Despite its historical and systematic importance, the teaching is difficult to explain to the modern reader. Part of the problem stems from the fragmentary nature of the manuscript in which it is preserved, part from the contents of the teaching itself, which requires a considerable propadeutic for its comprehension. A word of explanation is thus required to set out the structure of the volume and to detail the editorial decisions that underlie its organization. Two major manuscript studies have advanced the cause of scholarship on Galileo within the past two decades. The first relates to Galileo's experimental activity at Padua prior to his discoveries with the telescope that led to the publication of his Sidereus nuncius in 1610. Much of this activity has been uncovered by Stillman Drake in analyses of manuscript fragments associated with the composition of Galileo's Two New Sciences, fragments now bound in a codex identified as MS 72 in the collection of Galileiana at the Biblioteca Nazionale Centrale in Florence.

Buch. Condizione: Neu. Neuware - In 1984, a conference called Wildlife 2000: Modeling habitat relationships of terrestrial vertebrates, was held at Stanford Sierra Camp at Fallen Leaf Lake in the Sierra Nevada Mountains of California. The conference was well-received, and the published volume (Verner, J. , M. L. Morrison, and C. J. Ralph, editors. 1986. Wildlife 2000: modeling habitat relationships of terrestrial vertebrates, University of Wisconsin Press, Madison, Wisconsin, USA) proved to be a landmark publication that received a book award by The Wildlife Society. Wildlife 2001: populations was a followup conference with emphasis on the other major biological field of wildlife conservation and management, populations. It was held on July 29-31, 1991, at the Oakland Airport Hilton Hotel in Oakland, California, in accordance with our intent that this conference have a much stronger international representation than did Wildlife 2000. The goal of the conference was to bring together an international group of specialists to address the state of the art in wildlife population dynamics, and set the agenda for future research and management on the threshold of the 21st century. The mix of specialists included workers in theoretical, as well as practical, aspects of wildlife conservation and management. Three general sessions covered methods, modelling, and conservation of threatened species.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Much of AI research is about problem-solving strategies, andseveral techniques have been crystalized. One such techniqueis constraint satisfaction or reasoning based on relations.Constraint-based reasoning is used to solve a wide field ofproblems, and recently constraint techniques have beenincorporated into logic programming languages, yielding awhole new field of research and application: constraintlogic programming. Constraint satisfaction techniques havebecome part of almost all introductory books on AI.This monograph is about constraint satisfaction. It differsfrom others in that it presents all approaches under acommon, generalizing view: dynamic constraints. This new wayof viewing constraints provides new insights about thedifferent approaches, and forms a very practical basis forteaching constraint-based reasoning. A uniform view of theconstraint world is also a good basis for constraintresearch. This text is not intended to be a self-containedtextbook on constraint-based reasoning, but rather acoherent text on an interesting view of the field. 136 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume (a sequel to LNM 1108, 1214, 1334 and 1453)continues the presentation to English speaking readers ofthe Voronezh University press series on Global Analysis andIts Applications. The papers are selected fromtwo Russianissues entitled 'Algebraic questions of Analysis andTopology' and 'Nonlinear Operators in Global Analysis'.CONTENTS: YuE. Gliklikh: Stochastic analysis, groups ofdiffeomorphisms and Lagrangian description of viscousincompressible fluid.- A.Ya. Helemskii: From topologicalhomology: algebras with different properties of homologicaltriviality.- V.V. Lychagin, L.V. Zil'bergleit: Duality instable Spencer cohomologies.- O.R. Musin: On some problemsof computational geometry and topology.- V.E. Nazaikinskii,B.Yu. Sternin, V.E.Shatalov: Introduction to Maslov'soperational method (non-commutative analysis anddifferential equations).- Yu.B. Rudyak: The problem ofrealization of homology classes from Poincare up to thepresent.- V.G. Zvyagin, N.M. Ratiner: Oriented degree ofFredholm maps of non-negativeindex and its applications toglobal bifurcation of solutions.- A.A. Bolibruch: Fuchsiansystems with reducible monodromy and the Riemann-Hilbertproblem.- I.V. Bronstein, A.Ya. Kopanskii: Finitely smoothnormal forms of vector fields in the vicinity of a restpoint.- B.D. Gel'man: Generalized degree of multi-valuedmappings.- G.N. Khimshiashvili: On Fredholmian aspects oflinear transmission problems.- A.S. Mishchenko: Stationarysolutions of nonlinear stochastic equations.- B.Yu. Sternin,V.E. Shatalov: Continuation of solutions to ellipticequations and localisation of singularities.- V.G. Zvyagin,V.T. Dmitrienko: Properness of nonlinear ellipticdifferential operators in H|lder spaces. 300 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book deals with an important topic in distributed AI:the coordination of autonomous agents' activities. Itprovides a framework for modelling agents with planning andcommunicative competence.Important issues in the book are:- How to recognize and reconcile conflicting intentionsamong a collection of agents.- How to recognize and take advantage of favorableinteractions.- How to enable individual agents to represent and reasonabout the actions, plans, and knowledge of other agents inorder to coordinate with them.- When to call a set of plans coordinated and whatoperations are possible to transform uncoordinated plansinto coordinated ones.- How to enable agents to communicate and interact: whatcommunication languages or protocols to use, and what andwhen to communicate.The book is clearly written with many examples andbackground material. 264 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The main aims of the series of volumes 'Advances in PetriNets' are:- to present to the 'outside' scientific community a fairpicture of recent advances in the area of Petri nets, and- to encourage those interested in the applications andtheory of concurrent systems to take a closer look at Petrinets and then join the group of researchers working in thisfascinating and challenging area.The ESPRIT Basic Research Action DEMON (DEsign Methodsbased On Nets) has been a focus of developments withinthePetri net community for the last three years. The paperspresented in this special volume have been selected frompapers submitted by participants in DEMON. The papers havebeen refereed and appear in revised form. The volumecontains technical contributions giving insights into anumber of major achievements of the DEMON project. It alsocontains four survey papers covering important researchareas. The volume begins witha description of DEMON givenby its coordinator E. Best. 484 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The ECOOP '91 Workshop on Object-Based Concurrent Computingwas organized toprovide a forum on concurrent, distributedand open-ended computing. The emphasis was on conceptual,theoretical and formal aspects, as well as practical aspectsand sound experience, since such a viewpoint was deemedindispensible to investigate and establish a basis forfuture development.This volume contains 12 papers selected from 25 presented atthe workshop, together with a paper by J.A. Goguen, who wasan invited speaker at the workshop. The papers areclassified into four categories:Formal methods (1): three papers are concerned with theformal semantics of concurrent objects based on processcalculi.Formal methods (2): four papers are concerned with variousformal approaches to the semantics of concurrent programs.Concurrent programming: three papers.Models: three papers areconcerned with models forconcurrent systems. 280 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -One way to advance the science of computational geometry isto make a comprehensive study of fundamental operations thatare used in many different algorithms. This monographattempts such an investigation in the case of two basicpredicates: the counterclockwise relation pqr, which statesthat the circle through points (p, q, r) is traversedcounterclockwise when we encounter the points in cyclicorder p, q, r, p,.; and the incircle relation pqrs, whichstates that s lies inside that circle if pqr is true, oroutside that circle if pqr is false. The author, DonaldKnuth, is one of the greatest computer scientists of ourtime. A few years ago, he and some of his students werelooking at amap that pinpointed the locations of about 100cities. They asked, 'Which ofthese cities are neighbors ofeach other ' They knew intuitively that some pairs of citieswere neighbors and some were not; they wanted to find aformal mathematical characterization that would match theirintuition.This monograph is the result. 124 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These Notes grew from my research in evolutionary biology, specifically on the theory of evolutionarily stable strategies (ESS theory), over the past ten years. Personally, evolutionary game theory has given me the opportunity to transfer my enthusiasm for abstract mathematics to more practical pursuits. I was fortunate to have entered this field in its infancy when many biologists recognized its potential but were not prepared to grant it general acceptance. This is no longer the case. ESS theory is now a rapidly expanding (in both applied and theoretical directions) force that no evolutionary biologist can afford to ignore. Perhaps, to continue the life-cycle metaphor, ESS theory is now in its late adolescence and displays much of the optimism and exuberance of this exciting age. There are dangers in writing a text about a theory at this stage of development. A comprehensive treatment would involve too many loose ends for the reader to appreciate the central message. On the other hand, the current central message may soon become obsolete as the theory matures. Although the restricted topics I have chosen for this text reflect my own research bias, I am confident they will remain the theoretical basis of ESS theory. Indeed, I feel the adult maturity of ESS theory is close at hand and I hope the text will play an important role in this achievement. 140 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book arises out of a symposium on forest and woodland terrestrial ecosystems which was held in Florence on 20-24th May 1991. It was organised jointly by the Commission of the European Communities (CEC) and the European Science Foundation (ESF) in association with the Italian Research Council (CNR). The symposium brQughUogether most -Of the internationally recognized groups working on forest ecosystems including biologists, botanists, ecologists, soil scientists, modellers, foresters and policy makers. All the CEC countries were represented. In addition, there was a broad audience from Eastern and Central Europe and from EFfA countries. Outstanding experts from outside Europe (US, Australia, Canada, Japan, China, etc.) were also present. In total, the symposium was attended by more than 500 participants. The structure of this book reflects the main elements of the meeting. As such it includes three main sections. The first consists of six major state-of-the-art reviews corresponding to the six plenary sessions, each followed by a discussion which has been summarized by rapporteurs. The reviews were prepared to assess critically the state of current knowledge in ecosystem research and to provide a scientific basis both for policy decisions and for further research. 1048 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 1992 Parallel Architectures and Languages Europeconference continues the tradition - of a wide and representative international meeting of specialists from academia and industry in theory, design, and application of parallel computer systems - set by the previous PARLE conferences held in Eindhoven in 1987, 1989, and 1991. This volume contains the 52 regular and 25 poster papers that were selected from 187 submitted papers for presentation and publication. In addition, five invited lectures areincluded. The regular papers are organized into sections on: implementation of parallel programs, graph theory, architecture, optimal algorithms, graph theory and performance, parallel software components, data base optimization and modeling, data parallelism, formal methods, systolic approach, functional programming, fine grain parallelism, Prolog, data flow systems, network efficiency, parallel algorithms, cache systems, implementation of parallel languages, parallel scheduling in data base systems, semantic models, parallel data base machines, and language semantics. 1008 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the papers selected for the SymposiumLogic at Tver '92, held at Sokol, near Tver, Russia in July1992. It is the second in a series of international symposiaon logical foundations of computer science held in Russia.The meeting is a joint effort of scholars from both theformer Soviet Union and the West, and indicates a new era ofinternational cooperation. Sponsors of the meeting include:the Association for Computing Machinery, the Association forSymbolic Logic, andthe Committee on MathematicalFoundations of Computer Science of IEEE.The book is a unique source of information on the state ofcomputer science research in the former Soviet Union andpresents important discoveries in the area of logicalfoundations of computer science. 528 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -European Accountancy Yearbook is the first annual reference work to focus on the emerging Pan-European accounting scene. Following numerous international mergers and syndicate formations large accountancy firms are competing to provide services to international corporations and businesses with cross-border trade. The Yearbook provides a one-stop reference source allowing financial directors of these companies to find out which accountancy firms are providing what services and where. It will also provide great assistance to other accountancy and financial services organisations to evaluate the state of the fast growing European market, and to assess competitors or possible partners. The Yearbook includes profiles of all the major firms showing the international coverage, their services offered, fee income, partners, branch offices, etc. In addition the Yearbook includes invaluable reference data such as country by country accountancy scene overview, corporate tax rates, E.C. directives, etc. 384 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Shape and layout optimization represent some of the most useful but also most difficult classes of problems in structural design, which have been investigated in detail only during the last few years. Shape optimization is concerned with the optimal shape of boundaries of continua or of interfaces between two materials in composites. Layout optimization deals with the simultaneous optimization of the topology, geometry and cross-sectional sizes of structural systems. In spite of its complextiy, layout optimization is a very rewarding task, because it results in much greater savings than the optimization of cross-sectional sizes only. Because of their important role in shape and layout optimization, the book also covers in detail new optimality criteria methods, which are capable of handling many thousand design variables and active design contraints. Shape and layout optimization is becoming an indispensable tool in the design of aeroplanes, space structures, cars, ships, building and civil engineering structures, power stations, chemical plants, artificial organs, sporting equipment, and all other solid systems where stresses and deformations play an important role. 504 pp. Englisch.