Imaging and Computing in Gastroenterology


Book Description

Gastroenterology is one of the branches of medicine that can profit most from modem technology, whether this involves the advances in diagnostic instrumentation, in data and image processing and management, or in computer applications like expert systems. To evaluate current status of imaging, computerization, and expert systems in gastroenterology, a group of clinical researchers and computer experts met in Bologna, Italy, for several days' discussion. The presentations at this symposium are introduced in this volume, which we believe to be a useful contribution to a specialization of great importance for health care as a whole. Bologna, March 1991 P. R. DAL MONTE Contents Imaging in Gastroenterology A. TORSOLI ......... . 1 Experience with a Hospital-Wide Image Management and Communication System: Is Total Digital Radiology Possible? S.K. MUN (With 1 Figure) ... 3 New Approaches to Endoscopy with the Electronic Videoendoscope M. SCHAPIRO .... ......... . 15 Intraoperative Videocholangioscopy A. MONTORI, L. MASONI, and L. DE ANNA 19 Images and Communication F. VICARI .......... . 22 Didactic Potential of Videoendoscopy F. COSENTINO, E. MORANDI, G. RUBIS PASSONI, F. DI PRISCO, and S. TUCCIMEI ........................... 24 Interactivity Between Image Processing Systems and Videoendoscopy M.A. PISTOIA, S. GUADAGNI, L. LOMBARDI, F. PISTOIA, M. CATARCI, and I. CARBONI. . . . . . . . . . . . 27 Endoscopic Laser Therapy of Colorectal Tumors 30 P. SPINELLI, M. DAL FANTE, and E. MERONI ...




Programming Languages and Systems


Book Description

This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.




ECOOP '88 European Conference on Object-Oriented Programming


Book Description

The field of Object-Oriented Programming (OOP) has attracted increasing attention during the last few years. OOP is now recognized as an important tool for making better and more flexible information systems. This book is the proceedings of the second European Conference on Object-Oriented Programming (ECOOP '88) that was held in Oslo, Norway, from August 15 to 17, 1988. The objectives of ECOOP '88 were to present the best international work in the field of OOP to interested persons from industry and academia, and to be a forum for the exchange of ideas and the growth of professional relationships. Each of the 103 papers submitted was subject to a thorough refereeing process. The 22 papers selected are collected in these proceedings together with one invited paper. These 23 papers from 13 different countries comprise the currently best international work in the field of OOP. The contents of the papers include areas such as: Theory, Languages, Didactics, Implementation, Applications, Concurrency and Databases. The interest in object-oriented programming is rapidly increasing, especially within the areas of Concurrency and Databases. With its 5 papers on concurrency and 7 papers on databases, the proceedings contain important new material on these subjects. This book is a must for persons who want to keep themselves up to date in the field of OOP.




Intelligent Robotic Systems


Book Description

A multiplicity of techniques and angles of attack are incorporated in 18 contributions describing recent developments in the structure, architecture, programming, control, and implementation of industrial robots capable of performing intelligent action and decision making. Annotation copyright Book




Automated Reasoning with Analytic Tableaux and Related Methods


Book Description

This book constitutes the refereed proceedings of the 1998 International Conference on Analytic Tableaux and Related Methods, TABLEAUX'98, held in Oisterwijk near Tilburg, The Netherlands, in May 1998. The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis.