Koichi Furukawa – författare

This is the fifteenth volume in the Machine Intelligence series, founded in 1965 by Donald Michie, and includes papers by a number of eminent AI figures including John McCarthy, Alan Robinson, Robert Kowalski and Mike Genesereth. The book is centred on the theme of intelligent agents and covers a wide range of topics, including: - Representations of consciousness (John McCarthy, Stanford University and Donald Michie, Edinburgh University) - SoftBots (Bruce Blumberg, MIT Media Lab) - Parallel implementations of logic (Alan Robinson, Syracuse University) - Machine learning (Stephen Muggleton, Oxford University) - Machine vision (Andrew Blake, Oxford University) - Machine-based scientific discovery in molecular biology (Mike Sternberg, Imperial Cancer Research Fund).

This volume looks at the newest technology and approaches, along with classical methodologies, to thoroughly study Glycoscience and Ganglioside science. The chapters in this book cover topics such as synthesis and degradation of gangliosides including chemical synthesis, substrate preparation, and synthetic and degradation enzyme; ganglioside behaviors and biology including neutral glycolipids, single particle tracking, lipid raft analysis, and metabolic analysis in foods; and disease and tissue development including bone metabolism, melanocyte gangliosides, autoimmune neuropathies, and amyloid fibril formation. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls.Cutting-edge and authoritative, Gangliosides: Methods and Protocols is a valuable resource for researchers and scientists who want to learn more about this important and developing field.

This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.

This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing", a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system.

This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learning of Descriptive Concepts", and introduces various research results on learning obtained by his group. There are eleven further papers, organized into sections on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications. A paper on knowledge programming introduces a flexible and powerful tool for incorporating and organizing knowledge using hypermedia. Another paper presents the constraint logic programming language cu-Prolog, designed for combinatorial problems; the way cu-Prolog solves the constraints is based on program transformation.

This volume contains the papers that were presented at theThird Workshop onAlgorithmic Learning Theory, held in Tokyoin October 1992. In addition to 3invited papers, the volumecontains 19 papers accepted for presentation, selected from29 submitted extended abstracts. The ALT workshops have beenheld annually since 1990 and are organized and sponsored bythe Japanese Society for Artificial Intelligence. The mainobjective of these workshops is to provide an open forum fordiscussions and exchanges of ideasbetween researchers fromvarious backgrounds in this emerging, interdisciplinaryfield of learning theory. The volume is organized into partson learning via query, neural networks, inductive inference,analogical reasoning, and approximate learning.

This volume contains the papers presented at the Second International Conf- ence on Discovery Science (DS'99), held in Tokyo, Japan, December 6-8, 1999. The conference was colocated with the Tenth International Conference on Al- rithmic Learning Theory (ALT'99). This conference was organized as part of the activities of the Discovery S- ence Project sponsored by Grant-in-Aid for Scienti c Research on Priority Area fromthe MinistryofEducation,Science,SportsandCulture (MESSC)ofJapan. This is a three-year project starting from 1998 that aims to (1) develop new methods for knowledge discovery, (2) install network environments for kno- edge discovery, and (3) establish Discovery Science as a new area of computer science. The aim of this conference is to provide an open forum for intensive disc- sions and interchange of new information among researchers working in the new area of Discovery Science.Topics of interest within the scope of this conference include, but are not limited to, the following areas: Logic for/of knowledge discovery, knowledge d- coverybyinferences,knowledgediscoverybylearningalgorithms,knowledged- coverybyheuristicsearch,scienti cdiscovery,knowledgediscoveryindatabases, data mining, knowledge discovery in network environments, inductive logic p- gramming, abductive reasoning,machine learning,constructive programming as discovery,intelligentnetworkagents,knowledgediscoveryfromunstructuredand multimedia data, statistical methods for knowledge discovery, data and kno- edge visualization, knowledge discovery and human interaction, and human f- tors in knowledge discovery. The DS'99 program committee selected 26 papers and 25 posters/demos from 74 submissions. Papers were selected according to their relevance to the conference, accuracy, signi cance, originality, and presentation quality.

This book is a collection of cutting-edge studies on the functions and mechanisms of glycosylation in cancers. Along with progress in genomics and proteomics, new findings in the significance of these complex carbohydrates, through the regulation of cell signals, have been elucidated in a wide variety of biological events. This volume provides a comprehensive summary of glycosignals and their involvement in cancer, covering numerous topics such as glycosylation machineries, regulation of phenotypes, cell signaling, immune regulation, complex carbohydrate organization, and clinical applications. The contents have been organized to promote ready understanding, covering basic to clinical research and studies on micromolecules, to animal/human cells and tissues. This book is an essential read for students and young researchers interested in cancers and carbohydrates. Specialists in glycobiology will also benefit from the new results and approaches detailed here, which provide insights into future directions of functional studies of sugar chains in both basic and applied research.

This book, now in an extensively revised second edition, provides a comprehensive summary of the latest knowledge regarding glycosignals and a thorough analysis of their involvement in not only cancers but also other refractory conditions such as chronic inflammatory disorders.