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.     

Digitally-controlled array of solid-state microcoolers for use in surgery

This paper presents an approach for generating a well-defined cooling pattern over an area of tissue. An array of solid-state microcoolers is used, which could be included in a probe that provides local cooling. This medical instrument can be used for removal of scar tissue in the eye or for the rapid stopping of bleeding due to micro-cuts, which makes it a useful tool to medical doctors and could make surgery more secure to the patient. The array of microcoolers is composed of 64 independent thermo-electric elements, each controlled using an integrated circuit designed in CMOS. The independent control allows the flexible programming of the surface temperature profile. This type of control is very suitable in case abrupt temperature steps should be avoided. Cooling by lateral heat flow was selected in order to minimize the influence of heat by dissipation from the electronic circuits. Moreover, a thermo-electric component with lateral heat allows fabrication of the cooling elements using planar thin-film technology, lithography and wet etching on top of the silicon wafer. This approach is potentially CMOS compatible, which would allow for the fabrication of the thermo-electric elements on top of a pre-fabricated CMOS wafer as a post-process step. Each pixel is composed of thin-films of n-type bismuth telluride, Bi₂Te₃ and p-type antimony telluride, Sb₂Te₃, which are electrically interconnected as thermocouple. These materials have excellent thermoelectric characteristics, such as thermoelectric figures-of-merit, ZT, at room temperatures of 0.84 and 0.5, respectively, which is equivalent to power-factors, PF, of 3.62 × 10⁻³ W K⁻¹ m⁻² and 2.81 × 10⁻³ W K⁻¹ m⁻², respectively. The theoretical study presented here demonstrates a cooling capability of 15°C at room temperature (300 K ≈ 27°C). This cooling performance is sufficient to maintain a local tissue temperature at 25°C, which makes it suitable for the intended application. A first prototype was successfully fabricated to demonstrate the concept.     

Differential evolution solution to the SLAM problem

A new solution to the Simultaneous Localization and Modelling problem is presented in this paper. The algorithm is based on the stochastic search for solutions in the state space to the global localization problem by means of a differential evolution algorithm. This non linear evolutive filter, called Evolutive Localization Filter (ELF), searches stochastically along the state space for the best robot pose estimate. The set of pose solutions (the population) focuses on the most likely areas according to the perception and up to date motion information. The population evolves using the log-likelihood of each candidate pose according to the observation and the motion errors derived from the comparison between observed and predicted data obtained from the probabilistic perception and motion model.The proposed SLAM algorithm operates in two steps: in the first step the ELF filter is used at local level to re-localize the robot based on the robot odometry, the laser scan at a given position and a local map where only a low number of the last scans have been integrated. In the second step, the aligned laser measures and the corrected robot poses are used to detect whether the robot is revisiting a previously crossed area (i.e., a cycle in the robot trajectory exists). Once a cycle is detected, the Evolutive Localization Filter is used again to estimate the accumulated residual drift in the detected loop and then to re-estimate the robot poses in order to integrate the sensor measures in the global map of the environment.The algorithm has been tested in different environments to demonstrate the effectiveness, robustness and computational efficiency of the proposed approach.     

Satellite-based estimates of groundwater storage variations in large drainage basins with extensive floodplains

This study presents monthly estimates of groundwater anomalies in a large river basin dominated by extensive floodplains, the Negro River Basin, based on the synergistic analysis using multisatellite observations and hydrological models. For the period 2003-2004, changes in water stored in the aquifer is isolated from the total water storage measured by GRACE by removing contributions of both the surface reservoir, derived from satellite imagery and radar altimetry, and the root zone reservoir simulated by WGHM and LaD hydrological models. The groundwater anomalies show a realistic spatial pattern compared with the hydrogeological map of the basin, and similar temporal variations to local in situ groundwater observations and altimetry-derived level height measurements. Results highlight the potential of combining multiple satellite techniques with hydrological modeling to estimate the evolution of groundwater storage.     

IsoGeometric analysis using T-splines on two-patch geometries

We develop optimal approximation estimates for T-splines in the case of geometries obtained by gluing two standard tensor product patches. We derive results both for the T-spline space in the parametric domain and the mapped T-NURBS in the physical one. A set of numerical tests in complete accordance with the theoretical developments is also presented.     

Efficient conservative visibility culling using theprioritized-layered projection algorithm

