APROMORE: An advanced process model repository

Business process models are becoming available in large numbers due to their widespread use in many industrial applications such as enterprise and quality engineering projects. On the one hand, this raises a challenge as to their proper management: how can it be ensured that the proper process model is always available to the interested stakeholder? On the other hand, the richness of a large set of process models also offers opportunities, for example with respect to the re-use of existing model parts for new models. This paper describes the functionality and architecture of an advanced process model repository, named APROMORE. This tool brings together a rich set of features for the analysis, management and usage of large sets of process models, drawing from state-of-the art research in the field of process modeling. A prototype of the platform is presented in this paper, demonstrating its feasibility, as well as an outlook on the further development of APROMORE.     

Delivering public value through open government data initiatives in a Smart City context

By using ICT in an innovative way, governments can improve the delivery of services and interaction with stakeholders. Open data is a way to help public organizations became more open and improve interaction with stakeholders. This paper aims to identify what are the public values enhancements acquired on smart city environment that discloses open data. We propose a conceptual model to analyze the smart city initiative. We contextualized the model taking a smart city domain by analyzing three related-initiatives that comprises open data in a smart city case carried at Rio de Janeiro Operations Center (COR) in Brazil by seven deep-interviewees directly involved - from inside and outside – in this case. The findings reveal evidences that open data initiatives contribute to enhance the delivery of public value in smart city contexts.     

An Efficient Solution for Model Checking Graph Transformation Systems

This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attributed typed graphs and layered transformations. Resulting models are amenable to check interesting properties expressed as combinations of LTL (Linear Temporal Logic) and graph transformation rules. The first experimental results are encouraging and show that in most cases our proposal improves existing approaches, both in terms of performance and expressiveness.     

Avoidance of bird repellents by mice (Mus musculus)

It is believed that mammalian chemosensory irritants are not aversive to birds and vice versa. Nevertheless, few avian repellents have been tested against mammals. For that reason, we evaluated the efficacy of 1.0% w/v methyl anthranilate, orthoaminoacetophenone, 2-amino-4,5-methoxyacetophenone, 2-methoxyacetophenone, and veratryl amine as mouse repellents in 3-hr no-choice drinking tests. Relative to ingestion of plain water, all test substances significantly reduced (P < 0.05) intake. Orthoaminoaceto-phenone was the most effective repellent, with intake reduced to levels statistically indistinguishable from zero.     

Principal component analysis as a tool for studying interdependences among trace metals in edible mussels from the gulf of Trieste

Summary Principal component analysis has been applied to analyze the correlation matrix obtained from a (6 × 44) data matrix. The 6 trace metals are Co, Ni, Cu, Cd, Hg, and Pb, which are contained in the soft part of edible mussels (Mytilus galloprovincialis Lamarck) from a hatchery on the gulf of Trieste. In the space of eigenvectors, the dimensions are reduced to 3 principal axes, which account for about 77% of the total variance.The unrotated factor matrix obtained by the principal components shows that Co, Ni and Cu are bonded to the first principal component, Cd and Pb to the second, Hg to the third. This picture is also assessed by the Varimax-rotated matrix and it is tentatively explained, at least in part, by considering the associations of the trace metals from various geographical sources.

---

Hauptkomponentenanalyse für das Studium der Assoziationen unter Spurenmetallen in Miesmuscheln im Golf von Triest

Zusammenfassung Die Hauptkomponentenanalyse wurde auf die Korrelationsmatrix, die aus der (6 × 44) Datenmatrix hervorgeht, angewandt. Die 6 Spurenmetalle sind Co, Ni, Cu, Cd, Hg, Pb, die im Miesmuschelnfleisch (Mytilus galloprovineialis Lamarck) gefunden werden. Die Miesmuschelnproben stammen aus der Zucht des Golfes von Triest. In dem Eigenvektorraum werden die Dimensionen auf drei Hauptachsen reduziert, die ungefähr 77% der totalen Varianz erklären.Die unrotierte Faktorenmatrix, die aus den Hauptkomponenten hervorgeht, zeigt, daß Co, Ni, Cu an die erste Hauptkomponente, Cd und Pb an die zweite, Hg an die dritte gebunden sind. Dieses Bild wird von der Varimax-rotierten Matrix bestätigt und es findet eine Erklärung in der Herkunft der Spurenmetalle.

     

