This Seventh Edition of Basic Neurochemistry: Molecular, Cellular and Medical Aspects is appearing near to the 50th anniversary of the founding of neurochemistry as a discipline. This seems an appropriate time to examine the progress of neurochemistry and of this book. To make this brief, we will look at only two topics, which may be...

I have worked since May 2006 as a principal technical support engineer in the Bugs Verification Group of the MySQL Support Group for MySQL AB, then Sun, and finally Oracle. During my daily job, I often see users who are stuck with a problem and have no idea what to do next. Well-verified methods exist to find the cause of the problem...

Traditional software verification algorithms work by using a combination of Floyd-Hoare Logics, Model Checking and Abstract Interpretation, to check and infer suitable program invariants. However, these techniques are problematic in the presence of complex but ubiquitous constructs like generic data structures, first-class functions....

Developing, testing and operating complex machinery and repairing it under time pressure if it breaks down are some of the new skills, professionals in many occupations have to learn as quickly as possible. Actions on machinery and plants are trained in individual lessons on an immersive virtual model. This paper introduces the...

The present book 1 provides a rigorous treatment and coherent presentation of the consolidated results of the authors' work, over the past four years, on the employment of logic programming as a representational and reasoning tool. It comes out of a background of a world-wide research effort for at least the past six years on the...

The workshop attracted a record number of 148 submissions from 29 countries, of which the...

Themes are among the most powerful and flexible features available when it comes to the presentation of a website. The greatest strength of Drupal lies in its design, which, when done correctly, allows developers and designers to customize and micromanage each and every aspect of the site. Furthermore, the Drupal theming system and its...

You are holding the proceedings of the 8th International Workshop on the Economics of Grids, Clouds, Systems, and Services. This workshop brings together the research and practitioner communities active in the area of economics and computer science to address the emerging interest in infrastructure, platform, and software services....

The purpose of these symposia was to disseminate information on...

We can understand the multimedia technology as a digital integration of texts, graphics, audio, animation, still images and motion video in a way that provides a high level of personal interaction and control to individual users. The evolution of multimedia is a convergence of the mentioned media types to a unique system. Before the...

In September 1994 the seventh International Conference on Intelligent Robots and Systems- IROS '94-- was held in Neubiberg, a suburb of Munich, Germany, on the premises of the German Armed Forces University Munich. Of the 300 papers presented during the conference I have selected 48 ones which, in my subjective opinion, are...