We propose a novel conservative visibility culling technique based on the Prioritized-Layered Projection (PLP) algorithm. PLP is a time-critical rendering technique that computes, for a given viewpoint, a partially correct image by rendering only a subset of the geometric primitives, those that PLP determines to be most likely visible. Our new algorithm builds on PLP and provides an efficient way of finding the remaining visible primitives. We do this by adding a second phase to PLP which uses image-space techniques for determining the visibility status of the remaining geometry. Another contribution of our work is to show how to efficiently implement such image-space visibility queries using currently available OpenGL hardware and extensions. We report on the implementation of our techniques on several graphics architectures, analyze their complexity, and discuss a possible hardware extension that has the potential to further increase performance     

Coordination components for collaborative virtual environments

This paper deals with the behavior of virtual environments from the collaboration point-of-view, in which actors (human or virtual beings) interact and collaborate by means of interdependent tasks. In this sense, actors may realize tasks that are dependent on tasks performed by other actors, while the interdependencies between tasks (through resource management and temporal relations) delineate the overall behavior of a virtual environment. Our main goal is to propose an approach for the coordination of those behaviors. Initially a generic study of possible interdependencies between collaborative tasks is presented, followed by the formal modeling (using Petri Nets) of coordination mechanisms for those dependencies. In order to implement such mechanisms, an architecture of reusable and pluggable coordination components is also introduced. These components are used in an implementation of a multi-user videogame. The presented approach is a concrete step to create virtual societies of actors that collaborate to reach common goals without the risk of getting involved in conflicting or repetitive tasks.     

Parallel processing applied to the planning of hydrothermal systems

The objective of the long-term operating planning problem is to determine the optimum strategy for the generation of electricity, aiming toward the minimization of total operating cost over the planning period. In a competitive electricity market, with the participation of a significant number of hydroplants, such as in Brazil, precision modelling for operating planning is required so that a better use of hydraulic resources can be obtained. We present a long-term operating planning model based on an individual power plant representation. In order to support the high computational burden, a suitable parallel processing algorithm is proposed.     

Improvement of Glycaemia and Endothelial Function by a New Low-Dose Curcuminoid in an Animal Model of Type 2 Diabetes

Curcumin has been suggested as a promising treatment for metabolic diseases, but the high doses required limit its therapeutic use. In this study, a new curcuminoid is synthesised to increase curcumin anti-inflammatory and antioxidant potential and to achieve hypoglycaemic and protective vascular effects in type 2 diabetic rats in a lower dose. In vitro, the anti-inflammatory effect was determined through the Griess reaction, and the antioxidant activity through ABTS and TBARS assays. In vivo, Goto-Kakizaki rats were treated for 2 weeks with the equimolar dose of curcumin (40 mg/kg/day) or curcuminoid (52.4 mg/kg/day). Fasting glycaemia, insulin tolerance, plasma insulin, insulin signalling, serum FFA, endothelial function and several markers of oxidative stress were evaluated. Both compounds presented a significant anti-inflammatory effect. Moreover, the curcuminoid had a marked hypoglycaemic effect, accompanied by higher GLUT4 levels in adipose tissue. Both compounds increased NO-dependent vasorelaxation, but only the curcuminoid exacerbated the response to ascorbic acid, consistent with a higher decrease in vascular oxidative and nitrosative stress. SOD1 and GLO1 levels were increased in EAT and heart, respectively. Altogether, these data suggest that the curcuminoid developed here has more pronounced effects than curcumin in low doses, improving the oxidative stress, endothelial function and glycaemic profile in type 2 diabetes.     

Role of miRNAs in Human T Cell Leukemia Virus Type 1 Induced T Cell Leukemia: A Literature Review and Bioinformatics Approach

Human T cell leukemia virus type 1 (HTLV-1) was identified as the first pathogenic human retrovirus and is estimated to infect 5 to 10 million individuals worldwide. Unlike other retroviruses, there is no effective therapy to prevent the onset of the most alarming diseases caused by HTLV-1, and the more severe cases manifest as the malignant phenotype of adult T cell leukemia (ATL). MicroRNA (miRNA) dysfunction is a common feature of leukemogenesis, and it is no different in ATL cases. Therefore, we sought to analyze studies that reported deregulated miRNA expression in HTLV-1 infected cells and patients’ samples to understand how this deregulation could induce malignancy. Through in silico analysis, we identified 12 miRNAs that stood out in the prediction of targets, and we performed functional annotation of the genes linked to these 12 miRNAs that appeared to have a major biological interaction. A total of 90 genes were enriched in 14 KEGG pathways with significant values, including TP53, WNT, MAPK, TGF-β, and Ras signaling pathways. These miRNAs and gene interactions are discussed in further detail for elucidation of how they may act as probable drivers for ATL onset, and while our data provide solid starting points for comprehension of miRNAs’ roles in HTLV-1 infection, continuous effort in oncologic research is still needed to improve our understanding of HTLV-1 induced leukemia.