Springer mär 1994 (155 risultati)

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the European Conference on Machine Learning 1994, which continues the tradition of earlier meetings and which is a major forum for the presentation of the latest and most significant results in machine learning.Machine learning is one of the most important subfields of artificial intelligence and computer science, as it is concerned with the automation of learning processes.This volume contains two invited papers, 19 regular papers, and 25 short papers carefully reviewed and selected from in total 88 submissions.The papers describe techniques, algorithms, implementations, and experiments in the area of machine learning.…

Taschenbuch. Condizione: Neu. Neuware - This volume contains the proceedings of the European Conference on Machine Learning 1994, which continues the tradition of earlier meetings and which is a major forum for the presentation of the latest and most significant results in machine learning. Machine learning is one of the most important subfields of artificial intelligence and computer science, as it is concerned with the automation of learning processes. This volume contains two invited papers, 19 regular papers, and 25 short papers carefully reviewed and selected from in total 88 submissions. The papers describe techniques, algorithms, implementations, and experiments in the area of machine learning.…

Taschenbuch. Condizione: Neu. Neuware - All the gamuts pertaining to the heart and great vessels have been excerpted from Reeder and Felson's Gamuts in Radiology, the world's best known, most trusted, and most comprehensive guide to radiologic differential diagnosis. The gamuts have been reorganized and renumbered for ease of use. This book is especially useful for residents in cardiology.…

Buch. Condizione: Neu. Neuware - The objective of this book is to bring together contributions by eminent researchers from industry and academia who specialize in the currently separate study and application of the key aspects of integration. The state of knowledge on integration and collaboration models and methods is reviewed, followed by an agenda for needed research that has been generated by the participants. The book is the result of a NATO Advanced Research Workshop on 'Integration: Information and Collaboration Models' that took place at II Ciocco, Italy, during June 1993. Significant developments and research projects have been occurring internationally in a major effort to integrate increasingly complex systems. On one hand, advancements in computer technology and computing theories provide better, more timely, information. On of users and clients, and the the other hand, the geographic and organizational distribution proliferation of computers and communication, lead to an explosion of information and to the demand for integration. Two important examples of interest are computer integrated manufacturing and enterprises (CIM/E) and concurrent engineering (CE). CIM/E is the collection of computer technologies such as CNC, CAD, CAM. robotics and computer integrated engineering that integrate all the enterprise activities for competitiveness and timely response to changes. Concurrent engineering is the complete life-cycle approach to engineering of products. systems. and processes including customer requirements, design. planning. costing. service and recycling. In CIM/E and in CE, computer based information is the key to integration.…

Buch. Condizione: Neu. Neuware - Plaass's treatise stood at the beginning of a renewed wave of scholarship regarding Kant's Metaphysical Foundations of Natural Science (MF). Plaass argues that the MF represents an integral step in Kant's development between the two editions of the Critique of Pure Reason. The MF repeats the `Copernican turn', using the conditions of subjectivity to derive the metaphysical determinations of `matter' as the object of natural science with the new method called `metaphysical construction', which simultaneously grounds the mathematizability of physics. The translators provide background and analysis of Plaass's work, extend it to include the body of the MF and offer a variation on the analysis of the relationship between mathematics and metaphysics in the MF. They discuss its relevance for contemporary paradigm-dependency approaches to the philosophy of science and for philosophical hermeneutics. The book will be of interest to Kant specialists as well as to students of the philosophy of science in general.…

Buch. Condizione: Neu. Neuware - Dynamical Symmetry Breaking and the Onset of Chaos in the Interacting Boson Model of Nuclei; Y. Alhassid. Generating the Spectrum of Nonlinear Hamiltonians; L.Ya. Baranov, R.D. Levine. Dynamical Symmetry and String Theory; I. Bars. U(7) Spectrum Generating Algebra for Rotations and Vibrations in Triatomic Molecules; R. Bijker, et al. Algebraic Treatment of Collective Excitations in Baryon Spectroscopy; R. Bijker, A. Leviatan. Can Iachello's Idea of a Spectral Supersymmetry be Extended into the Relativistic Domain; A. Bohm, L.C. Biedenharn. Low Lying Electric Dipole Excitations and the Interacting Boson Model; P. von Brentano, et al. Effective Charges, the Valence pn Interaction, and the IBM; R.F. Casten, A. Wolf. Dynamical Symmetries in Superdeformed Nuclei; J.A. Cizewski. Dynamical Algebras and Syperalgebras for Interacting Itinerant Many-Electron Systems; A. Danani, M. Rasetti. Number and Isospin Dependence of the IBM3 Hamiltonian; J.P. Elliott, et al. 43 additional articles. Index.…

