Abstract
The present paper focuses on the topic of Communities & Networks but it also covers some issues on Collaborative Enterprises, Collaborative Processes & Workspaces, and Business to Business Networks. It is based mainly on the Collective project Know Construct (COLL-CT-2004-500276) starting in March 2005. The project aims to develop a common internet-based platform for SMEs from the construction sector to provide an effective combination of two general functionalities: an innovative decision making support system regarding the products characteristics, applications and other consultancy services for SMEs' customers applying the 'web enabled dialogue', and a system for SMEs to support an advanced form of co-operation through the creation of Knowledge Communities of SMEs in Construction Industry. The system supports the integration, management and reuse of the area specific knowledge via a common knowledge base. The system is intended to be used within the Associations to collect and exchange the business area specific knowledge among the members (SMEs) in a form of essential expertise, reachable anywhere, at any time. © 2006 IEEE.

Abstract
This paper discusses a method for the analysis of dependable interactive systems using model checking, and its support by a tool designed to make it accessible to a broader community. The method and the tool are designed to be of value to system engineers, usability engineers and software engineers. It has been designed to help usability engineers by making those aspects of the analysis relevant to them explicit while concealing those aspects of modelling and model checking that are not relevant. The paper presents the results of a user evaluation of the effectiveness of aspects of the tool and how it supports the proposed method. © Springer Science + Business Media, LLC 2006.

Abstract
SrBi2Ta2O9 (SBT) is a bismuth layered perovskite (BLP) with interesting ferroelectric properties for memories applications. The previous study on the synthesis of seeded and unseeded SBT thin films by the authors G. Gonzalez Aguilar, M.E.V. Costa, I.M. Miranda Salvado, J. Eur. Ceram. Soc. 25 (2005) 2331] has shown an increase of the crystallinity of the films and an improvement of the thin film ferroelectric properties when using SBT seeds. However, the detailed role of the seeds as an improver of the thin film properties has not been investigated so far. In the present work we study the role of the seeds, particularly with respect to the reactions between film and (bottom) underlying platinum electrode. The comparison of the results obtained by characterizing the seeded and unseeded thin films via Rutherford backscattering (RBS) and particle induced X-ray emission (PIXE) techniques reveals an effective modification of the substrate-thin film interface by the presence of the seeds. Moreover, the evaluation of the thin film ferroelectric properties by atomic force microscopy (AFM) shows an improvement of the local piezoelectric hysteresis loops by the seeds. These seeding effects as well as those observed in non-stoichiometric SBT thin films with different bismuth contents are used to discuss the barrier-like role of the SBT seeds against reactions between film and the platinum electrode and its contribution to the improvement of the thin film properties.

Abstract
The paper presents the methodology developed to solve the class imbalanced problem that occurs in the classification of Thin-Layer Chromatography (TLC) images. The proposed methodology is based on resampling, and consists in the undersampling of the majority class (normal class), while the minority classes, which contain Lysosomal Storage Disorders (LSD) samples, are oversampled with the generation of synthetic samples. For image classification two approaches are presented, one based on a hierarchical classifier and another uses a multiclassifier system, where both classifiers are trained and tested using balanced data sets. The results demonstrate a better performance of the multiclassifier system using the balanced sets.

Abstract
The multiary version of the lambda-calculus with generalized applications integrates smoothly both a fragment of sequent calculus and the system of natural deduction of von Plato. It is equipped with reduction rules (corresponding to cut-elimination/normalisation rules) and permutation rules, typical of sequent calculus and of natural deduction with generalised elimination rules. We argue that this system is a suitable tool for doing structural proof theory as rewriting. As an illustration, we investigate combinations of reduction and permutation rules and whether these combinations induce rewriting systems which are confluent and terminating. In some cases, the combination allows the simulation of non-terminating reduction sequences known from explicit substitution calculi. In other cases, we succeed in capturing interesting classes of derivations as the normal forms w.r.t. well-behaved combinations of rules. We identify six of these "combined" normal forms, among which are two classes, due to Herbelin and Mints, in bijection with normal, ordinary natural deductions. A computational explanation for the variety of "combined" normal forms is the existence of three ways of expressing multiple application in the calculus.

Abstract
The effective use of dynamic reconfiguration requires the designer to address many implementation issues. The market introduction of feature-full platform FPGAs equipped with embedded CPU blocks expands the number of situations where dynamic reconfiguration may be applied to improve overall performance and logic utilization. The paper compares the design of two similar systems supporting dynamic reconfiguration and the issues that were addressed in their implementation. The first system supports 32-bit data transfers between CPU and the dynamically reconfigurable circuits. The other implementation supports 64-bit transfers, but its effective use is more complicated and several restrictions must be taken into account. The work includes a performance comparison of the two designs on several simple tasks, including pattern matching, image processing and hashing. © 2006 IEEE.