springer berlin heidelberg jun 1993 (72 risultati)

Taschenbuch. Condizione: Neu. Neuware -The book content corresponds to a course of the International Summer School of Theoretical Geodesy held every 4 years under the sponsorship of the International Association of Geodesy. This particular course, that was given at the International Centre for Theoretical Physics in Trieste, has been dedicated to the theory of satellite altimetry as a response to the increasing need of scientific work in this field due to important recent and forthcoming space mission. The course was conceived to supply a good theoretical basis in both disciplines, i.e. geodesy and oceanography, which are deeply involved in the analysis and in the use of the altimetric signal. The main items of interest are the physical theory of ocean circulation, the theory of tides and the ocean time-variability, from the point of view of oceanography and the orbit theory, with particular regard to the formation of the radial orbital error, the so-called cross over adjustment, the analysis of geodetic boundary value problems, the integrated determination of the gravity field and of the radial orbital error, from the point of view of geodesy. All these arguments are treated from the foundation by very-well experts of the various fields, to introduce the reader into the more difficult subjects on which advanced research is currently performed. The peculiarity of the book is in its interdisciplinarity as it can serve to both communities of oceanographers and geodesists to get acquainted with advanced aspects one of the other.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The classical theory of natural selection, as developed by Fisher, Haldane, and 'Wright, and their followers, is in a sense a statistical theory. By and large the classical theory assumes that the underlying environment in which evolution transpires is both constant and stable - the theory is in this sense deterministic. In reality, on the other hand, nature is almost always changing and unstable. We do not yet possess a complete theory of natural selection in stochastic environ ments. Perhaps it has been thought that such a theory is unimportant, or that it would be too difficult. Our own view is that the time is now ripe for the development of a probabilistic theory of natural selection. The present volume is an attempt to provide an elementary introduction to this probabilistic theory. Each author was asked to con tribute a simple, basic introduction to his or her specialty, including lively discussions and speculation. We hope that the book contributes further to the understanding of the roles of 'Chance and Necessity' (Monod 1971) as integrated components of adaptation in nature.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Buch. Condizione: Neu. Neuware -Bionics evolved in the 1960s as a framework to pursue thedevelopment of artificial systems based on the study ofbiological systems. Numerous disciplines and technologiesincluding artificial intelligence and learningdevicesinformation processing, systems architecture and controlperception, sensory mechanisms, and bioenergeticscontributed to bionics research.This volume is based on a NATO Advanced Research Workshopwithin the Special Programme on Sensory Systems for RoboticControl, held in Il Ciocco, Italy, in June 1989. A consensusemerged at the workshop, and is reflected in the book, onthe value of learning from nature in order to deriveguidelines for the design of intelligent machines whichoperate in unstructured environments.The papers in the book are grouped into seven chapters:vision and dynamic systems, hands and tactile perceptionlocomotion, intelligent motor control, design technologiesinterfacing robots to nervous systems, and robot societiesand self-organization. 808 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Es werden technische, organisatorische, sozialwissenschaftliche und philosophisch-ethische Fragen zu den Randbedingungen behandelt, unter denen Technik gestaltet wird.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die Arbeitstagung 'Die Fraktale Fabrik' zeigt auf, wie Industrielle lelstungsersteJlung künftig In Fabriken erfolgen kann, die aus selbständig agierenden Einheiten beste hen, welche sich selbst optimieren und nach einheitlichen Zielen ausgerichtet sind. Zum Verständnis sind grundlegend neue Gedanken und Denkstrukturen zu ent wickeln. Zentrale Bestandteile dieser Gedankenwelt bilden deshalb den Rahmen der IPA-Arbeltstagung. Der Schwerpunkt der Beiträge liegt jedoch auf der Beschreibung und Veranschaulichung von Methoden, die es gestatten, die derzeit praktizierten Strukturen in 'Fraktale Fabriken' umzuwandeln. Bei der Gestaltung von Methoden fOr die 'Fraktale Fabrik' ist stets darauf zu achten, daß leistungsvoJlzüge im Industrie betrieb ganzheitlich betrachtet werden und in ihrer Gesamtheit erhalten bleiben. Die Tagung wendet sich an Führungskräfte der oberen und mittleren Ebene sowie an alle Mitarbeiter, die dieses neue Denken aktiv umsetzen zur Schaffung innovativer und wettbewerbsfähiger Unternehmen. Die Erfahrungen zeigen, daß der Wandel von oben her beginnen muß. Es sind zu nächst die kulturellen Voraussetzungen zu schaffen, die in anderen Formen der Zu sammenarbeit, des Selbstverständnisses und der eigenen Einordung münden. Erst daraus werden Vorgaben für Teamstrukturen und übergreifend einsetzbare Instru mente abgeleitet Ein immerwährender Planungs-und Verbesserungsprozeß führt eine ganzheitliche Abstimmung herbei. Ziel-und Teilzielvorgaben bilden Maßstäbe fOr Agilität und Vitalität und gewährleisten einen Entwicklungsprozeß, der die Zukunft Ihres Betriebes sicherstellt und Wachstumschancen ausschöpft.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Objektorientierte Informationssysteme sind nicht mehr nurZukunftsmusik,sie werden heute bereits tOrernsthafte industrielle Anwendungen eingesetzt. Als Vorteile ergeben sich kOrzere Entwicklungszeiten fOr Anwendungen, bessere Antwortzeiten, benut zergerechtere Modeliierung komplexer Datenzusammenhänge und vereinfachte Wartung. Das Ergebnis ist eine deutliche Effizienzsteigerung. Besonders fOr anspruchsvolle Anwendungen in Bereichen wie CIM, CAD/CAM, Bild verarbeitung, Multimedia, Software Engineering und Wissenspräsentation ist die hohe Ausdrucksfähigkeit des objektorientierten Modells von entscheidender Bedeu tung. Nach objektorientierten Programmiersprachen und Benutzeroberflächen erobern derzeit die Datenbanksysteme diese zukunftsträchtige Technologie. Objektorientierte Datenbanken als KernstOck objektorientierter Informationssysteme sind die Systeme der kommenden Jahre: Sie sind anwenderfreundlich, flexibel, mächtig in der Mode IIie rung, und in der Performance können sie relationsie Systeme um Größenordnungen 0 bartreffen. Im Forum werden die in objektorientierten Anwendungssystemen implementierten theoretischen Ansätze sowie die daraus gewonnenen praktischen Erfahrungen auf gezeigt und diskutiert. Der Schwerpunkt liegt dabei auf der praktischen Anwendung der Konzepte und wird durch die VorfOhrung kommerzieller Produkte sowie am IAO entwickelter Prototypen veranschaulicht. Das Forum wendet sich an ¿ Geschäftsfahrer und Organisationsleiter ¿ Leiter und Mitarbeiter aus den Bereichen Entwicklung, Konstruktion, Fertigung und EDV.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Deutsch.

Buch. Condizione: Neu. Neuware -Das vorliegende Werk enth{lt wichtiges Quellenmaterial zurGeschichte der Elementarteilchen- und Quantenfeldtheorie ausden 40er Jahren. Die Briefe sind chronologisch eingeordnetund kommentiert. Umfangreiche Verzeichnisse erleichtern denZugang zu dem reichhaltigen Informationsmaterial, das dieSch|pfer dieser Disziplin w{hrend ihrer Entstehungsperiodemiteinander austauschten. F}r jeden, der sich ernsthaft mitder Geschichte der modernen Physik auseinandersetzen willeine unumg{ngliches Standardwerk. 1140 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -CONTENTS: D.D. Dawson: Measure-valued Markov Processes.-B. Maisonneuve: Processus de Markov: Naissance,Retournement, Regeneration.- J. Spencer: Nine lectures onRandom Graphs 368 pp. Englisch, Französisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents in a unified way the mathematical theory of well-posedness in optimization. The basic concepts of well-posedness and the links among them are studied, in particular Hadamard and Tykhonov well-posedness. Abstract optimization problems as well as applications to optimal control, calculus of variations and mathematical programming are considered. Both the pure and applied side of these topics are presented. The main subject is often introduced by heuristics, particular cases and examples. Complete proofs are provided. The expected knowledge of the reader does not extend beyond textbook (real and functional) analysis, some topology and differential equations and basic optimization. References are provided for more advanced topics. The book is addressed to mathematicians interested in optimization and related topics, and also to engineers, control theorists, economists and applied scientists who can find here a mathematical justification of practical procedures they encounter. 436 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Third International Symposium on Large Spatial Databases(SSD '93) was held at the National University of Singaporein June 1993. The previous meetings of the series were atSanata Barbara (1989) and Zurich (1991). The meetings areplanned as a forum for researchers and practitionersspecializing in database theory for and advancedapplications of Spatial Information Systems.This volume constitutes the proceedings of the symposium. Itcontains 25 selected papersand three keynotes papers:'Spatial data management in database systems: researchdirections' (W. Kim), 'From extensible databases tointeroperability between multiple databases and GISapplications' (H.-J. Schek), and 'The SEQUOIA 2000 project'(M. Stonebraker). The selectedpapers are collected intosections on: data modeling, spatial indexing, indexingmechanisms, handling of raster and vector data, spatialdatabase systems, topology, storage management, queryretrieval,knowledge engineering in SDS, and 3-dimensionaldata handling. 552 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 twelfthAda-Europe conference, held in France in 1993. The Frenchname 'Ada sans fronti res' (the only French words in thebook) symbolizes the unlimitedness and novelty of Ada, aswell as Europe-wide interest.Many papers relate to Ada-9X, the new standard that the Adacoimmunity is close to achieving after worldwideconsultation and debate about requirements, specification,anddetailed definition. Their focus is on management,real-time, and compiler validation.Part of the conference was on object orientation, togetherwith various issues relating to the general structure of thelanguage, including exceptions to a certain use ofgenericity and heterogeneous data, efficiency, formalrequirements and CASEs, and comparison with a competitorlanguage.A third part relates to real-time, past with performancemeasurement, present with certification andapplications,and future with the ExTRA project and 9X. 372 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 Fifth Conferenceon Computer-Aided Verfication, held in Crete, Greece, inJune/July 1993.The objective of the CAV conferences is to bring togetherresearchers and practitioners interested in the developmentanduse of methods, tools, and theories for thecomputer-aided verification of concurrent systems. Theconferences provide an opportunity for comparing variousverfication methods and tools that can be used to assist theapplications designer. Emphasis is placed on new researchresults and the application of existing methods to realverification problems.The volume contains abstracts of three invited lectures andfull versions of 37 contributed papers selected from 84submissions.The contributions are grouped into sections onhardware verification with BDDs, methods and tools, theoremproving, analysis of real-time systems, processalgebras andcalculi, partial orders, and exploiting symmetry. 520 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers in this volume are extended versions ofpresentations at the fourth International Conference onInformation Processing and Management of Uncertainty inKnowledge-based Systems (IPMU), held in Palma de Mallorca,July 6-10, 1992.The conference focused on issues related to the acquisition,representation, management, and transmission of informationin knowledge-based and decision-making systems. The book isfocused on methodologies related to artificial intelligence,including both theoretical and applied papers.The first section of the book is devoted to non-monotonicreasoning and the managementof default knowledge. Thesecond section deals with methods using non-classical logicsto deal with imperfect knowledge and to represent itsspatial and temporal components. The third section presentsvarious methods for the acquisition of uncertain andimprecise knowledge. The fourthsection is concerned withthe use of qualitative, uncertain, temporal, and ambiguouspieces of information in knowledge-based systems, expertsystems, and process controllers. The last section containspapers using artificial neural network methodologies. 388 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 eleventh BritishNational Conference on Databases, held at Keele University,England. A dominant themein the volume is the provision ofthe means to enhance the capabilities of databases to handleinformation that has a rich semantic structure. A majorresearch question is how to achieve such a semantic scale-upwithout sacrificing performance. There are currently twomain paradigms within which it is possible to proposeanswers to this question, deduction-oriented andobject-oriented. Both paradigms are well represented in thiscollection, with the balance in the direction of thedeductive approach, which is followed by both the invitedpapers, by Michael Freeston from the EuropeanComputer-Industry Research Centre in Munich and CarloZaniolo from the University of California at Los Angeles. Inaddition, the volume contains 13 full papers selected from atotal of36 submissions. 292 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logicprogramming were used in implementing theorem provingsystems. Results from both fields applied to deductivedatabases.This volume contains the proceedings of LPAR '93, which wasorganized by the Russian Association for Logic Programming.The volume contains 35 contributed papers selected from 84submissions, together with an invited paper by Peter Wegnerentitled 'Reasoning versus modeling in computer science'. 408 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains papers presented at the secondInternational Workshop on Word Equations and Related Topics(IWWERT '91), held at the University ofRouen in October1991.The papers are on the following topics: general solution ofword equations, conjugacy in free inverse monoids, generalA- and AX-unification via optimized combination procedures,wordequations with two variables, a conjecture aboutconjugacy in free groups, acase of termination forassociative unification, theorem proving by combinatorialoptimization, solving string equations with constantrestriction, LOP (toward a new implementation of Makanin'salgorithm), word unification and transformation ofgeneralizedequations, unification in the combination ofdisjoint theories, on the subsets of rank two in a freemonoid (a fast decision algorithm), and a solution of thecomplement problem in associative-commutative theories. 228 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains papers selected for presentation at theSeventh International Symposium on Methodologies forIntelligent Systems (ISMIS '93), held at the NorwegianInstitute of Technology, Trondheim, Norway, in June 1993.The volume includes six invited talks and 43 contributedpapers organized under the following headings: logic forartificial intelligence, expert systems, intelligentdatabases, approximate reasoning, constraint programming,learning and adaptive systems, methodologies, knowledgerepresentation, and manufacturing.Theinvited talks are: 'On extended disjunctive logicprograms' (J. Minker, C. Ruiz), 'Towards intelligentdatabases' (F. Bry), 'Methodologies for knowledge-basedsoftware engineering' (M. Lowry), 'Modelling of industrialsystems' (L. Ljung), 'The many faces of inductive logicprogramming' (L. De Raedt, N. Lavrac), and 'Systematicassessment of temporal reasoning methods for use inautonomous agents' (E. Sandewall). 676 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Research in the field of parallel computer architectures andparallel algorithms has been very successful in recentyears, and further progress isto be expected. On the otherhand, the question of basic principles of the architectureof universal parallel computers and their realizations isstill wide open. The answer to this question must beregarded as mostimportant for the further development ofparallel computing and especially for user acceptance.The First Heinz Nixdorf Symposium brought together leadingexperts in the field of parallel computing and itsapplications to discuss the state of the art, promisingdirections of research, and future perspectives. It was thefirst in a series of Heinz Nixdorf Symposia,intended tocover varying subjects from the research spectrum of theHeinz Nixdorf Institute of the University of Paderborn.This volume presents the proceedings of the symposium, whichwas held in Paderborn in November1992. The contributionsare grouped into four parts: parallel computation models andsimulations, existing parallel machines, communication andprogramming paradigms, and parallel algorithms. 248 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 thirteenthbiennial International Conference on Information Processingin Medical Imaging (IPMI XIII), held on the campus ofNorthern Arizona University in Flagstaff, Arizona, in June1993. This conference was the latest in a series of meetingswhere new developments in the acquisition, analysis andutilization of medical images are presented, discussed,dissected, and extended. Today IPMI is widely recognized asa preeminent international forum for presentation ofcutting-edge research in medical imaging and imageanalysis.The volume contains the text of the papers presented orallyatIPMI XIII. Over 100 manuscripts were submitted andcritically reviewed, of which 35 were selected forpresentation. In this volume they are arranged into ninecategories: shape description with deformable models,abstractshape description, knowledge-based systems, neuralnetworks, novel imaging methods, tomographic reconstruction,image sequences, statistical pattern recognition, and imagequality. 592 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book content corresponds to a course of the International Summer School of Theoretical Geodesy held every 4 years under the sponsorship of the International Association of Geodesy. This particular course, that was given at the International Centre for Theoretical Physics in Trieste, has been dedicated to the theory of satellite altimetry as a response to the increasing need of scientific work in this field due to important recent and forthcoming space mission. The course was conceived to supply a good theoretical basis in both disciplines, i.e. geodesy and oceanography, which are deeply involved in the analysis and in the use of the altimetric signal. The main items of interest are the physical theory of ocean circulation, the theory of tides and the ocean time-variability, from the point of view of oceanography and the orbit theory, with particular regard to the formation of the radial orbital error, the so-called cross over adjustment, the analysis of geodetic boundary value problems, the integrated determination of the gravity field and of the radial orbital error, from the point of view of geodesy. All these arguments are treated from the foundation by very-well experts of the various fields, to introduce the reader into the more difficult subjects on which advanced research is currently performed. The peculiarity of the book is in its interdisciplinarity as it can serve to both communities of oceanographers and geodesists to get acquainted with advanced aspects one of the other. 500 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The classical theory of natural selection, as developed by Fisher, Haldane, and 'Wright, and their followers, is in a sense a statistical theory. By and large the classical theory assumes that the underlying environment in which evolution transpires is both constant and stable - the theory is in this sense deterministic. In reality, on the other hand, nature is almost always changing and unstable. We do not yet possess a complete theory of natural selection in stochastic environ ments. Perhaps it has been thought that such a theory is unimportant, or that it would be too difficult. Our own view is that the time is now ripe for the development of a probabilistic theory of natural selection. The present volume is an attempt to provide an elementary introduction to this probabilistic theory. Each author was asked to con tribute a simple, basic introduction to his or her specialty, including lively discussions and speculation. We hope that the book contributes further to the understanding of the roles of 'Chance and Necessity' (Monod 1971) as integrated components of adaptation in nature. 204 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This second edition in paperback provides an up-to-datereview of the state of the art in different generationprocesses for ultrashort laser pulses. Inaddition,extensive applications in a wide range of fields - inphysics,engineering, chemistry, and biology - arediscussed:Eight chapters dealwith the following topics:-the generation of picosecond and femtosecond laser pulses-nonlinear wave interactions- new investigations in solid-state physics- recent progress in optoelectronics- advances in coherent material excitations- ultrafast vibrational lifetimes and energy redistribution in liquids- new observations of chemical reactions in the liquid state- the primary processes of important biological systemsThe book is essential reading for scientists and engineerswho want to know what is going on in this rapidly advancingfield. It should also interest graduate students and otherswho seek an introduction to laserpulses. 516 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -CONTENTS: D.D. Dawson: Measure-valued Markov Processes.B. Maisonneuve: Processus de Markov: NaissanceRetournement, Regeneration.- J. Spencer: Nine lectures onRandom GraphsSpringer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents in a unified way the mathematical theory of well-posedness in optimization. The basic concepts of well-posedness and the links among them are studied, in particular Hadamard and Tykhonov well-posedness. Abstract optimization problems as well as applications to optimal control, calculus of variations and mathematical programming are considered. Both the pure and applied side of these topics are presented. The main subject is often introduced by heuristics, particular cases and examples. Complete proofs are provided. The expected knowledge of the reader does not extend beyond textbook (real and functional) analysis, some topology and differential equations and basic optimization. References are provided for more advanced topics. The book is addressed to mathematicians interested in optimization and related topics, and also to engineers, control theorists, economists and applied scientists who can find here a mathematical justification of practical procedures they encounter.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In the recent years, the study of cointegrated time seriesand the use of error correction models have become extremelypopular in the econometric literature. This book provides ananalysis of the notion of (weak) exogeneity, which isnecessary to sustain valid inference in sub-systems, intheframework of error correction models (ECMs).In many practical situations, the applied econometricianwants to introduce 'structure' on his/her model in order toget economically meaningful coefficients. For thispurposeECMs in structural form provide an appealing frameworkallowing the researcher to introduce (theoreticallymotivated) identification restrictions on the long runrelationships. In this case, the validity of the inferencewill depend on a number of conditions which are investigatedhere. In particular,we point out that orthogonality testsoften used to test for weak exogeneity or for generalmisspecification, behave poorly in finite samples and areoften not very useful in cointegrated systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the proceedings of the eleventh BritishNational Conference on Databases, held at Keele UniversityEngland. A dominant themein the volume is the provision ofthe means to enhance the capabilities of databases to handleinformation that has a rich semantic structure. A majorresearch question is how to achieve such a semantic scale-upwithout sacrificing performance. There are currently twomain paradigms within which it is possible to proposeanswers to this question, deduction-oriented andobject-oriented. Both paradigms are well represented in thiscollection, with the balance in the direction of thedeductive approach, which is followed by both the invitedpapers, by Michael Freeston from the EuropeanComputer-Industry Research Centre in Munich and CarloZaniolo from the University of California at Los Angeles. Inaddition, the volume contains 13 full papers selected from atotal of36 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User Meeting, held in London in December 1992. In contrast to previous years the meeting concentrated specifically on industrial applications of Z, and a high proportion of the participants came from an industrial background. The theme is well represented by the four invited papers. Three of these discuss ways in which formal methods are being introduced, and the fourth presents an international survey of industrial applications. It also provides a reminder of the improvements which are needed to make these methods an accepted part of software development. In addition the volume contains several submitted papers on the industrial use of Z, two of which discuss the key area of safety-critical applications. There are also a number of papers related to the recently-completed ZIP project. The papers cover all the main areas of the project including methods, tools, and the development of a Z Standard, the first publicly-available version of which was made available at the meeting. Finally the volume contains a select Z bibliography, and section on how to access information on Z through comp.specification.z, the international, computer-based USENET newsgroup. Z User Workshop, London 1992 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students andalso potential industrial users of Z.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The papers in this volume are extended versions ofpresentations at the fourth International Conference onInformation Processing and Management of Uncertainty inKnowledge-based Systems (IPMU), held in Palma de MallorcaJuly 6-10, 1992.The conference focused on issues related to the acquisitionrepresentation, management, and transmission of informationin knowledge-based and decision-making systems. The book isfocused on methodologies related to artificial intelligenceincluding both theoretical and applied papers.The first section of the book is devoted to non-monotonicreasoning and the managementof default knowledge. Thesecond section deals with methods using non-classical logicsto deal with imperfect knowledge and to represent itsspatial and temporal components. The third section presentsvarious methods for the acquisition of uncertain andimprecise knowledge. The fourthsection is concerned withthe use of qualitative, uncertain, temporal, and ambiguouspieces of information in knowledge-based systems, expertsystems, and process controllers. The last section containspapers using artificial neural network methodologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logicprogramming were used in implementing theorem provingsystems. Results from both fields applied to deductivedatabases.This volume contains the proceedings of LPAR '93, which wasorganized by the Russian Association for Logic Programming.The volume contains 35 contributed papers selected from 84submissions, together with an invited paper by Peter Wegnerentitled 'Reasoning versus modeling in computer science'.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The Third International Symposium on Large Spatial Databases(SSD '93) was held at the National University of Singaporein June 1993. The previous meetings of the series were atSanata Barbara (1989) and Zurich (1991). The meetings areplanned as a forum for researchers and practitionersspecializing in database theory for and advancedapplications of Spatial Information Systems.This volume constitutes the proceedings of the symposium. Itcontains 25 selected papersand three keynotes papers:'Spatial data management in database systems: researchdirections' (W. Kim), 'From extensible databases tointeroperability between multiple databases and GISapplications' (H.-J. Schek), and 'The SEQUOIA 2000 project'(M. Stonebraker). The selectedpapers are collected intosections on: data modeling, spatial indexing, indexingmechanisms, handling of raster and vector data, spatialdatabase systems, topology, storage management, queryretrieval,knowledge engineering in SDS, and 3-dimensionaldata handling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 552 pp. Englisch.