Computer Aided Systems Theory - CAST '94

Computer Aided Systems Theory - CAST '94
Author: Tuncer I. Ören
Publisher: Springer Science & Business Media
Total Pages: 456
Release: 1996-07
Genre: Computers
ISBN: 9783540614784

This volume presents a collection of revised refereed papers selected from the presentations at the Fourth International Workshop on Computer Aided Systems Theory - CAST '94, held in Ottawa, Ontario, Canada in May 1994. The 31 full papers included in the book were chosen from originally 82 submissions and reflect the state of the art in the area of computer aided systems theory. The volume is divided into sections on foundations, methods, and tools and environments.

Advances in Intelligent Computing - IPMU '94

Advances in Intelligent Computing - IPMU '94
Author: Bernadette Bouchon-Meunier
Publisher: Springer Science & Business Media
Total Pages: 648
Release: 1995-06-26
Genre: Computers
ISBN: 9783540601166

This book presents a topical selection of full refereed research papers presented during the 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '94, held in Paris, France in July 1994. The topical focus is on the role of uncertainty in the contruction of intelligent computing systems and it is shown how the concepts of AI, neural networks, and fuzzy logic can be utilized for that purpose. In total, there are presented 63 thoroughly revised papers organized in sections on fundamental issues; theory of evidence; networks, probabilistic, statistical, and informational methods; possibility theory, logics, chaos, reusability, and applications.

Graph Grammars and Their Application to Computer Science

Graph Grammars and Their Application to Computer Science
Author: Janice Cuny
Publisher: Springer Science & Business Media
Total Pages: 582
Release: 1996-05-08
Genre: Computers
ISBN: 9783540612285

This book describes the functional properties and the structural organization of the members of the thrombospondin gene family. These proteins comprise a family of extracellular calcium binding proteins that modulate cellular adhesion, migration and proliferation. Thrombospondin-1 has been shown to function during angiogenesis, wound healing and tumor cell metastasis.

Computer Science Logic

Computer Science Logic
Author: Luke Ong
Publisher: Springer
Total Pages: 577
Release: 2005-09-07
Genre: Computers
ISBN: 3540318976

The Annual Conference of the European Association for Computer Science Logic (EACSL), CSL 2005, was held at the University of Oxford on 22 –25 August 2005.

Cooperative Knowledge Processing

Cooperative Knowledge Processing
Author: Stefan Kirn
Publisher: Springer Science & Business Media
Total Pages: 319
Release: 2012-12-06
Genre: Computers
ISBN: 1447130421

In the light of the challenges that face today's organizations, there is a grow ing recognition that future market success and long term' survival of enter prises will increasingly depend upon the effective usage of information technology. Of late, a new generation of terminology has emerged to describe enterprises. This terminology draws heavily upon the virtual concep- virtual reality, virtual organization, virtual (working) environment, and indeed virtual product. However, developing computerized organisations for the 21st century demands serious thought with regard to the judicious integration of organizational theory, design and practice with research tools and methods from within information processing technology. Within this book, we approach this aim from the perspective of a radically decentralized (possibly virtual) enterprise. We assume that organizations are becoming increasingly process-orientated, rather than adhering to the former more traditional organizational structures based upon task oriented models. This approach has proved illuminating in that, due to the inherent autonomy of organizational subunits any approach to coordinating decentralized activ ities (including workflows and business processes) necessitates a cooperative style of problem solving. This book introduces the reader to a stimulating new field of interdiscipli nary research in cooperative problem solving. In Chapter 1 Kim presents a view of three central discip14tes, namely those of Organizational Theory, Computer Supported Cooperative Work (CSCW) and Distributed Artificial Intelligence (DAI). The applications given here demonstrate how future enterprises will benefit from recent advances in the technological arena of cooperative knowledge processing.