Buch. Condizione: Neu. Neuware - Editorial. 1. The in vitro Environment: Light. Nutrients. Water. Gas. 2. Applications: Morphogenesis and Regeneration. Rooting and Acclimatization. Rejuvenation. Contamination and Contaminants. Conclusions. Index.

Buch. Condizione: Neu. Neuware - The International Congresses of Logic, Methodology and Philosophy of Science, which are held every fourth year, give a cross-section of ongoing research in logic and philosophy of science. Both the invited lectures and the many contributed papers are conductive to this end. At the 9th Congress held in Uppsala in 1991 there were 54 invited lectures and around 650 contributed papers divided into 15 different sections. Some of the speakers who presented contributed papers that attracted special interest were invited to submit their papers for publication, and the result is the present volume. A few papers appear here more or less as they were presented at the Congress whereas others are expansions or elaborations of the talks given at the Congress. A selection of this kind, containing 38 papers drawn from the 650 contributed papers presented at the Uppsala Congress, cannot do justice to all facets of the field as it appeared at the Congress. But it should allow the reader to get a representative survey of contemporary research in large areas of philosophical logic and philosophy of science. About half of the papers of the volume appear in sections listed at the Congress under the heading Philosophical and Foundational Problems about the Sciences. The section Foundations of Logic, Mathematics and Computer Science is represented by three papers, Foundations of Physical Sciences by six papers, Foundations of Biological Sciences by three papers, Foundations of Cognitive Science and AI by one paper, and Foundations of Linguistics by three papers.…

