Download or read book A Hierarchical Associative Processing System written by Heinrich J. Stüttgen and published by Springer Science & Business Media. This book was released on 1985-07 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book A Hierarchical Associative Processing System written by Heinrich J. Stuttgen and published by . This book was released on 2014-01-15 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Hierarchical Associative Memories for Parallel Computation written by Jeffrey Lee Gertz and published by . This book was released on 1970 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt: Two current trends in computing, namely the increasing importance of parallelism in computer operations and the concept of programming generality, indicate that new computer systems must employ location-independent addressing. One possible manner of accomplishing this objective involves the use of an associative memory for the computer system. The report is concerned with the study, analysis, and design of a multi-level associative memory for a highly parallel computer system, as well as the representation and execution of highly parallel programs in such a memory hierarchy. (Author).
Download or read book NEWCAT Parsing Natural Language Using Left Associative Grammar written by Roland Hausser and published by Springer Science & Business Media. This book was released on 1986-07-01 with total page 550 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Uncertainty in Knowledge Based Systems written by Bernadette Bouchon-Meunier and published by Springer Science & Business Media. This book was released on 1987-11-04 with total page 420 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book System Development and Ada written by A. Nico Habermann and published by Springer Science & Business Media. This book was released on 1987-09-23 with total page 316 pages. Available in PDF, EPUB and Kindle. Book excerpt: The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications. Several new methodologies are described, many of which are available on the commercial market. New is in particular the formalization of the design and development process. Interesting ideas are presented on planning the design process and on supporting project management by formal tools. The reader will find a variety of interesting methodologies and mechanisms that are operational. The book is suitable for readers interested in knowing in which direction programming environment research is moving.
Download or read book Embedded Systems written by Albert Kündig and published by Springer Science & Business Media. This book was released on 1987-10-21 with total page 222 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.
Download or read book Advances in Computers written by and published by Academic Press. This book was released on 1992-07-06 with total page 433 pages. Available in PDF, EPUB and Kindle. Book excerpt: Advances in Computers
Download or read book Systems of Reductions written by Benjamin Benninghofen and published by Springer Science & Business Media. This book was released on 1987-11-25 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book A Connotational Theory of Program Structure written by James S. Royer and published by Springer Science & Business Media. This book was released on 1987-08-26 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which is much broader than in other theories of programming languages such as denotational semantics and program schemes. This notion permits treatment of control structures which involve not only the denotation of programs (i.e., their input/output behavior), but also their structure, size, run times, etc. The theory also treats the relation of control structure and complexity properties of programming languages. The book focuses on expressive interdependencies of control structures (which control structures can be expressed by which others). A general method of proving control structures expressively independent is developed. The book also considers characterizations of the expressive power of general purpose programming languages in terms of control structures. Several new characterizations are presented and two compactness results for such characterizations are shown.
Download or read book Structure in Complexity Theory written by Alan L. Selman and published by Springer Science & Business Media. This book was released on 1986-05 with total page 412 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Attitudes and Attitude Change written by Tobias Vogel and published by Psychology Press. This book was released on 2016-04-14 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: Attitudes have been a central topic in social psychology from its early beginnings. But what exactly are attitudes, where do they come from, and how can they be modified? The overall aim of Attitudes and Attitude Change is to provide students with a comprehensive and accessible introduction to these basic issues in the psychological study of attitudes. In four parts, readers learn about how attitudes can be measured, how attitudes are shaped in the course of life, how they are changed by other people, and finally, how attitudes in turn affect our thoughts and behavior. This completely revised and updated second edition covers many recent developments and reports cutting-edge research while also addressing the classic findings and theories that advanced the field. In addition to integrating the newly emerged topics of implicit attitudes and recent models regarding the coexistence of explicit and implicit attitudes, this edition also adds chapters on social influence and resistance to persuasion. This comprehensive and user-friendly book carefully balances theoretical underpinnings and empirical findings with applied examples to enable readers to use the insights of attitude research for practical applications. Critical discussions also instigate readers to develop their own thinking on key topics.
Download or read book Accurate Scientific Computations written by Willard L. Miranker and published by Springer Science & Business Media. This book was released on 1986-09 with total page 224 pages. Available in PDF, EPUB and Kindle. Book excerpt: Mathematics of Computing -- Numerical Analysis.
Download or read book The Munich Project CIP written by and published by Springer Science & Business Media. This book was released on 1988-01-13 with total page 536 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the method of transformational programming. Second, it gives a non-toy example for this very method, since it contains a formal specification of the system core and transformational developments for the more interesting system routines. Based on a formal calculus of program transformations, the informal requirements for the system are stated. Then the system core is formally specified using the algebraic data types and the pre-algorithmic logical constructs of the wide spectrum language CIP-L. It is demonstrated how executable, procedural level programs can be developed from this specification according to formal rules. The extensive collection of these rules is also contained in the book; it can be used as the basis for further developments using this method. Since the system has been designed in such a way that it is parameterized with the concrete programming language to be transformed, the book also contains a guide how to actualize this parameter; the proceeding is exemplified with a small subset of CIP-L.
Download or read book TEX for Scientific Documentation written by Jacques Desarmenien and published by Springer Science & Business Media. This book was released on 1986-09 with total page 216 pages. Available in PDF, EPUB and Kindle. Book excerpt: Supported by CNRS (Centre national de la Recherche scientifique), SMF (Societe mathematique de France), Universite Louis Pasteur de Strasbourg
Download or read book CONPAR 1986 written by Wolfgang Händler and published by Springer Science & Business Media. This book was released on 1986-09 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt: Proceedings -- Parallel Computing.
Download or read book Negation and Control in Prolog written by Lee Naish and published by Springer Science & Business Media. This book was released on 1986-10 with total page 136 pages. Available in PDF, EPUB and Kindle. Book excerpt: The contributions to this volume cover all aspects of the assessment and management of hepatobiliary disease. The focal points of the book consist of three state-of-the-art summaries. The first of these deals with the highly topical problem of liver transplants from the point of view of patient selection. The second considers drug-induced liver injury in view of the fact that the liver is the main metabolic site for a number of drugs. The final summary deals with liver and aging: it asks whether the liver follows the aging process of the host organisms and whether the liver of aged liver transplant candidate donors could be suitable for grafting. Aside from these topics, the volume presents basic research on hepatic transport mechanisms, intrahepatic cholestasis and gall-stone disease, which serves as a background for the topics more specifically concerning the assessment of liver function. Much of the book is then devoted to the management of the commonest forms of liver diseases and their complications, such as chronic active hepatitis, liver cirrhosis, portal hypertension, hepatic encephalopathy, hepatorenal syndrome, and ascites.
