springer berlin heidelberg jun 1997 (66 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Today, as the large international genome sequence projects are gaining a great amount of public attention and huge sequence data bases are created it be comes more and more obvious that we are very limited in our ability to access functional data for the gene products - the proteins, in particular for enzymes. Those data are inherently very difficult to collect, interpret and standardize as they are highly distributed among journals from different fields and are often sub ject to experimental conditions. Nevertheless a systematic collection is essential for our interpretation of the genome information and more so for possible appli cations of that knowledge in the fields of medicine, agriculture, etc . Recent pro gress on enzyme immobilization, enzyme production, enzyme inhibition, coen zyme regeneration and enzyme engineering has opened up fascinating new fields for the potential application of enzymes in a large range of different areas. It is the functional profile of an enzyme that enables a biologist of physician to analyze a metabolic pathway and its disturbance; it is the substrate specificity of an enzyme which tells an analytical biochemist how to design an assay; it is the stability, specificity and efficiency of an enzyme which determines its usefulness in the biotechnical transformation of a molecule. And the sum of all these data will have to be considered when the designer of artificial biocatalysts has to choose the optimum prototype to start with. 1112 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ada 95, the enhanced version of the Ada programming language, is now in place and has attracted much attention in the community since the International Standard ISO/IEC 8652:1995(E) for the language was approved in 1995. The Ada 95 Rationale comes in four parts. The introductory part is a general discussion of the scope and objectives of Ada 95 and its major technical features. The second part contains a more detailed step by step account of the core language. The third part consists of several annexes addressing the predefined environment and specialized application areas. Finally, the three appendices of the fourth part are devoted to the upward compatibility with Ada 83, a few changes since the drafts of thestandard were made public, and a summary of requirements. 484 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area. 504 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First International Conference on Scale-Space Theory for Computer Vision, Scale-Space '97, held in Utrecht, The Netherlands, in July 1997.The volume presents 21 revised full papers selected from a total of 41 submissions. Also included are 2 invited papers and 13 poster presentations. This book is the first comprehensive documentation of the application of Scale-Space techniques in computer vision and, in the broader context, in image processing and pattern recognition. 384 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book consists of the refereed proceedings of the 15th British National Conference on Databases, BNCOD 15, held in London, in July 1997.The 12 revised full papers presented were selected from more than 30 submissions. Also included are 10 poster presentations and the invited lecture on The Role of Intelligent Software Agents in Advanced Information Systems by Larry Kerschberg. The papers are organized in topical sections on transaction processing, optimization, object-orientation and the Internet, and database integration. 252 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second Australasian Conference on Information Security and Privacy, ACISP'97, held in Sydney, NSW, Australia, in July 1997.The 20 revised full papers presented were carefully selected for inclusion in the proceedings. The book is divided into sections on security models and access control, network security, secure hardware and implementation issues, cryptographic functions and ciphers, authentication codes and secret sharing systems, cryptanalysis, key escrow, security protocols and key management, and applications. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97, held in Paderborn, Germany, in June 1997.The 18 revised full papers presented were carefully selected by the program committee for inclusion in the volume; also included are full papers by the five invited speakers. Among the topics covered are discrete algorithms, randomized methods and approximation algorithms, implementations, programming environments, systems and applications, and scheduling and load balancing. 308 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First European Symposium on Principles of Data Mining and Knowledge Discovery, PKDD '97, held in Trondheim, Norway, in June 1997.The volume presents a total of 38 revised full papers together with abstracts of one invited talk and four tutorials. Among the topics covered are data and knowledge representation, statistical and probabilistic methods, logic-based approaches, man-machine interaction aspects, AI contributions, high performance computing support, machine learning, automated scientific discovery, quality assessment, and applications. 416 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents 71 articles dealing with models and methods of data analysis and classification, statistics and stochastics, information systems and text analysis as well as manifold applications. These articles are se lected from about 160 papers presented at the 20th Annual Conference of the Gesellschaft fUr Klassifikation. This conference was organized by R. Klar, at the Abteilung fiir Medizinische Informatik of the University of Freiburg from March 6 to 8, 1996. Based on the submitted and revised papers eight sections have been arranged, where the number of papers in the sections is given in parentheses: 1. Data Analysis and Classification (10) 2. Neural Networks and Pattern Recognition (4) 3. Statistical Models and Methods (11) 4. Information Systems: Design and Implementation (7) 5. Text Analysis and Information Retrieval (10) 6. Applications in Medicine (15) 7. Applications in Economics and Social Sciences (7) 8. Applications in Archaeology, Biology, Linguistics and Dialectometry (7) This grouping doesn't separate strictly, but it shows how theoretical aspects, applications and interdisciplinarities are interrelated in many respects. For convenience of the reader the contents of this volumne is briefly summarized. 1. Data Analysis and Classification This section presents ten articles dealing with different problems of data analysis and classification, especially with several aspects of multidimen sional scaling (MDS), three-way data analysis, stochastic aspects in cluster ing and regression of ordinal data. The survey article of M. W. Trosset considers an approach to define and classify MDS problems as optimization problems. 708 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop documentation of the ECAI'96 Workshop on Dialogue Processing in Spoken Language Systems, held in Budapest, Hungary, in August 1996, during ECAI'96.The volume presents 16 revised full papers including a detailed introduction and survey paper by the volume editors. The papers are organized in sections on foundations of spoken language dialogue systems, dialogue systems and prosodic aspects of spoken dialogue processing, spoken dialogue systems-design and implementation, and evaluation of systems. The book reports on work being pursued both in academia and in industry as a crucial issue in speech processing. 236 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997.The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others. 436 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents many types of tidal phenomena. The contributions evolved from a seminar in Oberwolfach, Black Forest, where German experts on tidal research met in October 1994 to present their views and experience to interested graduate students and scientists in an informal way. The seminar focused on earth tides, tides of the atmosphere and the oceans, including solar-induced variations of the magnetic field and climate, and tidal phenomena in the planetary system and universe. This book has an introductory character, but some contributions describe the state of the art in tidal research. 412 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The precise determination of the figure of the earth and its exterior gravitational field requires the solution of the geodetic boundary value problem (GBVP). Recently, a whole series of new measurement techniques has became available, in particular air- and spaceborne methods. They will make its solution much more complete and accurate and will contribute to a better understanding of ocean circulation and of the earth's interior. The book consists of contributions from leading scientists presented at an international summer school. It covers all aspects of the solution of the GBVP, from a mathematical basis via geodetic modeling to its relationship with advanced measurements. It provides three foundations to determine the geoid at a 1-cm precision level. 620 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996.The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area. 488 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Advanced Information Systems Engineering, CAiSE'97, held in Barcelona, Spain, in June 1997. The volume presents 30 revised full papers selected from a total of 112 submissions; also included is one invited contribution. The book is divided into topical sections on requirements engineering; information systems design; methods, environments, and tools; distributed information systems; and workflow systems. 472 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book provides the reader with a clear understanding of what software reuse is, where the problems are, what benefits to expect, the activities, and different forms of software reuse. The reader is also given an overview of what sofware components are, different kinds of components and compositions, a taxonomy thereof, and examples of successful component reuse. An introduction to software engineering and software process models is also provided. Consequences and influences of systematic reuse of software components are depicted, and activities like domain engineering, component engineering and application engineering are described. The importance of documentation is taken into consideration as well. 292 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Eighth Annual Symposium on Combinatorial Pattern Matching, CPM 97, held in Aarhus, Denmark, in June/July 1997.The volume presents 20 revised full papers carefully selected from 32 submissions received; also included are abstracts of two invited contributions. The volume is devoted to the issue of searching and matching strings and more complicated patterns, such as trees, regular expressions, graphs, point sets and arrays. The results presented are particularly relevant to molecular biology, but also to information retrieval, pattern recognition, compiling, data compression and program analysis. 292 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM'97, held as a satelite meeting of ICALP'97, in Bologna, Italy, in July 1997.The volume presents 14 thoroughly revised full papers selected from 37 submissions; also included are four invited contributions by leading researchers. The book focuses on algorithms and complexity aspects arising in the development of efficient randomized solutions to computationally difficult problems. The papers are organized in sections on approximation, randomness, algorithms, and complexity. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996.The volume presents 13 revised full papers together with an introduction and survey. The papers explore the use of software tools in formal language theory; various issues involved in the implementation of automata of all types are discussed. As the first book focusing on implementing automata, this collection of research papers defines the state of the art in the area. Generally speaking, the book advocates the practice of theory in computer science. 204 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The combination of fast, low-latency networks and high-performance, distributed tools for mathematical software has resulted in widespread, affordable scientific computing facilities. Practitioners working in the fields of computer communication networks, distributed computing, computational algebra and numerical analysis have been brought together to contribute to this volume and explore the emerging distributed and parallel technology in a scientific environment. This collection includes surveys and original research on both software infrastructure for parallel applications and hardware and architecture infrastructure. Among the topics covered are switch-based high-speed networks, ATM over local and wide area networks, network performance, application support, finite element methods, eigenvalue problems, invariant subspace decomposition, QR factorization and Todd-Coxseter coset enumeration. 248 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed proceedings of the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-12, held in Toulouse, France, June 1997.The 27 revised full papers presented were carefully selected by the program committee for inclusion in the volume. The papers address a broad range of current issues in coding theory and computer algebra spanning polynomials, factorization, commutative algebra, real geometry, group theory, etc. on the mathematical side as well as software systems, telecommunication, complexity theory, compression, signal processing, etc. on the computer science and engineering side. 372 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Numerical large-eddy simulation techniques are booming at present and will have a decisive impact on industrial modeling and flow control. The book represents the general framework in physical and spectral space. It also gives the recent subgrid-scale models. Topics treated include compressible turbulence research, turbulent combustion, acoustic predictions, vortex dynamics in non-trivial geometries, flows in nuclear reactors and problems in atmospheric and geophysical sciences. The book addresses numerical analysts, physicists, and engineers. 320 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Numerical large-eddy simulation techniques are booming at present and will have a decisive impact on industrial modeling and flow control. The book represents the general framework in physical and spectral space. It also gives the recent subgrid-scale models. Topics treated include compressible turbulence research, turbulent combustion, acoustic predictions, vortex dynamics in non-trivial geometries, flows in nuclear reactors and problems in atmospheric and geophysical sciences. The book addresses numerical analysts, physicists, and engineers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Today, as the large international genome sequence projects are gaining a great amount of public attention and huge sequence data bases are created it be comes more and more obvious that we are very limited in our ability to access functional data for the gene products - the proteins, in particular for enzymes. Those data are inherently very difficult to collect, interpret and standardize as they are highly distributed among journals from different fields and are often sub ject to experimental conditions. Nevertheless a systematic collection is essential for our interpretation of the genome information and more so for possible appli cations of that knowledge in the fields of medicine, agriculture, etc . Recent pro gress on enzyme immobilization, enzyme production, enzyme inhibition, coen zyme regeneration and enzyme engineering has opened up fascinating new fields for the potential application of enzymes in a large range of different areas. It is the functional profile of an enzyme that enables a biologist of physician to analyze a metabolic pathway and its disturbance; it is the substrate specificity of an enzyme which tells an analytical biochemist how to design an assay; it is the stability, specificity and efficiency of an enzyme which determines its usefulness in the biotechnical transformation of a molecule. And the sum of all these data will have to be considered when the designer of artificial biocatalysts has to choose the optimum prototype to start with.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1112 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-conference proceedings recording the scientific progress achieved at the First International Conference on Evolvable Systems: From Biology to Hardware, ICES'96, held in Tsukuba, Japan, in October 1996.The volume presents 33 revised full papers including several invited contributions surveying the state of the art in this emerging area of research and development. The volume is divided into topical sections on evolware, cellular systems, engineering applications of evolvable hardware systems, evolutionary robotics, innovative architectures, evolvable systems, evolvable hardware, and genetic programming. 504 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997.The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed. 484 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is aimed at students who need to learn the basics of programming or who are studying computing. It is a 'hands on' book containing many examples which start by illustrating basic Oberon-2 language features and gradually increase in scope to cover object-oriented programming concepts and constructs. Oberon-2 is a successor to the language Pascal, which was also designed by Prof. N. Wirth [Wir71J. It has quickly become a major language used for teaching purposes. The only thing you need for successfully working through the book is to have access to a computer running Windows 3. 11 or Windows 95. The material in the book is useful to students of schools, colleges, and universities for teaching Oberon-2 and programming at an introductory level. of the book is not focused on software engineering or object The scope oriented technology; other books mentioned in the reference section already cover these topics in much greater depth. However, the examples in the book have been designed with these topics firmly in mind. Currently the term 'object-oriented' is very much in fashion, having taken over from structured programming of the 1970s and '80s. In this book we have taken the view that a structured programming approach can be used to teach the fundamentals of programming algorithms. The object-oriented approach is then brought in as a complementary way to think, analyze, design and program. 384 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Ada 95 Reference Manual is essentially identical to the new International Standard ISO/IEC 8652:1995(E) for the Ada programming language. The thorough technical revisions and extensions documented in this manual are built on broad participation from the international Ada community and generous support by leading institutions. Over 750 submitted revision requests were evaluated, and the resulting enhancements make Ada 95 an outstanding language. The flexibility of languages such as C++, modern features such as object orientation, and improved interfacing capabilities have been added to the reliable software engineering capabilities provided and proven for over a decade by the predecessor version Ada 83; furthermore, upward compatibility from Ada 83 to Ada 95 has been achieved. 556 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The studies described in this book were carried out in the Mo lecular Neurobiology Group, Department of Neurology, at the University of Diisseldorf, Germany. The main goal of this work was to gain an understanding of the mechanisms responsible for neuronal regeneration failure in the adult mammalian central nervous system and to learn how they can be influenced. Ap proaches focused on (a) the identification of the extrinsic cellular and/or molecular factors that are responsible for regeneration failure in the adult CNS and (b) the improvement of axonal regeneration by changing the local environment of the lesioned axons. The stereotactically transected postcommissural fornix was used as a lesion and implantation model. This volume of Advances in Anatomy, Embryology and Cell Biology presents these particular studies on the degeneration and regeneration of the postcommissural fornix performed over the past several years. It is hoped that this basic experimental research will lead to the development of reparative and neuroprotective strategies useful in the treatment of both injury to the CNS and neurode generative diseases. This study would not have been possible without the help of several people. I thank Prof. H. W. Miiller, head of the Molecular Neurobiology Laboratory, for his support and for his critical comments on the manuscript; Dr. G. Wunderlich, Dr. K. Lips, and S. Hermanns for their fruitful collaboration; Prof. M. Schwab for the generous gift ofIN1 antibodies; Prof. H. -G. Hartwig and G. 92 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in August 1996.The book contains 35 carefully revised full papers together with nine poster presentations. The papers are organized in topical sections on automatic data distribution and locality enhancement, program analysis, compiler algorithms for fine-grain parallelism, instruction scheduling and register allocation, parallelizing compilers, communication optimization, compiling HPF, and run-time control of parallelism. 632 pp. Englisch.