Hematopoietic progenitor constituents and adherent cell progenitor morphology isolated from black-rumped agouti (Dasyprocta prymnolopha, Wagler 1831) bone marrow

Stem cells are present in the adult tissues of most diverse species. Bone marrow is recognized to be the most exploited site to obtain stem cells and cell progenitors. The objective of the present study was to characterize hematopoietic progenitor (HP) morphology and analyze the performance of adherent cell progenitors (ACPs) cultivated in vitro from black‐rumped agouti bone marrow (Dasyprocta prymnolopha). Bone marrow aspirates were obtained from tibia crest and used to prepare histological slides and identify cell morphology. Cells were also scattered on culture plates for later isolation, expansion, and quantification. Smears obtained from bone marrow demonstrated HPs at different stages of maturity. In culture, these cells showed fibroblastoid morphology and a strong tendency to form colonies, demonstrated by the presence of cell aggregates, cytoplasmic elongations lying side by side. An 80% cell confluence was observed at 18 days in culture and progressive reduction in the percentage of nonadherent mononuclear cells. After eight passes, a mean cell viability of 96.07% was observed, from a pool of 1.6 × 10⁷ cells (ACP). Thirteen 25‐cm² culture bottles were trypsinized, resuspended in freezing medium, stored in 14 criotubes at a concentration of 1 × 10⁶ cells per milliliter, and placed in liquid nitrogen at ?196°C. Agouti bone marrow demonstrated high plasticity, moreover different HP lines, and a population of adherent cells demonstrated morphology similar to mesenchymal stem cells in culture. Microsc. Res. Tech. 2012. © 2012 Wiley Periodicals, Inc.     

Move limits definition in structural optimization with sequential linear programming. Part II: Numerical examples

A variety of numerical methods have been proposed in literature in purpose to deal with the complexity and non-linearity of structural optimization problems. In practical design, sequential linear programming (SLP) is very popular because of its inherent simplicity and because linear solvers (e.g. Simplex) are easily available. However, SLP performance is sensitive to the definition of proper move limits for the design variables which task itself often involves considerable heuristics. This research presents a new SLP algorithm (LESLP) that implements an advanced technique for defining the move limits. The linearization error sequential linear programming (LESLP) algorithm is formulated so to overcome the traditional limitations of the SLP method. In a companion paper [Comput. Struct. 81 (2003) 197] the basics of the LESLP formulation along with a guide to programming are provided.The new algorithm is successfully tested in weight minimisation problems of truss structures with up to hundreds of design variables and thousands of constraints: sizing and configuration problems are considered. Optimization problems of non-truss structures are also presented. The numerical efficiency, advantages and drawbacks of LESLP are discussed and compared to those of other SLP algorithms recently published or implemented in commercial software packages.     

Electronic Security is a Continuous Process

The use of email and the Internet has added a new conduit to market for business, and some organizations have gained significant commercial advantage from using the Internet. Before computers were connected to the Internet, it was relatively easy to have effective security measures in place to protect the electronic files on individual computers or systems. However, now computers have become communication systems as well as working tools, the risks attendant upon this new breed of ‘communications working platform’ have increased substantially.     

A Color Vision-Based Lane Tracking System for Autonomous Driving on Unmarked Roads

This work describes a color Vision-based System intended to perform stable autonomous driving on unmarked roads. Accordingly, this implies the development of an accurate road surface detection system that ensures vehicle stability. Although this topic has already been documented in the technical literature by different research groups, the vast majority of the already existing Intelligent Transportation Systems are devoted to assisted driving of vehicles on marked extra urban roads and highways. The complete system was tested on the BABIECA prototype vehicle, which was autonomously driven for hundred of kilometers accomplishing different navigation missions on a private circuit that emulates an urban quarter. During the tests, the navigation system demonstrated its robustness with regard to shadows, road texture, and weather and changing illumination conditions.