Buch. Condizione: Neu. Neuware - 1 Fault Detection and Diagnosis Methods in the Absence of Process Model.- 2 Analytical Redundancy Methods.- 3 Parameter Estimation Methods for Fault Aionitoring.- 4 Autodiatic Expert Process Fault Diagnosis and Supervision.- 5 Fault Diagnosis Using Artificial Neural Networks (ANNs).- 6 In-Time Failure Prognosis and Fatigue Life Prediction of Structures.- Author index.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the European Conference on Machine Learning 1994, which continues the tradition of earlier meetings and which is a major forum for the presentation of the latest and most significant results in machine learning. Machine learning is one of the most important subfields of artificial intelligence and computer science, as it is concerned with the automation of learning processes. This volume contains two invited papers, 19 regular papers, and 25 short papers carefully reviewed and selected from in total 88 submissions. The papers describe techniques, algorithms, implementations, and experiments in the area of machine learning. 460 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The yearbook compiles the most recent, widespread developments of experimental and clinical research and practice in one comprehensive reference book. It is an excellent source for all clinical physicians. 868 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is the proceedings of a workshop held at Heriot-Watt University in Edinburgh in August 1993. The central theme of the workshop was rules in database systems, and the papers presented covered a range of different aspects of database rule systems. These aspects are reflected in the sessions of the workshop, which are the same as the sections in this proceedings: Active Databases Architectures Incorporating Temporal Rules Rules and Transactions Analysis and Debugging of Active Rules Integrating Graphs/Objects with Deduction Integrating Deductive and Active Rules Integrity Constraints Deductive Databases The incorporation of rules into database systems is an important area of research, as it is a major component in the integration of behavioural information with the structural data with which commercial databases have traditionally been associated. This integration of the behavioural aspects of an application with the data to which it applies in database systems leads to more straightforward application development and more efficient processing of data. Many novel applications seem to need database systems in which structural and behavioural information are fully integrated. Rules are only one means of expressing behavioural information, but it is clear that different types of rule can be used to capture directly different properties of an application which are cumbersome to support using conventional database architectures. In recent years there has been a surge of research activity focusing upon active database systems, and this volume opens with a collection of papers devoted specifically to this topic. 436 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition. 412 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the European Conference on Machine Learning 1994, which continues the tradition of earlier meetings and which is a major forum for the presentation of the latest and most significant results in machine learning. Machine learning is one of the most important subfields of artificial intelligence and computer science, as it is concerned with the automation of learning processes. This volume contains two invited papers, 19 regular papers, and 25 short papers carefully reviewed and selected from in total 88 submissions. The papers describe techniques, algorithms, implementations, and experiments in the area of machine learning. 460 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements on languages and target architectures. It also includes language design and programming environment issues which are related to language translation. There is an emphasis on practical and efficient techniques. This volume contains the papers selected for presentation at CC '94, the fifth International Conference on Compiler Construction, held in Edinburgh, U.K., in April 1994. 472 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Positive-strand RNA viruses include the majority of the plant viruses, a number of insect viruses, and animal viruses, such as coronaviruses, togaviruses, flaviviruses, poliovirus, hepatitis C, and rhinoviruses. Works from more than 50 leading laboratories represent latest research on strategies for the control of virus diseases: molecular aspects of pathogenesis and virulence; genome replication and transcription; RNA recombination; RNA-protein interactions and host-virus interactions; protein expression and virion maturation; RNA replication; virus receptors; and virus structure and assembly. Highlights include analysis of the picornavirus IRES element, evidence for long term persistence of viral RNA in host cells, acquisition of new genes from the host and other viruses via copy-choice recombination, identification of molecular targets and use of structural and molecular biological studies for development of novel antiviral agents. 572 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The fourth international conference on Extending Data BaseTechnology was held in Cambridge, UK, in March 1994. Thebiannual EDBT has established itself as the premier Europeandatabase conference. It provides an international forum forthe presentation of new extensions to database technologythrough research, development, and application. This volumecontains the scientific papers of the conference. Followinginvited papers by C.M. Stone and A. Herbert, it contains 31papers grouped into sections on object views, intelligentuser interface, distributed information servers, transactionmanagement, information systems design and evolution,semantics of extended data models,accessing new media, joinalgorithms, query optimization, and multimedia databases. 424 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), and under the auspices of the British Computer Society'S specialist group in Formal Aspects of Computing Science (BCS FACS). The concern of the workshop was the semantics of specification languages, and the issues closely related to this area, such as type checking and the justification of proof rules and proof obligations. Its aim was the exchange of problems and ideas in this field of formal methods, and the identification of common programs of work for further investigation. The program of SoSL consisted of 3 invited lectures presenting the developments of the semantics of 3 major specification languages. Furthermore, there were 16 presentations of submitted papers. This volume provides a direct account of the workshop. It contains 3 papers that match the invited lectures and the 16 selected papers. The editors want to thank all those who have contributed to the workshop; the Program Committee and the referees for selecting the contributed papers, the invited speakers for their interesting talks, the Organizing Committee for all their efforts, and of course the participants. We have the feeling that the workshop was worthwhile and should be repeated. 368 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The articles in Issue 4 of JOURNAL OF INHERITED METABOLIC DISEASE, Volume 16 (1993) contain the main lectures presented at the 30th Annual Symposium of the Society for the Study of Inborn Errors of Metabolism (SSIEM), Leuven, Belgium, 1992, which was dedicated to `Inherited Metabolic Diseases and the Brain'. Topics discussed included: Inborn errors and brain fluids, neurotransmitter disorders, inborn errors and demyelination, and recent developments. Participants from many countries provided a state-of-the-art review which will be of interest to clinicians and research workers alike in many different disciplines. 204 pp. Englisch.…

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

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is an introduction to main methods and principalresults in the theory of Co(remark: o is upperindex!!)-small perturbations of dynamical systems. It is thefirst comprehensive treatment of this topic. In particularCo(upper index!)-generic properties of dynamical systemstopological stability, perturbations of attractors, limitsets of domains are discussed. The book contains some newresults (Lipschitz shadowing of pseudotrajectories instructurally stable diffeomorphisms for instance). The aimof the author was to simplify and to 'visualize' some basicproofs, so the main part of the book is accessible tograduate students in pure and applied mathematics. The bookwill also be a basic reference for researchers in variousfields of dynamical systems and their applicationsespecially for those who study attractors orpseudotrajectories generated by numerical methods.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 204 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book deals with the theory of one- and two-parameter martingale Hardy spaces and their use in Fourier analysis, and gives a summary of the latest results in this field. A method that can be applied for both one- and two-parameter cases, the so-called atomic decomposition method, is improved and provides a new and common construction of the theory of one- and two-parameter martingale Hardy spaces. A new proof of Carleson's convergence result using martingale methods for Fourier series is given with martingale methods. The book is accessible to readers familiar with the fundamentals of probability theory and analysis. It is intended for researchers and graduate students interested in martingale theory, Fourier analysis and in the relation between them.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 232 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents an operator-theoretic approach to ill-posed evolution equations. It presents the basic theory, and the more surprising examples, of generalizations of strongly continuous semigroups known as 'existent families' and 'regularized semigroups'. These families of operators may be used either to produce all initial data for which a solution in the original space exists, or to construct a maximal subspace on which the problem is well-posed. Regularized semigroups are also used to construct functional, or operational, calculi for unbounded operators. The book takes an intuitive and constructive approach by emphasizing the interaction between functional calculus constructions and evolution equations. One thinks of a semigroup generated by A as etA and thinks of a regularized semigroup generated by A as etA g(A), producing solutions of the abstract Cauchy problem for initial data in the image of g(A). Material that is scattered throughout numerous papers is brought together and presented in a fresh, organized way, together with a great deal of new material.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 260 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Jay Forrester's Economic Dynamics was published in 1971 and The Limits to Growth by Dennis Meadows and his associates appeared a year later. The publication of those two books gave rise to twenty years of intense research into the economics of exhaustible resources, research which everywhere has had a substantial impact both on public debate and on academic curricula. And now, just as that line of research is losing steam, economists are focussing on problems associated with the degradation of the natural environment, problems which call for models which, in their formal structure, are quite similar to those already developed in resource economics. This is therefore an appropriate moment for the appearance of a thorough exposition of the economics of exhaustible resources. For that is what Nguyen Manh Hung and Nguyen Van Quyen have provided. Their splendid new book covers equally well the older Hotelling-inspired theory of cake-eating and the economics of search and R&D designed to uncover new and cheaper sources of supply. It provides an entree to the whole subject of resource economics, as well as many new discoveries which will be of interest to experienced researchers.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 212 pp. Englisch.…

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

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The yearbook compiles the most recent, widespread developments of experimental and clinical research and practice in one comprehensive reference book. It is an excellent source for all clinical physicians.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 868 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Positive-strand RNA viruses include the majority of the plant viruses, a number of insect viruses, and animal viruses, such as coronaviruses, togaviruses, flaviviruses, poliovirus, hepatitis C, and rhinoviruses. Works from more than 50 leading laboratories represent latest research on strategies for the control of virus diseases: molecular aspects of pathogenesis and virulence; genome replication and transcription; RNA recombination; RNA-protein interactions and host-virus interactions; protein expression and virion maturation; RNA replication; virus receptors; and virus structure and assembly. Highlights include analysis of the picornavirus IRES element, evidence for long term persistence of viral RNA in host cells, acquisition of new genes from the host and other viruses via copy-choice recombination, identification of molecular targets and use of structural and molecular biological studies for development of novel antiviral agents.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 572 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition.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 -In this book we study Hilbert schemes of zero-dimensional subschemes of smooth varieties and several related parameter varieties of interest in enumerative geometry. The main aim here is to describe their cohomology and Chow rings. Some enumerative applications are also given. The Weil conjectures are used to compute the Betti numbers of many of the varieties considered, thus also illustrating how this powerful tool can be applied. The book is essentially self-contained, assuming only a basic knowledge of algebraic geometry; it is intended both for graduate students and research mathematicians interested in Hilbert schemes, enumertive geometry and moduli spaces.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 212 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), and under the auspices of the British Computer Society'S specialist group in Formal Aspects of Computing Science (BCS FACS). The concern of the workshop was the semantics of specification languages, and the issues closely related to this area, such as type checking and the justification of proof rules and proof obligations. Its aim was the exchange of problems and ideas in this field of formal methods, and the identification of common programs of work for further investigation. The program of SoSL consisted of 3 invited lectures presenting the developments of the semantics of 3 major specification languages. Furthermore, there were 16 presentations of submitted papers. This volume provides a direct account of the workshop. It contains 3 papers that match the invited lectures and the 16 selected papers. The editors want to thank all those who have contributed to the workshop; the Program Committee and the referees for selecting the contributed papers, the invited speakers for their interesting talks, the Organizing Committee for all their efforts, and of course the participants. We have the feeling that the workshop was worthwhile and should be repeated.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 368 pp. Englisch.…