You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what sometimes is called Philosophical Logic which deals with topics like nonclassical logics and which for historical reasons has been developed mainly at philosphical departments rather than at mathematics institutions. Today Computer Science challenges Logic in a new way. The theoretical analysis of problems in Computer Science for intrinsic reasons has pointed back to Logic. A broad...
There are only very few chemical classes of antibiotics in medical use, and these have originated over a span of more than 60 years of research. Almost half a century ago, the first member of the macrolides, erythromycin, was introduced as a treatment option for bacterial infections. Erythromycin is a very complex fermentation product obtained from the soil bacterium Saccharopolyspora ery thraea (originally named Streptomyces erythreus). The success of erythromycin, based on its efficacy and tolerability, stimulated researchers throughout the world to undertake intense efforts to understand the biology and chemistry of macrolides and to use this experience to improve the properties of this c...
Volume 19 of Group III (Crystal and Solid State Physics) deals with the magnetic properties of metals, alloys and metallic compounds. The amount of information available in this field is so substantial that several subvolumes are needed to cover it all. The first subvolumes treat the intrinsic magnetic properties, i. e. those magnetic properties which depend only on the chemical composition and the crystal structure. So far, subvolumes III/19a, III/19b and III/19c have appeared. Data on the properties that depend on the preparation of the samples measured, as for instance, thin films or amorphous alloys and the magnetic alloys used in technical applications, are being compiled in the last subvolumes of III/19. In the first of these, subvolume III/19g, magnetic properties are given for several major types of crystalline and amorphous thin magnetic films that are supported by a substrate and for which a more or less coherent group of data is available. The properties of sputtered metallic amorphous films containing 3d transition elements will be dealt with in the following subvolume.
This important publication presents new information regarding "Late Phase Allergic (or Inflammatory) Reactions" (LPR). It includes present knowledge on the pathogenesis of LPR in human skin, nose, bronchi, and other organ systems. The book discusses the roles of antibodies, mediators, and cells as well as animal models of LPR. It describes the importance of LPR in the pathogenesis of chronic disease and the possibilities of their pharmacological modulation. The authors discuss clinical conclusions to be drawn from the observation of LPR, such as continuous treatment and immunotherapy. This volume is a useful reference for scientists and clinicians wishing to understand more about the problems of their allergic patients.
This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.
This volume contains the proceedings of the Second International Conference on Advances in Information Systems (ADVIS) held in Izmir, Turkey, 23–25 October 2002. This conference was dedicated to the memory of Prof. Esen Ozkarahan. He was a great researcher who made an essential contribution to the development of information systems. Prof. Ozkarahan was one of the pioneers of database machine research and database systems in Turkey. This conference was organized by the Computer Engineering department of Dokuz Eylul University in Izmir. This department was established in 1994 by Prof. Ozkarahan and he worked there for the last ?ve years of his life. The main goal of the conference was to bri...
This book constitutes a commemorative volume devoted to Erich J. Neuhold on the occasion of his 65th birthday. The 32 invited reviewed papers presented are written by students and colleagues of Erich Neuhold throughout all periods of his scientific career. The papers are organized in the following topical sections: Database management enabling information systems Semantic Web drivers for advanced information management Securing dynamic media content integration From digital libraries to intelligent knowledge environments Visualization – key to external cognition in virtual information environments From human-computer interaction to human-artefact interaction Domains for virtual information and knowledge environments.
This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.