springer berlin heidelberg jun 1996 (67 résultats)

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Incremental computation concerns the re-computation of output after a change in the input, whereas algorithms and programs usually derive their output directly from their input. This book investigates the concept of incremental computation and dynamic algorithms in general and provides a variety of new results, especially for computational problems from graph theory: the author presents e.g. efficient incremental algorithms for several shortest-path problems as well as incremental algorithms for the circuit value annotation problem and for various computations in reducible flow graphs. 208 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the refereed proceedings of the International Workshop on Reasoning with Uncertainty in Robotics, RUR'95, held in Amsterdam, The Netherlands, in December 1995.The book contains 13 revised full papers carefully selected for presentation during the workshop together with six invited papers. Also included are two comprehensive tutorial texts and an introduction by the volume editors. Thus the book is both a competent state-of-the-art report on current research and development and a valuable survey and introduction for researchers entering the area or professionals interested in the application of up-to-date techniques. 404 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others. 504 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of ICAOS '96 the 12th International Conference on Analysis and Optimization of Systems. This conference was co-organized by INRIA and the CEREMADE and was dedicated to Images, Wavelets and PDE's. The aim of the conference was to discuss the impact on image analysis of recent mathematical developments in multiscale analysis, partial differential equations, variational methods and so on. ICAOS '96 provided a forum for image processing researchers and mathematicians to interact and to exchange their technical knowledge and experience, theoretical or practical, in this emerging and exciting domain. The selected papers have been organized according to the following sessions, each session corresponding to a section of the book: 1. Active Contours; 2. Image Enhancement and Restoration, Scale-Spaces; 3. Wavelets; 4. Image Segmentation; 5. Image Restoration; 6. Coding; 7. Applications. 380 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the Second Annual International Conference on Computing and Combinatorics, COCOON '96, held in June 1996 in Hong Kong.The 44 papers presented in the book in revised version were carefully selected from a total of 82 submissions. They describe state-of-the-art research results from various areas of theoretical computer science, combinatorics related to computing, and experimental analysis of algorithms; computational graph theory, computational geometry, and networking issues are particularly well-presented. 440 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In a close analogy to matching data in Euclidean space, this monograph views parameter estimation as matching of the empirical distribution of data with a model-based distribution. Using an appealing Pythagorean-like geometry of the empirical and model distributions, the book brings a new solution to the problem of recursive estimation of non-Gaussian and nonlinear models which can be regarded as a specific approximation of Bayesian estimation. The cases of independent observations and controlled dynamic systems are considered in parallel; the former case giving initial insight into the latter case which is of primary interest to the control community. A number of examples illustrate the key concepts and tools used. This unique monograph follows some previous results on the Pythagorean theory of estimation in the literature (e.g., Chentsov, Csiszar and Amari) but extends the results to the case of controlled dynamic systems. 244 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Comprising six invited lectures by recognised experts in the field of control the Colloquium on Automatic Control presents a number of well-balanced theoretical and engineering-oriented elements which will be accessible to many readers ranging from non-specialists to experts and professionals in the field. 240 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 14th British National Conference on Databases, BNCOD 14, held in Edinburgh, United Kingdom, in July 1996.The 13 revised papers presented in the book in full version together with two invited talks and three industrial abstracts were selected from a total of 47 submissions involving authors from 21 countries. The papers included are written by researchers and professionals from academia and industry; the volume is organized in topical sections on object-oriented databases, integrity issues, database performance and optimization, and database languages. 252 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The volume consists entirely of research papers, principally in stochastic calculus, martingales, and Brownian motion, and gathers an important part of the works done in the main probability groups in France (Paris, Strasbourg, Toulouse, Besançon, Grenoble,.) together with closely related works done by some probabilists elsewhere (Switzerland, India, Austria,.). 396 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Fifth Scandinavian Workshop on Algorithm Theory, SWAT '96, held in Reykjavik, Iceland, in July 1996.The 35 full papers included in the book in revised version were carefully selected from a total of 95 submissions; also included are abstracts or full versions of three invited talks by prominent researchers. All in all, the collection of articles reports state-of-the-art results on various topics of current design and analysis of algorithms. 472 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First Australian Workshop on Distributed Artificial Intelligence, held in Canberra, ACT, Australia, in November 1995.The 16 full papers included in the book are revised versions of the contributions accepted for presentation at the workshop; they cover a wide range of current issues in the field of DAI, such as formal frameworks, methodology, theory, and architecture; various aspects of agents and multi-agent systems are addressed. 248 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort.Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies. 248 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 6th volume of 'Advances in Forensic Haemogenetics' comprises the scientific contributions to the 16th Congress of the International Society for Forensic Haemogenetics ISFH held on Sept., 12-16, 1995 at Santiago de Compostela, Spain. The numerous papers mainly deal with the applicability of DNA technology to forensic questions. The invited speakers approached important topics such as variation of mitochondrial DNA in ancient and modern humans, the 'STR approach' to solve forensic questions, the statistical analysis of STR data, automation of DNA analysis, long PCR and its applications, national DNA databases and ethical and legal aspects of DNA analysis. It has become obvious that PCR based polymorphic systems clearly dominate the scene of forensic DNA analysis worldwide. It will however be necessary to make efforts to standardize the still increasing number of systems with regard to nomenclature to achieve a universal comparability of results. Legal systems differ from country to country which has to be taken into account when reporting DNA results. There is still controversy about the way DNA results are to be presented in court-rooms. We should make efforts to assess the value of DNA evidence by a common scientifc statistical approach that is comprehensive enough to treat all possible hypotheses such as involved relatives, different ethnics and/or the not so rare situations with mixed stains. 728 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This second, corrected and enlarged edition teaches macroscopic modeling for the design, processing, testing, and control of mechanical components in engineering, and also includes the damage of interfaces and statistical damage analysis with microdefects. The first chapter deals with the phenomenology of damage, while the second couples damage to strains before going on to cover the three-dimensional situation. Chapter 3 is devoted to kinetic laws of damage evolution used by the author to unify many models, and the book is rounded off with several methods for predicting crack initiation. Detailed calculations and many exercises help students to apply the powerful techniques to practical problems in engineering. 252 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -In the realm of CAD & Office Integration a new technology has been introduced that will overturn many accepted ideas, both for developer and end-user. What is this revolutionary new technology Called 'OLE for Design and Modeling' it is an enhancement of Microsoft Windows OLE for high performance CAD/CAM/CAE-software. With this book, the reader will understand, how OLE for D&M enables users to introduce and manipulate CAD models within regular text-processing and DTP-documents. And why even high-end 3D design objects can now be transferred between different systems using easy 'drag and drop' operations. Furthermore this 'plug and play' CAD technology makes it possible to use older CAD documents and older software in an entirely new context. If you want to know, where technology is going to, you should read it.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th European Conference on Object-Oriented Programming, ECOOP '96, held in Linz, Austria, in July 1996.The 21 full papers included in revised version were selected from a total of 173 submissions, based on technical quality and originality criteria. The papers reflect the most advanced issues in the field of object-oriented programming and cover a wide range of current topics, including applications, programming languages, implementation, specification, distribution, databases, and design. 520 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Application and Theory of Petri Nets, held in Osaka, Japan, in June 1996.The 26 revised full papers included in the book together with three invited presentations were selected from a total of 78 submissions. The book addresses the current theoretical and applicational aspects of the various types of Petri Nets and competently reflects the state of the art in the area. 564 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the realm of CAD & Office Integration a new technology has been introduced that will overturn many accepted ideas, both for developer and end-user. What is this revolutionary new technology Called 'OLE for Design and Modeling' it is an enhancement of Microsoft Windows OLE for high performance CAD/CAM/CAE-software. With this book, the reader will understand, how OLE for D&M enables users to introduce and manipulate CAD models within regular text-processing and DTP-documents. And why even high-end 3D design objects can now be transferred between different systems using easy 'drag and drop' operations. Furthermore this 'plug and play' CAD technology makes it possible to use older CAD documents and older software in an entirely new context. 180 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -One of the best attended satellite symposia at the 1995 Neurosurgical Congress in Berlin was on ischaemia in head injury. Its aim, according to its chairman, Professor Francois Cohadon of Bordeaux, was primarily to review the current concept of brain ischaemia in trauma, its diagnosis and its clinical management. Professor Cohadon himself is pre-eminent in the field of accident and emergency surgery in France. Introducing the other speakers, he welcomed Professor Graham Teasdale of Glasgow and Dr Mark Dearden, now of Leeds, as products of the Scottish schools of traumatic neurosurgery. He was especially pleased to see in the audience Professor Jennett, the father of these schools, to which, Professor Cohadon said, all neurosurgeons are indebted for in numerable major contributions to our understanding of traumatic brain injury. Professor Nicholas Dorsch of Westmead Hospital, New South Wales, Australia, and Dr Kakarieka of the Bayer Research Group, were the two final speakers. Professor Cohadon introduced the concept of secondary damage after brain trauma. Professor Teasdale described the pathological and clinical evidence of ischaemic damage in brain trauma, and Dr Dearden described its mechanisms and methods for the clinical monitoring of the threat to patients. Professor Dorsch described the role of traumatic subarachnoid haemorrhage (TSAH) in causing vasospasm after brain trauma, and the consequences for eventual recovery. The meeting was completed by Dr Kakarieka, who gave the first report on a randomized, con trolled trial of nimodipine in patients with TSAH. 64 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the refereed proceedings of the 23rd International Colloquium on Automata, Languages and Programming (ICALP '96), held at Paderborn, Germany, in July 1996. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS).The proceedings contain 52 refereed papers selected from 172 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on: Process Theory; Fairness, Domination, and the u-Calculus; Logic and Algebra; Languages and Processes; Algebraic Complexity; Graph Algorithms; Automata; Complexity Theory; Combinatorics on Words; Algorithms; Lower Bounds; Data Structures. 700 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A large part of today's fervour on robust control research is focused on those techniques which utilise the Variable Structure Control Method and Lyapunov's Second Method, and which constitute the backbone of the so-called 'deterministic' control of uncertain systems. The chapters of this book cover a large spectrum of the recent research and introduce the most innovative ideas in the field. Contained within the volume the reader will find: a survey of control Lyapunov functions; new structures of sliding mode controllers with discussion on higher order sliding modes; new techniques for the design of direct and indirect adaptive controllers; an introduction to the geometric theory of 'flat' systems; controllers for plants with component-wise bounded inputs; robust design via linear matrix inequalities and polytopic covering; and some issues on the dissipativity and absolute stability of nonli near systems. 336 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations. 660 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -One of the best attended satellite symposia at the 1995 Neurosurgical Congress in Berlin was on ischaemia in head injury. Its aim, according to its chairman, Professor Francois Cohadon of Bordeaux, was primarily to review the current concept of brain ischaemia in trauma, its diagnosis and its clinical management. Professor Cohadon himself is pre-eminent in the field of accident and emergency surgery in France. Introducing the other speakers, he welcomed Professor Graham Teasdale of Glasgow and Dr Mark Dearden, now of Leeds, as products of the Scottish schools of traumatic neurosurgery. He was especially pleased to see in the audience Professor Jennett, the father of these schools, to which, Professor Cohadon said, all neurosurgeons are indebted for in numerable major contributions to our understanding of traumatic brain injury. Professor Nicholas Dorsch of Westmead Hospital, New South Wales, Australia, and Dr Kakarieka of the Bayer Research Group, were the two final speakers. Professor Cohadon introduced the concept of secondary damage after brain trauma. Professor Teasdale described the pathological and clinical evidence of ischaemic damage in brain trauma, and Dr Dearden described its mechanisms and methods for the clinical monitoring of the threat to patients. Professor Dorsch described the role of traumatic subarachnoid haemorrhage (TSAH) in causing vasospasm after brain trauma, and the consequences for eventual recovery. The meeting was completed by Dr Kakarieka, who gave the first report on a randomized, con trolled trial of nimodipine in patients with TSAH.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 64 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Gene/biotechnology and the broad use of genetically modified organisms is rapidly developing into a commercial enterprise. In spite of the pace of scientific progress in this field, a partly emotional debate is still being carried on by the general public and on the part of the consumer about the potential risks linked to this new technology. Especially when genetically modified organisms (GMOs) are tested in the open field, the question of 'safety' is controversially discussed among different groups in society. Environmentalists are worried about unforeseeable dangers inherent in the release of a living organism, assuming that special risks are linked to organisms which have been modified by molecular biologists using tools developed in the laboratory. Frequently quoted potential hazards are the phenomena of 'gene escape' and 'genetic pollution', meaning the very interesting question of natural (horizontal) gene transfer. This phenomenon of horizontal gene transfer is in fact well known to scientists studying prokaryotes. Many prokaryotes are able to exchange DNA readily between individuals of different species or are even able to take up DNA from the extracellular environment by the process of genetic transformation, which has already been known for more than 65 years. For eukaryotes, however, the evidence of natural horizontal gene transfer is very limited. 356 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Gene/biotechnology and the broad use of genetically modified organisms is rapidly developing into a commercial enterprise. In spite of the pace of scientific progress in this field, a partly emotional debate is still being carried on by the general public and on the part of the consumer about the potential risks linked to this new technology. Especially when genetically modified organisms (GMOs) are tested in the open field, the question of 'safety' is controversially discussed among different groups in society. Environmentalists are worried about unforeseeable dangers inherent in the release of a living organism, assuming that special risks are linked to organisms which have been modified by molecular biologists using tools developed in the laboratory. Frequently quoted potential hazards are the phenomena of 'gene escape' and 'genetic pollution', meaning the very interesting question of natural (horizontal) gene transfer. This phenomenon of horizontal gene transfer is in fact well known to scientists studying prokaryotes. Many prokaryotes are able to exchange DNA readily between individuals of different species or are even able to take up DNA from the extracellular environment by the process of genetic transformation, which has already been known for more than 65 years. For eukaryotes, however, the evidence of natural horizontal gene transfer is very limited.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents a collection of papers addressing aspects of the application of emergent computing paradigms in engineering design. Papers on genetic algorithms and evolutionary computing discuss proposed improvements to computing methodology as well as applications in engineering design. Papers on neural networks study theoretical issues of interpretation as well as their potential use as approximation tools in design and their applications in embedded and fuzzy control systems. Otherpapers deal with such topics as the combined use of genetic algorithms and neural networks, applications of the simulated annealing approach, problem decomposition techniques, and computer recognition and interpretation of objects. The book shows the tremendous potential of emergent methods in engineering design. 364 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For a long time, lactic acid bacteria have played an indispensable role in food production. This book provides an overview and recent findings on their genetics and biochemistry as well as possible applications. The development and use of non-pathogenic lactic acid bacteria in vaccine delivery systems for mucosal immunizations are discussed. Their role in food fermentation, their use in carbohydrate modification and key systems for proteolysis and lantibiotic production are treated in detail. Further, the transformation of organic wastes into food and fertilizers is covered. The volume contains a wealth of useful information and can serve both as an introduction to the field for beginners and as a reference book. 420 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon Gay, and Rajagopal Nagarajan contribute a fundamental study founding concurrent programming on interaction categories and foundations of type theory. Tony Hoare presents unifying views on mathematical models for computing science. Unifying theories are especially important if the whole development process of programs is to be supported by deductive techniques. The rest of the contributions address applications of deductive program design methods. They are directed to different areas of application; for example Richard Bird's and Oege de Moor's algebra of programming is mainly intended for classical functional programming, and the contribution on data refinement and their transformation by David Gries considers sequential procedural programs. 484 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon Gay, and Rajagopal Nagarajan contribute a fundamental study founding concurrent programming on interaction categories and foundations of type theory. Tony Hoare presents unifying views on mathematical models for computing science. Unifying theories are especially important if the whole development process of programs is to be supported by deductive techniques. The rest of the contributions address applications of deductive program design methods. They are directed to different areas of application; for example Richard Bird's and Oege de Moor's algebra of programming is mainly intended for classical functional programming, and the contribution on data refinement and their transformation by David Gries considers sequential procedural programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the text of papers presented at the NATO Advanced Research Workshop on Emergent Computing Methods in Engineering Design, held in Nafplio, Greece, August 25-27, 1994. The workshop convened together some thirty or so researchers from Canada, France, Germany, Greece, Israel, Taiwan, The Netherlands, United Kingdom and the United States of America, to address issues related to the application of such emergent computing methods as genetic algorithms, neural networks and simulated annealing in problems of engineering design. The volume is essentially organized into three parts, with each part having some theoretical papers and other papers of a more practical nature. The frrst part, which comprises the largest number of papers, deals with genetic algorithms and evolutionary computing and presents subject matter ranging from proposed improvements to the computing methodology to specific applications in engineering design. The second part deals with neural networks and considers such topics as their application as approximation tools in design, their adaptation in control system design and theoretical issues of interpretation. The third part of the volume presents a collection of papers that examine such diverse topics as the combined use of genetic algorithms and neural networks, the application of simulated annealing techniques, problem decomposition techniques and the computer recognition and interpretation of emerging objects in engineering design.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.